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 (5334 MiB free)
memory of node 1: 16384 MiB (4919 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4404158-1568991826/watcher-4404158-1568991826 -o /tmp/evaluation-result-4404158-1568991826/solver-4404158-1568991826 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node141-1568991778-30563 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 12000 -tdir HOME -seed 288086816 HOME/instance-4404158-1568991826.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=30705, runsolver pid=30702
[startup+0.10067 s]*
/proc/loadavg: 1.26 0.91 1.13 7/234 30721
/proc/meminfo: memFree=10479452/32770624 swapFree=66935460/67108860
[pid=30705] ppid=30702 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/30705/stat : 30705 (xcsp3-exec) S 30702 30705 30531 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 475120490 115843072 363 33554432000 4194304 5098028 140723060970880 140723060968984 139985504445052 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 13348864 140723060978555 140723060978797 140723060978797 140723060981706 0
/proc/30705/statm: 28282 363 304 221 0 87 0
[pid=30707] ppid=30705 vsize=15144776 memory=29700 CPUtime=0.13 cores=1,3,5,7
/proc/30707/stat : 30707 (java) S 30705 30705 30531 0 -1 1077944320 5873 0 0 0 12 1 0 0 20 0 15 0 475120491 15508250624 7425 33554432000 4194304 4196468 140731193370688 140731193353232 140674527936247 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 28442624 140731193377775 140731193377946 140731193377946 140731193380815 0
/proc/30707/statm: 3786194 7425 3183 1 0 3748377 0
[pid=30707/tid=30708] ppid=30705 vsize=15144776 memory=8514701219881124772 CPUtime=0.09 cores=1,3,5,7
/proc/30707/task/30708/stat : 30708 (java) R 30705 30705 30531 0 -1 4202560 3753 0 0 0 9 0 0 0 20 0 15 0 475120491 15508250624 7425 33554432000 4194304 4196468 140731193370688 140674532166432 140674527948182 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28442624 140731193377775 140731193377946 140731193377946 140731193380815 0
[pid=30707/tid=30709] ppid=30705 vsize=15144776 memory=3472468834326840528 CPUtime=0 cores=1,3,5,7
/proc/30707/task/30709/stat : 30709 (java) S 30705 30705 30531 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475120492 15508250624 7425 33554432000 4194304 4196468 140731193370688 140674480556816 140674527946453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28442624 140731193377775 140731193377946 140731193377946 140731193380815 0
[pid=30707/tid=30710] ppid=30705 vsize=15144776 memory=140705431688832 CPUtime=0 cores=1,3,5,7
/proc/30707/task/30710/stat : 30710 (java) S 30705 30705 30531 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475120492 15508250624 7425 33554432000 4194304 4196468 140731193370688 140674479504272 140674527946453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28442624 140731193377775 140731193377946 140731193377946 140731193380815 0
[pid=30707/tid=30711] ppid=30705 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30707/task/30711/stat : 30711 (java) S 30705 30705 30531 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475120492 15508250624 7425 33554432000 4194304 4196468 140731193370688 140674478451728 140674527946453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28442624 140731193377775 140731193377946 140731193377946 140731193380815 0
[pid=30707/tid=30712] ppid=30705 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30707/task/30712/stat : 30712 (java) S 30705 30705 30531 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475120492 15508250624 7425 33554432000 4194304 4196468 140731193370688 140674477399184 140674527946453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28442624 140731193377775 140731193377946 140731193377946 140731193380815 0
[pid=30707/tid=30713] ppid=30705 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30707/task/30713/stat : 30713 (java) S 30705 30705 30531 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475120493 15508250624 7425 33554432000 4194304 4196468 140731193370688 140673670539248 140674527947394 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28442624 140731193377775 140731193377946 140731193377946 140731193380815 0
[pid=30707/tid=30714] ppid=30705 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30707/task/30714/stat : 30714 (java) S 30705 30705 30531 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475120493 15508250624 7425 33554432000 4194304 4196468 140731193370688 140673669485472 140674527946453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28442624 140731193377775 140731193377946 140731193377946 140731193380815 0
[pid=30707/tid=30715] ppid=30705 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30707/task/30715/stat : 30715 (java) S 30705 30705 30531 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475120494 15508250624 7425 33554432000 4194304 4196468 140731193370688 140673600709616 140674527946453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28442624 140731193377775 140731193377946 140731193377946 140731193380815 0
[pid=30707/tid=30716] ppid=30705 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30707/task/30716/stat : 30716 (java) S 30705 30705 30531 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475120496 15508250624 7425 33554432000 4194304 4196468 140731193370688 140673599658192 140674527954843 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28442624 140731193377775 140731193377946 140731193377946 140731193380815 0
[pid=30707/tid=30717] ppid=30705 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30707/task/30717/stat : 30717 (java) R 30705 30705 30531 0 -1 1077944384 303 0 0 0 0 0 0 0 20 0 15 0 475120496 15508250624 7425 33554432000 4194304 4196468 140731193370688 140673598605808 140674527947394 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28442624 140731193377775 140731193377946 140731193377946 140731193380815 0
[pid=30707/tid=30718] ppid=30705 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30707/task/30718/stat : 30718 (java) S 30705 30705 30531 0 -1 1077944384 162 0 0 0 0 0 0 0 20 0 15 0 475120496 15508250624 7425 33554432000 4194304 4196468 140731193370688 140673597553264 140674527947394 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28442624 140731193377775 140731193377946 140731193377946 140731193380815 0
[pid=30707/tid=30719] ppid=30705 vsize=15144776 memory=140705431688832 CPUtime=0.02 cores=1,3,5,7
/proc/30707/task/30719/stat : 30719 (java) R 30705 30705 30531 0 -1 4202560 354 0 0 0 2 0 0 0 20 0 15 0 475120496 15508250624 7425 33554432000 4194304 4196468 140731193370688 140673596500720 140674527948182 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28442624 140731193377775 140731193377946 140731193377946 140731193380815 0
[pid=30707/tid=30720] ppid=30705 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30707/task/30720/stat : 30720 (java) S 30705 30705 30531 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475120496 15508250624 7425 33554432000 4194304 4196468 140731193370688 140673595448416 140674527946453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28442624 140731193377775 140731193377946 140731193377946 140731193380815 0
[pid=30707/tid=30721] ppid=30705 vsize=15144776 memory=140705431688832 CPUtime=0 cores=1,3,5,7
/proc/30707/task/30721/stat : 30721 (java) S 30705 30705 30531 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475120497 15508250624 7425 33554432000 4194304 4196468 140731193370688 140673594394928 140674527947394 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28442624 140731193377775 140731193377946 140731193377946 140731193380815 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 31152 KiB
[startup+0.210967 s]*
/proc/loadavg: 1.64 0.99 1.16 7/234 30721
/proc/meminfo: memFree=10465428/32770624 swapFree=66935460/67108860
[pid=30705] ppid=30702 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/30705/stat : 30705 (xcsp3-exec) S 30702 30705 30531 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 475120490 115843072 363 33554432000 4194304 5098028 140723060970880 140723060968984 139985504445052 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 13348864 140723060978555 140723060978797 140723060978797 140723060981706 0
/proc/30705/statm: 28282 363 304 221 0 87 0
[pid=30707] ppid=30705 vsize=15144776 memory=40300 CPUtime=0.35 cores=1,3,5,7
/proc/30707/stat : 30707 (java) S 30705 30705 30531 0 -1 1077944320 9315 0 0 0 32 3 0 0 20 0 15 0 475120491 15508250624 10075 33554432000 4194304 4196468 140731193370688 140731193353232 140674527936247 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 28442624 140731193377775 140731193377946 140731193377946 140731193380815 0
/proc/30707/statm: 3786194 10075 3295 1 0 3748377 0
[pid=30707/tid=30708] ppid=30705 vsize=15144776 memory=5855082630903857826 CPUtime=0.2 cores=1,3,5,7
/proc/30707/task/30708/stat : 30708 (java) S 30705 30705 30531 0 -1 1077944384 6594 0 0 0 18 2 0 0 20 0 15 0 475120491 15508250624 10075 33554432000 4194304 4196468 140731193370688 140674532171232 140674527946453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28442624 140731193377775 140731193377946 140731193377946 140731193380815 0
[pid=30707/tid=30709] ppid=30705 vsize=15144776 memory=3472468834326840528 CPUtime=0 cores=1,3,5,7
/proc/30707/task/30709/stat : 30709 (java) S 30705 30705 30531 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475120492 15508250624 10075 33554432000 4194304 4196468 140731193370688 140674480556816 140674527946453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28442624 140731193377775 140731193377946 140731193377946 140731193380815 0
[pid=30707/tid=30710] ppid=30705 vsize=15144776 memory=140705431688832 CPUtime=0 cores=1,3,5,7
/proc/30707/task/30710/stat : 30710 (java) S 30705 30705 30531 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475120492 15508250624 10075 33554432000 4194304 4196468 140731193370688 140674479504272 140674527946453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28442624 140731193377775 140731193377946 140731193377946 140731193380815 0
[pid=30707/tid=30711] ppid=30705 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30707/task/30711/stat : 30711 (java) S 30705 30705 30531 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475120492 15508250624 10075 33554432000 4194304 4196468 140731193370688 140674478451728 140674527946453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28442624 140731193377775 140731193377946 140731193377946 140731193380815 0
[pid=30707/tid=30712] ppid=30705 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30707/task/30712/stat : 30712 (java) S 30705 30705 30531 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475120492 15508250624 10075 33554432000 4194304 4196468 140731193370688 140674477399184 140674527946453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28442624 140731193377775 140731193377946 140731193377946 140731193380815 0
[pid=30707/tid=30713] ppid=30705 vsize=15144776 memory=140705431688832 CPUtime=0 cores=1,3,5,7
/proc/30707/task/30713/stat : 30713 (java) S 30705 30705 30531 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 475120493 15508250624 10075 33554432000 4194304 4196468 140731193370688 140673670539248 140674527947394 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28442624 140731193377775 140731193377946 140731193377946 140731193380815 0
[pid=30707/tid=30714] ppid=30705 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30707/task/30714/stat : 30714 (java) S 30705 30705 30531 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475120493 15508250624 10075 33554432000 4194304 4196468 140731193370688 140673669485472 140674527946453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28442624 140731193377775 140731193377946 140731193377946 140731193380815 0
[pid=30707/tid=30715] ppid=30705 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30707/task/30715/stat : 30715 (java) S 30705 30705 30531 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475120494 15508250624 10075 33554432000 4194304 4196468 140731193370688 140673600709616 140674527946453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28442624 140731193377775 140731193377946 140731193377946 140731193380815 0
[pid=30707/tid=30716] ppid=30705 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30707/task/30716/stat : 30716 (java) S 30705 30705 30531 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475120496 15508250624 10075 33554432000 4194304 4196468 140731193370688 140673599658192 140674527954843 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28442624 140731193377775 140731193377946 140731193377946 140731193380815 0
[pid=30707/tid=30717] ppid=30705 vsize=15144776 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/30707/task/30717/stat : 30717 (java) S 30705 30705 30531 0 -1 1077944384 438 0 0 0 2 0 0 0 20 0 15 0 475120496 15508250624 10075 33554432000 4194304 4196468 140731193370688 140673598605808 140674527947394 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28442624 140731193377775 140731193377946 140731193377946 140731193380815 0
[pid=30707/tid=30718] ppid=30705 vsize=15144776 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/30707/task/30718/stat : 30718 (java) S 30705 30705 30531 0 -1 1077944384 199 0 0 0 2 0 0 0 20 0 15 0 475120496 15508250624 10075 33554432000 4194304 4196468 140731193370688 140673597553264 140674527947394 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28442624 140731193377775 140731193377946 140731193377946 140731193380815 0
[pid=30707/tid=30719] ppid=30705 vsize=15144776 memory=140705431688832 CPUtime=0.08 cores=1,3,5,7
/proc/30707/task/30719/stat : 30719 (java) S 30705 30705 30531 0 -1 1077944384 778 0 0 0 8 0 0 0 20 0 15 0 475120496 15508250624 10075 33554432000 4194304 4196468 140731193370688 140673596500720 140674527947394 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28442624 140731193377775 140731193377946 140731193377946 140731193380815 0
[pid=30707/tid=30720] ppid=30705 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30707/task/30720/stat : 30720 (java) S 30705 30705 30531 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475120496 15508250624 10075 33554432000 4194304 4196468 140731193370688 140673595448416 140674527946453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28442624 140731193377775 140731193377946 140731193377946 140731193380815 0
[pid=30707/tid=30721] ppid=30705 vsize=15144776 memory=140705431688832 CPUtime=0 cores=1,3,5,7
/proc/30707/task/30721/stat : 30721 (java) S 30705 30705 30531 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475120497 15508250624 10075 33554432000 4194304 4196468 140731193370688 140673594394928 140674527947394 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28442624 140731193377775 140731193377946 140731193377946 140731193380815 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 41752 KiB
[startup+0.310649 s]*
/proc/loadavg: 1.64 0.99 1.16 7/234 30721
/proc/meminfo: memFree=10456108/32770624 swapFree=66935460/67108860
[pid=30705] ppid=30702 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/30705/stat : 30705 (xcsp3-exec) S 30702 30705 30531 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 475120490 115843072 363 33554432000 4194304 5098028 140723060970880 140723060968984 139985504445052 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 13348864 140723060978555 140723060978797 140723060978797 140723060981706 0
/proc/30705/statm: 28282 363 304 221 0 87 0
[pid=30707] ppid=30705 vsize=15149032 memory=50340 CPUtime=0.53 cores=1,3,5,7
/proc/30707/stat : 30707 (java) S 30705 30705 30531 0 -1 1077944320 10854 0 0 0 50 3 0 0 20 0 15 0 475120491 15512608768 12585 33554432000 4194304 4196468 140731193370688 140731193353232 140674527936247 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 28442624 140731193377775 140731193377946 140731193377946 140731193380815 0
/proc/30707/statm: 3787258 12585 3374 1 0 3748377 0
[pid=30707/tid=30708] ppid=30705 vsize=15149032 memory=8514701219880861597 CPUtime=0.3 cores=1,3,5,7
/proc/30707/task/30708/stat : 30708 (java) R 30705 30705 30531 0 -1 4202560 7808 0 0 0 28 2 0 0 20 0 15 0 475120491 15512608768 12585 33554432000 4194304 4196468 140731193370688 140674532168016 140674527958173 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28442624 140731193377775 140731193377946 140731193377946 140731193380815 0
[pid=30707/tid=30709] ppid=30705 vsize=15149032 memory=3472468834326840528 CPUtime=0 cores=1,3,5,7
/proc/30707/task/30709/stat : 30709 (java) S 30705 30705 30531 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475120492 15512608768 12585 33554432000 4194304 4196468 140731193370688 140674480556816 140674527946453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28442624 140731193377775 140731193377946 140731193377946 140731193380815 0
[pid=30707/tid=30710] ppid=30705 vsize=15149032 memory=140705431688832 CPUtime=0 cores=1,3,5,7
/proc/30707/task/30710/stat : 30710 (java) S 30705 30705 30531 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475120492 15512608768 12585 33554432000 4194304 4196468 140731193370688 140674479504272 140674527946453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28442624 140731193377775 140731193377946 140731193377946 140731193380815 0
[pid=30707/tid=30711] ppid=30705 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30707/task/30711/stat : 30711 (java) S 30705 30705 30531 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475120492 15512608768 12585 33554432000 4194304 4196468 140731193370688 140674478451728 140674527946453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28442624 140731193377775 140731193377946 140731193377946 140731193380815 0
[pid=30707/tid=30712] ppid=30705 vsize=15149032 memory=140705276241951 CPUtime=0 cores=1,3,5,7
/proc/30707/task/30712/stat : 30712 (java) S 30705 30705 30531 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475120492 15512608768 12585 33554432000 4194304 4196468 140731193370688 140674477399184 140674527946453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28442624 140731193377775 140731193377946 140731193377946 140731193380815 0
[pid=30707/tid=30713] ppid=30705 vsize=15149032 memory=281410552463136 CPUtime=0 cores=1,3,5,7
/proc/30707/task/30713/stat : 30713 (java) S 30705 30705 30531 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 475120493 15512608768 12585 33554432000 4194304 4196468 140731193370688 140673670539248 140674527947394 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28442624 140731193377775 140731193377946 140731193377946 140731193380815 0
[pid=30707/tid=30714] ppid=30705 vsize=15149032 memory=140705276218895 CPUtime=0 cores=1,3,5,7
/proc/30707/task/30714/stat : 30714 (java) S 30705 30705 30531 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475120493 15512608768 12585 33554432000 4194304 4196468 140731193370688 140673669485472 140674527946453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28442624 140731193377775 140731193377946 140731193377946 140731193380815 0
[pid=30707/tid=30715] ppid=30705 vsize=15149032 memory=281410707790856 CPUtime=0 cores=1,3,5,7
/proc/30707/task/30715/stat : 30715 (java) S 30705 30705 30531 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475120494 15512608768 12585 33554432000 4194304 4196468 140731193370688 140673600709616 140674527946453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28442624 140731193377775 140731193377946 140731193377946 140731193380815 0
[pid=30707/tid=30716] ppid=30705 vsize=15149032 memory=140705276241951 CPUtime=0 cores=1,3,5,7
/proc/30707/task/30716/stat : 30716 (java) S 30705 30705 30531 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475120496 15512608768 12585 33554432000 4194304 4196468 140731193370688 140673599658192 140674527954843 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28442624 140731193377775 140731193377946 140731193377946 140731193380815 0
[pid=30707/tid=30717] ppid=30705 vsize=15149032 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/30707/task/30717/stat : 30717 (java) S 30705 30705 30531 0 -1 1077944384 549 0 0 0 5 0 0 0 20 0 15 0 475120496 15512608768 12585 33554432000 4194304 4196468 140731193370688 140673598605808 140674527947394 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28442624 140731193377775 140731193377946 140731193377946 140731193380815 0
[pid=30707/tid=30718] ppid=30705 vsize=15149032 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/30707/task/30718/stat : 30718 (java) S 30705 30705 30531 0 -1 1077944384 266 0 0 0 3 0 0 0 20 0 15 0 475120496 15512608768 12585 33554432000 4194304 4196468 140731193370688 140673597553264 140674527947394 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28442624 140731193377775 140731193377946 140731193377946 140731193380815 0
[pid=30707/tid=30719] ppid=30705 vsize=15149032 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/30707/task/30719/stat : 30719 (java) S 30705 30705 30531 0 -1 1077944384 928 0 0 0 12 0 0 0 20 0 15 0 475120496 15512608768 12585 33554432000 4194304 4196468 140731193370688 140673596500720 140674527947394 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28442624 140731193377775 140731193377946 140731193377946 140731193380815 0
[pid=30707/tid=30720] ppid=30705 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30707/task/30720/stat : 30720 (java) S 30705 30705 30531 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475120496 15512608768 12585 33554432000 4194304 4196468 140731193370688 140673595448416 140674527946453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28442624 140731193377775 140731193377946 140731193377946 140731193380815 0
[pid=30707/tid=30721] ppid=30705 vsize=15149032 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/30707/task/30721/stat : 30721 (java) S 30705 30705 30531 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475120497 15512608768 12585 33554432000 4194304 4196468 140731193370688 140673594394928 140674527947394 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28442624 140731193377775 140731193377946 140731193377946 140731193380815 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51792 KiB
[startup+0.706529 s]
/proc/loadavg: 1.64 0.99 1.16 10/234 30721
/proc/meminfo: memFree=10433112/32770624 swapFree=66935460/67108860
[pid=30705] ppid=30702 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/30705/stat : 30705 (xcsp3-exec) S 30702 30705 30531 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 475120490 115843072 363 33554432000 4194304 5098028 140723060970880 140723060968984 139985504445052 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 13348864 140723060978555 140723060978797 140723060978797 140723060981706 0
/proc/30705/statm: 28282 363 304 221 0 87 0
[pid=30707] ppid=30705 vsize=15417412 memory=83700 CPUtime=1.73 cores=1,3,5,7
/proc/30707/stat : 30707 (java) S 30705 30705 30531 0 -1 1077944320 15195 0 0 0 168 5 0 0 20 0 19 0 475120491 15787429888 20925 33554432000 4194304 4196468 140731193370688 140731193353232 140674527936247 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 28442624 140731193377775 140731193377946 140731193377946 140731193380815 0
/proc/30707/statm: 3854353 20925 3449 1 0 3815453 0
[pid=30707/tid=30708] ppid=30705 vsize=15417412 memory=7019257425709197167 CPUtime=0.52 cores=1,3,5,7
/proc/30707/task/30708/stat : 30708 (java) S 30705 30705 30531 0 -1 1077944384 9159 0 0 0 49 3 0 0 20 0 19 0 475120491 15787429888 20925 33554432000 4194304 4196468 140731193370688 140674532177024 140674527946453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28442624 140731193377775 140731193377946 140731193377946 140731193380815 0
[pid=30707/tid=30709] ppid=30705 vsize=15417412 memory=7373916858537504097 CPUtime=0 cores=1,3,5,7
/proc/30707/task/30709/stat : 30709 (java) S 30705 30705 30531 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 475120492 15787429888 20925 33554432000 4194304 4196468 140731193370688 140674480556816 140674527946453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28442624 140731193377775 140731193377946 140731193377946 140731193380815 0
[pid=30707/tid=30710] ppid=30705 vsize=15417412 memory=5787213827164105809 CPUtime=0 cores=1,3,5,7
/proc/30707/task/30710/stat : 30710 (java) S 30705 30705 30531 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 475120492 15787429888 20925 33554432000 4194304 4196468 140731193370688 140674479504272 140674527946453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28442624 140731193377775 140731193377946 140731193377946 140731193380815 0
[pid=30707/tid=30711] ppid=30705 vsize=15417412 memory=-7098080424032564416 CPUtime=0 cores=1,3,5,7
/proc/30707/task/30711/stat : 30711 (java) S 30705 30705 30531 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 475120492 15787429888 20925 33554432000 4194304 4196468 140731193370688 140674478451728 140674527946453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28442624 140731193377775 140731193377946 140731193377946 140731193380815 0
[pid=30707/tid=30712] ppid=30705 vsize=15417412 memory=-8851153767425545053 CPUtime=0 cores=1,3,5,7
/proc/30707/task/30712/stat : 30712 (java) S 30705 30705 30531 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 475120492 15787429888 20925 33554432000 4194304 4196468 140731193370688 140674477399184 140674527946453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28442624 140731193377775 140731193377946 140731193377946 140731193380815 0
[pid=30707/tid=30713] ppid=30705 vsize=15417412 memory=6944656591801717918 CPUtime=0 cores=1,3,5,7
/proc/30707/task/30713/stat : 30713 (java) S 30705 30705 30531 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 19 0 475120493 15787429888 20925 33554432000 4194304 4196468 140731193370688 140673670539248 140674527947394 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28442624 140731193377775 140731193377946 140731193377946 140731193380815 0
[pid=30707/tid=30714] ppid=30705 vsize=15417412 memory=4612 CPUtime=0 cores=1,3,5,7
/proc/30707/task/30714/stat : 30714 (java) S 30705 30705 30531 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 475120493 15787429888 20925 33554432000 4194304 4196468 140731193370688 140673669485472 140674527946453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28442624 140731193377775 140731193377946 140731193377946 140731193380815 0
[pid=30707/tid=30715] ppid=30705 vsize=15417412 memory=6884 CPUtime=0 cores=1,3,5,7
/proc/30707/task/30715/stat : 30715 (java) S 30705 30705 30531 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 475120494 15787429888 20925 33554432000 4194304 4196468 140731193370688 140673600709616 140674527946453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28442624 140731193377775 140731193377946 140731193377946 140731193380815 0
[pid=30707/tid=30716] ppid=30705 vsize=15417412 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/30707/task/30716/stat : 30716 (java) S 30705 30705 30531 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475120496 15787429888 20925 33554432000 4194304 4196468 140731193370688 140673599658192 140674527954843 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28442624 140731193377775 140731193377946 140731193377946 140731193380815 0
[pid=30707/tid=30717] ppid=30705 vsize=15417412 memory=41484 CPUtime=0.24 cores=1,3,5,7
/proc/30707/task/30717/stat : 30717 (java) R 30705 30705 30531 0 -1 4202560 1131 0 0 0 24 0 0 0 20 0 19 0 475120496 15787429888 20925 33554432000 4194304 4196468 140731193370688 140673598587376 140674511419667 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28442624 140731193377775 140731193377946 140731193377946 140731193380815 0
[pid=30707/tid=30718] ppid=30705 vsize=15417412 memory=988 CPUtime=0.25 cores=1,3,5,7
/proc/30707/task/30718/stat : 30718 (java) R 30705 30705 30531 0 -1 4202560 1454 0 0 0 25 0 0 0 20 0 19 0 475120496 15787429888 20925 33554432000 4194304 4196468 140731193370688 140673597539680 140674511842413 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 28442624 140731193377775 140731193377946 140731193377946 140731193380815 0
[pid=30707/tid=30719] ppid=30705 vsize=15417412 memory=2012 CPUtime=0.32 cores=1,3,5,7
/proc/30707/task/30719/stat : 30719 (java) R 30705 30705 30531 0 -1 1077944384 1936 0 0 0 32 0 0 0 20 0 19 0 475120496 15787429888 20925 33554432000 4194304 4196468 140731193370688 140673596500720 140674527947394 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28442624 140731193377775 140731193377946 140731193377946 140731193380815 0
[pid=30707/tid=30720] ppid=30705 vsize=15417412 memory=7378374360112259664 CPUtime=0 cores=1,3,5,7
/proc/30707/task/30720/stat : 30720 (java) S 30705 30705 30531 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475120496 15787429888 20925 33554432000 4194304 4196468 140731193370688 140673595448416 140674527946453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28442624 140731193377775 140731193377946 140731193377946 140731193380815 0
[pid=30707/tid=30721] ppid=30705 vsize=15417412 memory=6083358595337186407 CPUtime=0 cores=1,3,5,7
/proc/30707/task/30721/stat : 30721 (java) S 30705 30705 30531 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 475120497 15787429888 20925 33554432000 4194304 4196468 140731193370688 140673594394928 140674527947394 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28442624 140731193377775 140731193377946 140731193377946 140731193380815 0
Current children cumulated CPU time: 1.73 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 85152 KiB
[startup+1.50153 s]
/proc/loadavg: 1.64 0.99 1.16 13/238 30725
/proc/meminfo: memFree=10396268/32770624 swapFree=66935460/67108860
[pid=30705] ppid=30702 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/30705/stat : 30705 (xcsp3-exec) S 30702 30705 30531 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 475120490 115843072 363 33554432000 4194304 5098028 140723060970880 140723060968984 139985504445052 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 13348864 140723060978555 140723060978797 140723060978797 140723060981706 0
/proc/30705/statm: 28282 363 304 221 0 87 0
################
# More data... #
################
/proc/30707/stat : 30707 (java) S 30705 30705 30531 0 -1 1077944320 81878 0 0 0 231624 33 0 0 20 0 19 0 475120491 15787429888 54256 33554432000 4194304 4196468 140731193370688 140731193353232 140674527936247 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 28442624 140731193377775 140731193377946 140731193377946 140731193380815 0
/proc/30707/statm: 3854353 54256 3528 1 0 3815453 0
[pid=30707/tid=30708] ppid=30705 vsize=15417412 memory=217024 CPUtime=0.53 cores=1,3,5,7
/proc/30707/task/30708/stat : 30708 (java) S 30705 30705 30531 0 -1 1077944384 9376 0 0 0 50 3 0 0 20 0 19 0 475120491 15787429888 54256 33554432000 4194304 4196468 140731193370688 140674532177024 140674527946453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28442624 140731193377775 140731193377946 140731193377946 140731193380815 0
[pid=30707/tid=30709] ppid=30705 vsize=15417412 memory=217024 CPUtime=0.39 cores=1,3,5,7
/proc/30707/task/30709/stat : 30709 (java) S 30705 30705 30531 0 -1 1077944384 1615 0 0 0 36 3 0 0 20 0 19 0 475120492 15787429888 54256 33554432000 4194304 4196468 140731193370688 140674480556816 140674527946453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28442624 140731193377775 140731193377946 140731193377946 140731193380815 0
[pid=30707/tid=30710] ppid=30705 vsize=15417412 memory=217024 CPUtime=0.39 cores=1,3,5,7
/proc/30707/task/30710/stat : 30710 (java) S 30705 30705 30531 0 -1 1077944384 2986 0 0 0 36 3 0 0 20 0 19 0 475120492 15787429888 54256 33554432000 4194304 4196468 140731193370688 140674479504272 140674527946453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28442624 140731193377775 140731193377946 140731193377946 140731193380815 0
[pid=30707/tid=30711] ppid=30705 vsize=15417412 memory=217024 CPUtime=0.39 cores=1,3,5,7
/proc/30707/task/30711/stat : 30711 (java) S 30705 30705 30531 0 -1 1077944384 2749 0 0 0 36 3 0 0 20 0 19 0 475120492 15787429888 54256 33554432000 4194304 4196468 140731193370688 140674478451728 140674527946453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28442624 140731193377775 140731193377946 140731193377946 140731193380815 0
[pid=30707/tid=30712] ppid=30705 vsize=15417412 memory=1452 CPUtime=0.37 cores=1,3,5,7
/proc/30707/task/30712/stat : 30712 (java) S 30705 30705 30531 0 -1 1077944384 3344 0 0 0 34 3 0 0 20 0 19 0 475120492 15787429888 54256 33554432000 4194304 4196468 140731193370688 140674477399184 140674527946453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28442624 140731193377775 140731193377946 140731193377946 140731193380815 0
[pid=30707/tid=30713] ppid=30705 vsize=15417412 memory=1452 CPUtime=0.2 cores=1,3,5,7
/proc/30707/task/30713/stat : 30713 (java) S 30705 30705 30531 0 -1 1077944384 3520 0 0 0 12 8 0 0 20 0 19 0 475120493 15787429888 54256 33554432000 4194304 4196468 140731193370688 140673670539248 140674527947394 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 15 0 0 6293624 6294260 28442624 140731193377775 140731193377946 140731193377946 140731193380815 0
[pid=30707/tid=30714] ppid=30705 vsize=15417412 memory=217024 CPUtime=0 cores=1,3,5,7
/proc/30707/task/30714/stat : 30714 (java) S 30705 30705 30531 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 19 0 475120493 15787429888 54256 33554432000 4194304 4196468 140731193370688 140673669485536 140674527946453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28442624 140731193377775 140731193377946 140731193377946 140731193380815 0
[pid=30707/tid=30715] ppid=30705 vsize=15417412 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/30707/task/30715/stat : 30715 (java) S 30705 30705 30531 0 -1 1077944384 121 0 0 0 0 0 0 0 20 0 19 0 475120494 15787429888 54256 33554432000 4194304 4196468 140731193370688 140673600709632 140674527946453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28442624 140731193377775 140731193377946 140731193377946 140731193380815 0
[pid=30707/tid=30716] ppid=30705 vsize=15417412 memory=41500 CPUtime=0 cores=1,3,5,7
/proc/30707/task/30716/stat : 30716 (java) S 30705 30705 30531 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475120496 15787429888 54256 33554432000 4194304 4196468 140731193370688 140673599658192 140674527954843 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28442624 140731193377775 140731193377946 140731193377946 140731193380815 0
[pid=30707/tid=30717] ppid=30705 vsize=15417412 memory=41500 CPUtime=2.1 cores=1,3,5,7
/proc/30707/task/30717/stat : 30717 (java) S 30705 30705 30531 0 -1 1077944384 17551 0 0 0 208 2 0 0 20 0 19 0 475120496 15787429888 54256 33554432000 4194304 4196468 140731193370688 140673598605808 140674527947394 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 30 0 0 6293624 6294260 28442624 140731193377775 140731193377946 140731193377946 140731193380815 0
[pid=30707/tid=30718] ppid=30705 vsize=15417412 memory=988 CPUtime=2.42 cores=1,3,5,7
/proc/30707/task/30718/stat : 30718 (java) S 30705 30705 30531 0 -1 1077944384 17444 0 0 0 241 1 0 0 20 0 19 0 475120496 15787429888 54256 33554432000 4194304 4196468 140731193370688 140673597553264 140674527947394 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 37 0 0 6293624 6294260 28442624 140731193377775 140731193377946 140731193377946 140731193380815 0
[pid=30707/tid=30719] ppid=30705 vsize=15417412 memory=1452 CPUtime=0.53 cores=1,3,5,7
/proc/30707/task/30719/stat : 30719 (java) S 30705 30705 30531 0 -1 1077944384 9371 0 0 0 53 0 0 0 20 0 19 0 475120496 15787429888 54256 33554432000 4194304 4196468 140731193370688 140673596500720 140674527947394 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 33 0 0 6293624 6294260 28442624 140731193377775 140731193377946 140731193377946 140731193380815 0
[pid=30707/tid=30720] ppid=30705 vsize=15417412 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/30707/task/30720/stat : 30720 (java) S 30705 30705 30531 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475120496 15787429888 54256 33554432000 4194304 4196468 140731193370688 140673595448416 140674527946453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28442624 140731193377775 140731193377946 140731193377946 140731193380815 0
[pid=30707/tid=30721] ppid=30705 vsize=15417412 memory=1452 CPUtime=0.09 cores=1,3,5,7
/proc/30707/task/30721/stat : 30721 (java) S 30705 30705 30531 0 -1 1077944384 754 0 0 0 0 9 0 0 20 0 19 0 475120497 15787429888 54256 33554432000 4194304 4196468 140731193370688 140673594394928 140674527947394 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 35 0 0 6293624 6294260 28442624 140731193377775 140731193377946 140731193377946 140731193380815 0
[pid=30707/tid=30729] ppid=30705 vsize=15417412 memory=217024 CPUtime=542.76 cores=1,3,5,7
/proc/30707/task/30729/stat : 30729 (java) R 30705 30705 30531 0 -1 4202560 831 0 0 0 54276 0 0 0 20 0 19 0 475124134 15787429888 54256 33554432000 4194304 4196468 140731193370688 140673584360584 140674159455257 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28442624 140731193377775 140731193377946 140731193377946 140731193380815 0
[pid=30707/tid=30730] ppid=30705 vsize=15417412 memory=3616 CPUtime=543.09 cores=1,3,5,7
/proc/30707/task/30730/stat : 30730 (java) R 30705 30705 30531 0 -1 4202560 2803 0 0 0 54309 0 0 0 20 0 19 0 475124134 15787429888 54256 33554432000 4194304 4196468 140731193370688 140673582259120 140674159884434 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28442624 140731193377775 140731193377946 140731193377946 140731193380815 0
[pid=30707/tid=30731] ppid=30705 vsize=15417412 memory=281410552666176 CPUtime=542.12 cores=1,3,5,7
/proc/30707/task/30731/stat : 30731 (java) R 30705 30705 30531 0 -1 4202560 720 0 0 0 54212 0 0 0 20 0 19 0 475124134 15787429888 54256 33554432000 4194304 4196468 140731193370688 140673585414632 140674159455170 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 28442624 140731193377775 140731193377946 140731193377946 140731193380815 0
[pid=30707/tid=30732] ppid=30705 vsize=15417412 memory=1452 CPUtime=542.41 cores=1,3,5,7
/proc/30707/task/30732/stat : 30732 (java) R 30705 30705 30531 0 -1 4202560 1915 0 0 0 54241 0 0 0 20 0 19 0 475124134 15787429888 54256 33554432000 4194304 4196468 140731193370688 140673583308064 140674159455377 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28442624 140731193377775 140731193377946 140731193377946 140731193380815 0
Current children cumulated CPU time: 2316.57 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 218476 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+603.302 s]
/proc/loadavg: 8.59 7.54 4.68 9/238 32283
/proc/meminfo: memFree=6928376/32770624 swapFree=66935464/67108860
[pid=30705] ppid=30702 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/30705/stat : 30705 (xcsp3-exec) S 30702 30705 30531 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 475120490 115843072 363 33554432000 4194304 5098028 140723060970880 140723060968984 139985504445052 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 13348864 140723060978555 140723060978797 140723060978797 140723060981706 0
/proc/30705/statm: 28282 363 304 221 0 87 0
[pid=30707] ppid=30705 vsize=15417412 memory=222140 CPUtime=2400.14 cores=1,3,5,7
/proc/30707/stat : 30707 (java) S 30705 30705 30531 0 -1 1077944320 81953 0 0 0 239980 34 0 0 20 0 19 0 475120491 15787429888 55535 33554432000 4194304 4196468 140731193370688 140731193353232 140674527936247 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 28442624 140731193377775 140731193377946 140731193377946 140731193380815 0
/proc/30707/statm: 3854353 55535 3528 1 0 3815453 0
[pid=30707/tid=30708] ppid=30705 vsize=15417412 memory=218044 CPUtime=0.53 cores=1,3,5,7
/proc/30707/task/30708/stat : 30708 (java) S 30705 30705 30531 0 -1 1077944384 9376 0 0 0 50 3 0 0 20 0 19 0 475120491 15787429888 55535 33554432000 4194304 4196468 140731193370688 140674532177024 140674527946453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28442624 140731193377775 140731193377946 140731193377946 140731193380815 0
[pid=30707/tid=30709] ppid=30705 vsize=15417412 memory=218044 CPUtime=0.4 cores=1,3,5,7
/proc/30707/task/30709/stat : 30709 (java) S 30705 30705 30531 0 -1 1077944384 1618 0 0 0 37 3 0 0 20 0 19 0 475120492 15787429888 55535 33554432000 4194304 4196468 140731193370688 140674480556816 140674527946453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28442624 140731193377775 140731193377946 140731193377946 140731193380815 0
[pid=30707/tid=30710] ppid=30705 vsize=15417412 memory=1452 CPUtime=0.4 cores=1,3,5,7
/proc/30707/task/30710/stat : 30710 (java) S 30705 30705 30531 0 -1 1077944384 2988 0 0 0 37 3 0 0 20 0 19 0 475120492 15787429888 55535 33554432000 4194304 4196468 140731193370688 140674479504272 140674527946453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28442624 140731193377775 140731193377946 140731193377946 140731193380815 0
[pid=30707/tid=30711] ppid=30705 vsize=15417412 memory=222140 CPUtime=0.41 cores=1,3,5,7
/proc/30707/task/30711/stat : 30711 (java) S 30705 30705 30531 0 -1 1077944384 2753 0 0 0 38 3 0 0 20 0 19 0 475120492 15787429888 55535 33554432000 4194304 4196468 140731193370688 140674478451728 140674527946453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28442624 140731193377775 140731193377946 140731193377946 140731193380815 0
[pid=30707/tid=30712] ppid=30705 vsize=15417412 memory=1452 CPUtime=0.4 cores=1,3,5,7
/proc/30707/task/30712/stat : 30712 (java) S 30705 30705 30531 0 -1 1077944384 3346 0 0 0 36 4 0 0 20 0 19 0 475120492 15787429888 55535 33554432000 4194304 4196468 140731193370688 140674477399184 140674527946453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28442624 140731193377775 140731193377946 140731193377946 140731193380815 0
[pid=30707/tid=30713] ppid=30705 vsize=15417412 memory=222140 CPUtime=0.22 cores=1,3,5,7
/proc/30707/task/30713/stat : 30713 (java) S 30705 30705 30531 0 -1 1077944384 3520 0 0 0 13 9 0 0 20 0 19 0 475120493 15787429888 55535 33554432000 4194304 4196468 140731193370688 140673670539248 140674527947394 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 15 0 0 6293624 6294260 28442624 140731193377775 140731193377946 140731193377946 140731193380815 0
[pid=30707/tid=30714] ppid=30705 vsize=15417412 memory=1560 CPUtime=0 cores=1,3,5,7
/proc/30707/task/30714/stat : 30714 (java) S 30705 30705 30531 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 19 0 475120493 15787429888 55535 33554432000 4194304 4196468 140731193370688 140673669485536 140674527946453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28442624 140731193377775 140731193377946 140731193377946 140731193380815 0
[pid=30707/tid=30715] ppid=30705 vsize=15417412 memory=932 CPUtime=0 cores=1,3,5,7
/proc/30707/task/30715/stat : 30715 (java) S 30705 30705 30531 0 -1 1077944384 121 0 0 0 0 0 0 0 20 0 19 0 475120494 15787429888 55535 33554432000 4194304 4196468 140731193370688 140673600709632 140674527946453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28442624 140731193377775 140731193377946 140731193377946 140731193380815 0
[pid=30707/tid=30716] ppid=30705 vsize=15417412 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/30707/task/30716/stat : 30716 (java) S 30705 30705 30531 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475120496 15787429888 55535 33554432000 4194304 4196468 140731193370688 140673599658192 140674527954843 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28442624 140731193377775 140731193377946 140731193377946 140731193380815 0
[pid=30707/tid=30717] ppid=30705 vsize=15417412 memory=217024 CPUtime=2.1 cores=1,3,5,7
/proc/30707/task/30717/stat : 30717 (java) S 30705 30705 30531 0 -1 1077944384 17551 0 0 0 208 2 0 0 20 0 19 0 475120496 15787429888 55535 33554432000 4194304 4196468 140731193370688 140673598605808 140674527947394 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 30 0 0 6293624 6294260 28442624 140731193377775 140731193377946 140731193377946 140731193380815 0
[pid=30707/tid=30718] ppid=30705 vsize=15417412 memory=1452 CPUtime=2.42 cores=1,3,5,7
/proc/30707/task/30718/stat : 30718 (java) S 30705 30705 30531 0 -1 1077944384 17444 0 0 0 241 1 0 0 20 0 19 0 475120496 15787429888 55535 33554432000 4194304 4196468 140731193370688 140673597553264 140674527947394 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 37 0 0 6293624 6294260 28442624 140731193377775 140731193377946 140731193377946 140731193380815 0
[pid=30707/tid=30719] ppid=30705 vsize=15417412 memory=219068 CPUtime=0.53 cores=1,3,5,7
/proc/30707/task/30719/stat : 30719 (java) S 30705 30705 30531 0 -1 1077944384 9371 0 0 0 53 0 0 0 20 0 19 0 475120496 15787429888 55535 33554432000 4194304 4196468 140731193370688 140673596500720 140674527947394 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 33 0 0 6293624 6294260 28442624 140731193377775 140731193377946 140731193377946 140731193380815 0
[pid=30707/tid=30720] ppid=30705 vsize=15417412 memory=164 CPUtime=0 cores=1,3,5,7
/proc/30707/task/30720/stat : 30720 (java) S 30705 30705 30531 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475120496 15787429888 55535 33554432000 4194304 4196468 140731193370688 140673595448416 140674527946453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28442624 140731193377775 140731193377946 140731193377946 140731193380815 0
[pid=30707/tid=30721] ppid=30705 vsize=15417412 memory=200636 CPUtime=0.18 cores=1,3,5,7
/proc/30707/task/30721/stat : 30721 (java) S 30705 30705 30531 0 -1 1077944384 754 0 0 0 9 9 0 0 20 0 19 0 475120497 15787429888 55535 33554432000 4194304 4196468 140731193370688 140673594394928 140674527947394 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 35 0 0 6293624 6294260 28442624 140731193377775 140731193377946 140731193377946 140731193380815 0
[pid=30707/tid=30729] ppid=30705 vsize=15417412 memory=1452 CPUtime=563.61 cores=1,3,5,7
/proc/30707/task/30729/stat : 30729 (java) R 30705 30705 30531 0 -1 4202560 834 0 0 0 56361 0 0 0 20 0 19 0 475124134 15787429888 55535 33554432000 4194304 4196468 140731193370688 140673584360584 140674157986299 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 28442624 140731193377775 140731193377946 140731193377946 140731193380815 0
[pid=30707/tid=30730] ppid=30705 vsize=15417412 memory=1452 CPUtime=564.03 cores=1,3,5,7
/proc/30707/task/30730/stat : 30730 (java) R 30705 30705 30531 0 -1 4202560 2814 0 0 0 56403 0 0 0 20 0 19 0 475124134 15787429888 55535 33554432000 4194304 4196468 140731193370688 140673582256160 140674159455363 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28442624 140731193377775 140731193377946 140731193377946 140731193380815 0
[pid=30707/tid=30731] ppid=30705 vsize=15417412 memory=56 CPUtime=562.92 cores=1,3,5,7
/proc/30707/task/30731/stat : 30731 (java) R 30705 30705 30531 0 -1 4202560 722 0 0 0 56292 0 0 0 20 0 19 0 475124134 15787429888 55535 33554432000 4194304 4196468 140731193370688 140673585414632 140674159455363 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28442624 140731193377775 140731193377946 140731193377946 140731193380815 0
[pid=30707/tid=30732] ppid=30705 vsize=15417412 memory=-7950092875866918798 CPUtime=563.31 cores=1,3,5,7
/proc/30707/task/30732/stat : 30732 (java) R 30705 30705 30531 0 -1 4202560 1963 0 0 0 56331 0 0 0 20 0 19 0 475124134 15787429888 55535 33554432000 4194304 4196468 140731193370688 140673583311104 140674159458593 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28442624 140731193377775 140731193377946 140731193377946 140731193380815 0
Current children cumulated CPU time: 2400.14 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 223592 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+603.325 s]
# the end of solver process 30705 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.001099 s, system=0.001099 s
[startup+603.388 s]
# the end of solver process 30707 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2400.14 s, system=0.346527 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+603.302 s]
/proc/loadavg: 8.59 7.54 4.68 9/238 32283
/proc/meminfo: memFree=6928376/32770624 swapFree=66935464/67108860
[pid=30705] ppid=30702 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/30705/stat : 30705 (xcsp3-exec) S 30702 30705 30531 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 475120490 115843072 363 33554432000 4194304 5098028 140723060970880 140723060968984 139985504445052 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 13348864 140723060978555 140723060978797 140723060978797 140723060981706 0
/proc/30705/statm: 28282 363 304 221 0 87 0
[pid=30707] ppid=30705 vsize=15417412 memory=222140 CPUtime=2400.14 cores=1,3,5,7
/proc/30707/stat : 30707 (java) S 30705 30705 30531 0 -1 1077944320 81953 0 0 0 239980 34 0 0 20 0 19 0 475120491 15787429888 55535 33554432000 4194304 4196468 140731193370688 140731193353232 140674527936247 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 28442624 140731193377775 140731193377946 140731193377946 140731193380815 0
/proc/30707/statm: 3854353 55535 3528 1 0 3815453 0
[pid=30707/tid=30708] ppid=30705 vsize=15417412 memory=218044 CPUtime=0.53 cores=1,3,5,7
/proc/30707/task/30708/stat : 30708 (java) S 30705 30705 30531 0 -1 1077944384 9376 0 0 0 50 3 0 0 20 0 19 0 475120491 15787429888 55535 33554432000 4194304 4196468 140731193370688 140674532177024 140674527946453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28442624 140731193377775 140731193377946 140731193377946 140731193380815 0
[pid=30707/tid=30709] ppid=30705 vsize=15417412 memory=218044 CPUtime=0.4 cores=1,3,5,7
/proc/30707/task/30709/stat : 30709 (java) S 30705 30705 30531 0 -1 1077944384 1618 0 0 0 37 3 0 0 20 0 19 0 475120492 15787429888 55535 33554432000 4194304 4196468 140731193370688 140674480556816 140674527946453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28442624 140731193377775 140731193377946 140731193377946 140731193380815 0
[pid=30707/tid=30710] ppid=30705 vsize=15417412 memory=1452 CPUtime=0.4 cores=1,3,5,7
/proc/30707/task/30710/stat : 30710 (java) S 30705 30705 30531 0 -1 1077944384 2988 0 0 0 37 3 0 0 20 0 19 0 475120492 15787429888 55535 33554432000 4194304 4196468 140731193370688 140674479504272 140674527946453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28442624 140731193377775 140731193377946 140731193377946 140731193380815 0
[pid=30707/tid=30711] ppid=30705 vsize=15417412 memory=222140 CPUtime=0.41 cores=1,3,5,7
/proc/30707/task/30711/stat : 30711 (java) S 30705 30705 30531 0 -1 1077944384 2753 0 0 0 38 3 0 0 20 0 19 0 475120492 15787429888 55535 33554432000 4194304 4196468 140731193370688 140674478451728 140674527946453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28442624 140731193377775 140731193377946 140731193377946 140731193380815 0
[pid=30707/tid=30712] ppid=30705 vsize=15417412 memory=1452 CPUtime=0.4 cores=1,3,5,7
/proc/30707/task/30712/stat : 30712 (java) S 30705 30705 30531 0 -1 1077944384 3346 0 0 0 36 4 0 0 20 0 19 0 475120492 15787429888 55535 33554432000 4194304 4196468 140731193370688 140674477399184 140674527946453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28442624 140731193377775 140731193377946 140731193377946 140731193380815 0
[pid=30707/tid=30713] ppid=30705 vsize=15417412 memory=222140 CPUtime=0.22 cores=1,3,5,7
/proc/30707/task/30713/stat : 30713 (java) S 30705 30705 30531 0 -1 1077944384 3520 0 0 0 13 9 0 0 20 0 19 0 475120493 15787429888 55535 33554432000 4194304 4196468 140731193370688 140673670539248 140674527947394 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 15 0 0 6293624 6294260 28442624 140731193377775 140731193377946 140731193377946 140731193380815 0
[pid=30707/tid=30714] ppid=30705 vsize=15417412 memory=1560 CPUtime=0 cores=1,3,5,7
/proc/30707/task/30714/stat : 30714 (java) S 30705 30705 30531 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 19 0 475120493 15787429888 55535 33554432000 4194304 4196468 140731193370688 140673669485536 140674527946453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28442624 140731193377775 140731193377946 140731193377946 140731193380815 0
[pid=30707/tid=30715] ppid=30705 vsize=15417412 memory=932 CPUtime=0 cores=1,3,5,7
/proc/30707/task/30715/stat : 30715 (java) S 30705 30705 30531 0 -1 1077944384 121 0 0 0 0 0 0 0 20 0 19 0 475120494 15787429888 55535 33554432000 4194304 4196468 140731193370688 140673600709632 140674527946453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28442624 140731193377775 140731193377946 140731193377946 140731193380815 0
[pid=30707/tid=30716] ppid=30705 vsize=15417412 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/30707/task/30716/stat : 30716 (java) S 30705 30705 30531 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475120496 15787429888 55535 33554432000 4194304 4196468 140731193370688 140673599658192 140674527954843 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28442624 140731193377775 140731193377946 140731193377946 140731193380815 0
[pid=30707/tid=30717] ppid=30705 vsize=15417412 memory=217024 CPUtime=2.1 cores=1,3,5,7
/proc/30707/task/30717/stat : 30717 (java) S 30705 30705 30531 0 -1 1077944384 17551 0 0 0 208 2 0 0 20 0 19 0 475120496 15787429888 55535 33554432000 4194304 4196468 140731193370688 140673598605808 140674527947394 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 30 0 0 6293624 6294260 28442624 140731193377775 140731193377946 140731193377946 140731193380815 0
[pid=30707/tid=30718] ppid=30705 vsize=15417412 memory=1452 CPUtime=2.42 cores=1,3,5,7
/proc/30707/task/30718/stat : 30718 (java) S 30705 30705 30531 0 -1 1077944384 17444 0 0 0 241 1 0 0 20 0 19 0 475120496 15787429888 55535 33554432000 4194304 4196468 140731193370688 140673597553264 140674527947394 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 37 0 0 6293624 6294260 28442624 140731193377775 140731193377946 140731193377946 140731193380815 0
[pid=30707/tid=30719] ppid=30705 vsize=15417412 memory=219068 CPUtime=0.53 cores=1,3,5,7
/proc/30707/task/30719/stat : 30719 (java) S 30705 30705 30531 0 -1 1077944384 9371 0 0 0 53 0 0 0 20 0 19 0 475120496 15787429888 55535 33554432000 4194304 4196468 140731193370688 140673596500720 140674527947394 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 33 0 0 6293624 6294260 28442624 140731193377775 140731193377946 140731193377946 140731193380815 0
[pid=30707/tid=30720] ppid=30705 vsize=15417412 memory=164 CPUtime=0 cores=1,3,5,7
/proc/30707/task/30720/stat : 30720 (java) S 30705 30705 30531 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475120496 15787429888 55535 33554432000 4194304 4196468 140731193370688 140673595448416 140674527946453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28442624 140731193377775 140731193377946 140731193377946 140731193380815 0
[pid=30707/tid=30721] ppid=30705 vsize=15417412 memory=200636 CPUtime=0.18 cores=1,3,5,7
/proc/30707/task/30721/stat : 30721 (java) S 30705 30705 30531 0 -1 1077944384 754 0 0 0 9 9 0 0 20 0 19 0 475120497 15787429888 55535 33554432000 4194304 4196468 140731193370688 140673594394928 140674527947394 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 35 0 0 6293624 6294260 28442624 140731193377775 140731193377946 140731193377946 140731193380815 0
[pid=30707/tid=30729] ppid=30705 vsize=15417412 memory=1452 CPUtime=563.61 cores=1,3,5,7
/proc/30707/task/30729/stat : 30729 (java) R 30705 30705 30531 0 -1 4202560 834 0 0 0 56361 0 0 0 20 0 19 0 475124134 15787429888 55535 33554432000 4194304 4196468 140731193370688 140673584360584 140674157986299 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 28442624 140731193377775 140731193377946 140731193377946 140731193380815 0
[pid=30707/tid=30730] ppid=30705 vsize=15417412 memory=1452 CPUtime=564.03 cores=1,3,5,7
/proc/30707/task/30730/stat : 30730 (java) R 30705 30705 30531 0 -1 4202560 2814 0 0 0 56403 0 0 0 20 0 19 0 475124134 15787429888 55535 33554432000 4194304 4196468 140731193370688 140673582256160 140674159455363 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28442624 140731193377775 140731193377946 140731193377946 140731193380815 0
[pid=30707/tid=30731] ppid=30705 vsize=15417412 memory=56 CPUtime=562.92 cores=1,3,5,7
/proc/30707/task/30731/stat : 30731 (java) R 30705 30705 30531 0 -1 4202560 722 0 0 0 56292 0 0 0 20 0 19 0 475124134 15787429888 55535 33554432000 4194304 4196468 140731193370688 140673585414632 140674159455363 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28442624 140731193377775 140731193377946 140731193377946 140731193380815 0
[pid=30707/tid=30732] ppid=30705 vsize=15417412 memory=-7950092875866918798 CPUtime=563.31 cores=1,3,5,7
/proc/30707/task/30732/stat : 30732 (java) R 30705 30705 30531 0 -1 4202560 1963 0 0 0 56331 0 0 0 20 0 19 0 475124134 15787429888 55535 33554432000 4194304 4196468 140731193370688 140673583311104 140674159458593 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28442624 140731193377775 140731193377946 140731193377946 140731193380815 0
Current children cumulated CPU time: 2400.14 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 223592 KiB
Child status: 143
Real time (s): 603.388
CPU time (s): 2400.48
CPU user time (s): 2400.14
CPU system time (s): 0.346527
CPU usage (%): 397.834
Max. virtual memory (cumulated for all children) (KiB): 15530540
Max. memory (cumulated for all children) (KiB): 257360
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2400.14
system time used= 0.346527
maximum resident set size= 255920
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 83010
page faults= 0
swaps= 0
block input operations= 0
block output operations= 784
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 21046
involuntary context switches= 52047
# summary of solver processes directly reported to runsolver:
# pid: 30705,30707
# total CPU time (s): 2400.48
# total CPU user time (s): 2400.14
# total CPU system time (s): 0.346527
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.7847 second user time and 6.47153 second system time
The end