runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (10873 MiB free)
memory of node 1: 16384 MiB (13861 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4301645-1532884320/watcher-4301645-1532884320 -o /tmp/evaluation-result-4301645-1532884320/solver-4301645-1532884320 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node106-1532884072-6815 --watchdog 312 HOME/xcsp3-exec -seed 1602207637 -dir HOME -tl 252 -ml 11000 -p 1 HOME/instance-4301645-1532884320.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 282 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=7114, runsolver pid=7111
[startup+0.100121 s]*
/proc/loadavg: 2.09 1.87 1.75 3/219 7130
/proc/meminfo: memFree=25309760/32770624 swapFree=67108688/67108860
[pid=7114] ppid=7111 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/7114/stat : 7114 (xcsp3-exec) S 7111 7114 6529 0 -1 4202496 534 0 0 0 0 0 0 0 20 0 1 0 105994939 115843072 363 33554432000 4194304 5098028 140725725063920 140725725062024 140656456221308 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 33755136 140725725066304 140725725066505 140725725066505 140725725069258 0
/proc/7114/statm: 28282 363 306 221 0 87 0
[pid=7116] ppid=7114 vsize=14082940 memory=29296 CPUtime=0.11 cores=0,2,4,6
/proc/7116/stat : 7116 (java) S 7114 7114 6529 0 -1 1077944320 5244 0 0 0 10 1 0 0 20 0 15 0 105994939 14420930560 7324 33554432000 4194304 4196468 140733169764272 140733169746816 140411165265655 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 28758016 140733169767564 140733169767734 140733169767734 140733169770447 0
/proc/7116/statm: 3520735 7324 2997 1 0 3483012 0
[pid=7116/tid=7117] ppid=7114 vsize=14082940 memory=7683605642737849179 CPUtime=0.09 cores=0,2,4,6
/proc/7116/task/7117/stat : 7117 (java) R 7114 7114 6529 0 -1 4202560 3255 0 0 0 8 1 0 0 20 0 15 0 105994939 14420930560 7324 33554432000 4194304 4196468 140733169764272 140411169492192 140410752214785 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28758016 140733169767564 140733169767734 140733169767734 140733169770447 0
[pid=7116/tid=7118] ppid=7114 vsize=14082940 memory=-3689349214911541841 CPUtime=0 cores=0,2,4,6
/proc/7116/task/7118/stat : 7118 (java) S 7114 7114 6529 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105994940 14420930560 7324 33554432000 4194304 4196468 140733169764272 140411080333968 140411165275861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28758016 140733169767564 140733169767734 140733169767734 140733169770447 0
[pid=7116/tid=7119] ppid=7114 vsize=14082940 memory=139855383541376 CPUtime=0 cores=0,2,4,6
/proc/7116/task/7119/stat : 7119 (java) S 7114 7114 6529 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105994940 14420930560 7324 33554432000 4194304 4196468 140733169764272 140411079281168 140411165275861 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28758016 140733169767564 140733169767734 140733169767734 140733169770447 0
[pid=7116/tid=7120] ppid=7114 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7116/task/7120/stat : 7120 (java) S 7114 7114 6529 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105994940 14420930560 7324 33554432000 4194304 4196468 140733169764272 140411078228368 140411165275861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28758016 140733169767564 140733169767734 140733169767734 140733169770447 0
[pid=7116/tid=7121] ppid=7114 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7116/task/7121/stat : 7121 (java) S 7114 7114 6529 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105994940 14420930560 7324 33554432000 4194304 4196468 140733169764272 140411077175568 140411165275861 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28758016 140733169767564 140733169767734 140733169767734 140733169770447 0
[pid=7116/tid=7122] ppid=7114 vsize=14082940 memory=139855383541376 CPUtime=0 cores=0,2,4,6
/proc/7116/task/7122/stat : 7122 (java) S 7114 7114 6529 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105994942 14420930560 7324 33554432000 4194304 4196468 140733169764272 140410638285680 140411165276802 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28758016 140733169767564 140733169767734 140733169767734 140733169770447 0
[pid=7116/tid=7123] ppid=7114 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7116/task/7123/stat : 7123 (java) S 7114 7114 6529 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 105994942 14420930560 7324 33554432000 4194304 4196468 140733169764272 140410637231648 140411165275861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28758016 140733169767564 140733169767734 140733169767734 140733169770447 0
[pid=7116/tid=7124] ppid=7114 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7116/task/7124/stat : 7124 (java) S 7114 7114 6529 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 105994942 14420930560 7324 33554432000 4194304 4196468 140733169764272 140410636178800 140411165275861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28758016 140733169767564 140733169767734 140733169767734 140733169770447 0
[pid=7116/tid=7125] ppid=7114 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7116/task/7125/stat : 7125 (java) S 7114 7114 6529 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105994945 14420930560 7324 33554432000 4194304 4196468 140733169764272 140410635127120 140411165284251 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28758016 140733169767564 140733169767734 140733169767734 140733169770447 0
[pid=7116/tid=7126] ppid=7114 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7116/task/7126/stat : 7126 (java) S 7114 7114 6529 0 -1 1077944384 307 0 0 0 0 0 0 0 20 0 15 0 105994945 14420930560 7324 33554432000 4194304 4196468 140733169764272 140410634074480 140411165276802 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28758016 140733169767564 140733169767734 140733169767734 140733169770447 0
[pid=7116/tid=7127] ppid=7114 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7116/task/7127/stat : 7127 (java) S 7114 7114 6529 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 15 0 105994945 14420930560 7324 33554432000 4194304 4196468 140733169764272 140410633021680 140411165276802 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28758016 140733169767564 140733169767734 140733169767734 140733169770447 0
[pid=7116/tid=7128] ppid=7114 vsize=14082940 memory=139855383541376 CPUtime=0.01 cores=0,2,4,6
/proc/7116/task/7128/stat : 7128 (java) R 7114 7114 6529 0 -1 4202560 260 0 0 0 1 0 0 0 20 0 15 0 105994945 14420930560 7324 33554432000 4194304 4196468 140733169764272 140410631968880 140411146486112 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28758016 140733169767564 140733169767734 140733169767734 140733169770447 0
[pid=7116/tid=7129] ppid=7114 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7116/task/7129/stat : 7129 (java) S 7114 7114 6529 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105994945 14420930560 7324 33554432000 4194304 4196468 140733169764272 140410630916320 140411165275861 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28758016 140733169767564 140733169767734 140733169767734 140733169770447 0
[pid=7116/tid=7130] ppid=7114 vsize=14082940 memory=139855383541376 CPUtime=0 cores=0,2,4,6
/proc/7116/task/7130/stat : 7130 (java) S 7114 7114 6529 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105994945 14420930560 7324 33554432000 4194304 4196468 140733169764272 140410629864624 140411165276802 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28758016 140733169767564 140733169767734 140733169767734 140733169770447 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 14196068 KiB
Current children cumulated memory: 30748 KiB
[startup+0.210761 s]*
/proc/loadavg: 2.09 1.87 1.75 5/219 7130
/proc/meminfo: memFree=25299172/32770624 swapFree=67108688/67108860
[pid=7114] ppid=7111 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/7114/stat : 7114 (xcsp3-exec) S 7111 7114 6529 0 -1 4202496 534 0 0 0 0 0 0 0 20 0 1 0 105994939 115843072 363 33554432000 4194304 5098028 140725725063920 140725725062024 140656456221308 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 33755136 140725725066304 140725725066505 140725725066505 140725725069258 0
/proc/7114/statm: 28282 363 306 221 0 87 0
[pid=7116] ppid=7114 vsize=14082940 memory=41372 CPUtime=0.34 cores=0,2,4,6
/proc/7116/stat : 7116 (java) S 7114 7114 6529 0 -1 1077944320 7851 0 0 0 32 2 0 0 20 0 15 0 105994939 14420930560 10343 33554432000 4194304 4196468 140733169764272 140733169746816 140411165265655 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 28758016 140733169767564 140733169767734 140733169767734 140733169770447 0
/proc/7116/statm: 3520735 10343 3207 1 0 3483012 0
[pid=7116/tid=7117] ppid=7114 vsize=14087196 memory=7883960649037381690 CPUtime=0.19 cores=0,2,4,6
/proc/7116/task/7117/stat : 7117 (java) R 7114 7114 6529 0 -1 4202560 4992 0 0 0 18 1 0 0 20 0 15 0 105994939 14425288704 10390 33554432000 4194304 4196468 140733169764272 140411169486648 140411149346142 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28758016 140733169767564 140733169767734 140733169767734 140733169770447 0
[pid=7116/tid=7118] ppid=7114 vsize=14087196 memory=12627 CPUtime=0 cores=0,2,4,6
/proc/7116/task/7118/stat : 7118 (java) S 7114 7114 6529 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105994940 14425288704 10390 33554432000 4194304 4196468 140733169764272 140411080333968 140411165275861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28758016 140733169767564 140733169767734 140733169767734 140733169770447 0
[pid=7116/tid=7119] ppid=7114 vsize=14087196 memory=288370231535253120 CPUtime=0 cores=0,2,4,6
/proc/7116/task/7119/stat : 7119 (java) S 7114 7114 6529 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105994940 14425288704 10390 33554432000 4194304 4196468 140733169764272 140411079281168 140411165275861 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28758016 140733169767564 140733169767734 140733169767734 140733169770447 0
[pid=7116/tid=7120] ppid=7114 vsize=14087196 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7116/task/7120/stat : 7120 (java) S 7114 7114 6529 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105994940 14425288704 10390 33554432000 4194304 4196468 140733169764272 140411078228368 140411165275861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28758016 140733169767564 140733169767734 140733169767734 140733169770447 0
[pid=7116/tid=7121] ppid=7114 vsize=14087196 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7116/task/7121/stat : 7121 (java) S 7114 7114 6529 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105994940 14425288704 10390 33554432000 4194304 4196468 140733169764272 140411077175568 140411165275861 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28758016 140733169767564 140733169767734 140733169767734 140733169770447 0
[pid=7116/tid=7122] ppid=7114 vsize=14087196 memory=139855383541376 CPUtime=0 cores=0,2,4,6
/proc/7116/task/7122/stat : 7122 (java) S 7114 7114 6529 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 105994942 14425288704 10390 33554432000 4194304 4196468 140733169764272 140410638285680 140411165276802 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28758016 140733169767564 140733169767734 140733169767734 140733169770447 0
[pid=7116/tid=7123] ppid=7114 vsize=14087196 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7116/task/7123/stat : 7123 (java) S 7114 7114 6529 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 105994942 14425288704 10390 33554432000 4194304 4196468 140733169764272 140410637231648 140411165275861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28758016 140733169767564 140733169767734 140733169767734 140733169770447 0
[pid=7116/tid=7124] ppid=7114 vsize=14087196 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7116/task/7124/stat : 7124 (java) S 7114 7114 6529 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 105994942 14425288704 10390 33554432000 4194304 4196468 140733169764272 140410636178800 140411165275861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28758016 140733169767564 140733169767734 140733169767734 140733169770447 0
[pid=7116/tid=7125] ppid=7114 vsize=14087196 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7116/task/7125/stat : 7125 (java) S 7114 7114 6529 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105994945 14425288704 10390 33554432000 4194304 4196468 140733169764272 140410635127120 140411165284251 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28758016 140733169767564 140733169767734 140733169767734 140733169770447 0
[pid=7116/tid=7126] ppid=7114 vsize=14087196 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/7116/task/7126/stat : 7126 (java) S 7114 7114 6529 0 -1 1077944384 614 0 0 0 2 0 0 0 20 0 15 0 105994945 14425288704 10390 33554432000 4194304 4196468 140733169764272 140410634074480 140411165276802 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28758016 140733169767564 140733169767734 140733169767734 140733169770447 0
[pid=7116/tid=7127] ppid=7114 vsize=14087196 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/7116/task/7127/stat : 7127 (java) S 7114 7114 6529 0 -1 1077944384 222 0 0 0 1 0 0 0 20 0 15 0 105994945 14425288704 10390 33554432000 4194304 4196468 140733169764272 140410633021680 140411165276802 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28758016 140733169767564 140733169767734 140733169767734 140733169770447 0
[pid=7116/tid=7128] ppid=7114 vsize=14087196 memory=139855383541376 CPUtime=0.08 cores=0,2,4,6
/proc/7116/task/7128/stat : 7128 (java) S 7114 7114 6529 0 -1 1077944384 742 0 0 0 8 0 0 0 20 0 15 0 105994945 14425288704 10390 33554432000 4194304 4196468 140733169764272 140410631968880 140411165276802 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28758016 140733169767564 140733169767734 140733169767734 140733169770447 0
[pid=7116/tid=7129] ppid=7114 vsize=14087196 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7116/task/7129/stat : 7129 (java) S 7114 7114 6529 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105994945 14425288704 10390 33554432000 4194304 4196468 140733169764272 140410630916320 140411165275861 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28758016 140733169767564 140733169767734 140733169767734 140733169770447 0
[pid=7116/tid=7130] ppid=7114 vsize=14087196 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7116/task/7130/stat : 7130 (java) S 7114 7114 6529 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105994945 14425288704 10390 33554432000 4194304 4196468 140733169764272 140410629864624 140411165276802 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28758016 140733169767564 140733169767734 140733169767734 140733169770447 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 14196068 KiB
Current children cumulated memory: 42824 KiB
[startup+0.310594 s]*
/proc/loadavg: 2.09 1.87 1.75 5/219 7130
/proc/meminfo: memFree=25292520/32770624 swapFree=67108688/67108860
[pid=7114] ppid=7111 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/7114/stat : 7114 (xcsp3-exec) S 7111 7114 6529 0 -1 4202496 534 0 0 0 0 0 0 0 20 0 1 0 105994939 115843072 363 33554432000 4194304 5098028 140725725063920 140725725062024 140656456221308 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 33755136 140725725066304 140725725066505 140725725066505 140725725069258 0
/proc/7114/statm: 28282 363 306 221 0 87 0
[pid=7116] ppid=7114 vsize=14087196 memory=48360 CPUtime=0.52 cores=0,2,4,6
/proc/7116/stat : 7116 (java) S 7114 7114 6529 0 -1 1077944320 8743 0 0 0 49 3 0 0 20 0 15 0 105994939 14425288704 12090 33554432000 4194304 4196468 140733169764272 140733169746816 140411165265655 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 28758016 140733169767564 140733169767734 140733169767734 140733169770447 0
/proc/7116/statm: 3521799 12090 3265 1 0 3483012 0
[pid=7116/tid=7117] ppid=7114 vsize=14087196 memory=8112282956445269571 CPUtime=0.29 cores=0,2,4,6
/proc/7116/task/7117/stat : 7117 (java) R 7114 7114 6529 0 -1 4202560 5694 0 0 0 27 2 0 0 20 0 15 0 105994939 14425288704 12098 33554432000 4194304 4196468 140733169764272 140411169499440 140411149346142 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28758016 140733169767564 140733169767734 140733169767734 140733169770447 0
[pid=7116/tid=7118] ppid=7114 vsize=14087196 memory=4126316290023845779 CPUtime=0 cores=0,2,4,6
/proc/7116/task/7118/stat : 7118 (java) S 7114 7114 6529 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105994940 14425288704 12098 33554432000 4194304 4196468 140733169764272 140411080333968 140411165275861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28758016 140733169767564 140733169767734 140733169767734 140733169770447 0
[pid=7116/tid=7119] ppid=7114 vsize=14087196 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/7116/task/7119/stat : 7119 (java) S 7114 7114 6529 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105994940 14425288704 12098 33554432000 4194304 4196468 140733169764272 140411079281168 140411165275861 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28758016 140733169767564 140733169767734 140733169767734 140733169770447 0
[pid=7116/tid=7120] ppid=7114 vsize=14087196 memory=-2026666227646604569 CPUtime=0 cores=0,2,4,6
/proc/7116/task/7120/stat : 7120 (java) S 7114 7114 6529 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105994940 14425288704 12098 33554432000 4194304 4196468 140733169764272 140411078228368 140411165275861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28758016 140733169767564 140733169767734 140733169767734 140733169770447 0
[pid=7116/tid=7121] ppid=7114 vsize=14087196 memory=7089317150647820184 CPUtime=0 cores=0,2,4,6
/proc/7116/task/7121/stat : 7121 (java) S 7114 7114 6529 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105994940 14425288704 12098 33554432000 4194304 4196468 140733169764272 140411077175568 140411165275861 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28758016 140733169767564 140733169767734 140733169767734 140733169770447 0
[pid=7116/tid=7122] ppid=7114 vsize=14087196 memory=6944657691966988345 CPUtime=0 cores=0,2,4,6
/proc/7116/task/7122/stat : 7122 (java) S 7114 7114 6529 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 105994942 14425288704 12098 33554432000 4194304 4196468 140733169764272 140410638285680 140411165276802 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28758016 140733169767564 140733169767734 140733169767734 140733169770447 0
[pid=7116/tid=7123] ppid=7114 vsize=14087196 memory=4196912344889787449 CPUtime=0 cores=0,2,4,6
/proc/7116/task/7123/stat : 7123 (java) S 7114 7114 6529 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 105994942 14425288704 12098 33554432000 4194304 4196468 140733169764272 140410637231648 140411165275861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28758016 140733169767564 140733169767734 140733169767734 140733169770447 0
[pid=7116/tid=7124] ppid=7114 vsize=14087196 memory=3047711566422646390 CPUtime=0 cores=0,2,4,6
/proc/7116/task/7124/stat : 7124 (java) S 7114 7114 6529 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 105994942 14425288704 12098 33554432000 4194304 4196468 140733169764272 140410636178800 140411165275861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28758016 140733169767564 140733169767734 140733169767734 140733169770447 0
[pid=7116/tid=7125] ppid=7114 vsize=14087196 memory=-6444775992005010620 CPUtime=0 cores=0,2,4,6
/proc/7116/task/7125/stat : 7125 (java) S 7114 7114 6529 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105994945 14425288704 12098 33554432000 4194304 4196468 140733169764272 140410635127120 140411165284251 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28758016 140733169767564 140733169767734 140733169767734 140733169770447 0
[pid=7116/tid=7126] ppid=7114 vsize=14087196 memory=8325818968683490714 CPUtime=0.05 cores=0,2,4,6
/proc/7116/task/7126/stat : 7126 (java) S 7114 7114 6529 0 -1 1077944384 700 0 0 0 5 0 0 0 20 0 15 0 105994945 14425288704 12098 33554432000 4194304 4196468 140733169764272 140410634074480 140411165276802 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28758016 140733169767564 140733169767734 140733169767734 140733169770447 0
[pid=7116/tid=7127] ppid=7114 vsize=14087196 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/7116/task/7127/stat : 7127 (java) S 7114 7114 6529 0 -1 1077944384 229 0 0 0 3 0 0 0 20 0 15 0 105994945 14425288704 12098 33554432000 4194304 4196468 140733169764272 140410633021680 140411165276802 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28758016 140733169767564 140733169767734 140733169767734 140733169770447 0
[pid=7116/tid=7128] ppid=7114 vsize=14087196 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/7116/task/7128/stat : 7128 (java) S 7114 7114 6529 0 -1 1077944384 817 0 0 0 12 0 0 0 20 0 15 0 105994945 14425288704 12098 33554432000 4194304 4196468 140733169764272 140410631968880 140411165276802 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28758016 140733169767564 140733169767734 140733169767734 140733169770447 0
[pid=7116/tid=7129] ppid=7114 vsize=14087196 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7116/task/7129/stat : 7129 (java) S 7114 7114 6529 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105994945 14425288704 12098 33554432000 4194304 4196468 140733169764272 140410630916320 140411165275861 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28758016 140733169767564 140733169767734 140733169767734 140733169770447 0
[pid=7116/tid=7130] ppid=7114 vsize=14087196 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7116/task/7130/stat : 7130 (java) S 7114 7114 6529 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105994945 14425288704 12098 33554432000 4194304 4196468 140733169764272 140410629864624 140411165276802 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28758016 140733169767564 140733169767734 140733169767734 140733169770447 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 14200324 KiB
Current children cumulated memory: 49812 KiB
[startup+0.700907 s]
/proc/loadavg: 2.09 1.87 1.75 5/219 7130
/proc/meminfo: memFree=25187896/32770624 swapFree=67108688/67108860
[pid=7114] ppid=7111 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/7114/stat : 7114 (xcsp3-exec) S 7111 7114 6529 0 -1 4202496 534 0 0 0 0 0 0 0 20 0 1 0 105994939 115843072 363 33554432000 4194304 5098028 140725725063920 140725725062024 140656456221308 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 33755136 140725725066304 140725725066505 140725725066505 140725725069258 0
/proc/7114/statm: 28282 363 306 221 0 87 0
[pid=7116] ppid=7114 vsize=14089320 memory=180492 CPUtime=1.63 cores=0,2,4,6
/proc/7116/stat : 7116 (java) S 7114 7114 6529 0 -1 1077944320 12637 0 0 0 156 7 0 0 20 0 15 0 105994939 14427463680 45123 33554432000 4194304 4196468 140733169764272 140733169746816 140411165265655 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 28758016 140733169767564 140733169767734 140733169767734 140733169770447 0
/proc/7116/statm: 3522330 45123 3344 1 0 3483524 0
[pid=7116/tid=7117] ppid=7114 vsize=14089320 memory=30328 CPUtime=0.67 cores=0,2,4,6
/proc/7116/task/7117/stat : 7117 (java) S 7114 7114 6529 0 -1 1077944384 6191 0 0 0 62 5 0 0 20 0 15 0 105994939 14427463680 45123 33554432000 4194304 4196468 140733169764272 140411169501808 140411165275861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28758016 140733169767564 140733169767734 140733169767734 140733169770447 0
[pid=7116/tid=7118] ppid=7114 vsize=14089320 memory=1296 CPUtime=0 cores=0,2,4,6
/proc/7116/task/7118/stat : 7118 (java) R 7114 7114 6529 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 15 0 105994940 14427463680 45123 33554432000 4194304 4196468 140733169764272 140411080331776 140411165275861 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28758016 140733169767564 140733169767734 140733169767734 140733169770447 0
[pid=7116/tid=7119] ppid=7114 vsize=14089320 memory=2408 CPUtime=0 cores=0,2,4,6
/proc/7116/task/7119/stat : 7119 (java) R 7114 7114 6529 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105994940 14427463680 45123 33554432000 4194304 4196468 140733169764272 140411079281168 140411165275861 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 28758016 140733169767564 140733169767734 140733169767734 140733169770447 0
[pid=7116/tid=7120] ppid=7114 vsize=14089320 memory=1724 CPUtime=0 cores=0,2,4,6
/proc/7116/task/7120/stat : 7120 (java) R 7114 7114 6529 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 15 0 105994940 14427463680 45123 33554432000 4194304 4196468 140733169764272 140411078228368 140411146524652 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28758016 140733169767564 140733169767734 140733169767734 140733169770447 0
[pid=7116/tid=7121] ppid=7114 vsize=14089320 memory=1004 CPUtime=0 cores=0,2,4,6
/proc/7116/task/7121/stat : 7121 (java) S 7114 7114 6529 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 105994940 14427463680 45123 33554432000 4194304 4196468 140733169764272 140411077173376 140411165275861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28758016 140733169767564 140733169767734 140733169767734 140733169770447 0
[pid=7116/tid=7122] ppid=7114 vsize=14089320 memory=1952 CPUtime=0 cores=0,2,4,6
/proc/7116/task/7122/stat : 7122 (java) S 7114 7114 6529 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 15 0 105994942 14427463680 45123 33554432000 4194304 4196468 140733169764272 140410638284192 140411165275861 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28758016 140733169767564 140733169767734 140733169767734 140733169770447 0
[pid=7116/tid=7123] ppid=7114 vsize=14089320 memory=1708 CPUtime=0 cores=0,2,4,6
/proc/7116/task/7123/stat : 7123 (java) S 7114 7114 6529 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 105994942 14427463680 45123 33554432000 4194304 4196468 140733169764272 140410637231648 140411165275861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28758016 140733169767564 140733169767734 140733169767734 140733169770447 0
[pid=7116/tid=7124] ppid=7114 vsize=14089320 memory=792 CPUtime=0 cores=0,2,4,6
/proc/7116/task/7124/stat : 7124 (java) S 7114 7114 6529 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 105994942 14427463680 45123 33554432000 4194304 4196468 140733169764272 140410636178800 140411165275861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28758016 140733169767564 140733169767734 140733169767734 140733169770447 0
[pid=7116/tid=7125] ppid=7114 vsize=14089320 memory=1228 CPUtime=0 cores=0,2,4,6
/proc/7116/task/7125/stat : 7125 (java) S 7114 7114 6529 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105994945 14427463680 45123 33554432000 4194304 4196468 140733169764272 140410635127120 140411165284251 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28758016 140733169767564 140733169767734 140733169767734 140733169770447 0
[pid=7116/tid=7126] ppid=7114 vsize=14089320 memory=8556 CPUtime=0.28 cores=0,2,4,6
/proc/7116/task/7126/stat : 7126 (java) R 7114 7114 6529 0 -1 4202560 1812 0 0 0 28 0 0 0 20 0 15 0 105994945 14427463680 45123 33554432000 4194304 4196468 140733169764272 140410634060800 140411146809768 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28758016 140733169767564 140733169767734 140733169767734 140733169770447 0
[pid=7116/tid=7127] ppid=7114 vsize=14089320 memory=1444 CPUtime=0.32 cores=0,2,4,6
/proc/7116/task/7127/stat : 7127 (java) S 7114 7114 6529 0 -1 1077944384 1778 0 0 0 32 0 0 0 20 0 15 0 105994945 14427463680 45123 33554432000 4194304 4196468 140733169764272 140410633009760 140411165275861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28758016 140733169767564 140733169767734 140733169767734 140733169770447 0
[pid=7116/tid=7128] ppid=7114 vsize=14089320 memory=5668 CPUtime=0.32 cores=0,2,4,6
/proc/7116/task/7128/stat : 7128 (java) S 7114 7114 6529 0 -1 1077944384 1532 0 0 0 32 0 0 0 20 0 15 0 105994945 14427463680 45123 33554432000 4194304 4196468 140733169764272 140410631968880 140411165276802 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28758016 140733169767564 140733169767734 140733169767734 140733169770447 0
[pid=7116/tid=7129] ppid=7114 vsize=14089320 memory=4616 CPUtime=0 cores=0,2,4,6
/proc/7116/task/7129/stat : 7129 (java) S 7114 7114 6529 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105994945 14427463680 45123 33554432000 4194304 4196468 140733169764272 140410630916320 140411165275861 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28758016 140733169767564 140733169767734 140733169767734 140733169770447 0
[pid=7116/tid=7130] ppid=7114 vsize=14089320 memory=14076 CPUtime=0 cores=0,2,4,6
/proc/7116/task/7130/stat : 7130 (java) S 7114 7114 6529 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105994945 14427463680 45123 33554432000 4194304 4196468 140733169764272 140410629864624 140411165276802 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28758016 140733169767564 140733169767734 140733169767734 140733169770447 0
Current children cumulated CPU time: 1.63 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 181944 KiB
[startup+1.50085 s]
/proc/loadavg: 2.09 1.87 1.75 3/219 7130
/proc/meminfo: memFree=24903108/32770624 swapFree=67108688/67108860
[pid=7114] ppid=7111 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/7114/stat : 7114 (xcsp3-exec) S 7111 7114 6529 0 -1 4202496 534 0 0 0 0 0 0 0 20 0 1 0 105994939 115843072 363 33554432000 4194304 5098028 140725725063920 140725725062024 140656456221308 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 33755136 140725725066304 140725725066505 140725725066505 140725725069258 0
/proc/7114/statm: 28282 363 306 221 0 87 0
################
# More data... #
################
/proc/7116/task/7124/stat : 7124 (java) S 7114 7114 6529 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 105994942 14429560832 496044 33554432000 4194304 4196468 140733169764272 140410636178800 140411165275861 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28758016 140733169767564 140733169767734 140733169767734 140733169770447 0
[pid=7116/tid=7125] ppid=7114 vsize=14091368 memory=2408 CPUtime=0 cores=0,2,4,6
/proc/7116/task/7125/stat : 7125 (java) S 7114 7114 6529 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105994945 14429560832 496044 33554432000 4194304 4196468 140733169764272 140410635127120 140411165284251 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28758016 140733169767564 140733169767734 140733169767734 140733169770447 0
[pid=7116/tid=7126] ppid=7114 vsize=14091368 memory=33 CPUtime=3.58 cores=0,2,4,6
/proc/7116/task/7126/stat : 7126 (java) S 7114 7114 6529 0 -1 1077944384 12607 0 0 0 356 2 0 0 20 0 15 0 105994945 14429560832 496044 33554432000 4194304 4196468 140733169764272 140410634074480 140411165276802 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28758016 140733169767564 140733169767734 140733169767734 140733169770447 0
[pid=7116/tid=7127] ppid=7114 vsize=14091368 memory=139855275630588 CPUtime=3.43 cores=0,2,4,6
/proc/7116/task/7127/stat : 7127 (java) S 7114 7114 6529 0 -1 1077944384 16374 0 0 0 340 3 0 0 20 0 15 0 105994945 14429560832 496044 33554432000 4194304 4196468 140733169764272 140410633021680 140411165276802 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28758016 140733169767564 140733169767734 140733169767734 140733169770447 0
[pid=7116/tid=7128] ppid=7114 vsize=14091368 memory=0 CPUtime=0.96 cores=0,2,4,6
/proc/7116/task/7128/stat : 7128 (java) S 7114 7114 6529 0 -1 1077944384 9402 0 0 0 94 2 0 0 20 0 15 0 105994945 14429560832 496044 33554432000 4194304 4196468 140733169764272 140410631968880 140411165276802 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28758016 140733169767564 140733169767734 140733169767734 140733169770447 0
[pid=7116/tid=7129] ppid=7114 vsize=14091368 memory=1984024 CPUtime=0 cores=0,2,4,6
/proc/7116/task/7129/stat : 7129 (java) S 7114 7114 6529 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105994945 14429560832 496044 33554432000 4194304 4196468 140733169764272 140410630916320 140411165275861 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28758016 140733169767564 140733169767734 140733169767734 140733169770447 0
[pid=7116/tid=7130] ppid=7114 vsize=14091368 memory=1963584 CPUtime=0.04 cores=0,2,4,6
/proc/7116/task/7130/stat : 7130 (java) S 7114 7114 6529 0 -1 1077944384 496 0 0 0 2 2 0 0 20 0 15 0 105994945 14429560832 496044 33554432000 4194304 4196468 140733169764272 140410629864624 140411165276802 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28758016 140733169767564 140733169767734 140733169767734 140733169770447 0
Current children cumulated CPU time: 111.33 s
Current children cumulated vsize: 14204496 KiB
Current children cumulated memory: 1985628 KiB
[startup+162.301 s]
/proc/loadavg: 2.07 2.01 1.83 3/219 7132
/proc/meminfo: memFree=21617732/32770624 swapFree=67108688/67108860
[pid=7114] ppid=7111 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/7114/stat : 7114 (xcsp3-exec) S 7111 7114 6529 0 -1 4202496 534 0 0 0 0 0 0 0 20 0 1 0 105994939 115843072 363 33554432000 4194304 5098028 140725725063920 140725725062024 140656456221308 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 33755136 140725725066304 140725725066505 140725725066505 140725725069258 0
/proc/7114/statm: 28282 363 306 221 0 87 0
[pid=7116] ppid=7114 vsize=14091368 memory=2012232 CPUtime=172.97 cores=0,2,4,6
/proc/7116/stat : 7116 (java) S 7114 7114 6529 0 -1 1077944320 77943 0 0 0 17191 106 0 0 20 0 15 0 105994939 14429560832 503058 33554432000 4194304 4196468 140733169764272 140733169746816 140411165265655 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 28758016 140733169767564 140733169767734 140733169767734 140733169770447 0
/proc/7116/statm: 3522842 503058 3417 1 0 3484036 0
[pid=7116/tid=7117] ppid=7114 vsize=14091368 memory=2012232 CPUtime=161.87 cores=0,2,4,6
/proc/7116/task/7117/stat : 7117 (java) R 7114 7114 6529 0 -1 4202560 19392 0 0 0 16160 27 0 0 20 0 15 0 105994939 14429560832 503058 33554432000 4194304 4196468 140733169764272 140411169502536 140410760921230 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28758016 140733169767564 140733169767734 140733169767734 140733169770447 0
[pid=7116/tid=7118] ppid=7114 vsize=14091368 memory=2012232 CPUtime=0.34 cores=0,2,4,6
/proc/7116/task/7118/stat : 7118 (java) S 7114 7114 6529 0 -1 1077944384 413 0 0 0 18 16 0 0 20 0 15 0 105994940 14429560832 503058 33554432000 4194304 4196468 140733169764272 140411080333968 140411165275861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28758016 140733169767564 140733169767734 140733169767734 140733169770447 0
[pid=7116/tid=7119] ppid=7114 vsize=14091368 memory=1452 CPUtime=0.35 cores=0,2,4,6
/proc/7116/task/7119/stat : 7119 (java) S 7114 7114 6529 0 -1 1077944384 910 0 0 0 19 16 0 0 20 0 15 0 105994940 14429560832 503058 33554432000 4194304 4196468 140733169764272 140411079281168 140411165275861 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28758016 140733169767564 140733169767734 140733169767734 140733169770447 0
[pid=7116/tid=7120] ppid=7114 vsize=14091368 memory=2012232 CPUtime=0.34 cores=0,2,4,6
/proc/7116/task/7120/stat : 7120 (java) S 7114 7114 6529 0 -1 1077944384 370 0 0 0 18 16 0 0 20 0 15 0 105994940 14429560832 503058 33554432000 4194304 4196468 140733169764272 140411078228368 140411165275861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28758016 140733169767564 140733169767734 140733169767734 140733169770447 0
[pid=7116/tid=7121] ppid=7114 vsize=14091368 memory=2012232 CPUtime=0.34 cores=0,2,4,6
/proc/7116/task/7121/stat : 7121 (java) S 7114 7114 6529 0 -1 1077944384 540 0 0 0 18 16 0 0 20 0 15 0 105994940 14429560832 503058 33554432000 4194304 4196468 140733169764272 140411077175568 140411165275861 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28758016 140733169767564 140733169767734 140733169767734 140733169770447 0
[pid=7116/tid=7122] ppid=7114 vsize=14091368 memory=2012232 CPUtime=0.01 cores=0,2,4,6
/proc/7116/task/7122/stat : 7122 (java) S 7114 7114 6529 0 -1 1077944384 1087 0 0 0 1 0 0 0 20 0 15 0 105994942 14429560832 503058 33554432000 4194304 4196468 140733169764272 140410638285680 140411165276802 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28758016 140733169767564 140733169767734 140733169767734 140733169770447 0
[pid=7116/tid=7123] ppid=7114 vsize=14091368 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/7116/task/7123/stat : 7123 (java) S 7114 7114 6529 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 105994942 14429560832 503058 33554432000 4194304 4196468 140733169764272 140410637231648 140411165275861 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28758016 140733169767564 140733169767734 140733169767734 140733169770447 0
[pid=7116/tid=7124] ppid=7114 vsize=14091368 memory=8112282956445269571 CPUtime=0 cores=0,2,4,6
/proc/7116/task/7124/stat : 7124 (java) S 7114 7114 6529 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 105994942 14429560832 503058 33554432000 4194304 4196468 140733169764272 140410636178800 140411165275861 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28758016 140733169767564 140733169767734 140733169767734 140733169770447 0
[pid=7116/tid=7125] ppid=7114 vsize=14091368 memory=30328 CPUtime=0 cores=0,2,4,6
/proc/7116/task/7125/stat : 7125 (java) S 7114 7114 6529 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105994945 14429560832 503058 33554432000 4194304 4196468 140733169764272 140410635127120 140411165284251 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28758016 140733169767564 140733169767734 140733169767734 140733169770447 0
[pid=7116/tid=7126] ppid=7114 vsize=14091368 memory=1452 CPUtime=4.32 cores=0,2,4,6
/proc/7116/task/7126/stat : 7126 (java) S 7114 7114 6529 0 -1 1077944384 18943 0 0 0 429 3 0 0 20 0 15 0 105994945 14429560832 503058 33554432000 4194304 4196468 140733169764272 140410634074480 140411165276802 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28758016 140733169767564 140733169767734 140733169767734 140733169770447 0
[pid=7116/tid=7127] ppid=7114 vsize=14091368 memory=1452 CPUtime=4.26 cores=0,2,4,6
/proc/7116/task/7127/stat : 7127 (java) S 7114 7114 6529 0 -1 1077944384 24175 0 0 0 422 4 0 0 20 0 15 0 105994945 14429560832 503058 33554432000 4194304 4196468 140733169764272 140410633021680 140411165276802 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28758016 140733169767564 140733169767734 140733169767734 140733169770447 0
[pid=7116/tid=7128] ppid=7114 vsize=14091368 memory=2010184 CPUtime=0.98 cores=0,2,4,6
/proc/7116/task/7128/stat : 7128 (java) S 7114 7114 6529 0 -1 1077944384 10054 0 0 0 96 2 0 0 20 0 15 0 105994945 14429560832 503058 33554432000 4194304 4196468 140733169764272 140410631968880 140411165276802 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28758016 140733169767564 140733169767734 140733169767734 140733169770447 0
[pid=7116/tid=7129] ppid=7114 vsize=14091368 memory=1696 CPUtime=0 cores=0,2,4,6
/proc/7116/task/7129/stat : 7129 (java) S 7114 7114 6529 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105994945 14429560832 503058 33554432000 4194304 4196468 140733169764272 140410630916320 140411165275861 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28758016 140733169767564 140733169767734 140733169767734 140733169770447 0
[pid=7116/tid=7130] ppid=7114 vsize=14091368 memory=4140 CPUtime=0.08 cores=0,2,4,6
/proc/7116/task/7130/stat : 7130 (java) S 7114 7114 6529 0 -1 1077944384 762 0 0 0 3 5 0 0 20 0 15 0 105994945 14429560832 503058 33554432000 4194304 4196468 140733169764272 140410629864624 140411165276802 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28758016 140733169767564 140733169767734 140733169767734 140733169770447 0
Current children cumulated CPU time: 172.97 s
Current children cumulated vsize: 14204496 KiB
Current children cumulated memory: 2013684 KiB
[startup+222.301 s]
/proc/loadavg: 2.09 2.03 1.85 3/217 7133
/proc/meminfo: memFree=21598012/32770624 swapFree=67108688/67108860
[pid=7114] ppid=7111 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/7114/stat : 7114 (xcsp3-exec) S 7111 7114 6529 0 -1 4202496 534 0 0 0 0 0 0 0 20 0 1 0 105994939 115843072 363 33554432000 4194304 5098028 140725725063920 140725725062024 140656456221308 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 33755136 140725725066304 140725725066505 140725725066505 140725725069258 0
/proc/7114/statm: 28282 363 306 221 0 87 0
[pid=7116] ppid=7114 vsize=14091368 memory=2030664 CPUtime=233.05 cores=0,2,4,6
/proc/7116/stat : 7116 (java) S 7114 7114 6529 0 -1 1077944320 81763 0 0 0 23197 108 0 0 20 0 15 0 105994939 14429560832 507666 33554432000 4194304 4196468 140733169764272 140733169746816 140411165265655 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 28758016 140733169767564 140733169767734 140733169767734 140733169770447 0
/proc/7116/statm: 3522842 507666 3417 1 0 3484036 0
[pid=7116/tid=7117] ppid=7114 vsize=14091368 memory=2022472 CPUtime=221.85 cores=0,2,4,6
/proc/7116/task/7117/stat : 7117 (java) R 7114 7114 6529 0 -1 4202560 20795 0 0 0 22158 27 0 0 20 0 15 0 105994939 14429560832 507666 33554432000 4194304 4196468 140733169764272 140411169502568 140410760955672 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28758016 140733169767564 140733169767734 140733169767734 140733169770447 0
[pid=7116/tid=7118] ppid=7114 vsize=14091368 memory=2024520 CPUtime=0.34 cores=0,2,4,6
/proc/7116/task/7118/stat : 7118 (java) S 7114 7114 6529 0 -1 1077944384 413 0 0 0 18 16 0 0 20 0 15 0 105994940 14429560832 507666 33554432000 4194304 4196468 140733169764272 140411080333968 140411165275861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28758016 140733169767564 140733169767734 140733169767734 140733169770447 0
[pid=7116/tid=7119] ppid=7114 vsize=14091368 memory=2028616 CPUtime=0.35 cores=0,2,4,6
/proc/7116/task/7119/stat : 7119 (java) S 7114 7114 6529 0 -1 1077944384 910 0 0 0 19 16 0 0 20 0 15 0 105994940 14429560832 507666 33554432000 4194304 4196468 140733169764272 140411079281168 140411165275861 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28758016 140733169767564 140733169767734 140733169767734 140733169770447 0
[pid=7116/tid=7120] ppid=7114 vsize=14091368 memory=2030664 CPUtime=0.34 cores=0,2,4,6
/proc/7116/task/7120/stat : 7120 (java) S 7114 7114 6529 0 -1 1077944384 370 0 0 0 18 16 0 0 20 0 15 0 105994940 14429560832 507666 33554432000 4194304 4196468 140733169764272 140411078228368 140411165275861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28758016 140733169767564 140733169767734 140733169767734 140733169770447 0
[pid=7116/tid=7121] ppid=7114 vsize=14091368 memory=1452 CPUtime=0.34 cores=0,2,4,6
/proc/7116/task/7121/stat : 7121 (java) S 7114 7114 6529 0 -1 1077944384 540 0 0 0 18 16 0 0 20 0 15 0 105994940 14429560832 507666 33554432000 4194304 4196468 140733169764272 140411077175568 140411165275861 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28758016 140733169767564 140733169767734 140733169767734 140733169770447 0
[pid=7116/tid=7122] ppid=7114 vsize=14091368 memory=2028616 CPUtime=0.01 cores=0,2,4,6
/proc/7116/task/7122/stat : 7122 (java) S 7114 7114 6529 0 -1 1077944384 1127 0 0 0 1 0 0 0 20 0 15 0 105994942 14429560832 507666 33554432000 4194304 4196468 140733169764272 140410638285680 140411165276802 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28758016 140733169767564 140733169767734 140733169767734 140733169770447 0
[pid=7116/tid=7123] ppid=7114 vsize=14091368 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/7116/task/7123/stat : 7123 (java) S 7114 7114 6529 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 105994942 14429560832 507666 33554432000 4194304 4196468 140733169764272 140410637231648 140411165275861 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28758016 140733169767564 140733169767734 140733169767734 140733169770447 0
[pid=7116/tid=7124] ppid=7114 vsize=14091368 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/7116/task/7124/stat : 7124 (java) S 7114 7114 6529 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 105994942 14429560832 507666 33554432000 4194304 4196468 140733169764272 140410636178800 140411165275861 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28758016 140733169767564 140733169767734 140733169767734 140733169770447 0
[pid=7116/tid=7125] ppid=7114 vsize=14091368 memory=2022472 CPUtime=0 cores=0,2,4,6
/proc/7116/task/7125/stat : 7125 (java) S 7114 7114 6529 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105994945 14429560832 507666 33554432000 4194304 4196468 140733169764272 140410635127120 140411165284251 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28758016 140733169767564 140733169767734 140733169767734 140733169770447 0
[pid=7116/tid=7126] ppid=7114 vsize=14091368 memory=1452 CPUtime=4.35 cores=0,2,4,6
/proc/7116/task/7126/stat : 7126 (java) S 7114 7114 6529 0 -1 1077944384 20446 0 0 0 432 3 0 0 20 0 15 0 105994945 14429560832 507666 33554432000 4194304 4196468 140733169764272 140410634074480 140411165276802 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28758016 140733169767564 140733169767734 140733169767734 140733169770447 0
[pid=7116/tid=7127] ppid=7114 vsize=14091368 memory=4140 CPUtime=4.29 cores=0,2,4,6
/proc/7116/task/7127/stat : 7127 (java) S 7114 7114 6529 0 -1 1077944384 24851 0 0 0 425 4 0 0 20 0 15 0 105994945 14429560832 507666 33554432000 4194304 4196468 140733169764272 140410633021680 140411165276802 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28758016 140733169767564 140733169767734 140733169767734 140733169770447 0
[pid=7116/tid=7128] ppid=7114 vsize=14091368 memory=1452 CPUtime=0.99 cores=0,2,4,6
/proc/7116/task/7128/stat : 7128 (java) S 7114 7114 6529 0 -1 1077944384 10204 0 0 0 97 2 0 0 20 0 15 0 105994945 14429560832 507666 33554432000 4194304 4196468 140733169764272 140410631968880 140411165276802 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28758016 140733169767564 140733169767734 140733169767734 140733169770447 0
[pid=7116/tid=7129] ppid=7114 vsize=14091368 memory=2030664 CPUtime=0 cores=0,2,4,6
/proc/7116/task/7129/stat : 7129 (java) S 7114 7114 6529 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105994945 14429560832 507666 33554432000 4194304 4196468 140733169764272 140410630916320 140411165275861 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28758016 140733169767564 140733169767734 140733169767734 140733169770447 0
[pid=7116/tid=7130] ppid=7114 vsize=14091368 memory=952 CPUtime=0.1 cores=0,2,4,6
/proc/7116/task/7130/stat : 7130 (java) S 7114 7114 6529 0 -1 1077944384 810 0 0 0 4 6 0 0 20 0 15 0 105994945 14429560832 507666 33554432000 4194304 4196468 140733169764272 140410629864624 140411165276802 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28758016 140733169767564 140733169767734 140733169767734 140733169770447 0
Current children cumulated CPU time: 233.05 s
Current children cumulated vsize: 14204496 KiB
Current children cumulated memory: 2032116 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+241.201 s]
/proc/loadavg: 2.07 2.03 1.85 4/217 7211
/proc/meminfo: memFree=22760384/32770624 swapFree=67108688/67108860
[pid=7114] ppid=7111 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/7114/stat : 7114 (xcsp3-exec) S 7111 7114 6529 0 -1 4202496 534 0 0 0 0 0 0 0 20 0 1 0 105994939 115843072 363 33554432000 4194304 5098028 140725725063920 140725725062024 140656456221308 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 33755136 140725725066304 140725725066505 140725725066505 140725725069258 0
/proc/7114/statm: 28282 363 306 221 0 87 0
[pid=7116] ppid=7114 vsize=14091368 memory=2045000 CPUtime=252.02 cores=0,2,4,6
/proc/7116/stat : 7116 (java) S 7114 7114 6529 0 -1 1077944320 83770 0 0 0 25093 109 0 0 20 0 15 0 105994939 14429560832 511250 33554432000 4194304 4196468 140733169764272 140733169746816 140411165265655 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 28758016 140733169767564 140733169767734 140733169767734 140733169770447 0
/proc/7116/statm: 3522842 511250 3417 1 0 3484036 0
[pid=7116/tid=7117] ppid=7114 vsize=14091368 memory=1232 CPUtime=240.75 cores=0,2,4,6
/proc/7116/task/7117/stat : 7117 (java) R 7114 7114 6529 0 -1 4202560 21310 0 0 0 24048 27 0 0 20 0 15 0 105994939 14429560832 511250 33554432000 4194304 4196468 140733169764272 140411169501904 140410760921036 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28758016 140733169767564 140733169767734 140733169767734 140733169770447 0
[pid=7116/tid=7118] ppid=7114 vsize=14091368 memory=2424 CPUtime=0.34 cores=0,2,4,6
/proc/7116/task/7118/stat : 7118 (java) S 7114 7114 6529 0 -1 1077944384 413 0 0 0 18 16 0 0 20 0 15 0 105994940 14429560832 511250 33554432000 4194304 4196468 140733169764272 140411080333968 140411165275861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28758016 140733169767564 140733169767734 140733169767734 140733169770447 0
[pid=7116/tid=7119] ppid=7114 vsize=14091368 memory=1576 CPUtime=0.35 cores=0,2,4,6
/proc/7116/task/7119/stat : 7119 (java) S 7114 7114 6529 0 -1 1077944384 910 0 0 0 19 16 0 0 20 0 15 0 105994940 14429560832 511250 33554432000 4194304 4196468 140733169764272 140411079281168 140411165275861 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28758016 140733169767564 140733169767734 140733169767734 140733169770447 0
[pid=7116/tid=7120] ppid=7114 vsize=14091368 memory=928 CPUtime=0.34 cores=0,2,4,6
/proc/7116/task/7120/stat : 7120 (java) S 7114 7114 6529 0 -1 1077944384 370 0 0 0 18 16 0 0 20 0 15 0 105994940 14429560832 511250 33554432000 4194304 4196468 140733169764272 140411078228368 140411165275861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28758016 140733169767564 140733169767734 140733169767734 140733169770447 0
[pid=7116/tid=7121] ppid=7114 vsize=14091368 memory=2240 CPUtime=0.34 cores=0,2,4,6
/proc/7116/task/7121/stat : 7121 (java) S 7114 7114 6529 0 -1 1077944384 540 0 0 0 18 16 0 0 20 0 15 0 105994940 14429560832 511250 33554432000 4194304 4196468 140733169764272 140411077175568 140411165275861 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28758016 140733169767564 140733169767734 140733169767734 140733169770447 0
[pid=7116/tid=7122] ppid=7114 vsize=14091368 memory=4124 CPUtime=0.02 cores=0,2,4,6
/proc/7116/task/7122/stat : 7122 (java) S 7114 7114 6529 0 -1 1077944384 1163 0 0 0 2 0 0 0 20 0 15 0 105994942 14429560832 511250 33554432000 4194304 4196468 140733169764272 140410638285680 140411165276802 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28758016 140733169767564 140733169767734 140733169767734 140733169770447 0
[pid=7116/tid=7123] ppid=7114 vsize=14091368 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/7116/task/7123/stat : 7123 (java) S 7114 7114 6529 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 105994942 14429560832 511250 33554432000 4194304 4196468 140733169764272 140410637231648 140411165275861 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28758016 140733169767564 140733169767734 140733169767734 140733169770447 0
[pid=7116/tid=7124] ppid=7114 vsize=14091368 memory=2045000 CPUtime=0 cores=0,2,4,6
/proc/7116/task/7124/stat : 7124 (java) S 7114 7114 6529 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 105994942 14429560832 511250 33554432000 4194304 4196468 140733169764272 140410636178800 140411165275861 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28758016 140733169767564 140733169767734 140733169767734 140733169770447 0
[pid=7116/tid=7125] ppid=7114 vsize=14091368 memory=1204 CPUtime=0 cores=0,2,4,6
/proc/7116/task/7125/stat : 7125 (java) S 7114 7114 6529 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105994945 14429560832 511250 33554432000 4194304 4196468 140733169764272 140410635127120 140411165284251 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28758016 140733169767564 140733169767734 140733169767734 140733169770447 0
[pid=7116/tid=7126] ppid=7114 vsize=14091368 memory=15872 CPUtime=4.35 cores=0,2,4,6
/proc/7116/task/7126/stat : 7126 (java) S 7114 7114 6529 0 -1 1077944384 20446 0 0 0 432 3 0 0 20 0 15 0 105994945 14429560832 511250 33554432000 4194304 4196468 140733169764272 140410634074480 140411165276802 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28758016 140733169767564 140733169767734 140733169767734 140733169770447 0
[pid=7116/tid=7127] ppid=7114 vsize=14091368 memory=4008 CPUtime=4.35 cores=0,2,4,6
/proc/7116/task/7127/stat : 7127 (java) S 7114 7114 6529 0 -1 1077944384 25849 0 0 0 431 4 0 0 20 0 15 0 105994945 14429560832 511250 33554432000 4194304 4196468 140733169764272 140410633021680 140411165276802 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28758016 140733169767564 140733169767734 140733169767734 140733169770447 0
[pid=7116/tid=7128] ppid=7114 vsize=14091368 memory=18264 CPUtime=0.99 cores=0,2,4,6
/proc/7116/task/7128/stat : 7128 (java) S 7114 7114 6529 0 -1 1077944384 10653 0 0 0 97 2 0 0 20 0 15 0 105994945 14429560832 511250 33554432000 4194304 4196468 140733169764272 140410631968880 140411165276802 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28758016 140733169767564 140733169767734 140733169767734 140733169770447 0
[pid=7116/tid=7129] ppid=7114 vsize=14091368 memory=18268 CPUtime=0 cores=0,2,4,6
/proc/7116/task/7129/stat : 7129 (java) S 7114 7114 6529 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105994945 14429560832 511250 33554432000 4194304 4196468 140733169764272 140410630916320 140411165275861 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28758016 140733169767564 140733169767734 140733169767734 140733169770447 0
[pid=7116/tid=7130] ppid=7114 vsize=14091368 memory=1788 CPUtime=0.11 cores=0,2,4,6
/proc/7116/task/7130/stat : 7130 (java) S 7114 7114 6529 0 -1 1077944384 819 0 0 0 4 7 0 0 20 0 15 0 105994945 14429560832 511250 33554432000 4194304 4196468 140733169764272 140410629864624 140411165276802 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28758016 140733169767564 140733169767734 140733169767734 140733169770447 0
Current children cumulated CPU time: 252.02 s
Current children cumulated vsize: 14204496 KiB
Current children cumulated memory: 2046452 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+241.21 s]
# the end of solver process 7114 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.002196 s, system=0 s
[startup+241.222 s]
# the end of solver process 7116 was just reported to runsolver
# cumulated CPU time of all completed processes: user=250.952 s, system=1.11057 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 241.222
CPU time (s): 252.062
CPU user time (s): 250.952
CPU system time (s): 1.11057
CPU usage (%): 104.494
Max. virtual memory (cumulated for all children) (KiB): 14206468
Max. memory (cumulated for all children) (KiB): 2046452
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 250.952
system time used= 1.11057
maximum resident set size= 2051924
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 84712
page faults= 0
swaps= 0
block input operations= 0
block output operations= 536
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 9188
involuntary context switches= 392
# summary of solver processes directly reported to runsolver:
# pid: 7114,7116
# total CPU time (s): 252.062
# total CPU user time (s): 250.952
# total CPU system time (s): 1.11057
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.47579 second user time and 2.43892 second system time
The end