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 (3269 MiB free)
memory of node 1: 16384 MiB (2635 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4403648-1568987886/watcher-4403648-1568987886 -o /tmp/evaluation-result-4403648-1568987886/solver-4403648-1568987886 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node139-1568988008-30878 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 7553045 HOME/instance-4403648-1568987886.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=30917, runsolver pid=30913
[startup+0.102284 s]*
/proc/loadavg: 0.68 0.65 0.81 3/228 30938
/proc/meminfo: memFree=6018528/32770624 swapFree=66938868/67108860
[pid=30917] ppid=30913 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/30917/stat : 30917 (xcsp3-exec) S 30913 30917 30846 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475058279 115843072 362 33554432000 4194304 5098028 140728978662336 140728978660440 139707025056380 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 27189248 140728978670461 140728978670701 140728978670701 140728978673610 0
/proc/30917/statm: 28282 362 304 221 0 87 0
[pid=30923] ppid=30917 vsize=15144776 memory=29544 CPUtime=0.14 cores=1,3,5,7
/proc/30923/stat : 30923 (java) S 30917 30917 30846 0 -1 1077944320 5766 0 0 0 13 1 0 0 20 0 15 0 475058280 15508250624 7386 33554432000 4194304 4196468 140732124173248 140732124155792 139771128667895 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 10416128 140732124177391 140732124177562 140732124177562 140732124180431 0
/proc/30923/statm: 3786194 7386 3212 1 0 3748377 0
[pid=30923/tid=30925] ppid=30917 vsize=15144776 memory=-6962121287837372198 CPUtime=0.09 cores=1,3,5,7
/proc/30923/task/30925/stat : 30925 (java) R 30917 30917 30846 0 -1 4202560 3654 0 0 0 8 1 0 0 20 0 15 0 475058280 15508250624 7386 33554432000 4194304 4196468 140732124173248 139771132889168 139771112711525 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10416128 140732124177391 140732124177562 140732124177562 140732124180431 0
[pid=30923/tid=30926] ppid=30917 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30923/task/30926/stat : 30926 (java) S 30917 30917 30846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475058281 15508250624 7386 33554432000 4194304 4196468 140732124173248 139771056708368 139771128678101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10416128 140732124177391 140732124177562 140732124177562 140732124180431 0
[pid=30923/tid=30927] ppid=30917 vsize=15144776 memory=140383885817472 CPUtime=0 cores=1,3,5,7
/proc/30923/task/30927/stat : 30927 (java) S 30917 30917 30846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475058281 15508250624 7386 33554432000 4194304 4196468 140732124173248 139771055655824 139771128678101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10416128 140732124177391 140732124177562 140732124177562 140732124180431 0
[pid=30923/tid=30928] ppid=30917 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30923/task/30928/stat : 30928 (java) S 30917 30917 30846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475058281 15508250624 7386 33554432000 4194304 4196468 140732124173248 139770718448656 139771128678101 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10416128 140732124177391 140732124177562 140732124177562 140732124180431 0
[pid=30923/tid=30929] ppid=30917 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30923/task/30929/stat : 30929 (java) S 30917 30917 30846 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475058281 15508250624 7386 33554432000 4194304 4196468 140732124173248 139770717396112 139771128678101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10416128 140732124177391 140732124177562 140732124177562 140732124180431 0
[pid=30923/tid=30930] ppid=30917 vsize=15144776 memory=140383885817472 CPUtime=0 cores=1,3,5,7
/proc/30923/task/30930/stat : 30930 (java) S 30917 30917 30846 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475058282 15508250624 7386 33554432000 4194304 4196468 140732124173248 139770664490992 139771128679042 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10416128 140732124177391 140732124177562 140732124177562 140732124180431 0
[pid=30923/tid=30931] ppid=30917 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30923/task/30931/stat : 30931 (java) S 30917 30917 30846 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475058283 15508250624 7386 33554432000 4194304 4196468 140732124173248 139770663437216 139771128678101 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10416128 140732124177391 140732124177562 140732124177562 140732124180431 0
[pid=30923/tid=30932] ppid=30917 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30923/task/30932/stat : 30932 (java) S 30917 30917 30846 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475058283 15508250624 7386 33554432000 4194304 4196468 140732124173248 139770662384624 139771128678101 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10416128 140732124177391 140732124177562 140732124177562 140732124180431 0
[pid=30923/tid=30933] ppid=30917 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30923/task/30933/stat : 30933 (java) S 30917 30917 30846 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475058285 15508250624 7386 33554432000 4194304 4196468 140732124173248 139770661333200 139771128686491 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10416128 140732124177391 140732124177562 140732124177562 140732124180431 0
[pid=30923/tid=30934] ppid=30917 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30923/task/30934/stat : 30934 (java) R 30917 30917 30846 0 -1 1077944384 462 0 0 0 0 0 0 0 20 0 15 0 475058285 15508250624 7386 33554432000 4194304 4196468 140732124173248 139770660280816 139771128679042 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10416128 140732124177391 140732124177562 140732124177562 140732124180431 0
[pid=30923/tid=30935] ppid=30917 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30923/task/30935/stat : 30935 (java) R 30917 30917 30846 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 15 0 475058285 15508250624 7386 33554432000 4194304 4196468 140732124173248 139770659228272 139771114278659 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10416128 140732124177391 140732124177562 140732124177562 140732124180431 0
[pid=30923/tid=30936] ppid=30917 vsize=15144776 memory=140383885817472 CPUtime=0.02 cores=1,3,5,7
/proc/30923/task/30936/stat : 30936 (java) R 30917 30917 30846 0 -1 4202560 341 0 0 0 2 0 0 0 20 0 15 0 475058285 15508250624 7386 33554432000 4194304 4196468 140732124173248 139770658175728 139771107336687 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10416128 140732124177391 140732124177562 140732124177562 140732124180431 0
[pid=30923/tid=30937] ppid=30917 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30923/task/30937/stat : 30937 (java) S 30917 30917 30846 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475058285 15508250624 7386 33554432000 4194304 4196468 140732124173248 139770657123424 139771128678101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10416128 140732124177391 140732124177562 140732124177562 140732124180431 0
[pid=30923/tid=30938] ppid=30917 vsize=15144776 memory=140383885817472 CPUtime=0 cores=1,3,5,7
/proc/30923/task/30938/stat : 30938 (java) R 30917 30917 30846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475058286 15508250624 7386 33554432000 4194304 4196468 140732124173248 139770656069936 139771128679042 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10416128 140732124177391 140732124177562 140732124177562 140732124180431 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 30992 KiB
[startup+0.210795 s]*
/proc/loadavg: 0.68 0.65 0.81 8/228 30938
/proc/meminfo: memFree=5998736/32770624 swapFree=66938868/67108860
[pid=30917] ppid=30913 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/30917/stat : 30917 (xcsp3-exec) S 30913 30917 30846 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475058279 115843072 362 33554432000 4194304 5098028 140728978662336 140728978660440 139707025056380 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 27189248 140728978670461 140728978670701 140728978670701 140728978673610 0
/proc/30917/statm: 28282 362 304 221 0 87 0
[pid=30923] ppid=30917 vsize=15144776 memory=40360 CPUtime=0.35 cores=1,3,5,7
/proc/30923/stat : 30923 (java) S 30917 30917 30846 0 -1 1077944320 9344 0 0 0 32 3 0 0 20 0 15 0 475058280 15508250624 10090 33554432000 4194304 4196468 140732124173248 140732124155792 139771128667895 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 10416128 140732124177391 140732124177562 140732124177562 140732124180431 0
/proc/30923/statm: 3786194 10090 3299 1 0 3748377 0
[pid=30923/tid=30925] ppid=30917 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/30923/task/30925/stat : 30925 (java) R 30917 30917 30846 0 -1 4202560 6626 0 0 0 18 2 0 0 20 0 15 0 475058280 15508250624 10090 33554432000 4194304 4196468 140732124173248 139771132905360 139771112748382 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10416128 140732124177391 140732124177562 140732124177562 140732124180431 0
[pid=30923/tid=30926] ppid=30917 vsize=15144776 memory=12641 CPUtime=0 cores=1,3,5,7
/proc/30923/task/30926/stat : 30926 (java) S 30917 30917 30846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475058281 15508250624 10090 33554432000 4194304 4196468 140732124173248 139771056708368 139771128678101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10416128 140732124177391 140732124177562 140732124177562 140732124180431 0
[pid=30923/tid=30927] ppid=30917 vsize=15144776 memory=140383889297244 CPUtime=0 cores=1,3,5,7
/proc/30923/task/30927/stat : 30927 (java) S 30917 30917 30846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475058281 15508250624 10090 33554432000 4194304 4196468 140732124173248 139771055655824 139771128678101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10416128 140732124177391 140732124177562 140732124177562 140732124180431 0
[pid=30923/tid=30928] ppid=30917 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30923/task/30928/stat : 30928 (java) S 30917 30917 30846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475058281 15508250624 10090 33554432000 4194304 4196468 140732124173248 139770718448656 139771128678101 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10416128 140732124177391 140732124177562 140732124177562 140732124180431 0
[pid=30923/tid=30929] ppid=30917 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30923/task/30929/stat : 30929 (java) S 30917 30917 30846 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475058281 15508250624 10090 33554432000 4194304 4196468 140732124173248 139770717396112 139771128678101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10416128 140732124177391 140732124177562 140732124177562 140732124180431 0
[pid=30923/tid=30930] ppid=30917 vsize=15144776 memory=140383885817472 CPUtime=0 cores=1,3,5,7
/proc/30923/task/30930/stat : 30930 (java) S 30917 30917 30846 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 475058282 15508250624 10090 33554432000 4194304 4196468 140732124173248 139770664490992 139771128679042 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10416128 140732124177391 140732124177562 140732124177562 140732124180431 0
[pid=30923/tid=30931] ppid=30917 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30923/task/30931/stat : 30931 (java) S 30917 30917 30846 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475058283 15508250624 10090 33554432000 4194304 4196468 140732124173248 139770663437216 139771128678101 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10416128 140732124177391 140732124177562 140732124177562 140732124180431 0
[pid=30923/tid=30932] ppid=30917 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30923/task/30932/stat : 30932 (java) S 30917 30917 30846 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475058283 15508250624 10090 33554432000 4194304 4196468 140732124173248 139770662384624 139771128678101 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10416128 140732124177391 140732124177562 140732124177562 140732124180431 0
[pid=30923/tid=30933] ppid=30917 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30923/task/30933/stat : 30933 (java) S 30917 30917 30846 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475058285 15508250624 10090 33554432000 4194304 4196468 140732124173248 139770661333200 139771128686491 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10416128 140732124177391 140732124177562 140732124177562 140732124180431 0
[pid=30923/tid=30934] ppid=30917 vsize=15144776 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/30923/task/30934/stat : 30934 (java) S 30917 30917 30846 0 -1 1077944384 582 0 0 0 3 0 0 0 20 0 15 0 475058285 15508250624 10090 33554432000 4194304 4196468 140732124173248 139770660280816 139771128679042 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10416128 140732124177391 140732124177562 140732124177562 140732124180431 0
[pid=30923/tid=30935] ppid=30917 vsize=15144776 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/30923/task/30935/stat : 30935 (java) S 30917 30917 30846 0 -1 1077944384 61 0 0 0 2 0 0 0 20 0 15 0 475058285 15508250624 10090 33554432000 4194304 4196468 140732124173248 139770659228272 139771128679042 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10416128 140732124177391 140732124177562 140732124177562 140732124180431 0
[pid=30923/tid=30936] ppid=30917 vsize=15144776 memory=140383885817472 CPUtime=0.08 cores=1,3,5,7
/proc/30923/task/30936/stat : 30936 (java) S 30917 30917 30846 0 -1 1077944384 768 0 0 0 8 0 0 0 20 0 15 0 475058285 15508250624 10090 33554432000 4194304 4196468 140732124173248 139770658175728 139771128679042 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10416128 140732124177391 140732124177562 140732124177562 140732124180431 0
[pid=30923/tid=30937] ppid=30917 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30923/task/30937/stat : 30937 (java) S 30917 30917 30846 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475058285 15508250624 10090 33554432000 4194304 4196468 140732124173248 139770657123424 139771128678101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10416128 140732124177391 140732124177562 140732124177562 140732124180431 0
[pid=30923/tid=30938] ppid=30917 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30923/task/30938/stat : 30938 (java) S 30917 30917 30846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475058286 15508250624 10090 33554432000 4194304 4196468 140732124173248 139770656069936 139771128679042 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10416128 140732124177391 140732124177562 140732124177562 140732124180431 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 41808 KiB
[startup+0.310755 s]*
/proc/loadavg: 0.68 0.65 0.81 4/228 30938
/proc/meminfo: memFree=5985636/32770624 swapFree=66938868/67108860
[pid=30917] ppid=30913 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/30917/stat : 30917 (xcsp3-exec) S 30913 30917 30846 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475058279 115843072 362 33554432000 4194304 5098028 140728978662336 140728978660440 139707025056380 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 27189248 140728978670461 140728978670701 140728978670701 140728978673610 0
/proc/30917/statm: 28282 362 304 221 0 87 0
[pid=30923] ppid=30917 vsize=15149032 memory=49756 CPUtime=0.52 cores=1,3,5,7
/proc/30923/stat : 30923 (java) S 30917 30917 30846 0 -1 1077944320 10736 0 0 0 48 4 0 0 20 0 15 0 475058280 15512608768 12439 33554432000 4194304 4196468 140732124173248 140732124155792 139771128667895 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 10416128 140732124177391 140732124177562 140732124177562 140732124180431 0
/proc/30923/statm: 3787258 12439 3362 1 0 3748377 0
[pid=30923/tid=30925] ppid=30917 vsize=15149032 memory=6791534058613427641 CPUtime=0.3 cores=1,3,5,7
/proc/30923/task/30925/stat : 30925 (java) R 30917 30917 30846 0 -1 4202560 7825 0 0 0 27 3 0 0 20 0 15 0 475058280 15512608768 12439 33554432000 4194304 4196468 140732124173248 139771132901680 139771112748382 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10416128 140732124177391 140732124177562 140732124177562 140732124180431 0
[pid=30923/tid=30926] ppid=30917 vsize=15149032 memory=6944652177228980320 CPUtime=0 cores=1,3,5,7
/proc/30923/task/30926/stat : 30926 (java) S 30917 30917 30846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475058281 15512608768 12439 33554432000 4194304 4196468 140732124173248 139771056708368 139771128678101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10416128 140732124177391 140732124177562 140732124177562 140732124180431 0
[pid=30923/tid=30927] ppid=30917 vsize=15149032 memory=6655300316396806240 CPUtime=0 cores=1,3,5,7
/proc/30923/task/30927/stat : 30927 (java) S 30917 30917 30846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475058281 15512608768 12439 33554432000 4194304 4196468 140732124173248 139771055655824 139771128678101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10416128 140732124177391 140732124177562 140732124177562 140732124180431 0
[pid=30923/tid=30928] ppid=30917 vsize=15149032 memory=6943526294502006880 CPUtime=0 cores=1,3,5,7
/proc/30923/task/30928/stat : 30928 (java) S 30917 30917 30846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475058281 15512608768 12439 33554432000 4194304 4196468 140732124173248 139770718448656 139771128678101 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10416128 140732124177391 140732124177562 140732124177562 140732124180431 0
[pid=30923/tid=30929] ppid=30917 vsize=15149032 memory=-3258418265892434876 CPUtime=0 cores=1,3,5,7
/proc/30923/task/30929/stat : 30929 (java) S 30917 30917 30846 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475058281 15512608768 12439 33554432000 4194304 4196468 140732124173248 139770717396112 139771128678101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10416128 140732124177391 140732124177562 140732124177562 140732124180431 0
[pid=30923/tid=30930] ppid=30917 vsize=15149032 memory=4500088463514900084 CPUtime=0 cores=1,3,5,7
/proc/30923/task/30930/stat : 30930 (java) S 30917 30917 30846 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 475058282 15512608768 12439 33554432000 4194304 4196468 140732124173248 139770664490992 139771128679042 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10416128 140732124177391 140732124177562 140732124177562 140732124180431 0
[pid=30923/tid=30931] ppid=30917 vsize=15149032 memory=6944613755495348631 CPUtime=0 cores=1,3,5,7
/proc/30923/task/30931/stat : 30931 (java) S 30917 30917 30846 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475058283 15512608768 12439 33554432000 4194304 4196468 140732124173248 139770663437216 139771128678101 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10416128 140732124177391 140732124177562 140732124177562 140732124180431 0
[pid=30923/tid=30932] ppid=30917 vsize=15149032 memory=7893295687695687954 CPUtime=0 cores=1,3,5,7
/proc/30923/task/30932/stat : 30932 (java) S 30917 30917 30846 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475058283 15512608768 12439 33554432000 4194304 4196468 140732124173248 139770662384624 139771128678101 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10416128 140732124177391 140732124177562 140732124177562 140732124180431 0
[pid=30923/tid=30933] ppid=30917 vsize=15149032 memory=-8813974798734826869 CPUtime=0 cores=1,3,5,7
/proc/30923/task/30933/stat : 30933 (java) S 30917 30917 30846 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475058285 15512608768 12439 33554432000 4194304 4196468 140732124173248 139770661333200 139771128686491 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10416128 140732124177391 140732124177562 140732124177562 140732124180431 0
[pid=30923/tid=30934] ppid=30917 vsize=15149032 memory=7827413994055111515 CPUtime=0.04 cores=1,3,5,7
/proc/30923/task/30934/stat : 30934 (java) S 30917 30917 30846 0 -1 1077944384 585 0 0 0 4 0 0 0 20 0 15 0 475058285 15512608768 12439 33554432000 4194304 4196468 140732124173248 139770660280816 139771128679042 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10416128 140732124177391 140732124177562 140732124177562 140732124180431 0
[pid=30923/tid=30935] ppid=30917 vsize=15149032 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/30923/task/30935/stat : 30935 (java) S 30917 30917 30846 0 -1 1077944384 97 0 0 0 3 0 0 0 20 0 15 0 475058285 15512608768 12439 33554432000 4194304 4196468 140732124173248 139770659228272 139771128679042 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10416128 140732124177391 140732124177562 140732124177562 140732124180431 0
[pid=30923/tid=30936] ppid=30917 vsize=15149032 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/30923/task/30936/stat : 30936 (java) S 30917 30917 30846 0 -1 1077944384 925 0 0 0 12 0 0 0 20 0 15 0 475058285 15512608768 12439 33554432000 4194304 4196468 140732124173248 139770658175728 139771128679042 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10416128 140732124177391 140732124177562 140732124177562 140732124180431 0
[pid=30923/tid=30937] ppid=30917 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30923/task/30937/stat : 30937 (java) S 30917 30917 30846 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475058285 15512608768 12439 33554432000 4194304 4196468 140732124173248 139770657123424 139771128678101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10416128 140732124177391 140732124177562 140732124177562 140732124180431 0
[pid=30923/tid=30938] ppid=30917 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30923/task/30938/stat : 30938 (java) S 30917 30917 30846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475058286 15512608768 12439 33554432000 4194304 4196468 140732124173248 139770656069936 139771128679042 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10416128 140732124177391 140732124177562 140732124177562 140732124180431 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51204 KiB
[startup+0.702568 s]
/proc/loadavg: 0.68 0.65 0.81 9/228 30938
/proc/meminfo: memFree=5950476/32770624 swapFree=66938868/67108860
[pid=30917] ppid=30913 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/30917/stat : 30917 (xcsp3-exec) S 30913 30917 30846 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475058279 115843072 362 33554432000 4194304 5098028 140728978662336 140728978660440 139707025056380 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 27189248 140728978670461 140728978670701 140728978670701 140728978673610 0
/proc/30917/statm: 28282 362 304 221 0 87 0
[pid=30923] ppid=30917 vsize=15419460 memory=89096 CPUtime=1.51 cores=1,3,5,7
/proc/30923/stat : 30923 (java) S 30917 30917 30846 0 -1 1077944320 14508 0 0 0 145 6 0 0 20 0 19 0 475058280 15789527040 22274 33554432000 4194304 4196468 140732124173248 140732124155792 139771128667895 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 10416128 140732124177391 140732124177562 140732124177562 140732124180431 0
/proc/30923/statm: 3854865 22274 3453 1 0 3815965 0
[pid=30923/tid=30925] ppid=30917 vsize=15419460 memory=53456 CPUtime=0.66 cores=1,3,5,7
/proc/30923/task/30925/stat : 30925 (java) S 30917 30917 30846 0 -1 1077944384 9490 0 0 0 62 4 0 0 20 0 19 0 475058280 15789527040 22274 33554432000 4194304 4196468 140732124173248 139771132908672 139771128678101 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10416128 140732124177391 140732124177562 140732124177562 140732124180431 0
[pid=30923/tid=30926] ppid=30917 vsize=15419460 memory=988 CPUtime=0 cores=1,3,5,7
/proc/30923/task/30926/stat : 30926 (java) S 30917 30917 30846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 475058281 15789527040 22274 33554432000 4194304 4196468 140732124173248 139771056708368 139771128678101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10416128 140732124177391 140732124177562 140732124177562 140732124180431 0
[pid=30923/tid=30927] ppid=30917 vsize=15419460 memory=2016 CPUtime=0 cores=1,3,5,7
/proc/30923/task/30927/stat : 30927 (java) S 30917 30917 30846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 475058281 15789527040 22274 33554432000 4194304 4196468 140732124173248 139771055655824 139771128678101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10416128 140732124177391 140732124177562 140732124177562 140732124180431 0
[pid=30923/tid=30928] ppid=30917 vsize=15419460 memory=1416 CPUtime=0 cores=1,3,5,7
/proc/30923/task/30928/stat : 30928 (java) S 30917 30917 30846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 475058281 15789527040 22274 33554432000 4194304 4196468 140732124173248 139770718448656 139771128678101 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10416128 140732124177391 140732124177562 140732124177562 140732124180431 0
[pid=30923/tid=30929] ppid=30917 vsize=15419460 memory=10728 CPUtime=0 cores=1,3,5,7
/proc/30923/task/30929/stat : 30929 (java) S 30917 30917 30846 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 475058281 15789527040 22274 33554432000 4194304 4196468 140732124173248 139770717396112 139771128678101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10416128 140732124177391 140732124177562 140732124177562 140732124180431 0
[pid=30923/tid=30930] ppid=30917 vsize=15419460 memory=1552 CPUtime=0 cores=1,3,5,7
/proc/30923/task/30930/stat : 30930 (java) S 30917 30917 30846 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 19 0 475058282 15789527040 22274 33554432000 4194304 4196468 140732124173248 139770664490992 139771128679042 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10416128 140732124177391 140732124177562 140732124177562 140732124180431 0
[pid=30923/tid=30931] ppid=30917 vsize=15419460 memory=3640 CPUtime=0 cores=1,3,5,7
/proc/30923/task/30931/stat : 30931 (java) S 30917 30917 30846 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 475058283 15789527040 22274 33554432000 4194304 4196468 140732124173248 139770663437216 139771128678101 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10416128 140732124177391 140732124177562 140732124177562 140732124180431 0
[pid=30923/tid=30932] ppid=30917 vsize=15419460 memory=2832 CPUtime=0 cores=1,3,5,7
/proc/30923/task/30932/stat : 30932 (java) S 30917 30917 30846 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 475058283 15789527040 22274 33554432000 4194304 4196468 140732124173248 139770662384624 139771128678101 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10416128 140732124177391 140732124177562 140732124177562 140732124180431 0
[pid=30923/tid=30933] ppid=30917 vsize=15419460 memory=784 CPUtime=0 cores=1,3,5,7
/proc/30923/task/30933/stat : 30933 (java) S 30917 30917 30846 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475058285 15789527040 22274 33554432000 4194304 4196468 140732124173248 139770661333200 139771128686491 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10416128 140732124177391 140732124177562 140732124177562 140732124180431 0
[pid=30923/tid=30934] ppid=30917 vsize=15419460 memory=1060 CPUtime=0.19 cores=1,3,5,7
/proc/30923/task/30934/stat : 30934 (java) S 30917 30917 30846 0 -1 1077944384 1090 0 0 0 19 0 0 0 20 0 19 0 475058285 15789527040 22274 33554432000 4194304 4196468 140732124173248 139770660280816 139771128679042 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10416128 140732124177391 140732124177562 140732124177562 140732124180431 0
[pid=30923/tid=30935] ppid=30917 vsize=15419460 memory=1720 CPUtime=0.2 cores=1,3,5,7
/proc/30923/task/30935/stat : 30935 (java) R 30917 30917 30846 0 -1 1077944384 589 0 0 0 20 0 0 0 20 0 19 0 475058285 15789527040 22274 33554432000 4194304 4196468 140732124173248 139770659228272 139771128679042 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10416128 140732124177391 140732124177562 140732124177562 140732124180431 0
[pid=30923/tid=30936] ppid=30917 vsize=15419460 memory=1096 CPUtime=0.4 cores=1,3,5,7
/proc/30923/task/30936/stat : 30936 (java) R 30917 30917 30846 0 -1 4202560 1865 0 0 0 40 0 0 0 20 0 19 0 475058285 15789527040 22274 33554432000 4194304 4196468 140732124173248 139770658173520 139771110077903 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10416128 140732124177391 140732124177562 140732124177562 140732124180431 0
[pid=30923/tid=30937] ppid=30917 vsize=15419460 memory=1188 CPUtime=0 cores=1,3,5,7
/proc/30923/task/30937/stat : 30937 (java) S 30917 30917 30846 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475058285 15789527040 22274 33554432000 4194304 4196468 140732124173248 139770657123424 139771128678101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10416128 140732124177391 140732124177562 140732124177562 140732124180431 0
[pid=30923/tid=30938] ppid=30917 vsize=15419460 memory=6112 CPUtime=0 cores=1,3,5,7
/proc/30923/task/30938/stat : 30938 (java) S 30917 30917 30846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 475058286 15789527040 22274 33554432000 4194304 4196468 140732124173248 139770656069936 139771128679042 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10416128 140732124177391 140732124177562 140732124177562 140732124180431 0
Current children cumulated CPU time: 1.51 s
Current children cumulated vsize: 15532588 KiB
Current children cumulated memory: 90544 KiB
[startup+1.50143 s]
/proc/loadavg: 0.68 0.65 0.81 12/236 30954
/proc/meminfo: memFree=5807764/32770624 swapFree=66938868/67108860
[pid=30917] ppid=30913 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/30917/stat : 30917 (xcsp3-exec) S 30913 30917 30846 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475058279 115843072 362 33554432000 4194304 5098028 140728978662336 140728978660440 139707025056380 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 27189248 140728978670461 140728978670701 140728978670701 140728978673610 0
/proc/30917/statm: 28282 362 304 221 0 87 0
################
# More data... #
################
/proc/30923/task/30938/stat : 30938 (java) S 30917 30917 30846 0 -1 1077944384 917 0 0 0 0 0 0 0 20 0 19 0 475058286 15926902784 51376 33554432000 4194304 4196468 140732124173248 139770656069936 139771128679042 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10416128 140732124177391 140732124177562 140732124177562 140732124180431 0
[pid=30923/tid=31039] ppid=30917 vsize=15553616 memory=1416 CPUtime=13.26 cores=1,3,5,7
/proc/30923/task/31039/stat : 31039 (java) R 30917 30917 30846 0 -1 4202560 409 0 0 0 1326 0 0 0 20 0 19 0 475059653 15926902784 51376 33554432000 4194304 4196468 140732124173248 139770571127200 139770739997088 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10416128 140732124177391 140732124177562 140732124177562 140732124180431 0
[pid=30923/tid=31040] ppid=30917 vsize=15553616 memory=10728 CPUtime=13.32 cores=1,3,5,7
/proc/30923/task/31040/stat : 31040 (java) R 30917 30917 30846 0 -1 4202560 990 0 0 0 1332 0 0 0 20 0 19 0 475059653 15926902784 51376 33554432000 4194304 4196468 140732124173248 139770574286728 139770742861108 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 10416128 140732124177391 140732124177562 140732124177562 140732124180431 0
[pid=30923/tid=31041] ppid=30917 vsize=15553616 memory=1552 CPUtime=13.37 cores=1,3,5,7
/proc/30923/task/31041/stat : 31041 (java) R 30917 30917 30846 0 -1 4202560 279 0 0 0 1337 0 0 0 20 0 19 0 475059653 15926902784 51376 33554432000 4194304 4196468 140732124173248 139770576392232 139770743553248 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10416128 140732124177391 140732124177562 140732124177562 140732124180431 0
[pid=30923/tid=31042] ppid=30917 vsize=15553616 memory=3640 CPUtime=13.32 cores=1,3,5,7
/proc/30923/task/31042/stat : 31042 (java) R 30917 30917 30846 0 -1 4202560 579 0 0 0 1332 0 0 0 20 0 19 0 475059653 15926902784 51376 33554432000 4194304 4196468 140732124173248 139770577446976 139770741011776 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10416128 140732124177391 140732124177562 140732124177562 140732124180431 0
Current children cumulated CPU time: 106.68 s
Current children cumulated vsize: 15666744 KiB
Current children cumulated memory: 206952 KiB
[startup+28.0014 s]*
/proc/loadavg: 4.02 1.45 1.07 9/236 31042
/proc/meminfo: memFree=5499192/32770624 swapFree=66938868/67108860
[pid=30917] ppid=30913 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/30917/stat : 30917 (xcsp3-exec) S 30913 30917 30846 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475058279 115843072 362 33554432000 4194304 5098028 140728978662336 140728978660440 139707025056380 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 27189248 140728978670461 140728978670701 140728978670701 140728978673610 0
/proc/30917/statm: 28282 362 304 221 0 87 0
[pid=30923] ppid=30917 vsize=15553616 memory=202944 CPUtime=109.9 cores=1,3,5,7
/proc/30923/stat : 30923 (java) S 30917 30917 30846 0 -1 1077944320 59944 0 0 0 10972 18 0 0 20 0 19 0 475058280 15926902784 50736 33554432000 4194304 4196468 140732124173248 140732124155792 139771128667895 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 10416128 140732124177391 140732124177562 140732124177562 140732124180431 0
/proc/30923/statm: 3888404 50736 3533 1 0 3849504 0
[pid=30923/tid=30925] ppid=30917 vsize=15553616 memory=6791534058613427641 CPUtime=0.67 cores=1,3,5,7
/proc/30923/task/30925/stat : 30925 (java) S 30917 30917 30846 0 -1 1077944384 9906 0 0 0 63 4 0 0 20 0 19 0 475058280 15926902784 50736 33554432000 4194304 4196468 140732124173248 139771132908672 139771128678101 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10416128 140732124177391 140732124177562 140732124177562 140732124180431 0
[pid=30923/tid=30926] ppid=30917 vsize=15553616 memory=2016 CPUtime=0.02 cores=1,3,5,7
/proc/30923/task/30926/stat : 30926 (java) S 30917 30917 30846 0 -1 1077944384 1054 0 0 0 2 0 0 0 20 0 19 0 475058281 15926902784 50736 33554432000 4194304 4196468 140732124173248 139771056708368 139771128678101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10416128 140732124177391 140732124177562 140732124177562 140732124180431 0
[pid=30923/tid=30927] ppid=30917 vsize=15553616 memory=1416 CPUtime=0.02 cores=1,3,5,7
/proc/30923/task/30927/stat : 30927 (java) S 30917 30917 30846 0 -1 1077944384 898 0 0 0 2 0 0 0 20 0 19 0 475058281 15926902784 50736 33554432000 4194304 4196468 140732124173248 139771055655824 139771128678101 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10416128 140732124177391 140732124177562 140732124177562 140732124180431 0
[pid=30923/tid=30928] ppid=30917 vsize=15553616 memory=10728 CPUtime=0.02 cores=1,3,5,7
/proc/30923/task/30928/stat : 30928 (java) S 30917 30917 30846 0 -1 1077944384 1963 0 0 0 2 0 0 0 20 0 19 0 475058281 15926902784 50736 33554432000 4194304 4196468 140732124173248 139770718448656 139771128678101 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10416128 140732124177391 140732124177562 140732124177562 140732124180431 0
[pid=30923/tid=30929] ppid=30917 vsize=15553616 memory=1552 CPUtime=0.03 cores=1,3,5,7
/proc/30923/task/30929/stat : 30929 (java) S 30917 30917 30846 0 -1 1077944384 430 0 0 0 2 1 0 0 20 0 19 0 475058281 15926902784 50736 33554432000 4194304 4196468 140732124173248 139770717396112 139771128678101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10416128 140732124177391 140732124177562 140732124177562 140732124180431 0
[pid=30923/tid=30930] ppid=30917 vsize=15553616 memory=3640 CPUtime=0.04 cores=1,3,5,7
/proc/30923/task/30930/stat : 30930 (java) S 30917 30917 30846 0 -1 1077944384 1228 0 0 0 2 2 0 0 20 0 19 0 475058282 15926902784 50736 33554432000 4194304 4196468 140732124173248 139770664490992 139771128679042 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10416128 140732124177391 140732124177562 140732124177562 140732124180431 0
[pid=30923/tid=30931] ppid=30917 vsize=15553616 memory=2832 CPUtime=0 cores=1,3,5,7
/proc/30923/task/30931/stat : 30931 (java) S 30917 30917 30846 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 19 0 475058283 15926902784 50736 33554432000 4194304 4196468 140732124173248 139770663437280 139771128678101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10416128 140732124177391 140732124177562 140732124177562 140732124180431 0
[pid=30923/tid=30932] ppid=30917 vsize=15553616 memory=784 CPUtime=0 cores=1,3,5,7
/proc/30923/task/30932/stat : 30932 (java) S 30917 30917 30846 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 19 0 475058283 15926902784 50736 33554432000 4194304 4196468 140732124173248 139770662384640 139771128678101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10416128 140732124177391 140732124177562 140732124177562 140732124180431 0
[pid=30923/tid=30933] ppid=30917 vsize=15553616 memory=1060 CPUtime=0 cores=1,3,5,7
/proc/30923/task/30933/stat : 30933 (java) S 30917 30917 30846 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475058285 15926902784 50736 33554432000 4194304 4196468 140732124173248 139770661333200 139771128686491 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10416128 140732124177391 140732124177562 140732124177562 140732124180431 0
[pid=30923/tid=30934] ppid=30917 vsize=15553616 memory=1720 CPUtime=3.8 cores=1,3,5,7
/proc/30923/task/30934/stat : 30934 (java) S 30917 30917 30846 0 -1 1077944384 14204 0 0 0 379 1 0 0 20 0 19 0 475058285 15926902784 50736 33554432000 4194304 4196468 140732124173248 139770660280816 139771128679042 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10416128 140732124177391 140732124177562 140732124177562 140732124180431 0
[pid=30923/tid=30935] ppid=30917 vsize=15553616 memory=1096 CPUtime=3.59 cores=1,3,5,7
/proc/30923/task/30935/stat : 30935 (java) S 30917 30917 30846 0 -1 1077944384 12414 0 0 0 357 2 0 0 20 0 19 0 475058285 15926902784 50736 33554432000 4194304 4196468 140732124173248 139770659228272 139771128679042 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10416128 140732124177391 140732124177562 140732124177562 140732124180431 0
[pid=30923/tid=30936] ppid=30917 vsize=15553616 memory=1188 CPUtime=0.76 cores=1,3,5,7
/proc/30923/task/30936/stat : 30936 (java) S 30917 30917 30846 0 -1 1077944384 8037 0 0 0 75 1 0 0 20 0 19 0 475058285 15926902784 50736 33554432000 4194304 4196468 140732124173248 139770658175728 139771128679042 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10416128 140732124177391 140732124177562 140732124177562 140732124180431 0
[pid=30923/tid=30937] ppid=30917 vsize=15553616 memory=6112 CPUtime=0 cores=1,3,5,7
/proc/30923/task/30937/stat : 30937 (java) S 30917 30917 30846 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475058285 15926902784 50736 33554432000 4194304 4196468 140732124173248 139770657123424 139771128678101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10416128 140732124177391 140732124177562 140732124177562 140732124180431 0
[pid=30923/tid=30938] ppid=30917 vsize=15553616 memory=780 CPUtime=0 cores=1,3,5,7
/proc/30923/task/30938/stat : 30938 (java) S 30917 30917 30846 0 -1 1077944384 917 0 0 0 0 0 0 0 20 0 19 0 475058286 15926902784 50736 33554432000 4194304 4196468 140732124173248 139770656069936 139771128679042 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10416128 140732124177391 140732124177562 140732124177562 140732124180431 0
[pid=30923/tid=31039] ppid=30917 vsize=15553616 memory=14008 CPUtime=14.07 cores=1,3,5,7
/proc/30923/task/31039/stat : 31039 (java) R 30917 30917 30846 0 -1 4202560 410 0 0 0 1407 0 0 0 20 0 19 0 475059653 15926902784 50736 33554432000 4194304 4196468 140732124173248 139770571127312 139770743977381 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10416128 140732124177391 140732124177562 140732124177562 140732124180431 0
[pid=30923/tid=31040] ppid=30917 vsize=15553616 memory=28076 CPUtime=14.11 cores=1,3,5,7
/proc/30923/task/31040/stat : 31040 (java) R 30917 30917 30846 0 -1 4202560 1062 0 0 0 1411 0 0 0 20 0 19 0 475059653 15926902784 50736 33554432000 4194304 4196468 140732124173248 139770574286728 139770742860508 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 10416128 140732124177391 140732124177562 140732124177562 140732124180431 0
[pid=30923/tid=31041] ppid=30917 vsize=15553616 memory=2116 CPUtime=14.18 cores=1,3,5,7
/proc/30923/task/31041/stat : 31041 (java) R 30917 30917 30846 0 -1 4202560 279 0 0 0 1418 0 0 0 20 0 19 0 475059653 15926902784 50736 33554432000 4194304 4196468 140732124173248 139770576392672 139770743974477 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10416128 140732124177391 140732124177562 140732124177562 140732124180431 0
[pid=30923/tid=31042] ppid=30917 vsize=15553616 memory=12024 CPUtime=14.13 cores=1,3,5,7
/proc/30923/task/31042/stat : 31042 (java) R 30917 30917 30846 0 -1 4202560 581 0 0 0 1413 0 0 0 20 0 19 0 475059653 15926902784 50736 33554432000 4194304 4196468 140732124173248 139770577446864 139770741744726 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10416128 140732124177391 140732124177562 140732124177562 140732124180431 0
Current children cumulated CPU time: 109.9 s
Current children cumulated vsize: 15666744 KiB
Current children cumulated memory: 204392 KiB
[startup+28.8014 s]
/proc/loadavg: 4.02 1.45 1.07 9/236 31042
/proc/meminfo: memFree=5499192/32770624 swapFree=66938868/67108860
[pid=30917] ppid=30913 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/30917/stat : 30917 (xcsp3-exec) S 30913 30917 30846 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475058279 115843072 362 33554432000 4194304 5098028 140728978662336 140728978660440 139707025056380 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 27189248 140728978670461 140728978670701 140728978670701 140728978673610 0
/proc/30917/statm: 28282 362 304 221 0 87 0
[pid=30923] ppid=30917 vsize=15553616 memory=200380 CPUtime=113.05 cores=1,3,5,7
/proc/30923/stat : 30923 (java) S 30917 30917 30846 0 -1 1077944320 59960 0 0 0 11287 18 0 0 20 0 19 0 475058280 15926902784 50095 33554432000 4194304 4196468 140732124173248 140732124155792 139771128667895 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 10416128 140732124177391 140732124177562 140732124177562 140732124180431 0
/proc/30923/statm: 3888404 50095 3533 1 0 3849504 0
[pid=30923/tid=30925] ppid=30917 vsize=15553616 memory=1096 CPUtime=0.67 cores=1,3,5,7
/proc/30923/task/30925/stat : 30925 (java) S 30917 30917 30846 0 -1 1077944384 9906 0 0 0 63 4 0 0 20 0 19 0 475058280 15926902784 50095 33554432000 4194304 4196468 140732124173248 139771132908672 139771128678101 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10416128 140732124177391 140732124177562 140732124177562 140732124180431 0
[pid=30923/tid=30926] ppid=30917 vsize=15553616 memory=6791534058613427641 CPUtime=0.02 cores=1,3,5,7
/proc/30923/task/30926/stat : 30926 (java) S 30917 30917 30846 0 -1 1077944384 1054 0 0 0 2 0 0 0 20 0 19 0 475058281 15926902784 50095 33554432000 4194304 4196468 140732124173248 139771056708368 139771128678101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10416128 140732124177391 140732124177562 140732124177562 140732124180431 0
[pid=30923/tid=30927] ppid=30917 vsize=15553616 memory=988 CPUtime=0.02 cores=1,3,5,7
/proc/30923/task/30927/stat : 30927 (java) S 30917 30917 30846 0 -1 1077944384 901 0 0 0 2 0 0 0 20 0 19 0 475058281 15926902784 50095 33554432000 4194304 4196468 140732124173248 139771055655824 139771128678101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10416128 140732124177391 140732124177562 140732124177562 140732124180431 0
[pid=30923/tid=30928] ppid=30917 vsize=15553616 memory=2016 CPUtime=0.02 cores=1,3,5,7
/proc/30923/task/30928/stat : 30928 (java) S 30917 30917 30846 0 -1 1077944384 1963 0 0 0 2 0 0 0 20 0 19 0 475058281 15926902784 50095 33554432000 4194304 4196468 140732124173248 139770718448656 139771128678101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10416128 140732124177391 140732124177562 140732124177562 140732124180431 0
[pid=30923/tid=30929] ppid=30917 vsize=15553616 memory=1416 CPUtime=0.03 cores=1,3,5,7
/proc/30923/task/30929/stat : 30929 (java) S 30917 30917 30846 0 -1 1077944384 431 0 0 0 2 1 0 0 20 0 19 0 475058281 15926902784 50095 33554432000 4194304 4196468 140732124173248 139770717396112 139771128678101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10416128 140732124177391 140732124177562 140732124177562 140732124180431 0
[pid=30923/tid=30930] ppid=30917 vsize=15553616 memory=10728 CPUtime=0.04 cores=1,3,5,7
/proc/30923/task/30930/stat : 30930 (java) S 30917 30917 30846 0 -1 1077944384 1236 0 0 0 2 2 0 0 20 0 19 0 475058282 15926902784 50095 33554432000 4194304 4196468 140732124173248 139770664490992 139771128679042 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10416128 140732124177391 140732124177562 140732124177562 140732124180431 0
[pid=30923/tid=30931] ppid=30917 vsize=15553616 memory=1552 CPUtime=0 cores=1,3,5,7
/proc/30923/task/30931/stat : 30931 (java) S 30917 30917 30846 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 19 0 475058283 15926902784 50095 33554432000 4194304 4196468 140732124173248 139770663437280 139771128678101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10416128 140732124177391 140732124177562 140732124177562 140732124180431 0
[pid=30923/tid=30932] ppid=30917 vsize=15553616 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/30923/task/30932/stat : 30932 (java) S 30917 30917 30846 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 19 0 475058283 15926902784 50095 33554432000 4194304 4196468 140732124173248 139770662384640 139771128678101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10416128 140732124177391 140732124177562 140732124177562 140732124180431 0
[pid=30923/tid=30933] ppid=30917 vsize=15553616 memory=219848 CPUtime=0 cores=1,3,5,7
/proc/30923/task/30933/stat : 30933 (java) S 30917 30917 30846 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475058285 15926902784 50095 33554432000 4194304 4196468 140732124173248 139770661333200 139771128686491 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10416128 140732124177391 140732124177562 140732124177562 140732124180431 0
[pid=30923/tid=30934] ppid=30917 vsize=15553616 memory=229376 CPUtime=3.8 cores=1,3,5,7
/proc/30923/task/30934/stat : 30934 (java) S 30917 30917 30846 0 -1 1077944384 14204 0 0 0 379 1 0 0 20 0 19 0 475058285 15926902784 50095 33554432000 4194304 4196468 140732124173248 139770660280816 139771128679042 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10416128 140732124177391 140732124177562 140732124177562 140732124180431 0
[pid=30923/tid=30935] ppid=30917 vsize=15553616 memory=53456 CPUtime=3.59 cores=1,3,5,7
/proc/30923/task/30935/stat : 30935 (java) S 30917 30917 30846 0 -1 1077944384 12414 0 0 0 357 2 0 0 20 0 19 0 475058285 15926902784 50095 33554432000 4194304 4196468 140732124173248 139770659228272 139771128679042 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10416128 140732124177391 140732124177562 140732124177562 140732124180431 0
[pid=30923/tid=30936] ppid=30917 vsize=15553616 memory=988 CPUtime=0.76 cores=1,3,5,7
/proc/30923/task/30936/stat : 30936 (java) S 30917 30917 30846 0 -1 1077944384 8037 0 0 0 75 1 0 0 20 0 19 0 475058285 15926902784 50095 33554432000 4194304 4196468 140732124173248 139770658175728 139771128679042 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10416128 140732124177391 140732124177562 140732124177562 140732124180431 0
[pid=30923/tid=30937] ppid=30917 vsize=15553616 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30923/task/30937/stat : 30937 (java) S 30917 30917 30846 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475058285 15926902784 50095 33554432000 4194304 4196468 140732124173248 139770657123424 139771128678101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10416128 140732124177391 140732124177562 140732124177562 140732124180431 0
[pid=30923/tid=30938] ppid=30917 vsize=15553616 memory=7018967021260007272 CPUtime=0 cores=1,3,5,7
/proc/30923/task/30938/stat : 30938 (java) S 30917 30917 30846 0 -1 1077944384 917 0 0 0 0 0 0 0 20 0 19 0 475058286 15926902784 50095 33554432000 4194304 4196468 140732124173248 139770656069936 139771128679042 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10416128 140732124177391 140732124177562 140732124177562 140732124180431 0
[pid=30923/tid=31039] ppid=30917 vsize=15553616 memory=7018967021260007272 CPUtime=14.86 cores=1,3,5,7
/proc/30923/task/31039/stat : 31039 (java) R 30917 30917 30846 0 -1 4202560 411 0 0 0 1486 0 0 0 20 0 19 0 475059653 15926902784 50095 33554432000 4194304 4196468 140732124173248 139770571128032 139770739997718 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10416128 140732124177391 140732124177562 140732124177562 140732124180431 0
[pid=30923/tid=31040] ppid=30917 vsize=15553616 memory=1188 CPUtime=14.89 cores=1,3,5,7
/proc/30923/task/31040/stat : 31040 (java) R 30917 30917 30846 0 -1 4202560 1063 0 0 0 1489 0 0 0 20 0 19 0 475059653 15926902784 50095 33554432000 4194304 4196468 140732124173248 139770574289520 139770742148485 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 10416128 140732124177391 140732124177562 140732124177562 140732124180431 0
[pid=30923/tid=31041] ppid=30917 vsize=15553616 memory=6112 CPUtime=14.97 cores=1,3,5,7
/proc/30923/task/31041/stat : 31041 (java) R 30917 30917 30846 0 -1 4202560 279 0 0 0 1497 0 0 0 20 0 19 0 475059653 15926902784 50095 33554432000 4194304 4196468 140732124173248 139770576392856 139770739997808 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10416128 140732124177391 140732124177562 140732124177562 140732124180431 0
[pid=30923/tid=31042] ppid=30917 vsize=15553616 memory=780 CPUtime=14.92 cores=1,3,5,7
/proc/30923/task/31042/stat : 31042 (java) R 30917 30917 30846 0 -1 4202560 583 0 0 0 1492 0 0 0 20 0 19 0 475059653 15926902784 50095 33554432000 4194304 4196468 140732124173248 139770577445056 139770741495291 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10416128 140732124177391 140732124177562 140732124177562 140732124180431 0
Current children cumulated CPU time: 113.05 s
Current children cumulated vsize: 15666744 KiB
Current children cumulated memory: 201828 KiB
[startup+29.2014 s]
/proc/loadavg: 4.02 1.45 1.07 9/236 31042
/proc/meminfo: memFree=5508436/32770624 swapFree=66938868/67108860
[pid=30917] ppid=30913 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/30917/stat : 30917 (xcsp3-exec) S 30913 30917 30846 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475058279 115843072 362 33554432000 4194304 5098028 140728978662336 140728978660440 139707025056380 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 27189248 140728978670461 140728978670701 140728978670701 140728978673610 0
/proc/30917/statm: 28282 362 304 221 0 87 0
[pid=30923] ppid=30917 vsize=15553616 memory=200400 CPUtime=114.64 cores=1,3,5,7
/proc/30923/stat : 30923 (java) S 30917 30917 30846 0 -1 1077944320 61103 0 0 0 11446 18 0 0 20 0 19 0 475058280 15926902784 50100 33554432000 4194304 4196468 140732124173248 140732124155792 139771128667895 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 10416128 140732124177391 140732124177562 140732124177562 140732124180431 0
/proc/30923/statm: 3888404 50100 3533 1 0 3849504 0
[pid=30923/tid=30925] ppid=30917 vsize=15553616 memory=0 CPUtime=0.67 cores=1,3,5,7
/proc/30923/task/30925/stat : 30925 (java) S 30917 30917 30846 0 -1 1077944384 9906 0 0 0 63 4 0 0 20 0 19 0 475058280 15926902784 50100 33554432000 4194304 4196468 140732124173248 139771132908672 139771128678101 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10416128 140732124177391 140732124177562 140732124177562 140732124180431 0
[pid=30923/tid=30926] ppid=30917 vsize=15553616 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/30923/task/30926/stat : 30926 (java) S 30917 30917 30846 0 -1 1077944384 1054 0 0 0 2 0 0 0 20 0 19 0 475058281 15926902784 50100 33554432000 4194304 4196468 140732124173248 139771056708368 139771128678101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10416128 140732124177391 140732124177562 140732124177562 140732124180431 0
[pid=30923/tid=30927] ppid=30917 vsize=15553616 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/30923/task/30927/stat : 30927 (java) S 30917 30917 30846 0 -1 1077944384 901 0 0 0 2 0 0 0 20 0 19 0 475058281 15926902784 50100 33554432000 4194304 4196468 140732124173248 139771055655824 139771128678101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10416128 140732124177391 140732124177562 140732124177562 140732124180431 0
[pid=30923/tid=30928] ppid=30917 vsize=15553616 memory=1448 CPUtime=0.02 cores=1,3,5,7
/proc/30923/task/30928/stat : 30928 (java) S 30917 30917 30846 0 -1 1077944384 1963 0 0 0 2 0 0 0 20 0 19 0 475058281 15926902784 50100 33554432000 4194304 4196468 140732124173248 139770718448656 139771128678101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10416128 140732124177391 140732124177562 140732124177562 140732124180431 0
[pid=30923/tid=30929] ppid=30917 vsize=15553616 memory=288230574492221466 CPUtime=0.03 cores=1,3,5,7
/proc/30923/task/30929/stat : 30929 (java) S 30917 30917 30846 0 -1 1077944384 431 0 0 0 2 1 0 0 20 0 19 0 475058281 15926902784 50100 33554432000 4194304 4196468 140732124173248 139770717396112 139771128678101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10416128 140732124177391 140732124177562 140732124177562 140732124180431 0
[pid=30923/tid=30930] ppid=30917 vsize=15553616 memory=288230596050944315 CPUtime=0.04 cores=1,3,5,7
/proc/30923/task/30930/stat : 30930 (java) S 30917 30917 30846 0 -1 1077944384 1236 0 0 0 2 2 0 0 20 0 19 0 475058282 15926902784 50100 33554432000 4194304 4196468 140732124173248 139770664490992 139771128679042 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10416128 140732124177391 140732124177562 140732124177562 140732124180431 0
[pid=30923/tid=30931] ppid=30917 vsize=15553616 memory=15823283127847325 CPUtime=0 cores=1,3,5,7
/proc/30923/task/30931/stat : 30931 (java) S 30917 30917 30846 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 19 0 475058283 15926902784 50100 33554432000 4194304 4196468 140732124173248 139770663437280 139771128678101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10416128 140732124177391 140732124177562 140732124177562 140732124180431 0
[pid=30923/tid=30932] ppid=30917 vsize=15553616 memory=4422924475175284768 CPUtime=0 cores=1,3,5,7
/proc/30923/task/30932/stat : 30932 (java) S 30917 30917 30846 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 19 0 475058283 15926902784 50100 33554432000 4194304 4196468 140732124173248 139770662384640 139771128678101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10416128 140732124177391 140732124177562 140732124177562 140732124180431 0
[pid=30923/tid=30933] ppid=30917 vsize=15553616 memory=-7737605734073691286 CPUtime=0 cores=1,3,5,7
/proc/30923/task/30933/stat : 30933 (java) S 30917 30917 30846 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475058285 15926902784 50100 33554432000 4194304 4196468 140732124173248 139770661333200 139771128686491 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10416128 140732124177391 140732124177562 140732124177562 140732124180431 0
[pid=30923/tid=30934] ppid=30917 vsize=15553616 memory=-9181546050914066336 CPUtime=3.82 cores=1,3,5,7
/proc/30923/task/30934/stat : 30934 (java) S 30917 30917 30846 0 -1 1077944384 15320 0 0 0 381 1 0 0 20 0 19 0 475058285 15926902784 50100 33554432000 4194304 4196468 140732124173248 139770660280816 139771128679042 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10416128 140732124177391 140732124177562 140732124177562 140732124180431 0
[pid=30923/tid=30935] ppid=30917 vsize=15553616 memory=6944613755328037012 CPUtime=3.59 cores=1,3,5,7
/proc/30923/task/30935/stat : 30935 (java) S 30917 30917 30846 0 -1 1077944384 12414 0 0 0 357 2 0 0 20 0 19 0 475058285 15926902784 50100 33554432000 4194304 4196468 140732124173248 139770659228272 139771128679042 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10416128 140732124177391 140732124177562 140732124177562 140732124180431 0
[pid=30923/tid=30936] ppid=30917 vsize=15553616 memory=-9001734043636558696 CPUtime=0.76 cores=1,3,5,7
/proc/30923/task/30936/stat : 30936 (java) S 30917 30917 30846 0 -1 1077944384 8037 0 0 0 75 1 0 0 20 0 19 0 475058285 15926902784 50100 33554432000 4194304 4196468 140732124173248 139770658175728 139771128679042 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10416128 140732124177391 140732124177562 140732124177562 140732124180431 0
[pid=30923/tid=30937] ppid=30917 vsize=15553616 memory=6944656591801717918 CPUtime=0 cores=1,3,5,7
/proc/30923/task/30937/stat : 30937 (java) S 30917 30917 30846 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475058285 15926902784 50100 33554432000 4194304 4196468 140732124173248 139770657123424 139771128678101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10416128 140732124177391 140732124177562 140732124177562 140732124180431 0
[pid=30923/tid=30938] ppid=30917 vsize=15553616 memory=-7025452035942946156 CPUtime=0 cores=1,3,5,7
/proc/30923/task/30938/stat : 30938 (java) S 30917 30917 30846 0 -1 1077944384 917 0 0 0 0 0 0 0 20 0 19 0 475058286 15926902784 50100 33554432000 4194304 4196468 140732124173248 139770656069936 139771128679042 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10416128 140732124177391 140732124177562 140732124177562 140732124180431 0
[pid=30923/tid=31039] ppid=30917 vsize=15553616 memory=-9181546051567709026 CPUtime=15.24 cores=1,3,5,7
/proc/30923/task/31039/stat : 31039 (java) R 30917 30917 30846 0 -1 4202560 411 0 0 0 1524 0 0 0 20 0 19 0 475059653 15926902784 50100 33554432000 4194304 4196468 140732124173248 139770571128168 139770743550739 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10416128 140732124177391 140732124177562 140732124177562 140732124180431 0
[pid=30923/tid=31040] ppid=30917 vsize=15553616 memory=6944656592455360569 CPUtime=15.28 cores=1,3,5,7
/proc/30923/task/31040/stat : 31040 (java) R 30917 30917 30846 0 -1 4202560 1064 0 0 0 1528 0 0 0 20 0 19 0 475059653 15926902784 50100 33554432000 4194304 4196468 140732124173248 139770574289520 139770742393797 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 10416128 140732124177391 140732124177562 140732124177562 140732124180431 0
[pid=30923/tid=31041] ppid=30917 vsize=15553616 memory=6944613755328037012 CPUtime=15.37 cores=1,3,5,7
/proc/30923/task/31041/stat : 31041 (java) R 30917 30917 30846 0 -1 4202560 279 0 0 0 1537 0 0 0 20 0 19 0 475059653 15926902784 50100 33554432000 4194304 4196468 140732124173248 139770576392856 139770741015970 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10416128 140732124177391 140732124177562 140732124177562 140732124180431 0
[pid=30923/tid=31042] ppid=30917 vsize=15553616 memory=6296692438361003876 CPUtime=15.32 cores=1,3,5,7
/proc/30923/task/31042/stat : 31042 (java) R 30917 30917 30846 0 -1 4202560 609 0 0 0 1532 0 0 0 20 0 19 0 475059653 15926902784 50100 33554432000 4194304 4196468 140732124173248 139770577445016 139770743649154 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10416128 140732124177391 140732124177562 140732124177562 140732124180431 0
Current children cumulated CPU time: 114.64 s
Current children cumulated vsize: 15666744 KiB
Current children cumulated memory: 201848 KiB
Child status: 0
Real time (s): 29.2111
CPU time (s): 114.662
CPU user time (s): 114.47
CPU system time (s): 0.192071
CPU usage (%): 392.529
Max. virtual memory (cumulated for all children) (KiB): 15666744
Max. memory (cumulated for all children) (KiB): 236588
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 114.47
system time used= 0.192071
maximum resident set size= 237572
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 62554
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4840
involuntary context switches= 3240
# summary of solver processes directly reported to runsolver:
# pid: 30917
# total CPU time (s): 114.662
# total CPU user time (s): 114.47
# total CPU system time (s): 0.192071
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.214153 second user time and 0.361185 second system time
The end