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 (15318 MiB free)
memory of node 1: 16384 MiB (15462 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4393266-1568313218/watcher-4393266-1568313218 -o /tmp/evaluation-result-4393266-1568313218/solver-4393266-1568313218 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node107-1568308867-14285 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 884018489 HOME/instance-4393266-1568313218.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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
solver pid=14527, runsolver pid=14524
Current StackSize limit: 8192 KiB
[startup+0.10006 s]*
/proc/loadavg: 8.76 7.65 4.64 5/214 14553
/proc/meminfo: memFree=31481492/32770624 swapFree=66920636/67108860
[pid=14527] ppid=14524 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/14527/stat : 14527 (xcsp3-exec) S 14524 14527 14254 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 407577885 115843072 363 33554432000 4194304 5098028 140732112788528 140732112786632 140583819022972 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 9793536 140732112790395 140732112790637 140732112790637 140732112793546 0
/proc/14527/statm: 28282 363 305 221 0 87 0
[pid=14529] ppid=14527 vsize=15144768 memory=29608 CPUtime=0.12 cores=0,2,4,6
/proc/14529/stat : 14529 (java) S 14527 14527 14254 0 -1 1077944320 5801 0 0 0 11 1 0 0 20 0 15 0 407577885 15508242432 7402 33554432000 4194304 4196468 140727618530208 140727618512752 140198554836727 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 29114368 140727618532335 140727618532506 140727618532506 140727618535375 0
/proc/14529/statm: 3786192 7402 3139 1 0 3748377 0
[pid=14529/tid=14530] ppid=14527 vsize=15144768 memory=576460756329955459 CPUtime=0.09 cores=0,2,4,6
/proc/14529/task/14530/stat : 14530 (java) R 14527 14527 14254 0 -1 4202560 3711 0 0 0 8 1 0 0 20 0 15 0 407577886 15508242432 7402 33554432000 4194304 4196468 140727618530208 140198559070000 140198554848662 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29114368 140727618532335 140727618532506 140727618532506 140727618535375 0
[pid=14529/tid=14531] ppid=14527 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14529/task/14531/stat : 14531 (java) S 14527 14527 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407577886 15508242432 7402 33554432000 4194304 4196468 140727618530208 140198482877456 140198554846933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29114368 140727618532335 140727618532506 140727618532506 140727618535375 0
[pid=14529/tid=14532] ppid=14527 vsize=15144768 memory=3907348758213985952 CPUtime=0 cores=0,2,4,6
/proc/14529/task/14532/stat : 14532 (java) S 14527 14527 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407577886 15508242432 7402 33554432000 4194304 4196468 140727618530208 140198481824912 140198554846933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29114368 140727618532335 140727618532506 140727618532506 140727618535375 0
[pid=14529/tid=14533] ppid=14527 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14529/task/14533/stat : 14533 (java) S 14527 14527 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407577886 15508242432 7402 33554432000 4194304 4196468 140727618530208 140198480771856 140198554846933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29114368 140727618532335 140727618532506 140727618532506 140727618535375 0
[pid=14529/tid=14534] ppid=14527 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14529/task/14534/stat : 14534 (java) S 14527 14527 14254 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407577886 15508242432 7402 33554432000 4194304 4196468 140727618530208 140198479719312 140198554846933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29114368 140727618532335 140727618532506 140727618532506 140727618535375 0
[pid=14529/tid=14535] ppid=14527 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14529/task/14535/stat : 14535 (java) S 14527 14527 14254 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407577888 15508242432 7402 33554432000 4194304 4196468 140727618530208 140198023403760 140198554847874 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29114368 140727618532335 140727618532506 140727618532506 140727618535375 0
[pid=14529/tid=14536] ppid=14527 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14529/task/14536/stat : 14536 (java) S 14527 14527 14254 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 407577888 15508242432 7402 33554432000 4194304 4196468 140727618530208 140198022349984 140198554846933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29114368 140727618532335 140727618532506 140727618532506 140727618535375 0
[pid=14529/tid=14537] ppid=14527 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14529/task/14537/stat : 14537 (java) S 14527 14527 14254 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 407577888 15508242432 7402 33554432000 4194304 4196468 140727618530208 140198021296880 140198554846933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29114368 140727618532335 140727618532506 140727618532506 140727618535375 0
[pid=14529/tid=14538] ppid=14527 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14529/task/14538/stat : 14538 (java) S 14527 14527 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407577891 15508242432 7402 33554432000 4194304 4196468 140727618530208 140198020245456 140198554855323 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29114368 140727618532335 140727618532506 140727618532506 140727618535375 0
[pid=14529/tid=14539] ppid=14527 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14529/task/14539/stat : 14539 (java) R 14527 14527 14254 0 -1 4202560 429 0 0 0 0 0 0 0 20 0 15 0 407577891 15508242432 7402 33554432000 4194304 4196468 140727618530208 140198019193584 140198554848662 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29114368 140727618532335 140727618532506 140727618532506 140727618535375 0
[pid=14529/tid=14540] ppid=14527 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14529/task/14540/stat : 14540 (java) S 14527 14527 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407577891 15508242432 7402 33554432000 4194304 4196468 140727618530208 140198018141040 140198554847874 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29114368 140727618532335 140727618532506 140727618532506 140727618535375 0
[pid=14529/tid=14541] ppid=14527 vsize=15144768 memory=140506262963840 CPUtime=0.02 cores=0,2,4,6
/proc/14529/task/14541/stat : 14541 (java) R 14527 14527 14254 0 -1 4202560 358 0 0 0 2 0 0 0 20 0 15 0 407577891 15508242432 7402 33554432000 4194304 4196468 140727618530208 140198017087984 140198532968206 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29114368 140727618532335 140727618532506 140727618532506 140727618535375 0
[pid=14529/tid=14542] ppid=14527 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14529/task/14542/stat : 14542 (java) S 14527 14527 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407577891 15508242432 7402 33554432000 4194304 4196468 140727618530208 140198016035680 140198554846933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29114368 140727618532335 140727618532506 140727618532506 140727618535375 0
[pid=14529/tid=14543] ppid=14527 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14529/task/14543/stat : 14543 (java) S 14527 14527 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407577891 15508242432 7402 33554432000 4194304 4196468 140727618530208 140198014982704 140198554847874 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29114368 140727618532335 140727618532506 140727618532506 140727618535375 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 31060 KiB
[startup+0.211036 s]*
/proc/loadavg: 8.76 7.65 4.64 6/229 14568
/proc/meminfo: memFree=31453776/32770624 swapFree=66920636/67108860
[pid=14527] ppid=14524 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/14527/stat : 14527 (xcsp3-exec) S 14524 14527 14254 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 407577885 115843072 363 33554432000 4194304 5098028 140732112788528 140732112786632 140583819022972 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 9793536 140732112790395 140732112790637 140732112790637 140732112793546 0
/proc/14527/statm: 28282 363 305 221 0 87 0
[pid=14529] ppid=14527 vsize=15144768 memory=39976 CPUtime=0.34 cores=0,2,4,6
/proc/14529/stat : 14529 (java) S 14527 14527 14254 0 -1 1077944320 9268 0 0 0 31 3 0 0 20 0 15 0 407577885 15508242432 9994 33554432000 4194304 4196468 140727618530208 140727618512752 140198554836727 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 29114368 140727618532335 140727618532506 140727618532506 140727618535375 0
/proc/14529/statm: 3786192 9994 3252 1 0 3748377 0
[pid=14529/tid=14530] ppid=14527 vsize=15144768 memory=7883960649037381690 CPUtime=0.2 cores=0,2,4,6
/proc/14529/task/14530/stat : 14530 (java) R 14527 14527 14254 0 -1 4202560 6561 0 0 0 18 2 0 0 20 0 15 0 407577886 15508242432 9994 33554432000 4194304 4196468 140727618530208 140198559066448 140198538917214 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29114368 140727618532335 140727618532506 140727618532506 140727618535375 0
[pid=14529/tid=14531] ppid=14527 vsize=15144768 memory=10592 CPUtime=0 cores=0,2,4,6
/proc/14529/task/14531/stat : 14531 (java) S 14527 14527 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407577886 15508242432 9994 33554432000 4194304 4196468 140727618530208 140198482877456 140198554846933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29114368 140727618532335 140727618532506 140727618532506 140727618535375 0
[pid=14529/tid=14532] ppid=14527 vsize=15144768 memory=140506265809704 CPUtime=0 cores=0,2,4,6
/proc/14529/task/14532/stat : 14532 (java) S 14527 14527 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407577886 15508242432 9994 33554432000 4194304 4196468 140727618530208 140198481824912 140198554846933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29114368 140727618532335 140727618532506 140727618532506 140727618535375 0
[pid=14529/tid=14533] ppid=14527 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14529/task/14533/stat : 14533 (java) S 14527 14527 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407577886 15508242432 9994 33554432000 4194304 4196468 140727618530208 140198480771856 140198554846933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29114368 140727618532335 140727618532506 140727618532506 140727618535375 0
[pid=14529/tid=14534] ppid=14527 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14529/task/14534/stat : 14534 (java) S 14527 14527 14254 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407577886 15508242432 9994 33554432000 4194304 4196468 140727618530208 140198479719312 140198554846933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29114368 140727618532335 140727618532506 140727618532506 140727618535375 0
[pid=14529/tid=14535] ppid=14527 vsize=15144768 memory=140506262963840 CPUtime=0 cores=0,2,4,6
/proc/14529/task/14535/stat : 14535 (java) S 14527 14527 14254 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 407577888 15508242432 9994 33554432000 4194304 4196468 140727618530208 140198023403760 140198554847874 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29114368 140727618532335 140727618532506 140727618532506 140727618535375 0
[pid=14529/tid=14536] ppid=14527 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14529/task/14536/stat : 14536 (java) S 14527 14527 14254 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 407577888 15508242432 9994 33554432000 4194304 4196468 140727618530208 140198022349984 140198554846933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29114368 140727618532335 140727618532506 140727618532506 140727618535375 0
[pid=14529/tid=14537] ppid=14527 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14529/task/14537/stat : 14537 (java) S 14527 14527 14254 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 407577888 15508242432 9994 33554432000 4194304 4196468 140727618530208 140198021296880 140198554846933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29114368 140727618532335 140727618532506 140727618532506 140727618535375 0
[pid=14529/tid=14538] ppid=14527 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14529/task/14538/stat : 14538 (java) S 14527 14527 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407577891 15508242432 9994 33554432000 4194304 4196468 140727618530208 140198020245456 140198554855323 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29114368 140727618532335 140727618532506 140727618532506 140727618535375 0
[pid=14529/tid=14539] ppid=14527 vsize=15144768 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/14529/task/14539/stat : 14539 (java) R 14527 14527 14254 0 -1 1077944384 507 0 0 0 2 0 0 0 20 0 15 0 407577891 15508242432 9994 33554432000 4194304 4196468 140727618530208 140198019193584 140198554847874 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29114368 140727618532335 140727618532506 140727618532506 140727618535375 0
[pid=14529/tid=14540] ppid=14527 vsize=15144768 memory=-1 CPUtime=0.03 cores=0,2,4,6
/proc/14529/task/14540/stat : 14540 (java) S 14527 14527 14254 0 -1 1077944384 125 0 0 0 3 0 0 0 20 0 15 0 407577891 15508242432 9994 33554432000 4194304 4196468 140727618530208 140198018141040 140198554847874 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29114368 140727618532335 140727618532506 140727618532506 140727618535375 0
[pid=14529/tid=14541] ppid=14527 vsize=15144768 memory=140506262963840 CPUtime=0.07 cores=0,2,4,6
/proc/14529/task/14541/stat : 14541 (java) R 14527 14527 14254 0 -1 1077944384 775 0 0 0 7 0 0 0 20 0 15 0 407577891 15508242432 9994 33554432000 4194304 4196468 140727618530208 140198017087984 140198554847874 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29114368 140727618532335 140727618532506 140727618532506 140727618535375 0
[pid=14529/tid=14542] ppid=14527 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14529/task/14542/stat : 14542 (java) S 14527 14527 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407577891 15508242432 9994 33554432000 4194304 4196468 140727618530208 140198016035680 140198554846933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29114368 140727618532335 140727618532506 140727618532506 140727618535375 0
[pid=14529/tid=14543] ppid=14527 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14529/task/14543/stat : 14543 (java) S 14527 14527 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407577891 15508242432 9994 33554432000 4194304 4196468 140727618530208 140198014982704 140198554847874 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29114368 140727618532335 140727618532506 140727618532506 140727618535375 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 41428 KiB
[startup+0.311188 s]*
/proc/loadavg: 8.76 7.65 4.64 6/229 14568
/proc/meminfo: memFree=31434728/32770624 swapFree=66920636/67108860
[pid=14527] ppid=14524 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/14527/stat : 14527 (xcsp3-exec) S 14524 14527 14254 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 407577885 115843072 363 33554432000 4194304 5098028 140732112788528 140732112786632 140583819022972 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 9793536 140732112790395 140732112790637 140732112790637 140732112793546 0
/proc/14527/statm: 28282 363 305 221 0 87 0
[pid=14529] ppid=14527 vsize=15149024 memory=49636 CPUtime=0.53 cores=0,2,4,6
/proc/14529/stat : 14529 (java) S 14527 14527 14254 0 -1 1077944320 10686 0 0 0 49 4 0 0 20 0 15 0 407577885 15512600576 12409 33554432000 4194304 4196468 140727618530208 140727618512752 140198554836727 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 29114368 140727618532335 140727618532506 140727618532506 140727618535375 0
/proc/14529/statm: 3787256 12409 3370 1 0 3748377 0
[pid=14529/tid=14530] ppid=14527 vsize=15149024 memory=8317482817917895235 CPUtime=0.29 cores=0,2,4,6
/proc/14529/task/14530/stat : 14530 (java) R 14527 14527 14254 0 -1 4202560 7670 0 0 0 26 3 0 0 20 0 15 0 407577886 15512600576 12409 33554432000 4194304 4196468 140727618530208 140198559067840 140198538917214 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29114368 140727618532335 140727618532506 140727618532506 140727618535375 0
[pid=14529/tid=14531] ppid=14527 vsize=15149024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14529/task/14531/stat : 14531 (java) S 14527 14527 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407577886 15512600576 12409 33554432000 4194304 4196468 140727618530208 140198482877456 140198554846933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29114368 140727618532335 140727618532506 140727618532506 140727618535375 0
[pid=14529/tid=14532] ppid=14527 vsize=15149024 memory=35809 CPUtime=0 cores=0,2,4,6
/proc/14529/task/14532/stat : 14532 (java) S 14527 14527 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407577886 15512600576 12409 33554432000 4194304 4196468 140727618530208 140198481824912 140198554846933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29114368 140727618532335 140727618532506 140727618532506 140727618535375 0
[pid=14529/tid=14533] ppid=14527 vsize=15149024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14529/task/14533/stat : 14533 (java) S 14527 14527 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407577886 15512600576 12409 33554432000 4194304 4196468 140727618530208 140198480771856 140198554846933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29114368 140727618532335 140727618532506 140727618532506 140727618535375 0
[pid=14529/tid=14534] ppid=14527 vsize=15149024 memory=9122464004270842071 CPUtime=0 cores=0,2,4,6
/proc/14529/task/14534/stat : 14534 (java) S 14527 14527 14254 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407577886 15512600576 12409 33554432000 4194304 4196468 140727618530208 140198479719312 140198554846933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29114368 140727618532335 140727618532506 140727618532506 140727618535375 0
[pid=14529/tid=14535] ppid=14527 vsize=15149024 memory=6944652177228980320 CPUtime=0 cores=0,2,4,6
/proc/14529/task/14535/stat : 14535 (java) S 14527 14527 14254 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 407577888 15512600576 12409 33554432000 4194304 4196468 140727618530208 140198023403760 140198554847874 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29114368 140727618532335 140727618532506 140727618532506 140727618535375 0
[pid=14529/tid=14536] ppid=14527 vsize=15149024 memory=6655300316396806240 CPUtime=0 cores=0,2,4,6
/proc/14529/task/14536/stat : 14536 (java) S 14527 14527 14254 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 407577888 15512600576 12409 33554432000 4194304 4196468 140727618530208 140198022349984 140198554846933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29114368 140727618532335 140727618532506 140727618532506 140727618535375 0
[pid=14529/tid=14537] ppid=14527 vsize=15149024 memory=6943526294502006880 CPUtime=0 cores=0,2,4,6
/proc/14529/task/14537/stat : 14537 (java) S 14527 14527 14254 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 407577888 15512600576 12409 33554432000 4194304 4196468 140727618530208 140198021296880 140198554846933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29114368 140727618532335 140727618532506 140727618532506 140727618535375 0
[pid=14529/tid=14538] ppid=14527 vsize=15149024 memory=-3258418265892434876 CPUtime=0 cores=0,2,4,6
/proc/14529/task/14538/stat : 14538 (java) S 14527 14527 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407577891 15512600576 12409 33554432000 4194304 4196468 140727618530208 140198020245456 140198554855323 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29114368 140727618532335 140727618532506 140727618532506 140727618535375 0
[pid=14529/tid=14539] ppid=14527 vsize=15149024 memory=4500088463514900084 CPUtime=0.03 cores=0,2,4,6
/proc/14529/task/14539/stat : 14539 (java) S 14527 14527 14254 0 -1 1077944384 566 0 0 0 3 0 0 0 20 0 15 0 407577891 15512600576 12409 33554432000 4194304 4196468 140727618530208 140198019193584 140198554847874 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29114368 140727618532335 140727618532506 140727618532506 140727618535375 0
[pid=14529/tid=14540] ppid=14527 vsize=15149024 memory=6944613755495348631 CPUtime=0.05 cores=0,2,4,6
/proc/14529/task/14540/stat : 14540 (java) R 14527 14527 14254 0 -1 4202560 228 0 0 0 5 0 0 0 20 0 15 0 407577891 15512600576 12409 33554432000 4194304 4196468 140727618530208 140198018131152 140198536364552 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29114368 140727618532335 140727618532506 140727618532506 140727618535375 0
[pid=14529/tid=14541] ppid=14527 vsize=15149024 memory=7893295687695687954 CPUtime=0.12 cores=0,2,4,6
/proc/14529/task/14541/stat : 14541 (java) S 14527 14527 14254 0 -1 1077944384 933 0 0 0 12 0 0 0 20 0 15 0 407577891 15512600576 12409 33554432000 4194304 4196468 140727618530208 140198017087984 140198554847874 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29114368 140727618532335 140727618532506 140727618532506 140727618535375 0
[pid=14529/tid=14542] ppid=14527 vsize=15149024 memory=-8813974798734826869 CPUtime=0 cores=0,2,4,6
/proc/14529/task/14542/stat : 14542 (java) S 14527 14527 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407577891 15512600576 12409 33554432000 4194304 4196468 140727618530208 140198016035680 140198554846933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29114368 140727618532335 140727618532506 140727618532506 140727618535375 0
[pid=14529/tid=14543] ppid=14527 vsize=15149024 memory=7827413994055111515 CPUtime=0 cores=0,2,4,6
/proc/14529/task/14543/stat : 14543 (java) S 14527 14527 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407577891 15512600576 12409 33554432000 4194304 4196468 140727618530208 140198014982704 140198554847874 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29114368 140727618532335 140727618532506 140727618532506 140727618535375 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262152 KiB
Current children cumulated memory: 51088 KiB
[startup+0.70178 s]
/proc/loadavg: 8.76 7.65 4.64 9/229 14568
/proc/meminfo: memFree=31406860/32770624 swapFree=66920636/67108860
[pid=14527] ppid=14524 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/14527/stat : 14527 (xcsp3-exec) S 14524 14527 14254 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 407577885 115843072 363 33554432000 4194304 5098028 140732112788528 140732112786632 140583819022972 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 9793536 140732112790395 140732112790637 140732112790637 140732112793546 0
/proc/14527/statm: 28282 363 305 221 0 87 0
[pid=14529] ppid=14527 vsize=15419452 memory=88572 CPUtime=1.49 cores=0,2,4,6
/proc/14529/stat : 14529 (java) S 14527 14527 14254 0 -1 1077944320 14397 0 0 0 143 6 0 0 20 0 19 0 407577885 15789518848 22143 33554432000 4194304 4196468 140727618530208 140727618512752 140198554836727 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 29114368 140727618532335 140727618532506 140727618532506 140727618535375 0
/proc/14529/statm: 3854863 22143 3451 1 0 3815965 0
[pid=14529/tid=14530] ppid=14527 vsize=15419452 memory=-8412635772165723492 CPUtime=0.67 cores=0,2,4,6
/proc/14529/task/14530/stat : 14530 (java) S 14527 14527 14254 0 -1 1077944384 9452 0 0 0 63 4 0 0 20 0 19 0 407577886 15789518848 22143 33554432000 4194304 4196468 140727618530208 140198559077504 140198554846933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29114368 140727618532335 140727618532506 140727618532506 140727618535375 0
[pid=14529/tid=14531] ppid=14527 vsize=15419452 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14529/task/14531/stat : 14531 (java) S 14527 14527 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 407577886 15789518848 22143 33554432000 4194304 4196468 140727618530208 140198482877456 140198554846933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29114368 140727618532335 140727618532506 140727618532506 140727618535375 0
[pid=14529/tid=14532] ppid=14527 vsize=15419452 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14529/task/14532/stat : 14532 (java) S 14527 14527 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 407577886 15789518848 22143 33554432000 4194304 4196468 140727618530208 140198481824912 140198554846933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29114368 140727618532335 140727618532506 140727618532506 140727618535375 0
[pid=14529/tid=14533] ppid=14527 vsize=15419452 memory=1284 CPUtime=0 cores=0,2,4,6
/proc/14529/task/14533/stat : 14533 (java) S 14527 14527 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 407577886 15789518848 22146 33554432000 4194304 4196468 140727618530208 140198480771856 140198554846933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29114368 140727618532335 140727618532506 140727618532506 140727618535375 0
[pid=14529/tid=14534] ppid=14527 vsize=15419452 memory=1044 CPUtime=0 cores=0,2,4,6
/proc/14529/task/14534/stat : 14534 (java) S 14527 14527 14254 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 407577886 15789518848 22146 33554432000 4194304 4196468 140727618530208 140198479719312 140198554846933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29114368 140727618532335 140727618532506 140727618532506 140727618535375 0
[pid=14529/tid=14535] ppid=14527 vsize=15419452 memory=708 CPUtime=0 cores=0,2,4,6
/proc/14529/task/14535/stat : 14535 (java) S 14527 14527 14254 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 407577888 15789518848 22146 33554432000 4194304 4196468 140727618530208 140198023403760 140198554847874 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29114368 140727618532335 140727618532506 140727618532506 140727618535375 0
[pid=14529/tid=14536] ppid=14527 vsize=15419452 memory=9364 CPUtime=0 cores=0,2,4,6
/proc/14529/task/14536/stat : 14536 (java) S 14527 14527 14254 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 407577888 15789518848 22146 33554432000 4194304 4196468 140727618530208 140198022349984 140198554846933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29114368 140727618532335 140727618532506 140727618532506 140727618535375 0
[pid=14529/tid=14537] ppid=14527 vsize=15419452 memory=1120 CPUtime=0 cores=0,2,4,6
/proc/14529/task/14537/stat : 14537 (java) S 14527 14527 14254 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 407577888 15789518848 22146 33554432000 4194304 4196468 140727618530208 140198021296880 140198554846933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29114368 140727618532335 140727618532506 140727618532506 140727618535375 0
[pid=14529/tid=14538] ppid=14527 vsize=15419452 memory=984 CPUtime=0 cores=0,2,4,6
/proc/14529/task/14538/stat : 14538 (java) S 14527 14527 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407577891 15789518848 22146 33554432000 4194304 4196468 140727618530208 140198020245456 140198554855323 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29114368 140727618532335 140727618532506 140727618532506 140727618535375 0
[pid=14529/tid=14539] ppid=14527 vsize=15419452 memory=14012 CPUtime=0.18 cores=0,2,4,6
/proc/14529/task/14539/stat : 14539 (java) S 14527 14527 14254 0 -1 1077944384 1070 0 0 0 18 0 0 0 20 0 19 0 407577891 15789518848 22146 33554432000 4194304 4196468 140727618530208 140198019193584 140198554847874 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29114368 140727618532335 140727618532506 140727618532506 140727618535375 0
[pid=14529/tid=14540] ppid=14527 vsize=15419452 memory=5132 CPUtime=0.21 cores=0,2,4,6
/proc/14529/task/14540/stat : 14540 (java) S 14527 14527 14254 0 -1 1077944384 636 0 0 0 21 0 0 0 20 0 19 0 407577891 15789518848 22146 33554432000 4194304 4196468 140727618530208 140198018141040 140198554847874 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29114368 140727618532335 140727618532506 140727618532506 140727618535375 0
[pid=14529/tid=14541] ppid=14527 vsize=15419452 memory=2120 CPUtime=0.39 cores=0,2,4,6
/proc/14529/task/14541/stat : 14541 (java) R 14527 14527 14254 0 -1 4202560 1837 0 0 0 39 0 0 0 20 0 19 0 407577891 15789518848 22146 33554432000 4194304 4196468 140727618530208 140198017087984 140198534115380 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29114368 140727618532335 140727618532506 140727618532506 140727618535375 0
[pid=14529/tid=14542] ppid=14527 vsize=15419452 memory=12020 CPUtime=0 cores=0,2,4,6
/proc/14529/task/14542/stat : 14542 (java) S 14527 14527 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407577891 15789518848 22146 33554432000 4194304 4196468 140727618530208 140198016035680 140198554846933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29114368 140727618532335 140727618532506 140727618532506 140727618535375 0
[pid=14529/tid=14543] ppid=14527 vsize=15419452 memory=496 CPUtime=0 cores=0,2,4,6
/proc/14529/task/14543/stat : 14543 (java) S 14527 14527 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 407577891 15789518848 22146 33554432000 4194304 4196468 140727618530208 140198014982704 140198554847874 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29114368 140727618532335 140727618532506 140727618532506 140727618535375 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 15532580 KiB
Current children cumulated memory: 90024 KiB
[startup+1.50819 s]
/proc/loadavg: 8.76 7.65 4.64 12/237 14588
/proc/meminfo: memFree=31282108/32770624 swapFree=66920636/67108860
[pid=14527] ppid=14524 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/14527/stat : 14527 (xcsp3-exec) S 14524 14527 14254 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 407577885 115843072 363 33554432000 4194304 5098028 140732112788528 140732112786632 140583819022972 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 9793536 140732112790395 140732112790637 140732112790637 140732112793546 0
/proc/14527/statm: 28282 363 305 221 0 87 0
################
# More data... #
################
/proc/14529/task/14537/stat : 14537 (java) S 14527 14527 14254 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 407577888 15790571520 44926 33554432000 4194304 4196468 140727618530208 140198021296880 140198554846933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29114368 140727618532335 140727618532506 140727618532506 140727618535375 0
[pid=14529/tid=14538] ppid=14527 vsize=15420480 memory=1120 CPUtime=0 cores=0,2,4,6
/proc/14529/task/14538/stat : 14538 (java) S 14527 14527 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407577891 15790571520 44926 33554432000 4194304 4196468 140727618530208 140198020245456 140198554855323 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29114368 140727618532335 140727618532506 140727618532506 140727618535375 0
[pid=14529/tid=14539] ppid=14527 vsize=15420480 memory=0 CPUtime=0.65 cores=0,2,4,6
/proc/14529/task/14539/stat : 14539 (java) R 14527 14527 14254 0 -1 4202560 4165 0 0 0 65 0 0 0 20 0 19 0 407577891 15790571520 44926 33554432000 4194304 4196468 140727618530208 140198019192760 140198536356841 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29114368 140727618532335 140727618532506 140727618532506 140727618535375 0
[pid=14529/tid=14540] ppid=14527 vsize=15420480 memory=7595996225387588968 CPUtime=0.71 cores=0,2,4,6
/proc/14529/task/14540/stat : 14540 (java) R 14527 14527 14254 0 -1 4202560 4813 0 0 0 71 0 0 0 20 0 19 0 407577891 15790571520 44926 33554432000 4194304 4196468 140727618530208 140198018133528 140198538333253 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29114368 140727618532335 140727618532506 140727618532506 140727618535375 0
[pid=14529/tid=14541] ppid=14527 vsize=15420480 memory=6935649255759568960 CPUtime=0.63 cores=0,2,4,6
/proc/14529/task/14541/stat : 14541 (java) R 14527 14527 14254 0 -1 1077944384 4704 0 0 0 62 1 0 0 20 0 19 0 407577891 15790571520 44926 33554432000 4194304 4196468 140727618530208 140198017087984 140198554847874 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29114368 140727618532335 140727618532506 140727618532506 140727618535375 0
[pid=14529/tid=14542] ppid=14527 vsize=15420480 memory=4639904328588480592 CPUtime=0 cores=0,2,4,6
/proc/14529/task/14542/stat : 14542 (java) S 14527 14527 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407577891 15790571520 44926 33554432000 4194304 4196468 140727618530208 140198016035680 140198554846933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29114368 140727618532335 140727618532506 140727618532506 140727618535375 0
[pid=14529/tid=14543] ppid=14527 vsize=15420480 memory=4642766379218064741 CPUtime=0 cores=0,2,4,6
/proc/14529/task/14543/stat : 14543 (java) S 14527 14527 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 407577891 15790571520 44926 33554432000 4194304 4196468 140727618530208 140198014982704 140198554847874 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29114368 140727618532335 140727618532506 140727618532506 140727618535375 0
Current children cumulated CPU time: 4.59 s
Current children cumulated vsize: 15533608 KiB
Current children cumulated memory: 181156 KiB
[startup+3.11082 s]
/proc/loadavg: 9.18 7.75 4.69 10/237 14608
/proc/meminfo: memFree=31068088/32770624 swapFree=66920636/67108860
[pid=14527] ppid=14524 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/14527/stat : 14527 (xcsp3-exec) S 14524 14527 14254 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 407577885 115843072 363 33554432000 4194304 5098028 140732112788528 140732112786632 140583819022972 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 9793536 140732112790395 140732112790637 140732112790637 140732112793546 0
/proc/14527/statm: 28282 363 305 221 0 87 0
[pid=14529] ppid=14527 vsize=15420480 memory=231692 CPUtime=10.85 cores=0,2,4,6
/proc/14529/stat : 14529 (java) S 14527 14527 14254 0 -1 1077944320 39634 0 0 0 1074 11 0 0 20 0 19 0 407577885 15790571520 57923 33554432000 4194304 4196468 140727618530208 140727618512752 140198554836727 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 29114368 140727618532335 140727618532506 140727618532506 140727618535375 0
/proc/14529/statm: 3855120 57923 3497 1 0 3816222 0
[pid=14529/tid=14530] ppid=14527 vsize=15420480 memory=46468 CPUtime=0.67 cores=0,2,4,6
/proc/14529/task/14530/stat : 14530 (java) S 14527 14527 14254 0 -1 1077944384 9459 0 0 0 63 4 0 0 20 0 19 0 407577886 15790571520 57923 33554432000 4194304 4196468 140727618530208 140198559077504 140198554846933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29114368 140727618532335 140727618532506 140727618532506 140727618535375 0
[pid=14529/tid=14531] ppid=14527 vsize=15420480 memory=57 CPUtime=0 cores=0,2,4,6
/proc/14529/task/14531/stat : 14531 (java) S 14527 14527 14254 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 19 0 407577886 15790571520 57923 33554432000 4194304 4196468 140727618530208 140198482877456 140198554846933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29114368 140727618532335 140727618532506 140727618532506 140727618535375 0
[pid=14529/tid=14532] ppid=14527 vsize=15420480 memory=10808 CPUtime=0 cores=0,2,4,6
/proc/14529/task/14532/stat : 14532 (java) S 14527 14527 14254 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 19 0 407577886 15790571520 57923 33554432000 4194304 4196468 140727618530208 140198481824912 140198554846933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29114368 140727618532335 140727618532506 140727618532506 140727618535375 0
[pid=14529/tid=14533] ppid=14527 vsize=15420480 memory=24215 CPUtime=0 cores=0,2,4,6
/proc/14529/task/14533/stat : 14533 (java) S 14527 14527 14254 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 407577886 15790571520 57923 33554432000 4194304 4196468 140727618530208 140198480771856 140198554846933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29114368 140727618532335 140727618532506 140727618532506 140727618535375 0
[pid=14529/tid=14534] ppid=14527 vsize=15420480 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14529/task/14534/stat : 14534 (java) S 14527 14527 14254 0 -1 1077944384 219 0 0 0 0 0 0 0 20 0 19 0 407577886 15790571520 57923 33554432000 4194304 4196468 140727618530208 140198479719312 140198554846933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29114368 140727618532335 140727618532506 140727618532506 140727618535375 0
[pid=14529/tid=14535] ppid=14527 vsize=15420480 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14529/task/14535/stat : 14535 (java) S 14527 14527 14254 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 19 0 407577888 15790571520 57923 33554432000 4194304 4196468 140727618530208 140198023403760 140198554847874 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29114368 140727618532335 140727618532506 140727618532506 140727618535375 0
[pid=14529/tid=14536] ppid=14527 vsize=15420480 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14529/task/14536/stat : 14536 (java) S 14527 14527 14254 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 407577888 15790571520 57923 33554432000 4194304 4196468 140727618530208 140198022350048 140198554846933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29114368 140727618532335 140727618532506 140727618532506 140727618535375 0
[pid=14529/tid=14537] ppid=14527 vsize=15420480 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14529/task/14537/stat : 14537 (java) S 14527 14527 14254 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 407577888 15790571520 57923 33554432000 4194304 4196468 140727618530208 140198021296896 140198554846933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29114368 140727618532335 140727618532506 140727618532506 140727618535375 0
[pid=14529/tid=14538] ppid=14527 vsize=15420480 memory=129 CPUtime=0 cores=0,2,4,6
/proc/14529/task/14538/stat : 14538 (java) S 14527 14527 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407577891 15790571520 57923 33554432000 4194304 4196468 140727618530208 140198020245456 140198554855323 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29114368 140727618532335 140727618532506 140727618532506 140727618535375 0
[pid=14529/tid=14539] ppid=14527 vsize=15420480 memory=1284 CPUtime=1.69 cores=0,2,4,6
/proc/14529/task/14539/stat : 14539 (java) R 14527 14527 14254 0 -1 4202560 8587 0 0 0 168 1 0 0 20 0 19 0 407577891 15790571520 57923 33554432000 4194304 4196468 140727618530208 140198019179936 140198538223531 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29114368 140727618532335 140727618532506 140727618532506 140727618535375 0
[pid=14529/tid=14540] ppid=14527 vsize=15420480 memory=1044 CPUtime=1.95 cores=0,2,4,6
/proc/14529/task/14540/stat : 14540 (java) R 14527 14527 14254 0 -1 4202560 13231 0 0 0 194 1 0 0 20 0 19 0 407577891 15790571520 57923 33554432000 4194304 4196468 140727618530208 140198018133528 140198538322852 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29114368 140727618532335 140727618532506 140727618532506 140727618535375 0
[pid=14529/tid=14541] ppid=14527 vsize=15420480 memory=708 CPUtime=0.7 cores=0,2,4,6
/proc/14529/task/14541/stat : 14541 (java) R 14527 14527 14254 0 -1 1077944384 5236 0 0 0 69 1 0 0 20 0 19 0 407577891 15790571520 57923 33554432000 4194304 4196468 140727618530208 140198017087984 140198554847874 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29114368 140727618532335 140727618532506 140727618532506 140727618535375 0
[pid=14529/tid=14542] ppid=14527 vsize=15420480 memory=9364 CPUtime=0 cores=0,2,4,6
/proc/14529/task/14542/stat : 14542 (java) S 14527 14527 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407577891 15790571520 57923 33554432000 4194304 4196468 140727618530208 140198016035680 140198554846933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29114368 140727618532335 140727618532506 140727618532506 140727618535375 0
[pid=14529/tid=14543] ppid=14527 vsize=15420480 memory=1120 CPUtime=0 cores=0,2,4,6
/proc/14529/task/14543/stat : 14543 (java) S 14527 14527 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 407577891 15790571520 57923 33554432000 4194304 4196468 140727618530208 140198014982704 140198554847874 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29114368 140727618532335 140727618532506 140727618532506 140727618535375 0
Current children cumulated CPU time: 10.85 s
Current children cumulated vsize: 15533608 KiB
Current children cumulated memory: 233144 KiB
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+6.1132 s]
/proc/loadavg: 9.18 7.75 4.69 3/237 14684
/proc/meminfo: memFree=31063284/32770624 swapFree=66920636/67108860
[pid=14527] ppid=14524 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/14527/stat : 14527 (xcsp3-exec) S 14524 14527 14254 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 407577885 115843072 363 33554432000 4194304 5098028 140732112788528 140732112786632 140583819022972 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 9793536 140732112790395 140732112790637 140732112790637 140732112793546 0
/proc/14527/statm: 28282 363 305 221 0 87 0
[pid=14529] ppid=14527 vsize=15886428 memory=235184 CPUtime=18.22 cores=0,2,4,6
/proc/14529/stat : 14529 (java) S 14527 14527 14254 0 -1 1077944320 46158 0 0 0 1810 12 0 0 20 0 19 0 407577885 16267702272 58796 33554432000 4194304 4196468 140727618530208 140727618512752 140198554836727 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 29114368 140727618532335 140727618532506 140727618532506 140727618535375 0
/proc/14529/statm: 3971607 58796 3526 1 0 3932709 0
[pid=14529/tid=14530] ppid=14527 vsize=15886428 memory=230556 CPUtime=0.69 cores=0,2,4,6
/proc/14529/task/14530/stat : 14530 (java) S 14527 14527 14254 0 -1 1077944384 9661 0 0 0 64 5 0 0 20 0 19 0 407577886 16267702272 58796 33554432000 4194304 4196468 140727618530208 140198559077504 140198554846933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29114368 140727618532335 140727618532506 140727618532506 140727618535375 0
[pid=14529/tid=14531] ppid=14527 vsize=15886428 memory=230616 CPUtime=0 cores=0,2,4,6
/proc/14529/task/14531/stat : 14531 (java) R 14527 14527 14254 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 19 0 407577886 16267702272 58796 33554432000 4194304 4196468 140727618530208 140198482877456 140198554846933 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29114368 140727618532335 140727618532506 140727618532506 140727618535375 0
[pid=14529/tid=14532] ppid=14527 vsize=15886428 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14529/task/14532/stat : 14532 (java) S 14527 14527 14254 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 19 0 407577886 16267702272 58796 33554432000 4194304 4196468 140727618530208 140198481824912 140198554846933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29114368 140727618532335 140727618532506 140727618532506 140727618535375 0
[pid=14529/tid=14533] ppid=14527 vsize=15886428 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14529/task/14533/stat : 14533 (java) R 14527 14527 14254 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 19 0 407577886 16267702272 58796 33554432000 4194304 4196468 140727618530208 140198480771856 140198536484294 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29114368 140727618532335 140727618532506 140727618532506 140727618535375 0
[pid=14529/tid=14534] ppid=14527 vsize=15886428 memory=3580 CPUtime=0 cores=0,2,4,6
/proc/14529/task/14534/stat : 14534 (java) R 14527 14527 14254 0 -1 4202560 245 0 0 0 0 0 0 0 20 0 19 0 407577886 16267702272 58796 33554432000 4194304 4196468 140727618530208 140198479719312 140198539382264 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29114368 140727618532335 140727618532506 140727618532506 140727618535375 0
[pid=14529/tid=14535] ppid=14527 vsize=15886428 memory=16756 CPUtime=0 cores=0,2,4,6
/proc/14529/task/14535/stat : 14535 (java) S 14527 14527 14254 0 -1 1077944384 155 0 0 0 0 0 0 0 20 0 19 0 407577888 16267702272 58796 33554432000 4194304 4196468 140727618530208 140198023402272 140198554846933 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29114368 140727618532335 140727618532506 140727618532506 140727618535375 0
[pid=14529/tid=14536] ppid=14527 vsize=15886428 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14529/task/14536/stat : 14536 (java) S 14527 14527 14254 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 407577888 16267702272 58796 33554432000 4194304 4196468 140727618530208 140198022350048 140198554846933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29114368 140727618532335 140727618532506 140727618532506 140727618535375 0
[pid=14529/tid=14537] ppid=14527 vsize=15886428 memory=5782692679075529345 CPUtime=0 cores=0,2,4,6
/proc/14529/task/14537/stat : 14537 (java) S 14527 14527 14254 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 407577888 16267702272 58796 33554432000 4194304 4196468 140727618530208 140198021296896 140198554846933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29114368 140727618532335 140727618532506 140727618532506 140727618535375 0
[pid=14529/tid=14538] ppid=14527 vsize=15886428 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14529/task/14538/stat : 14538 (java) S 14527 14527 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407577891 16267702272 58796 33554432000 4194304 4196468 140727618530208 140198020245456 140198554855323 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29114368 140727618532335 140727618532506 140727618532506 140727618535375 0
[pid=14529/tid=14539] ppid=14527 vsize=15886428 memory=0 CPUtime=3.67 cores=0,2,4,6
/proc/14529/task/14539/stat : 14539 (java) R 14527 14527 14254 0 -1 4202560 10899 0 0 0 366 1 0 0 20 0 19 0 407577891 16267702272 58796 33554432000 4194304 4196468 140727618530208 140198019179808 140198538049067 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 29114368 140727618532335 140727618532506 140727618532506 140727618535375 0
[pid=14529/tid=14540] ppid=14527 vsize=15886428 memory=237356 CPUtime=3.63 cores=0,2,4,6
/proc/14529/task/14540/stat : 14540 (java) R 14527 14527 14254 0 -1 4202560 13852 0 0 0 362 1 0 0 20 0 19 0 407577891 16267702272 58796 33554432000 4194304 4196468 140727618530208 140198018127136 140198538393366 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29114368 140727618532335 140727618532506 140727618532506 140727618535375 0
[pid=14529/tid=14541] ppid=14527 vsize=15886428 memory=232396 CPUtime=0.75 cores=0,2,4,6
/proc/14529/task/14541/stat : 14541 (java) S 14527 14527 14254 0 -1 1077944384 6414 0 0 0 74 1 0 0 20 0 19 0 407577891 16267702272 58796 33554432000 4194304 4196468 140727618530208 140198017087984 140198554847874 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29114368 140727618532335 140727618532506 140727618532506 140727618535375 0
[pid=14529/tid=14542] ppid=14527 vsize=15886428 memory=2096 CPUtime=0 cores=0,2,4,6
/proc/14529/task/14542/stat : 14542 (java) S 14527 14527 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407577891 16267702272 58796 33554432000 4194304 4196468 140727618530208 140198016035680 140198554846933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29114368 140727618532335 140727618532506 140727618532506 140727618535375 0
[pid=14529/tid=14543] ppid=14527 vsize=15886428 memory=147 CPUtime=0 cores=0,2,4,6
/proc/14529/task/14543/stat : 14543 (java) S 14527 14527 14254 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 19 0 407577891 16267702272 58796 33554432000 4194304 4196468 140727618530208 140198014982704 140198554847874 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29114368 140727618532335 140727618532506 140727618532506 140727618535375 0
Current children cumulated CPU time: 18.22 s
Current children cumulated vsize: 15999556 KiB
Current children cumulated memory: 236636 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+6.14533 s]
# the end of solver process 14527 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.002253 s, system=0 s
[startup+6.16633 s]
# the end of solver process 14529 was just reported to runsolver
# cumulated CPU time of all completed processes: user=18.2223 s, system=0.137437 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
[startup+6.1132 s]
/proc/loadavg: 9.18 7.75 4.69 3/237 14684
/proc/meminfo: memFree=31063284/32770624 swapFree=66920636/67108860
[pid=14527] ppid=14524 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/14527/stat : 14527 (xcsp3-exec) S 14524 14527 14254 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 407577885 115843072 363 33554432000 4194304 5098028 140732112788528 140732112786632 140583819022972 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 9793536 140732112790395 140732112790637 140732112790637 140732112793546 0
/proc/14527/statm: 28282 363 305 221 0 87 0
[pid=14529] ppid=14527 vsize=15886428 memory=235184 CPUtime=18.22 cores=0,2,4,6
/proc/14529/stat : 14529 (java) S 14527 14527 14254 0 -1 1077944320 46158 0 0 0 1810 12 0 0 20 0 19 0 407577885 16267702272 58796 33554432000 4194304 4196468 140727618530208 140727618512752 140198554836727 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 29114368 140727618532335 140727618532506 140727618532506 140727618535375 0
/proc/14529/statm: 3971607 58796 3526 1 0 3932709 0
[pid=14529/tid=14530] ppid=14527 vsize=15886428 memory=230556 CPUtime=0.69 cores=0,2,4,6
/proc/14529/task/14530/stat : 14530 (java) S 14527 14527 14254 0 -1 1077944384 9661 0 0 0 64 5 0 0 20 0 19 0 407577886 16267702272 58796 33554432000 4194304 4196468 140727618530208 140198559077504 140198554846933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29114368 140727618532335 140727618532506 140727618532506 140727618535375 0
[pid=14529/tid=14531] ppid=14527 vsize=15886428 memory=230616 CPUtime=0 cores=0,2,4,6
/proc/14529/task/14531/stat : 14531 (java) R 14527 14527 14254 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 19 0 407577886 16267702272 58796 33554432000 4194304 4196468 140727618530208 140198482877456 140198554846933 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29114368 140727618532335 140727618532506 140727618532506 140727618535375 0
[pid=14529/tid=14532] ppid=14527 vsize=15886428 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14529/task/14532/stat : 14532 (java) S 14527 14527 14254 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 19 0 407577886 16267702272 58796 33554432000 4194304 4196468 140727618530208 140198481824912 140198554846933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29114368 140727618532335 140727618532506 140727618532506 140727618535375 0
[pid=14529/tid=14533] ppid=14527 vsize=15886428 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14529/task/14533/stat : 14533 (java) R 14527 14527 14254 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 19 0 407577886 16267702272 58796 33554432000 4194304 4196468 140727618530208 140198480771856 140198536484294 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29114368 140727618532335 140727618532506 140727618532506 140727618535375 0
[pid=14529/tid=14534] ppid=14527 vsize=15886428 memory=3580 CPUtime=0 cores=0,2,4,6
/proc/14529/task/14534/stat : 14534 (java) R 14527 14527 14254 0 -1 4202560 245 0 0 0 0 0 0 0 20 0 19 0 407577886 16267702272 58796 33554432000 4194304 4196468 140727618530208 140198479719312 140198539382264 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29114368 140727618532335 140727618532506 140727618532506 140727618535375 0
[pid=14529/tid=14535] ppid=14527 vsize=15886428 memory=16756 CPUtime=0 cores=0,2,4,6
/proc/14529/task/14535/stat : 14535 (java) S 14527 14527 14254 0 -1 1077944384 155 0 0 0 0 0 0 0 20 0 19 0 407577888 16267702272 58796 33554432000 4194304 4196468 140727618530208 140198023402272 140198554846933 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29114368 140727618532335 140727618532506 140727618532506 140727618535375 0
[pid=14529/tid=14536] ppid=14527 vsize=15886428 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14529/task/14536/stat : 14536 (java) S 14527 14527 14254 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 407577888 16267702272 58796 33554432000 4194304 4196468 140727618530208 140198022350048 140198554846933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29114368 140727618532335 140727618532506 140727618532506 140727618535375 0
[pid=14529/tid=14537] ppid=14527 vsize=15886428 memory=5782692679075529345 CPUtime=0 cores=0,2,4,6
/proc/14529/task/14537/stat : 14537 (java) S 14527 14527 14254 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 407577888 16267702272 58796 33554432000 4194304 4196468 140727618530208 140198021296896 140198554846933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29114368 140727618532335 140727618532506 140727618532506 140727618535375 0
[pid=14529/tid=14538] ppid=14527 vsize=15886428 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14529/task/14538/stat : 14538 (java) S 14527 14527 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407577891 16267702272 58796 33554432000 4194304 4196468 140727618530208 140198020245456 140198554855323 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29114368 140727618532335 140727618532506 140727618532506 140727618535375 0
[pid=14529/tid=14539] ppid=14527 vsize=15886428 memory=0 CPUtime=3.67 cores=0,2,4,6
/proc/14529/task/14539/stat : 14539 (java) R 14527 14527 14254 0 -1 4202560 10899 0 0 0 366 1 0 0 20 0 19 0 407577891 16267702272 58796 33554432000 4194304 4196468 140727618530208 140198019179808 140198538049067 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 29114368 140727618532335 140727618532506 140727618532506 140727618535375 0
[pid=14529/tid=14540] ppid=14527 vsize=15886428 memory=237356 CPUtime=3.63 cores=0,2,4,6
/proc/14529/task/14540/stat : 14540 (java) R 14527 14527 14254 0 -1 4202560 13852 0 0 0 362 1 0 0 20 0 19 0 407577891 16267702272 58796 33554432000 4194304 4196468 140727618530208 140198018127136 140198538393366 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29114368 140727618532335 140727618532506 140727618532506 140727618535375 0
[pid=14529/tid=14541] ppid=14527 vsize=15886428 memory=232396 CPUtime=0.75 cores=0,2,4,6
/proc/14529/task/14541/stat : 14541 (java) S 14527 14527 14254 0 -1 1077944384 6414 0 0 0 74 1 0 0 20 0 19 0 407577891 16267702272 58796 33554432000 4194304 4196468 140727618530208 140198017087984 140198554847874 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29114368 140727618532335 140727618532506 140727618532506 140727618535375 0
[pid=14529/tid=14542] ppid=14527 vsize=15886428 memory=2096 CPUtime=0 cores=0,2,4,6
/proc/14529/task/14542/stat : 14542 (java) S 14527 14527 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407577891 16267702272 58796 33554432000 4194304 4196468 140727618530208 140198016035680 140198554846933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29114368 140727618532335 140727618532506 140727618532506 140727618535375 0
[pid=14529/tid=14543] ppid=14527 vsize=15886428 memory=147 CPUtime=0 cores=0,2,4,6
/proc/14529/task/14543/stat : 14543 (java) S 14527 14527 14254 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 19 0 407577891 16267702272 58796 33554432000 4194304 4196468 140727618530208 140198014982704 140198554847874 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29114368 140727618532335 140727618532506 140727618532506 140727618535375 0
Current children cumulated CPU time: 18.22 s
Current children cumulated vsize: 15999556 KiB
Current children cumulated memory: 236636 KiB
Child status: 143
Real time (s): 6.16638
CPU time (s): 18.3597
CPU user time (s): 18.2223
CPU system time (s): 0.137437
CPU usage (%): 297.74
Max. virtual memory (cumulated for all children) (KiB): 15999556
Max. memory (cumulated for all children) (KiB): 238808
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 18.2223
system time used= 0.137437
maximum resident set size= 240136
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 47150
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3673
involuntary context switches= 635
# summary of solver processes directly reported to runsolver:
# pid: 14527,14529
# total CPU time (s): 18.3597
# total CPU user time (s): 18.2223
# total CPU system time (s): 0.137437
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.06162 second user time and 0.110715 second system time
The end