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 (12980 MiB free)
memory of node 1: 16384 MiB (12731 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4282816-1503212199/watcher-4282816-1503212199 -o /tmp/evaluation-result-4282816-1503212199/solver-4282816-1503212199 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node107-1503208459-21035 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 941184418 HOME/instance-4282816-1503212199.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 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=23612, runsolver pid=23609
Current StackSize limit: 8192 KiB
[startup+0.100108 s]*
/proc/loadavg: 1.96 1.97 1.85 3/218 23628
/proc/meminfo: memFree=26312440/32770624 swapFree=67108860/67108860
[pid=23612] ppid=23609 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/23612/stat : 23612 (xcsp3-exec) S 23609 23612 21004 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 154307796 9740288 345 33554432000 4194304 5098028 140733819903296 140733819901400 140274136154748 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 36401152 140733819905141 140733819905344 140733819905344 140733819908075 0
/proc/23612/statm: 2378 345 289 221 0 87 0
[pid=23614] ppid=23612 vsize=13978596 memory=27988 CPUtime=0.12 cores=0,2,4,6
/proc/23614/stat : 23614 (java) S 23612 23612 21004 0 -1 1077944320 5441 0 0 0 11 1 0 0 20 0 15 0 154307797 14314082304 6997 33554432000 4194304 4196468 140736675733584 140736675716128 140199018217207 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 21708800 140736675734685 140736675734860 140736675734860 140736675737551 0
/proc/23614/statm: 3494649 6997 2838 1 0 3482966 0
[pid=23614/tid=23615] ppid=23612 vsize=13978596 memory=8514701219881125282 CPUtime=0.08 cores=0,2,4,6
/proc/23614/task/23615/stat : 23615 (java) R 23612 23612 21004 0 -1 4202560 3442 0 0 0 8 0 0 0 20 0 15 0 154307797 14314082304 6997 33554432000 4194304 4196468 140736675733584 140199022449120 140199018229142 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21708800 140736675734685 140736675734860 140736675734860 140736675737551 0
[pid=23614/tid=23616] ppid=23612 vsize=13978596 memory=3472468711176590544 CPUtime=0 cores=0,2,4,6
/proc/23614/task/23616/stat : 23616 (java) S 23612 23612 21004 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154307798 14314082304 6997 33554432000 4194304 4196468 140736675733584 140198948305296 140199018227413 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21708800 140736675734685 140736675734860 140736675734860 140736675737551 0
[pid=23614/tid=23617] ppid=23612 vsize=13978596 memory=140582281438848 CPUtime=0 cores=0,2,4,6
/proc/23614/task/23617/stat : 23617 (java) S 23612 23612 21004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154307798 14314082304 6997 33554432000 4194304 4196468 140736675733584 140198947252496 140199018227413 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21708800 140736675734685 140736675734860 140736675734860 140736675737551 0
[pid=23614/tid=23618] ppid=23612 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23614/task/23618/stat : 23618 (java) S 23612 23612 21004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154307798 14314082304 6997 33554432000 4194304 4196468 140736675733584 140198946200208 140199018227413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21708800 140736675734685 140736675734860 140736675734860 140736675737551 0
[pid=23614/tid=23619] ppid=23612 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23614/task/23619/stat : 23619 (java) S 23612 23612 21004 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154307798 14314082304 6997 33554432000 4194304 4196468 140736675733584 140198945147408 140199018227413 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21708800 140736675734685 140736675734860 140736675734860 140736675737551 0
[pid=23614/tid=23620] ppid=23612 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23614/task/23620/stat : 23620 (java) S 23612 23612 21004 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154307799 14314082304 6997 33554432000 4194304 4196468 140736675733584 140198492461680 140199018228354 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21708800 140736675734685 140736675734860 140736675734860 140736675737551 0
[pid=23614/tid=23621] ppid=23612 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23614/task/23621/stat : 23621 (java) S 23612 23612 21004 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154307800 14314082304 6997 33554432000 4194304 4196468 140736675733584 140198491407648 140199018227413 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21708800 140736675734685 140736675734860 140736675734860 140736675737551 0
[pid=23614/tid=23622] ppid=23612 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23614/task/23622/stat : 23622 (java) S 23612 23612 21004 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154307800 14314082304 6997 33554432000 4194304 4196468 140736675733584 140198490355312 140199018227413 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21708800 140736675734685 140736675734860 140736675734860 140736675737551 0
[pid=23614/tid=23623] ppid=23612 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23614/task/23623/stat : 23623 (java) S 23612 23612 21004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154307802 14314082304 6997 33554432000 4194304 4196468 140736675733584 140198489303632 140199018235803 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21708800 140736675734685 140736675734860 140736675734860 140736675737551 0
[pid=23614/tid=23624] ppid=23612 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23614/task/23624/stat : 23624 (java) S 23612 23612 21004 0 -1 1077944384 309 0 0 0 0 0 0 0 20 0 15 0 154307802 14314082304 6997 33554432000 4194304 4196468 140736675733584 140198488250480 140199018228354 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21708800 140736675734685 140736675734860 140736675734860 140736675737551 0
[pid=23614/tid=23625] ppid=23612 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23614/task/23625/stat : 23625 (java) S 23612 23612 21004 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 15 0 154307802 14314082304 6997 33554432000 4194304 4196468 140736675733584 140198487197680 140199018228354 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21708800 140736675734685 140736675734860 140736675734860 140736675737551 0
[pid=23614/tid=23626] ppid=23612 vsize=13978596 memory=140582281438848 CPUtime=0.01 cores=0,2,4,6
/proc/23614/task/23626/stat : 23626 (java) S 23612 23612 21004 0 -1 1077944384 262 0 0 0 1 0 0 0 20 0 15 0 154307802 14314082304 6997 33554432000 4194304 4196468 140736675733584 140198486145392 140199018228354 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21708800 140736675734685 140736675734860 140736675734860 140736675737551 0
[pid=23614/tid=23627] ppid=23612 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23614/task/23627/stat : 23627 (java) S 23612 23612 21004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154307802 14314082304 6997 33554432000 4194304 4196468 140736675733584 140198485092832 140199018227413 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21708800 140736675734685 140736675734860 140736675734860 140736675737551 0
[pid=23614/tid=23628] ppid=23612 vsize=13978596 memory=140582281438848 CPUtime=0 cores=0,2,4,6
/proc/23614/task/23628/stat : 23628 (java) S 23612 23612 21004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154307803 14314082304 6997 33554432000 4194304 4196468 140736675733584 140198484040624 140199018228354 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21708800 140736675734685 140736675734860 140736675734860 140736675737551 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 13988108 KiB
Current children cumulated memory: 29368 KiB
[startup+0.21069 s]*
/proc/loadavg: 1.96 1.97 1.85 3/218 23628
/proc/meminfo: memFree=26300292/32770624 swapFree=67108860/67108860
[pid=23612] ppid=23609 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/23612/stat : 23612 (xcsp3-exec) S 23609 23612 21004 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 154307796 9740288 345 33554432000 4194304 5098028 140733819903296 140733819901400 140274136154748 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 36401152 140733819905141 140733819905344 140733819905344 140733819908075 0
/proc/23612/statm: 2378 345 289 221 0 87 0
[pid=23614] ppid=23612 vsize=13982852 memory=40928 CPUtime=0.34 cores=0,2,4,6
/proc/23614/stat : 23614 (java) S 23612 23612 21004 0 -1 1077944320 8197 0 0 0 32 2 0 0 20 0 15 0 154307797 14318440448 10232 33554432000 4194304 4196468 140736675733584 140736675716128 140199018217207 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 21708800 140736675734685 140736675734860 140736675734860 140736675737551 0
/proc/23614/statm: 3495713 10232 3078 1 0 3482966 0
[pid=23614/tid=23615] ppid=23612 vsize=13982884 memory=5853961137533323680 CPUtime=0.19 cores=0,2,4,6
/proc/23614/task/23615/stat : 23615 (java) R 23612 23612 21004 0 -1 4202560 5286 0 0 0 18 1 0 0 20 0 15 0 154307797 14318473216 10232 33554432000 4194304 4196468 140736675733584 140199022428000 140199010896925 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21708800 140736675734685 140736675734860 140736675734860 140736675737551 0
[pid=23614/tid=23616] ppid=23612 vsize=13982884 memory=3472468711176590544 CPUtime=0 cores=0,2,4,6
/proc/23614/task/23616/stat : 23616 (java) S 23612 23612 21004 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154307798 14318473216 10232 33554432000 4194304 4196468 140736675733584 140198948305296 140199018227413 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21708800 140736675734685 140736675734860 140736675734860 140736675737551 0
[pid=23614/tid=23617] ppid=23612 vsize=13982852 memory=140582281438848 CPUtime=0 cores=0,2,4,6
/proc/23614/task/23617/stat : 23617 (java) S 23612 23612 21004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154307798 14318440448 10232 33554432000 4194304 4196468 140736675733584 140198947252496 140199018227413 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21708800 140736675734685 140736675734860 140736675734860 140736675737551 0
[pid=23614/tid=23618] ppid=23612 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23614/task/23618/stat : 23618 (java) S 23612 23612 21004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154307798 14318440448 10232 33554432000 4194304 4196468 140736675733584 140198946200208 140199018227413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21708800 140736675734685 140736675734860 140736675734860 140736675737551 0
[pid=23614/tid=23619] ppid=23612 vsize=13982852 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23614/task/23619/stat : 23619 (java) S 23612 23612 21004 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154307798 14318440448 10232 33554432000 4194304 4196468 140736675733584 140198945147408 140199018227413 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21708800 140736675734685 140736675734860 140736675734860 140736675737551 0
[pid=23614/tid=23620] ppid=23612 vsize=13982852 memory=140582281438848 CPUtime=0 cores=0,2,4,6
/proc/23614/task/23620/stat : 23620 (java) S 23612 23612 21004 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154307799 14318440448 10232 33554432000 4194304 4196468 140736675733584 140198492461680 140199018228354 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21708800 140736675734685 140736675734860 140736675734860 140736675737551 0
[pid=23614/tid=23621] ppid=23612 vsize=13982852 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23614/task/23621/stat : 23621 (java) S 23612 23612 21004 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154307800 14318440448 10232 33554432000 4194304 4196468 140736675733584 140198491407648 140199018227413 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21708800 140736675734685 140736675734860 140736675734860 140736675737551 0
[pid=23614/tid=23622] ppid=23612 vsize=13982884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23614/task/23622/stat : 23622 (java) S 23612 23612 21004 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154307800 14318473216 10232 33554432000 4194304 4196468 140736675733584 140198490355312 140199018227413 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21708800 140736675734685 140736675734860 140736675734860 140736675737551 0
[pid=23614/tid=23623] ppid=23612 vsize=13982884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23614/task/23623/stat : 23623 (java) S 23612 23612 21004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154307802 14318473216 10232 33554432000 4194304 4196468 140736675733584 140198489303632 140199018235803 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21708800 140736675734685 140736675734860 140736675734860 140736675737551 0
[pid=23614/tid=23624] ppid=23612 vsize=13982852 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/23614/task/23624/stat : 23624 (java) S 23612 23612 21004 0 -1 1077944384 399 0 0 0 1 0 0 0 20 0 15 0 154307802 14318440448 10232 33554432000 4194304 4196468 140736675733584 140198488250480 140199018228354 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21708800 140736675734685 140736675734860 140736675734860 140736675737551 0
[pid=23614/tid=23625] ppid=23612 vsize=13982852 memory=-1 CPUtime=0.03 cores=0,2,4,6
/proc/23614/task/23625/stat : 23625 (java) S 23612 23612 21004 0 -1 1077944384 491 0 0 0 3 0 0 0 20 0 15 0 154307802 14318440448 10232 33554432000 4194304 4196468 140736675733584 140198487197680 140199018228354 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21708800 140736675734685 140736675734860 140736675734860 140736675737551 0
[pid=23614/tid=23626] ppid=23612 vsize=13982852 memory=140582281438848 CPUtime=0.08 cores=0,2,4,6
/proc/23614/task/23626/stat : 23626 (java) R 23612 23612 21004 0 -1 4202560 727 0 0 0 8 0 0 0 20 0 15 0 154307802 14318440448 10232 33554432000 4194304 4196468 140736675733584 140198486145392 140198997186695 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21708800 140736675734685 140736675734860 140736675734860 140736675737551 0
[pid=23614/tid=23627] ppid=23612 vsize=13982852 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23614/task/23627/stat : 23627 (java) S 23612 23612 21004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154307802 14318440448 10232 33554432000 4194304 4196468 140736675733584 140198485092832 140199018227413 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21708800 140736675734685 140736675734860 140736675734860 140736675737551 0
[pid=23614/tid=23628] ppid=23612 vsize=13982852 memory=140582281438848 CPUtime=0 cores=0,2,4,6
/proc/23614/task/23628/stat : 23628 (java) S 23612 23612 21004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154307803 14318440448 10232 33554432000 4194304 4196468 140736675733584 140198484040624 140199018228354 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21708800 140736675734685 140736675734860 140736675734860 140736675737551 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 42308 KiB
[startup+0.310444 s]*
/proc/loadavg: 1.96 1.97 1.85 4/218 23628
/proc/meminfo: memFree=26294212/32770624 swapFree=67108860/67108860
[pid=23612] ppid=23609 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/23612/stat : 23612 (xcsp3-exec) S 23609 23612 21004 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 154307796 9740288 345 33554432000 4194304 5098028 140733819903296 140733819901400 140274136154748 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 36401152 140733819905141 140733819905344 140733819905344 140733819908075 0
/proc/23612/statm: 2378 345 289 221 0 87 0
[pid=23614] ppid=23612 vsize=13982852 memory=47816 CPUtime=0.51 cores=0,2,4,6
/proc/23614/stat : 23614 (java) S 23612 23612 21004 0 -1 1077944320 9144 0 0 0 48 3 0 0 20 0 15 0 154307797 14318440448 11954 33554432000 4194304 4196468 140736675733584 140736675716128 140199018217207 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 21708800 140736675734685 140736675734860 140736675734860 140736675737551 0
/proc/23614/statm: 3495713 11954 3101 1 0 3482966 0
[pid=23614/tid=23615] ppid=23612 vsize=13982852 memory=-8540663193526752614 CPUtime=0.29 cores=0,2,4,6
/proc/23614/task/23615/stat : 23615 (java) R 23612 23612 21004 0 -1 4202560 6011 0 0 0 27 2 0 0 20 0 15 0 154307797 14318440448 11954 33554432000 4194304 4196468 140736675733584 140199022444848 140199018239133 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21708800 140736675734685 140736675734860 140736675734860 140736675737551 0
[pid=23614/tid=23616] ppid=23612 vsize=13982852 memory=3472468711176590544 CPUtime=0 cores=0,2,4,6
/proc/23614/task/23616/stat : 23616 (java) S 23612 23612 21004 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154307798 14318440448 11954 33554432000 4194304 4196468 140736675733584 140198948305296 140199018227413 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21708800 140736675734685 140736675734860 140736675734860 140736675737551 0
[pid=23614/tid=23617] ppid=23612 vsize=13982852 memory=140582281459803 CPUtime=0 cores=0,2,4,6
/proc/23614/task/23617/stat : 23617 (java) S 23612 23612 21004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154307798 14318440448 11954 33554432000 4194304 4196468 140736675733584 140198947252496 140199018227413 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21708800 140736675734685 140736675734860 140736675734860 140736675737551 0
[pid=23614/tid=23618] ppid=23612 vsize=13982852 memory=140582131467548 CPUtime=0 cores=0,2,4,6
/proc/23614/task/23618/stat : 23618 (java) S 23612 23612 21004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154307798 14318440448 11954 33554432000 4194304 4196468 140736675733584 140198946200208 140199018227413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21708800 140736675734685 140736675734860 140736675734860 140736675737551 0
[pid=23614/tid=23619] ppid=23612 vsize=13982852 memory=140582131448783 CPUtime=0 cores=0,2,4,6
/proc/23614/task/23619/stat : 23619 (java) S 23612 23612 21004 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154307798 14318440448 11954 33554432000 4194304 4196468 140736675733584 140198945147408 140199018227413 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21708800 140736675734685 140736675734860 140736675734860 140736675737551 0
[pid=23614/tid=23620] ppid=23612 vsize=13982852 memory=140582281459879 CPUtime=0 cores=0,2,4,6
/proc/23614/task/23620/stat : 23620 (java) S 23612 23612 21004 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154307799 14318440448 11954 33554432000 4194304 4196468 140736675733584 140198492461680 140199018228354 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21708800 140736675734685 140736675734860 140736675734860 140736675737551 0
[pid=23614/tid=23621] ppid=23612 vsize=13982852 memory=140582131457999 CPUtime=0 cores=0,2,4,6
/proc/23614/task/23621/stat : 23621 (java) S 23612 23612 21004 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154307800 14318440448 11954 33554432000 4194304 4196468 140736675733584 140198491407648 140199018227413 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21708800 140736675734685 140736675734860 140736675734860 140736675737551 0
[pid=23614/tid=23622] ppid=23612 vsize=13982852 memory=281164262913680 CPUtime=0 cores=0,2,4,6
/proc/23614/task/23622/stat : 23622 (java) S 23612 23612 21004 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154307800 14318440448 11954 33554432000 4194304 4196468 140736675733584 140198490355312 140199018227413 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21708800 140736675734685 140736675734860 140736675734860 140736675737551 0
[pid=23614/tid=23623] ppid=23612 vsize=13982852 memory=281164262920560 CPUtime=0 cores=0,2,4,6
/proc/23614/task/23623/stat : 23623 (java) S 23612 23612 21004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154307802 14318440448 11954 33554432000 4194304 4196468 140736675733584 140198489303632 140199018235803 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21708800 140736675734685 140736675734860 140736675734860 140736675737551 0
[pid=23614/tid=23624] ppid=23612 vsize=13982852 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/23614/task/23624/stat : 23624 (java) S 23612 23612 21004 0 -1 1077944384 474 0 0 0 3 0 0 0 20 0 15 0 154307802 14318440448 11954 33554432000 4194304 4196468 140736675733584 140198488250480 140199018228354 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21708800 140736675734685 140736675734860 140736675734860 140736675737551 0
[pid=23614/tid=23625] ppid=23612 vsize=13982852 memory=2240 CPUtime=0.04 cores=0,2,4,6
/proc/23614/task/23625/stat : 23625 (java) S 23612 23612 21004 0 -1 1077944384 506 0 0 0 4 0 0 0 20 0 15 0 154307802 14318440448 11954 33554432000 4194304 4196468 140736675733584 140198487197680 140199018228354 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21708800 140736675734685 140736675734860 140736675734860 140736675737551 0
[pid=23614/tid=23626] ppid=23612 vsize=13982852 memory=140582281438848 CPUtime=0.12 cores=0,2,4,6
/proc/23614/task/23626/stat : 23626 (java) S 23612 23612 21004 0 -1 1077944384 852 0 0 0 12 0 0 0 20 0 15 0 154307802 14318440448 11954 33554432000 4194304 4196468 140736675733584 140198486145392 140199018228354 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21708800 140736675734685 140736675734860 140736675734860 140736675737551 0
[pid=23614/tid=23627] ppid=23612 vsize=13982852 memory=2208 CPUtime=0 cores=0,2,4,6
/proc/23614/task/23627/stat : 23627 (java) S 23612 23612 21004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154307802 14318440448 11954 33554432000 4194304 4196468 140736675733584 140198485092832 140199018227413 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21708800 140736675734685 140736675734860 140736675734860 140736675737551 0
[pid=23614/tid=23628] ppid=23612 vsize=13982852 memory=140582281438848 CPUtime=0 cores=0,2,4,6
/proc/23614/task/23628/stat : 23628 (java) S 23612 23612 21004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154307803 14318440448 11954 33554432000 4194304 4196468 140736675733584 140198484040624 140199018228354 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21708800 140736675734685 140736675734860 140736675734860 140736675737551 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 49196 KiB
[startup+0.700795 s]
/proc/loadavg: 1.96 1.97 1.85 5/218 23628
/proc/meminfo: memFree=26277280/32770624 swapFree=67108860/67108860
[pid=23612] ppid=23609 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/23612/stat : 23612 (xcsp3-exec) S 23609 23612 21004 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 154307796 9740288 345 33554432000 4194304 5098028 140733819903296 140733819901400 140274136154748 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 36401152 140733819905141 140733819905344 140733819905344 140733819908075 0
/proc/23612/statm: 2378 345 289 221 0 87 0
[pid=23614] ppid=23612 vsize=13984976 memory=75988 CPUtime=1.56 cores=0,2,4,6
/proc/23614/stat : 23614 (java) S 23612 23612 21004 0 -1 1077944320 13272 0 0 0 152 4 0 0 20 0 15 0 154307797 14320615424 18997 33554432000 4194304 4196468 140736675733584 140736675716128 140199018217207 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 21708800 140736675734685 140736675734860 140736675734860 140736675737551 0
/proc/23614/statm: 3496244 18997 3208 1 0 3483478 0
[pid=23614/tid=23615] ppid=23612 vsize=13984976 memory=1224 CPUtime=0.67 cores=0,2,4,6
/proc/23614/task/23615/stat : 23615 (java) R 23612 23612 21004 0 -1 4202560 6665 0 0 0 65 2 0 0 20 0 15 0 154307797 14320615424 18997 33554432000 4194304 4196468 140736675733584 140199022455024 140198624569757 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21708800 140736675734685 140736675734860 140736675734860 140736675737551 0
[pid=23614/tid=23616] ppid=23612 vsize=13984976 memory=792 CPUtime=0 cores=0,2,4,6
/proc/23614/task/23616/stat : 23616 (java) S 23612 23612 21004 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154307798 14320615424 18997 33554432000 4194304 4196468 140736675733584 140198948305296 140199018227413 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21708800 140736675734685 140736675734860 140736675734860 140736675737551 0
[pid=23614/tid=23617] ppid=23612 vsize=13984976 memory=1004 CPUtime=0 cores=0,2,4,6
/proc/23614/task/23617/stat : 23617 (java) S 23612 23612 21004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154307798 14320615424 18997 33554432000 4194304 4196468 140736675733584 140198947252496 140199018227413 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21708800 140736675734685 140736675734860 140736675734860 140736675737551 0
[pid=23614/tid=23618] ppid=23612 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23614/task/23618/stat : 23618 (java) S 23612 23612 21004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154307798 14320615424 18997 33554432000 4194304 4196468 140736675733584 140198946200208 140199018227413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21708800 140736675734685 140736675734860 140736675734860 140736675737551 0
[pid=23614/tid=23619] ppid=23612 vsize=13984976 memory=281164262995264 CPUtime=0 cores=0,2,4,6
/proc/23614/task/23619/stat : 23619 (java) S 23612 23612 21004 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154307798 14320615424 18997 33554432000 4194304 4196468 140736675733584 140198945147408 140199018227413 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21708800 140736675734685 140736675734860 140736675734860 140736675737551 0
[pid=23614/tid=23620] ppid=23612 vsize=13984976 memory=11268 CPUtime=0 cores=0,2,4,6
/proc/23614/task/23620/stat : 23620 (java) S 23612 23612 21004 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 154307799 14320615424 18997 33554432000 4194304 4196468 140736675733584 140198492461680 140199018228354 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21708800 140736675734685 140736675734860 140736675734860 140736675737551 0
[pid=23614/tid=23621] ppid=23612 vsize=13984976 memory=2244 CPUtime=0 cores=0,2,4,6
/proc/23614/task/23621/stat : 23621 (java) S 23612 23612 21004 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154307800 14320615424 18997 33554432000 4194304 4196468 140736675733584 140198491407648 140199018227413 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21708800 140736675734685 140736675734860 140736675734860 140736675737551 0
[pid=23614/tid=23622] ppid=23612 vsize=13984976 memory=2319529803058300581 CPUtime=0 cores=0,2,4,6
/proc/23614/task/23622/stat : 23622 (java) S 23612 23612 21004 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154307800 14320615424 18997 33554432000 4194304 4196468 140736675733584 140198490355312 140199018227413 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21708800 140736675734685 140736675734860 140736675734860 140736675737551 0
[pid=23614/tid=23623] ppid=23612 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23614/task/23623/stat : 23623 (java) S 23612 23612 21004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154307802 14320615424 18997 33554432000 4194304 4196468 140736675733584 140198489303632 140199018235803 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21708800 140736675734685 140736675734860 140736675734860 140736675737551 0
[pid=23614/tid=23624] ppid=23612 vsize=13984976 memory=51 CPUtime=0.28 cores=0,2,4,6
/proc/23614/task/23624/stat : 23624 (java) R 23612 23612 21004 0 -1 4202560 1531 0 0 0 28 0 0 0 20 0 15 0 154307802 14320615424 18997 33554432000 4194304 4196468 140736675733584 140198488235944 140199001703449 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21708800 140736675734685 140736675734860 140736675734860 140736675737551 0
[pid=23614/tid=23625] ppid=23612 vsize=13984976 memory=5 CPUtime=0.28 cores=0,2,4,6
/proc/23614/task/23625/stat : 23625 (java) R 23612 23612 21004 0 -1 4202560 2098 0 0 0 28 0 0 0 20 0 15 0 154307802 14320615424 18997 33554432000 4194304 4196468 140736675733584 140198487183736 140199002901267 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 21708800 140736675734685 140736675734860 140736675734860 140736675737551 0
[pid=23614/tid=23626] ppid=23612 vsize=13984976 memory=9906 CPUtime=0.29 cores=0,2,4,6
/proc/23614/task/23626/stat : 23626 (java) S 23612 23612 21004 0 -1 1077944384 1671 0 0 0 29 0 0 0 20 0 15 0 154307802 14320615424 18997 33554432000 4194304 4196468 140736675733584 140198486145392 140199018228354 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21708800 140736675734685 140736675734860 140736675734860 140736675737551 0
[pid=23614/tid=23627] ppid=23612 vsize=13984976 memory=463 CPUtime=0 cores=0,2,4,6
/proc/23614/task/23627/stat : 23627 (java) S 23612 23612 21004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154307802 14320615424 18997 33554432000 4194304 4196468 140736675733584 140198485092832 140199018227413 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21708800 140736675734685 140736675734860 140736675734860 140736675737551 0
[pid=23614/tid=23628] ppid=23612 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23614/task/23628/stat : 23628 (java) S 23612 23612 21004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154307803 14320615424 18997 33554432000 4194304 4196468 140736675733584 140198484040624 140199018228354 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21708800 140736675734685 140736675734860 140736675734860 140736675737551 0
Current children cumulated CPU time: 1.56 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 77368 KiB
[startup+1.50084 s]
/proc/loadavg: 2.04 1.99 1.86 4/218 23628
/proc/meminfo: memFree=26257120/32770624 swapFree=67108860/67108860
[pid=23612] ppid=23609 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/23612/stat : 23612 (xcsp3-exec) S 23609 23612 21004 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 154307796 9740288 345 33554432000 4194304 5098028 140733819903296 140733819901400 140274136154748 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 36401152 140733819905141 140733819905344 140733819905344 140733819908075 0
/proc/23612/statm: 2378 345 289 221 0 87 0
################
# More data... #
################
/proc/23614/task/23622/stat : 23622 (java) S 23612 23612 21004 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 154307800 14320615424 44823 33554432000 4194304 4196468 140736675733584 140198490355312 140199018227413 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21708800 140736675734685 140736675734860 140736675734860 140736675737551 0
[pid=23614/tid=23623] ppid=23612 vsize=13984976 memory=225 CPUtime=0 cores=0,2,4,6
/proc/23614/task/23623/stat : 23623 (java) S 23612 23612 21004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154307802 14320615424 44823 33554432000 4194304 4196468 140736675733584 140198489303632 140199018235803 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21708800 140736675734685 140736675734860 140736675734860 140736675737551 0
[pid=23614/tid=23624] ppid=23612 vsize=13984976 memory=7017852193913793105 CPUtime=1.53 cores=0,2,4,6
/proc/23614/task/23624/stat : 23624 (java) S 23612 23612 21004 0 -1 1077944384 9897 0 0 0 152 1 0 0 20 0 15 0 154307802 14320615424 44823 33554432000 4194304 4196468 140736675733584 140198488250480 140199018228354 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21708800 140736675734685 140736675734860 140736675734860 140736675737551 0
[pid=23614/tid=23625] ppid=23612 vsize=13984976 memory=281164263074432 CPUtime=1.55 cores=0,2,4,6
/proc/23614/task/23625/stat : 23625 (java) S 23612 23612 21004 0 -1 1077944384 9158 0 0 0 154 1 0 0 20 0 15 0 154307802 14320615424 44823 33554432000 4194304 4196468 140736675733584 140198487197680 140199018228354 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21708800 140736675734685 140736675734860 140736675734860 140736675737551 0
[pid=23614/tid=23626] ppid=23612 vsize=13984976 memory=-8035107114841901037 CPUtime=0.46 cores=0,2,4,6
/proc/23614/task/23626/stat : 23626 (java) S 23612 23612 21004 0 -1 1077944384 6333 0 0 0 45 1 0 0 20 0 15 0 154307802 14320615424 44823 33554432000 4194304 4196468 140736675733584 140198486145392 140199018228354 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21708800 140736675734685 140736675734860 140736675734860 140736675737551 0
[pid=23614/tid=23627] ppid=23612 vsize=13984976 memory=2 CPUtime=0 cores=0,2,4,6
/proc/23614/task/23627/stat : 23627 (java) S 23612 23612 21004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154307802 14320615424 44823 33554432000 4194304 4196468 140736675733584 140198485092832 140199018227413 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21708800 140736675734685 140736675734860 140736675734860 140736675737551 0
[pid=23614/tid=23628] ppid=23612 vsize=13984976 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/23614/task/23628/stat : 23628 (java) S 23612 23612 21004 0 -1 1077944384 465 0 0 0 1 1 0 0 20 0 15 0 154307803 14320615424 44823 33554432000 4194304 4196468 140736675733584 140198484040624 140199018228354 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21708800 140736675734685 140736675734860 140736675734860 140736675737551 0
Current children cumulated CPU time: 105.93 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 180672 KiB
[startup+162.301 s]
/proc/loadavg: 1.68 1.90 1.85 3/218 23708
/proc/meminfo: memFree=26147220/32770624 swapFree=67108860/67108860
[pid=23612] ppid=23609 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/23612/stat : 23612 (xcsp3-exec) S 23609 23612 21004 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 154307796 9740288 345 33554432000 4194304 5098028 140733819903296 140733819901400 140274136154748 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 36401152 140733819905141 140733819905344 140733819905344 140733819908075 0
/proc/23612/statm: 2378 345 289 221 0 87 0
[pid=23614] ppid=23612 vsize=13984976 memory=153172 CPUtime=165.98 cores=0,2,4,6
/proc/23614/stat : 23614 (java) S 23612 23612 21004 0 -1 1077944320 44934 0 0 0 16584 14 0 0 20 0 15 0 154307797 14320615424 38293 33554432000 4194304 4196468 140736675733584 140736675716128 140199018217207 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 21708800 140736675734685 140736675734860 140736675734860 140736675737551 0
/proc/23614/statm: 3496244 38293 3263 1 0 3483478 0
[pid=23614/tid=23615] ppid=23612 vsize=13984976 memory=153172 CPUtime=162.18 cores=0,2,4,6
/proc/23614/task/23615/stat : 23615 (java) R 23612 23612 21004 0 -1 4202560 12289 0 0 0 16213 5 0 0 20 0 15 0 154307797 14320615424 38293 33554432000 4194304 4196468 140736675733584 140199022455704 140198626181732 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21708800 140736675734685 140736675734860 140736675734860 140736675737551 0
[pid=23614/tid=23616] ppid=23612 vsize=13984976 memory=1380 CPUtime=0.02 cores=0,2,4,6
/proc/23614/task/23616/stat : 23616 (java) S 23612 23612 21004 0 -1 1077944384 806 0 0 0 2 0 0 0 20 0 15 0 154307798 14320615424 38293 33554432000 4194304 4196468 140736675733584 140198948305296 140199018227413 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21708800 140736675734685 140736675734860 140736675734860 140736675737551 0
[pid=23614/tid=23617] ppid=23612 vsize=13984976 memory=153172 CPUtime=0.03 cores=0,2,4,6
/proc/23614/task/23617/stat : 23617 (java) S 23612 23612 21004 0 -1 1077944384 229 0 0 0 2 1 0 0 20 0 15 0 154307798 14320615424 38293 33554432000 4194304 4196468 140736675733584 140198947252496 140199018227413 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21708800 140736675734685 140736675734860 140736675734860 140736675737551 0
[pid=23614/tid=23618] ppid=23612 vsize=13984976 memory=153172 CPUtime=0.02 cores=0,2,4,6
/proc/23614/task/23618/stat : 23618 (java) S 23612 23612 21004 0 -1 1077944384 288 0 0 0 2 0 0 0 20 0 15 0 154307798 14320615424 38293 33554432000 4194304 4196468 140736675733584 140198946200208 140199018227413 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21708800 140736675734685 140736675734860 140736675734860 140736675737551 0
[pid=23614/tid=23619] ppid=23612 vsize=13984976 memory=153172 CPUtime=0.02 cores=0,2,4,6
/proc/23614/task/23619/stat : 23619 (java) S 23612 23612 21004 0 -1 1077944384 1564 0 0 0 2 0 0 0 20 0 15 0 154307798 14320615424 38293 33554432000 4194304 4196468 140736675733584 140198945147408 140199018227413 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21708800 140736675734685 140736675734860 140736675734860 140736675737551 0
[pid=23614/tid=23620] ppid=23612 vsize=13984976 memory=1380 CPUtime=0.02 cores=0,2,4,6
/proc/23614/task/23620/stat : 23620 (java) S 23612 23612 21004 0 -1 1077944384 1299 0 0 0 2 0 0 0 20 0 15 0 154307799 14320615424 38293 33554432000 4194304 4196468 140736675733584 140198492461680 140199018228354 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21708800 140736675734685 140736675734860 140736675734860 140736675737551 0
[pid=23614/tid=23621] ppid=23612 vsize=13984976 memory=281164263066000 CPUtime=0 cores=0,2,4,6
/proc/23614/task/23621/stat : 23621 (java) S 23612 23612 21004 0 -1 1077944384 86 0 0 0 0 0 0 0 20 0 15 0 154307800 14320615424 38293 33554432000 4194304 4196468 140736675733584 140198491407648 140199018227413 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21708800 140736675734685 140736675734860 140736675734860 140736675737551 0
[pid=23614/tid=23622] ppid=23612 vsize=13984976 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/23614/task/23622/stat : 23622 (java) S 23612 23612 21004 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 154307800 14320615424 38293 33554432000 4194304 4196468 140736675733584 140198490355312 140199018227413 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21708800 140736675734685 140736675734860 140736675734860 140736675737551 0
[pid=23614/tid=23623] ppid=23612 vsize=13984976 memory=11108 CPUtime=0 cores=0,2,4,6
/proc/23614/task/23623/stat : 23623 (java) S 23612 23612 21004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154307802 14320615424 38293 33554432000 4194304 4196468 140736675733584 140198489303632 140199018235803 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21708800 140736675734685 140736675734860 140736675734860 140736675737551 0
[pid=23614/tid=23624] ppid=23612 vsize=13984976 memory=1712 CPUtime=1.53 cores=0,2,4,6
/proc/23614/task/23624/stat : 23624 (java) S 23612 23612 21004 0 -1 1077944384 10180 0 0 0 152 1 0 0 20 0 15 0 154307802 14320615424 38293 33554432000 4194304 4196468 140736675733584 140198488250480 140199018228354 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21708800 140736675734685 140736675734860 140736675734860 140736675737551 0
[pid=23614/tid=23625] ppid=23612 vsize=13984976 memory=1380 CPUtime=1.57 cores=0,2,4,6
/proc/23614/task/23625/stat : 23625 (java) S 23612 23612 21004 0 -1 1077944384 9784 0 0 0 156 1 0 0 20 0 15 0 154307802 14320615424 38293 33554432000 4194304 4196468 140736675733584 140198487197680 140199018228354 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21708800 140736675734685 140736675734860 140736675734860 140736675737551 0
[pid=23614/tid=23626] ppid=23612 vsize=13984976 memory=4140 CPUtime=0.46 cores=0,2,4,6
/proc/23614/task/23626/stat : 23626 (java) S 23612 23612 21004 0 -1 1077944384 6586 0 0 0 45 1 0 0 20 0 15 0 154307802 14320615424 38293 33554432000 4194304 4196468 140736675733584 140198486145392 140199018228354 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21708800 140736675734685 140736675734860 140736675734860 140736675737551 0
[pid=23614/tid=23627] ppid=23612 vsize=13984976 memory=154200 CPUtime=0 cores=0,2,4,6
/proc/23614/task/23627/stat : 23627 (java) S 23612 23612 21004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154307802 14320615424 38293 33554432000 4194304 4196468 140736675733584 140198485092832 140199018227413 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21708800 140736675734685 140736675734860 140736675734860 140736675737551 0
[pid=23614/tid=23628] ppid=23612 vsize=13984976 memory=1380 CPUtime=0.04 cores=0,2,4,6
/proc/23614/task/23628/stat : 23628 (java) S 23612 23612 21004 0 -1 1077944384 516 0 0 0 2 2 0 0 20 0 15 0 154307803 14320615424 38293 33554432000 4194304 4196468 140736675733584 140198484040624 140199018228354 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21708800 140736675734685 140736675734860 140736675734860 140736675737551 0
Current children cumulated CPU time: 165.98 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 154552 KiB
[startup+222.301 s]
/proc/loadavg: 1.58 1.83 1.83 3/216 23709
/proc/meminfo: memFree=26168836/32770624 swapFree=67108860/67108860
[pid=23612] ppid=23609 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/23612/stat : 23612 (xcsp3-exec) S 23609 23612 21004 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 154307796 9740288 345 33554432000 4194304 5098028 140733819903296 140733819901400 140274136154748 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 36401152 140733819905141 140733819905344 140733819905344 140733819908075 0
/proc/23612/statm: 2378 345 289 221 0 87 0
[pid=23614] ppid=23612 vsize=13984976 memory=133724 CPUtime=226.07 cores=0,2,4,6
/proc/23614/stat : 23614 (java) S 23612 23612 21004 0 -1 1077944320 48910 0 0 0 22591 16 0 0 20 0 15 0 154307797 14320615424 33431 33554432000 4194304 4196468 140736675733584 140736675716128 140199018217207 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 21708800 140736675734685 140736675734860 140736675734860 140736675737551 0
/proc/23614/statm: 3496244 33431 3263 1 0 3483478 0
[pid=23614/tid=23615] ppid=23612 vsize=13984976 memory=134236 CPUtime=222.13 cores=0,2,4,6
/proc/23614/task/23615/stat : 23615 (java) R 23612 23612 21004 0 -1 4202560 13037 0 0 0 22208 5 0 0 20 0 15 0 154307797 14320615424 33431 33554432000 4194304 4196468 140736675733584 140199022456656 140198626074824 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21708800 140736675734685 140736675734860 140736675734860 140736675737551 0
[pid=23614/tid=23616] ppid=23612 vsize=13984976 memory=134236 CPUtime=0.04 cores=0,2,4,6
/proc/23614/task/23616/stat : 23616 (java) S 23612 23612 21004 0 -1 1077944384 844 0 0 0 3 1 0 0 20 0 15 0 154307798 14320615424 33431 33554432000 4194304 4196468 140736675733584 140198948305296 140199018227413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21708800 140736675734685 140736675734860 140736675734860 140736675737551 0
[pid=23614/tid=23617] ppid=23612 vsize=13984976 memory=134748 CPUtime=0.04 cores=0,2,4,6
/proc/23614/task/23617/stat : 23617 (java) S 23612 23612 21004 0 -1 1077944384 590 0 0 0 3 1 0 0 20 0 15 0 154307798 14320615424 33431 33554432000 4194304 4196468 140736675733584 140198947252496 140199018227413 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21708800 140736675734685 140736675734860 140736675734860 140736675737551 0
[pid=23614/tid=23618] ppid=23612 vsize=13984976 memory=134740 CPUtime=0.04 cores=0,2,4,6
/proc/23614/task/23618/stat : 23618 (java) S 23612 23612 21004 0 -1 1077944384 345 0 0 0 3 1 0 0 20 0 15 0 154307798 14320615424 33431 33554432000 4194304 4196468 140736675733584 140198946200208 140199018227413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21708800 140736675734685 140736675734860 140736675734860 140736675737551 0
[pid=23614/tid=23619] ppid=23612 vsize=13984976 memory=134748 CPUtime=0.03 cores=0,2,4,6
/proc/23614/task/23619/stat : 23619 (java) S 23612 23612 21004 0 -1 1077944384 1580 0 0 0 3 0 0 0 20 0 15 0 154307798 14320615424 33431 33554432000 4194304 4196468 140736675733584 140198945147408 140199018227413 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21708800 140736675734685 140736675734860 140736675734860 140736675737551 0
[pid=23614/tid=23620] ppid=23612 vsize=13984976 memory=134748 CPUtime=0.05 cores=0,2,4,6
/proc/23614/task/23620/stat : 23620 (java) S 23612 23612 21004 0 -1 1077944384 1523 0 0 0 4 1 0 0 20 0 15 0 154307799 14320615424 33431 33554432000 4194304 4196468 140736675733584 140198492461680 140199018228354 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21708800 140736675734685 140736675734860 140736675734860 140736675737551 0
[pid=23614/tid=23621] ppid=23612 vsize=13984976 memory=134236 CPUtime=0 cores=0,2,4,6
/proc/23614/task/23621/stat : 23621 (java) S 23612 23612 21004 0 -1 1077944384 86 0 0 0 0 0 0 0 20 0 15 0 154307800 14320615424 33431 33554432000 4194304 4196468 140736675733584 140198491407648 140199018227413 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21708800 140736675734685 140736675734860 140736675734860 140736675737551 0
[pid=23614/tid=23622] ppid=23612 vsize=13984976 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/23614/task/23622/stat : 23622 (java) S 23612 23612 21004 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 154307800 14320615424 33431 33554432000 4194304 4196468 140736675733584 140198490355312 140199018227413 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21708800 140736675734685 140736675734860 140736675734860 140736675737551 0
[pid=23614/tid=23623] ppid=23612 vsize=13984976 memory=133724 CPUtime=0 cores=0,2,4,6
/proc/23614/task/23623/stat : 23623 (java) S 23612 23612 21004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154307802 14320615424 33431 33554432000 4194304 4196468 140736675733584 140198489303632 140199018235803 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21708800 140736675734685 140736675734860 140736675734860 140736675737551 0
[pid=23614/tid=23624] ppid=23612 vsize=13984976 memory=1380 CPUtime=1.55 cores=0,2,4,6
/proc/23614/task/23624/stat : 23624 (java) S 23612 23612 21004 0 -1 1077944384 10703 0 0 0 154 1 0 0 20 0 15 0 154307802 14320615424 33431 33554432000 4194304 4196468 140736675733584 140198488250480 140199018228354 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21708800 140736675734685 140736675734860 140736675734860 140736675737551 0
[pid=23614/tid=23625] ppid=23612 vsize=13984976 memory=133724 CPUtime=1.58 cores=0,2,4,6
/proc/23614/task/23625/stat : 23625 (java) S 23612 23612 21004 0 -1 1077944384 10981 0 0 0 157 1 0 0 20 0 15 0 154307802 14320615424 33431 33554432000 4194304 4196468 140736675733584 140198487197680 140199018228354 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21708800 140736675734685 140736675734860 140736675734860 140736675737551 0
[pid=23614/tid=23626] ppid=23612 vsize=13984976 memory=4140 CPUtime=0.46 cores=0,2,4,6
/proc/23614/task/23626/stat : 23626 (java) S 23612 23612 21004 0 -1 1077944384 7310 0 0 0 45 1 0 0 20 0 15 0 154307802 14320615424 33431 33554432000 4194304 4196468 140736675733584 140198486145392 140199018228354 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21708800 140736675734685 140736675734860 140736675734860 140736675737551 0
[pid=23614/tid=23627] ppid=23612 vsize=13984976 memory=133724 CPUtime=0 cores=0,2,4,6
/proc/23614/task/23627/stat : 23627 (java) S 23612 23612 21004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154307802 14320615424 33431 33554432000 4194304 4196468 140736675733584 140198485092832 140199018227413 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21708800 140736675734685 140736675734860 140736675734860 140736675737551 0
[pid=23614/tid=23628] ppid=23612 vsize=13984976 memory=133724 CPUtime=0.06 cores=0,2,4,6
/proc/23614/task/23628/stat : 23628 (java) S 23612 23612 21004 0 -1 1077944384 604 0 0 0 3 3 0 0 20 0 15 0 154307803 14320615424 33431 33554432000 4194304 4196468 140736675733584 140198484040624 140199018228354 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21708800 140736675734685 140736675734860 140736675734860 140736675737551 0
Current children cumulated CPU time: 226.07 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 135104 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+240.001 s]*
/proc/loadavg: 1.67 1.84 1.83 3/216 23709
/proc/meminfo: memFree=26170448/32770624 swapFree=67108860/67108860
[pid=23612] ppid=23609 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/23612/stat : 23612 (xcsp3-exec) S 23609 23612 21004 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 154307796 9740288 345 33554432000 4194304 5098028 140733819903296 140733819901400 140274136154748 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 36401152 140733819905141 140733819905344 140733819905344 140733819908075 0
/proc/23612/statm: 2378 345 289 221 0 87 0
[pid=23614] ppid=23612 vsize=13984976 memory=133216 CPUtime=243.8 cores=0,2,4,6
/proc/23614/stat : 23614 (java) S 23612 23612 21004 0 -1 1077944320 49243 0 0 0 24364 16 0 0 20 0 15 0 154307797 14320615424 33304 33554432000 4194304 4196468 140736675733584 140736675716128 140199018217207 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 21708800 140736675734685 140736675734860 140736675734860 140736675737551 0
/proc/23614/statm: 3496244 33304 3263 1 0 3483478 0
[pid=23614/tid=23615] ppid=23612 vsize=13984976 memory=6791534058613427641 CPUtime=239.82 cores=0,2,4,6
/proc/23614/task/23615/stat : 23615 (java) R 23612 23612 21004 0 -1 4202560 13051 0 0 0 23977 5 0 0 20 0 15 0 154307797 14320615424 33304 33554432000 4194304 4196468 140736675733584 140199022456528 140198625656655 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21708800 140736675734685 140736675734860 140736675734860 140736675737551 0
[pid=23614/tid=23616] ppid=23612 vsize=13984976 memory=-7003737579269690708 CPUtime=0.05 cores=0,2,4,6
/proc/23614/task/23616/stat : 23616 (java) S 23612 23612 21004 0 -1 1077944384 845 0 0 0 4 1 0 0 20 0 15 0 154307798 14320615424 33304 33554432000 4194304 4196468 140736675733584 140198948305296 140199018227413 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21708800 140736675734685 140736675734860 140736675734860 140736675737551 0
[pid=23614/tid=23617] ppid=23612 vsize=13984976 memory=18448 CPUtime=0.05 cores=0,2,4,6
/proc/23614/task/23617/stat : 23617 (java) S 23612 23612 21004 0 -1 1077944384 591 0 0 0 4 1 0 0 20 0 15 0 154307798 14320615424 33304 33554432000 4194304 4196468 140736675733584 140198947252496 140199018227413 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21708800 140736675734685 140736675734860 140736675734860 140736675737551 0
[pid=23614/tid=23618] ppid=23612 vsize=13984976 memory=23984 CPUtime=0.05 cores=0,2,4,6
/proc/23614/task/23618/stat : 23618 (java) S 23612 23612 21004 0 -1 1077944384 345 0 0 0 4 1 0 0 20 0 15 0 154307798 14320615424 33304 33554432000 4194304 4196468 140736675733584 140198946200208 140199018227413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21708800 140736675734685 140736675734860 140736675734860 140736675737551 0
[pid=23614/tid=23619] ppid=23612 vsize=13984976 memory=133216 CPUtime=0.04 cores=0,2,4,6
/proc/23614/task/23619/stat : 23619 (java) S 23612 23612 21004 0 -1 1077944384 1581 0 0 0 4 0 0 0 20 0 15 0 154307798 14320615424 33304 33554432000 4194304 4196468 140736675733584 140198945147408 140199018227413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21708800 140736675734685 140736675734860 140736675734860 140736675737551 0
[pid=23614/tid=23620] ppid=23612 vsize=13984976 memory=133216 CPUtime=0.05 cores=0,2,4,6
/proc/23614/task/23620/stat : 23620 (java) S 23612 23612 21004 0 -1 1077944384 1523 0 0 0 4 1 0 0 20 0 15 0 154307799 14320615424 33304 33554432000 4194304 4196468 140736675733584 140198492461680 140199018228354 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21708800 140736675734685 140736675734860 140736675734860 140736675737551 0
[pid=23614/tid=23621] ppid=23612 vsize=13984976 memory=4140 CPUtime=0 cores=0,2,4,6
/proc/23614/task/23621/stat : 23621 (java) S 23612 23612 21004 0 -1 1077944384 86 0 0 0 0 0 0 0 20 0 15 0 154307800 14320615424 33304 33554432000 4194304 4196468 140736675733584 140198491407648 140199018227413 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21708800 140736675734685 140736675734860 140736675734860 140736675737551 0
[pid=23614/tid=23622] ppid=23612 vsize=13984976 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/23614/task/23622/stat : 23622 (java) S 23612 23612 21004 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 154307800 14320615424 33304 33554432000 4194304 4196468 140736675733584 140198490355312 140199018227413 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21708800 140736675734685 140736675734860 140736675734860 140736675737551 0
[pid=23614/tid=23623] ppid=23612 vsize=13984976 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/23614/task/23623/stat : 23623 (java) S 23612 23612 21004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154307802 14320615424 33304 33554432000 4194304 4196468 140736675733584 140198489303632 140199018235803 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21708800 140736675734685 140736675734860 140736675734860 140736675737551 0
[pid=23614/tid=23624] ppid=23612 vsize=13984976 memory=133216 CPUtime=1.55 cores=0,2,4,6
/proc/23614/task/23624/stat : 23624 (java) S 23612 23612 21004 0 -1 1077944384 10703 0 0 0 154 1 0 0 20 0 15 0 154307802 14320615424 33304 33554432000 4194304 4196468 140736675733584 140198488250480 140199018228354 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21708800 140736675734685 140736675734860 140736675734860 140736675737551 0
[pid=23614/tid=23625] ppid=23612 vsize=13984976 memory=133216 CPUtime=1.59 cores=0,2,4,6
/proc/23614/task/23625/stat : 23625 (java) S 23612 23612 21004 0 -1 1077944384 11010 0 0 0 158 1 0 0 20 0 15 0 154307802 14320615424 33304 33554432000 4194304 4196468 140736675733584 140198487197680 140199018228354 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21708800 140736675734685 140736675734860 140736675734860 140736675737551 0
[pid=23614/tid=23626] ppid=23612 vsize=13984976 memory=7011348500760778328 CPUtime=0.47 cores=0,2,4,6
/proc/23614/task/23626/stat : 23626 (java) S 23612 23612 21004 0 -1 1077944384 7595 0 0 0 46 1 0 0 20 0 15 0 154307802 14320615424 33304 33554432000 4194304 4196468 140736675733584 140198486145392 140199018228354 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21708800 140736675734685 140736675734860 140736675734860 140736675737551 0
[pid=23614/tid=23627] ppid=23612 vsize=13984976 memory=7011348500760777816 CPUtime=0 cores=0,2,4,6
/proc/23614/task/23627/stat : 23627 (java) S 23612 23612 21004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154307802 14320615424 33304 33554432000 4194304 4196468 140736675733584 140198485092832 140199018227413 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21708800 140736675734685 140736675734860 140736675734860 140736675737551 0
[pid=23614/tid=23628] ppid=23612 vsize=13984976 memory=6935650410838380624 CPUtime=0.06 cores=0,2,4,6
/proc/23614/task/23628/stat : 23628 (java) S 23612 23612 21004 0 -1 1077944384 606 0 0 0 3 3 0 0 20 0 15 0 154307803 14320615424 33304 33554432000 4194304 4196468 140736675733584 140198484040624 140199018228354 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21708800 140736675734685 140736675734860 140736675734860 140736675737551 0
Current children cumulated CPU time: 243.8 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 134596 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+240.019 s]
# the end of solver process 23612 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0 s, system=0.001912 s
[startup+240.021 s]
# the end of solver process 23614 was just reported to runsolver
# cumulated CPU time of all completed processes: user=243.655 s, system=0.169013 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): 240.021
CPU time (s): 243.824
CPU user time (s): 243.655
CPU system time (s): 0.169013
CPU usage (%): 101.584
Max. virtual memory (cumulated for all children) (KiB): 13994488
Max. memory (cumulated for all children) (KiB): 206784
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 243.655
system time used= 0.169013
maximum resident set size= 209500
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 50116
page faults= 0
swaps= 0
block input operations= 0
block output operations= 400
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8725
involuntary context switches= 307
# summary of solver processes directly reported to runsolver:
# pid: 23612,23614
# total CPU time (s): 243.824
# total CPU user time (s): 243.655
# total CPU system time (s): 0.169013
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.03488 second user time and 1.56552 second system time
The end