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 (14439 MiB free)
memory of node 1: 16384 MiB (15516 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4399222-1568684375/watcher-4399222-1568684375 -o /tmp/evaluation-result-4399222-1568684375/solver-4399222-1568684375 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node103-1568682260-15015 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 1952394867 HOME/instance-4399222-1568684375.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=18447, runsolver pid=18444
[startup+0.100077 s]*
/proc/loadavg: 8.56 8.75 8.65 8/234 18463
/proc/meminfo: memFree=30658620/32770624 swapFree=66997372/67108860
[pid=18447] ppid=18444 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/18447/stat : 18447 (xcsp3-exec) S 18444 18447 14983 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 444690541 115843072 362 33554432000 4194304 5098028 140731982959200 140731982957304 140402798166652 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 32804864 140731982967674 140731982967917 140731982967917 140731982970826 0
/proc/18447/statm: 28282 362 304 221 0 87 0
[pid=18449] ppid=18447 vsize=15144776 memory=29684 CPUtime=0.13 cores=1,3,5,7
/proc/18449/stat : 18449 (java) S 18447 18447 14983 0 -1 1077944320 5860 0 0 0 12 1 0 0 20 0 15 0 444690541 15508250624 7421 33554432000 4194304 4196468 140733881404928 140733881387472 139982507171575 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 33427456 140733881410543 140733881410714 140733881410714 140733881413583 0
/proc/18449/statm: 3786194 7421 3180 1 0 3748377 0
[pid=18449/tid=18450] ppid=18447 vsize=15144776 memory=7100839870104831090 CPUtime=0.08 cores=1,3,5,7
/proc/18449/task/18450/stat : 18450 (java) R 18447 18447 14983 0 -1 4202560 3736 0 0 0 8 0 0 0 20 0 15 0 444690541 15508250624 7421 33554432000 4194304 4196468 140733881404928 139982511404704 139982499408702 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33427456 140733881410543 140733881410714 140733881410714 140733881413583 0
[pid=18449/tid=18451] ppid=18447 vsize=15144776 memory=-3689349214911541841 CPUtime=0 cores=1,3,5,7
/proc/18449/task/18451/stat : 18451 (java) S 18447 18447 14983 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 444690542 15508250624 7421 33554432000 4194304 4196468 140733881404928 139982459792400 139982507181781 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33427456 140733881410543 140733881410714 140733881410714 140733881413583 0
[pid=18449/tid=18452] ppid=18447 vsize=15144776 memory=140077258167936 CPUtime=0 cores=1,3,5,7
/proc/18449/task/18452/stat : 18452 (java) S 18447 18447 14983 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 444690542 15508250624 7421 33554432000 4194304 4196468 140733881404928 139982458739856 139982507181781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33427456 140733881410543 140733881410714 140733881410714 140733881413583 0
[pid=18449/tid=18453] ppid=18447 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18449/task/18453/stat : 18453 (java) S 18447 18447 14983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444690542 15508250624 7421 33554432000 4194304 4196468 140733881404928 139982457686800 139982507181781 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33427456 140733881410543 140733881410714 140733881410714 140733881413583 0
[pid=18449/tid=18454] ppid=18447 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18449/task/18454/stat : 18454 (java) S 18447 18447 14983 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 444690542 15508250624 7421 33554432000 4194304 4196468 140733881404928 139982456634256 139982507181781 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33427456 140733881410543 140733881410714 140733881410714 140733881413583 0
[pid=18449/tid=18455] ppid=18447 vsize=15144776 memory=140077258167936 CPUtime=0 cores=1,3,5,7
/proc/18449/task/18455/stat : 18455 (java) S 18447 18447 14983 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 444690543 15508250624 7421 33554432000 4194304 4196468 140733881404928 139981649811696 139982507182722 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33427456 140733881410543 140733881410714 140733881410714 140733881413583 0
[pid=18449/tid=18456] ppid=18447 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18449/task/18456/stat : 18456 (java) S 18447 18447 14983 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 444690544 15508250624 7421 33554432000 4194304 4196468 140733881404928 139981648757920 139982507181781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33427456 140733881410543 140733881410714 140733881410714 140733881413583 0
[pid=18449/tid=18457] ppid=18447 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18449/task/18457/stat : 18457 (java) S 18447 18447 14983 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 444690544 15508250624 7421 33554432000 4194304 4196468 140733881404928 139981647704816 139982507181781 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33427456 140733881410543 140733881410714 140733881410714 140733881413583 0
[pid=18449/tid=18458] ppid=18447 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18449/task/18458/stat : 18458 (java) S 18447 18447 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 444690546 15508250624 7421 33554432000 4194304 4196468 140733881404928 139981646653392 139982507190171 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33427456 140733881410543 140733881410714 140733881410714 140733881413583 0
[pid=18449/tid=18459] ppid=18447 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18449/task/18459/stat : 18459 (java) S 18447 18447 14983 0 -1 1077944384 302 0 0 0 0 0 0 0 20 0 15 0 444690546 15508250624 7421 33554432000 4194304 4196468 140733881404928 139981645601520 139982507182722 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33427456 140733881410543 140733881410714 140733881410714 140733881413583 0
[pid=18449/tid=18460] ppid=18447 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18449/task/18460/stat : 18460 (java) S 18447 18447 14983 0 -1 1077944384 160 0 0 0 0 0 0 0 20 0 15 0 444690546 15508250624 7421 33554432000 4194304 4196468 140733881404928 139981644548976 139982507182722 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33427456 140733881410543 140733881410714 140733881410714 140733881413583 0
[pid=18449/tid=18461] ppid=18447 vsize=15144776 memory=140077258167936 CPUtime=0.02 cores=1,3,5,7
/proc/18449/task/18461/stat : 18461 (java) S 18447 18447 14983 0 -1 1077944384 374 0 0 0 2 0 0 0 20 0 15 0 444690546 15508250624 7421 33554432000 4194304 4196468 140733881404928 139981643495920 139982507182722 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33427456 140733881410543 140733881410714 140733881410714 140733881413583 0
[pid=18449/tid=18462] ppid=18447 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18449/task/18462/stat : 18462 (java) S 18447 18447 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 444690547 15508250624 7421 33554432000 4194304 4196468 140733881404928 139981642443616 139982507181781 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33427456 140733881410543 140733881410714 140733881410714 140733881413583 0
[pid=18449/tid=18463] ppid=18447 vsize=15144776 memory=140077258167936 CPUtime=0 cores=1,3,5,7
/proc/18449/task/18463/stat : 18463 (java) S 18447 18447 14983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444690547 15508250624 7421 33554432000 4194304 4196468 140733881404928 139981574105648 139982507182722 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33427456 140733881410543 140733881410714 140733881410714 140733881413583 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 31132 KiB
[startup+0.210837 s]*
/proc/loadavg: 8.56 8.75 8.65 7/234 18463
/proc/meminfo: memFree=30646020/32770624 swapFree=66997372/67108860
[pid=18447] ppid=18444 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/18447/stat : 18447 (xcsp3-exec) S 18444 18447 14983 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 444690541 115843072 362 33554432000 4194304 5098028 140731982959200 140731982957304 140402798166652 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 32804864 140731982967674 140731982967917 140731982967917 140731982970826 0
/proc/18447/statm: 28282 362 304 221 0 87 0
[pid=18449] ppid=18447 vsize=15144776 memory=40732 CPUtime=0.34 cores=1,3,5,7
/proc/18449/stat : 18449 (java) S 18447 18447 14983 0 -1 1077944320 9455 0 0 0 32 2 0 0 20 0 15 0 444690541 15508250624 10183 33554432000 4194304 4196468 140733881404928 140733881387472 139982507171575 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 33427456 140733881410543 140733881410714 140733881410714 140733881413583 0
/proc/18449/statm: 3786194 10183 3274 1 0 3748377 0
[pid=18449/tid=18450] ppid=18447 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/18449/task/18450/stat : 18450 (java) R 18447 18447 14983 0 -1 4202560 6632 0 0 0 18 2 0 0 20 0 15 0 444690541 15508250624 10183 33554432000 4194304 4196468 140733881404928 139982511408336 139982491252062 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33427456 140733881410543 140733881410714 140733881410714 140733881413583 0
[pid=18449/tid=18451] ppid=18447 vsize=15144776 memory=9100 CPUtime=0 cores=1,3,5,7
/proc/18449/task/18451/stat : 18451 (java) S 18447 18447 14983 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 444690542 15508250624 10183 33554432000 4194304 4196468 140733881404928 139982459792400 139982507181781 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33427456 140733881410543 140733881410714 140733881410714 140733881413583 0
[pid=18449/tid=18452] ppid=18447 vsize=15144776 memory=140077261695512 CPUtime=0 cores=1,3,5,7
/proc/18449/task/18452/stat : 18452 (java) S 18447 18447 14983 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 444690542 15508250624 10183 33554432000 4194304 4196468 140733881404928 139982458739856 139982507181781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33427456 140733881410543 140733881410714 140733881410714 140733881413583 0
[pid=18449/tid=18453] ppid=18447 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18449/task/18453/stat : 18453 (java) S 18447 18447 14983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444690542 15508250624 10183 33554432000 4194304 4196468 140733881404928 139982457686800 139982507181781 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33427456 140733881410543 140733881410714 140733881410714 140733881413583 0
[pid=18449/tid=18454] ppid=18447 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18449/task/18454/stat : 18454 (java) S 18447 18447 14983 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 444690542 15508250624 10183 33554432000 4194304 4196468 140733881404928 139982456634256 139982507181781 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33427456 140733881410543 140733881410714 140733881410714 140733881413583 0
[pid=18449/tid=18455] ppid=18447 vsize=15144776 memory=140077258167936 CPUtime=0 cores=1,3,5,7
/proc/18449/task/18455/stat : 18455 (java) S 18447 18447 14983 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 444690543 15508250624 10183 33554432000 4194304 4196468 140733881404928 139981649811696 139982507182722 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33427456 140733881410543 140733881410714 140733881410714 140733881413583 0
[pid=18449/tid=18456] ppid=18447 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18449/task/18456/stat : 18456 (java) S 18447 18447 14983 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 444690544 15508250624 10183 33554432000 4194304 4196468 140733881404928 139981648757920 139982507181781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33427456 140733881410543 140733881410714 140733881410714 140733881413583 0
[pid=18449/tid=18457] ppid=18447 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18449/task/18457/stat : 18457 (java) S 18447 18447 14983 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 444690544 15508250624 10183 33554432000 4194304 4196468 140733881404928 139981647704816 139982507181781 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33427456 140733881410543 140733881410714 140733881410714 140733881413583 0
[pid=18449/tid=18458] ppid=18447 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18449/task/18458/stat : 18458 (java) S 18447 18447 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 444690546 15508250624 10183 33554432000 4194304 4196468 140733881404928 139981646653392 139982507190171 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33427456 140733881410543 140733881410714 140733881410714 140733881413583 0
[pid=18449/tid=18459] ppid=18447 vsize=15144776 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/18449/task/18459/stat : 18459 (java) S 18447 18447 14983 0 -1 1077944384 365 0 0 0 2 0 0 0 20 0 15 0 444690546 15508250624 10183 33554432000 4194304 4196468 140733881404928 139981645601520 139982507182722 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33427456 140733881410543 140733881410714 140733881410714 140733881413583 0
[pid=18449/tid=18460] ppid=18447 vsize=15144776 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/18449/task/18460/stat : 18460 (java) S 18447 18447 14983 0 -1 1077944384 379 0 0 0 2 0 0 0 20 0 15 0 444690546 15508250624 10183 33554432000 4194304 4196468 140733881404928 139981644548976 139982507182722 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33427456 140733881410543 140733881410714 140733881410714 140733881413583 0
[pid=18449/tid=18461] ppid=18447 vsize=15144776 memory=140077258167936 CPUtime=0.08 cores=1,3,5,7
/proc/18449/task/18461/stat : 18461 (java) R 18447 18447 14983 0 -1 4202560 777 0 0 0 8 0 0 0 20 0 15 0 444690546 15508250624 10183 33554432000 4194304 4196468 140733881404928 139981643495920 139982507192922 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33427456 140733881410543 140733881410714 140733881410714 140733881413583 0
[pid=18449/tid=18462] ppid=18447 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18449/task/18462/stat : 18462 (java) S 18447 18447 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 444690547 15508250624 10183 33554432000 4194304 4196468 140733881404928 139981642443616 139982507181781 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33427456 140733881410543 140733881410714 140733881410714 140733881413583 0
[pid=18449/tid=18463] ppid=18447 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18449/task/18463/stat : 18463 (java) S 18447 18447 14983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444690547 15508250624 10183 33554432000 4194304 4196468 140733881404928 139981574105648 139982507182722 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33427456 140733881410543 140733881410714 140733881410714 140733881413583 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42180 KiB
[startup+0.318444 s]*
/proc/loadavg: 8.56 8.75 8.65 7/234 18463
/proc/meminfo: memFree=30638704/32770624 swapFree=66997372/67108860
[pid=18447] ppid=18444 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/18447/stat : 18447 (xcsp3-exec) S 18444 18447 14983 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 444690541 115843072 362 33554432000 4194304 5098028 140731982959200 140731982957304 140402798166652 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 32804864 140731982967674 140731982967917 140731982967917 140731982970826 0
/proc/18447/statm: 28282 362 304 221 0 87 0
[pid=18449] ppid=18447 vsize=15149032 memory=50688 CPUtime=0.54 cores=1,3,5,7
/proc/18449/stat : 18449 (java) S 18447 18447 14983 0 -1 1077944320 10994 0 0 0 51 3 0 0 20 0 15 0 444690541 15512608768 12672 33554432000 4194304 4196468 140733881404928 140733881387472 139982507171575 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 33427456 140733881410543 140733881410714 140733881410714 140733881413583 0
/proc/18449/statm: 3787258 12672 3367 1 0 3748377 0
[pid=18449/tid=18450] ppid=18447 vsize=15149032 memory=7883960649037381690 CPUtime=0.3 cores=1,3,5,7
/proc/18449/task/18450/stat : 18450 (java) R 18447 18447 14983 0 -1 4202560 7936 0 0 0 28 2 0 0 20 0 15 0 444690541 15512608768 12672 33554432000 4194304 4196468 140733881404928 139982511405632 139982491252062 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33427456 140733881410543 140733881410714 140733881410714 140733881413583 0
[pid=18449/tid=18451] ppid=18447 vsize=15149032 memory=9461 CPUtime=0 cores=1,3,5,7
/proc/18449/task/18451/stat : 18451 (java) S 18447 18447 14983 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 444690542 15512608768 12672 33554432000 4194304 4196468 140733881404928 139982459792400 139982507181781 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33427456 140733881410543 140733881410714 140733881410714 140733881413583 0
[pid=18449/tid=18452] ppid=18447 vsize=15149032 memory=3566841 CPUtime=0 cores=1,3,5,7
/proc/18449/task/18452/stat : 18452 (java) S 18447 18447 14983 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 444690542 15512608768 12672 33554432000 4194304 4196468 140733881404928 139982458739856 139982507181781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33427456 140733881410543 140733881410714 140733881410714 140733881413583 0
[pid=18449/tid=18453] ppid=18447 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18449/task/18453/stat : 18453 (java) S 18447 18447 14983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444690542 15512608768 12672 33554432000 4194304 4196468 140733881404928 139982457686800 139982507181781 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33427456 140733881410543 140733881410714 140733881410714 140733881413583 0
[pid=18449/tid=18454] ppid=18447 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18449/task/18454/stat : 18454 (java) S 18447 18447 14983 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 444690542 15512608768 12672 33554432000 4194304 4196468 140733881404928 139982456634256 139982507181781 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33427456 140733881410543 140733881410714 140733881410714 140733881413583 0
[pid=18449/tid=18455] ppid=18447 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18449/task/18455/stat : 18455 (java) S 18447 18447 14983 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 444690543 15512608768 12672 33554432000 4194304 4196468 140733881404928 139981649811696 139982507182722 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33427456 140733881410543 140733881410714 140733881410714 140733881413583 0
[pid=18449/tid=18456] ppid=18447 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18449/task/18456/stat : 18456 (java) S 18447 18447 14983 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 444690544 15512608768 12672 33554432000 4194304 4196468 140733881404928 139981648757920 139982507181781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33427456 140733881410543 140733881410714 140733881410714 140733881413583 0
[pid=18449/tid=18457] ppid=18447 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18449/task/18457/stat : 18457 (java) S 18447 18447 14983 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 444690544 15512608768 12672 33554432000 4194304 4196468 140733881404928 139981647704816 139982507181781 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33427456 140733881410543 140733881410714 140733881410714 140733881413583 0
[pid=18449/tid=18458] ppid=18447 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18449/task/18458/stat : 18458 (java) S 18447 18447 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 444690546 15512608768 12672 33554432000 4194304 4196468 140733881404928 139981646653392 139982507190171 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33427456 140733881410543 140733881410714 140733881410714 140733881413583 0
[pid=18449/tid=18459] ppid=18447 vsize=15149032 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/18449/task/18459/stat : 18459 (java) S 18447 18447 14983 0 -1 1077944384 490 0 0 0 5 0 0 0 20 0 15 0 444690546 15512608768 12672 33554432000 4194304 4196468 140733881404928 139981645601520 139982507182722 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33427456 140733881410543 140733881410714 140733881410714 140733881413583 0
[pid=18449/tid=18460] ppid=18447 vsize=15149032 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/18449/task/18460/stat : 18460 (java) S 18447 18447 14983 0 -1 1077944384 423 0 0 0 4 0 0 0 20 0 15 0 444690546 15512608768 12672 33554432000 4194304 4196468 140733881404928 139981644548976 139982507182722 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33427456 140733881410543 140733881410714 140733881410714 140733881413583 0
[pid=18449/tid=18461] ppid=18447 vsize=15149032 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/18449/task/18461/stat : 18461 (java) S 18447 18447 14983 0 -1 1077944384 853 0 0 0 12 0 0 0 20 0 15 0 444690546 15512608768 12672 33554432000 4194304 4196468 140733881404928 139981643495920 139982507182722 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33427456 140733881410543 140733881410714 140733881410714 140733881413583 0
[pid=18449/tid=18462] ppid=18447 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18449/task/18462/stat : 18462 (java) S 18447 18447 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 444690547 15512608768 12672 33554432000 4194304 4196468 140733881404928 139981642443616 139982507181781 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33427456 140733881410543 140733881410714 140733881410714 140733881413583 0
[pid=18449/tid=18463] ppid=18447 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18449/task/18463/stat : 18463 (java) S 18447 18447 14983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444690547 15512608768 12672 33554432000 4194304 4196468 140733881404928 139981574105648 139982507182722 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33427456 140733881410543 140733881410714 140733881410714 140733881413583 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 52136 KiB
[startup+0.702587 s]
/proc/loadavg: 8.56 8.75 8.65 8/234 18463
/proc/meminfo: memFree=30626608/32770624 swapFree=66997372/67108860
[pid=18447] ppid=18444 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/18447/stat : 18447 (xcsp3-exec) S 18444 18447 14983 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 444690541 115843072 362 33554432000 4194304 5098028 140731982959200 140731982957304 140402798166652 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 32804864 140731982967674 140731982967917 140731982967917 140731982970826 0
/proc/18447/statm: 28282 362 304 221 0 87 0
[pid=18449] ppid=18447 vsize=15483976 memory=118644 CPUtime=1.61 cores=1,3,5,7
/proc/18449/stat : 18449 (java) S 18447 18447 14983 0 -1 1077944320 14955 0 0 0 156 5 0 0 20 0 19 0 444690541 15855591424 29661 33554432000 4194304 4196468 140733881404928 140733881387472 139982507171575 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 33427456 140733881410543 140733881410714 140733881410714 140733881413583 0
/proc/18449/statm: 3870994 29661 3456 1 0 3832094 0
[pid=18449/tid=18450] ppid=18447 vsize=15483976 memory=0 CPUtime=0.63 cores=1,3,5,7
/proc/18449/task/18450/stat : 18450 (java) S 18447 18447 14983 0 -1 1077944384 9326 0 0 0 60 3 0 0 20 0 19 0 444690541 15855591424 29661 33554432000 4194304 4196468 140733881404928 139982511412352 139982507181781 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33427456 140733881410543 140733881410714 140733881410714 140733881413583 0
[pid=18449/tid=18451] ppid=18447 vsize=15483976 memory=500 CPUtime=0 cores=1,3,5,7
/proc/18449/task/18451/stat : 18451 (java) S 18447 18447 14983 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 444690542 15855591424 29661 33554432000 4194304 4196468 140733881404928 139982459792400 139982507181781 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33427456 140733881410543 140733881410714 140733881410714 140733881413583 0
[pid=18449/tid=18452] ppid=18447 vsize=15483976 memory=1560 CPUtime=0 cores=1,3,5,7
/proc/18449/task/18452/stat : 18452 (java) S 18447 18447 14983 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 444690542 15855591424 29661 33554432000 4194304 4196468 140733881404928 139982458739856 139982507181781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33427456 140733881410543 140733881410714 140733881410714 140733881413583 0
[pid=18449/tid=18453] ppid=18447 vsize=15483976 memory=932 CPUtime=0 cores=1,3,5,7
/proc/18449/task/18453/stat : 18453 (java) S 18447 18447 14983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 444690542 15855591424 29661 33554432000 4194304 4196468 140733881404928 139982457686800 139982507181781 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33427456 140733881410543 140733881410714 140733881410714 140733881413583 0
[pid=18449/tid=18454] ppid=18447 vsize=15483976 memory=3768 CPUtime=0 cores=1,3,5,7
/proc/18449/task/18454/stat : 18454 (java) S 18447 18447 14983 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 444690542 15855591424 29661 33554432000 4194304 4196468 140733881404928 139982456634256 139982507181781 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33427456 140733881410543 140733881410714 140733881410714 140733881413583 0
[pid=18449/tid=18455] ppid=18447 vsize=15483976 memory=1980 CPUtime=0 cores=1,3,5,7
/proc/18449/task/18455/stat : 18455 (java) S 18447 18447 14983 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 444690543 15855591424 29661 33554432000 4194304 4196468 140733881404928 139981649811696 139982507182722 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33427456 140733881410543 140733881410714 140733881410714 140733881413583 0
[pid=18449/tid=18456] ppid=18447 vsize=15483976 memory=2512 CPUtime=0 cores=1,3,5,7
/proc/18449/task/18456/stat : 18456 (java) S 18447 18447 14983 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 444690544 15855591424 29661 33554432000 4194304 4196468 140733881404928 139981648757920 139982507181781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33427456 140733881410543 140733881410714 140733881410714 140733881413583 0
[pid=18449/tid=18457] ppid=18447 vsize=15483976 memory=1436 CPUtime=0 cores=1,3,5,7
/proc/18449/task/18457/stat : 18457 (java) S 18447 18447 14983 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 444690544 15855591424 29661 33554432000 4194304 4196468 140733881404928 139981647704816 139982507181781 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33427456 140733881410543 140733881410714 140733881410714 140733881413583 0
[pid=18449/tid=18458] ppid=18447 vsize=15483976 memory=812 CPUtime=0 cores=1,3,5,7
/proc/18449/task/18458/stat : 18458 (java) S 18447 18447 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 444690546 15855591424 29661 33554432000 4194304 4196468 140733881404928 139981646653392 139982507190171 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33427456 140733881410543 140733881410714 140733881410714 140733881413583 0
[pid=18449/tid=18459] ppid=18447 vsize=15483976 memory=1764 CPUtime=0.23 cores=1,3,5,7
/proc/18449/task/18459/stat : 18459 (java) R 18447 18447 14983 0 -1 4202560 1096 0 0 0 23 0 0 0 20 0 19 0 444690546 15855591424 29661 33554432000 4194304 4196468 140733881404928 139981645601616 139982487510367 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33427456 140733881410543 140733881410714 140733881410714 140733881413583 0
[pid=18449/tid=18460] ppid=18447 vsize=15483976 memory=111628 CPUtime=0.19 cores=1,3,5,7
/proc/18449/task/18460/stat : 18460 (java) S 18447 18447 14983 0 -1 1077944384 1011 0 0 0 19 0 0 0 20 0 19 0 444690546 15855591424 29661 33554432000 4194304 4196468 140733881404928 139981644548976 139982507182722 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33427456 140733881410543 140733881410714 140733881410714 140733881413583 0
[pid=18449/tid=18461] ppid=18447 vsize=15483976 memory=796 CPUtime=0.42 cores=1,3,5,7
/proc/18449/task/18461/stat : 18461 (java) R 18447 18447 14983 0 -1 4202560 1658 0 0 0 42 0 0 0 20 0 19 0 444690546 15855591424 29661 33554432000 4194304 4196468 140733881404928 139981643493712 139982486886356 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33427456 140733881410543 140733881410714 140733881410714 140733881413583 0
[pid=18449/tid=18462] ppid=18447 vsize=15483976 memory=4096 CPUtime=0 cores=1,3,5,7
/proc/18449/task/18462/stat : 18462 (java) S 18447 18447 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 444690547 15855591424 29661 33554432000 4194304 4196468 140733881404928 139981642443616 139982507181781 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33427456 140733881410543 140733881410714 140733881410714 140733881413583 0
[pid=18449/tid=18463] ppid=18447 vsize=15483976 memory=1808 CPUtime=0 cores=1,3,5,7
/proc/18449/task/18463/stat : 18463 (java) S 18447 18447 14983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 444690547 15855591424 29661 33554432000 4194304 4196468 140733881404928 139981574105648 139982507182722 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33427456 140733881410543 140733881410714 140733881410714 140733881413583 0
Current children cumulated CPU time: 1.61 s
Current children cumulated vsize: 15597104 KiB
Current children cumulated memory: 120092 KiB
[startup+1.50079 s]
/proc/loadavg: 8.56 8.75 8.65 11/238 18515
/proc/meminfo: memFree=30511252/32770624 swapFree=66997372/67108860
[pid=18447] ppid=18444 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/18447/stat : 18447 (xcsp3-exec) S 18444 18447 14983 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 444690541 115843072 362 33554432000 4194304 5098028 140731982959200 140731982957304 140402798166652 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 32804864 140731982967674 140731982967917 140731982967917 140731982970826 0
/proc/18447/statm: 28282 362 304 221 0 87 0
################
# More data... #
################
/proc/18449/task/18463/stat : 18463 (java) S 18447 18447 14983 0 -1 1077944384 288 0 0 0 0 0 0 0 20 0 19 0 444690547 15858741248 45948 33554432000 4194304 4196468 140733881404928 139981574105648 139982507182722 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33427456 140733881410543 140733881410714 140733881410714 140733881413583 0
[pid=18449/tid=18538] ppid=18447 vsize=15487052 memory=796 CPUtime=8.36 cores=1,3,5,7
/proc/18449/task/18538/stat : 18538 (java) R 18447 18447 14983 0 -1 4202560 198 0 0 0 836 0 0 0 20 0 19 0 444691217 15858741248 45948 33554432000 4194304 4196468 140733881404928 139981560676240 139982128912998 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33427456 140733881410543 140733881410714 140733881410714 140733881413583 0
[pid=18449/tid=18539] ppid=18447 vsize=15487052 memory=4096 CPUtime=8.34 cores=1,3,5,7
/proc/18449/task/18539/stat : 18539 (java) R 18447 18447 14983 0 -1 4202560 573 0 0 0 834 0 0 0 20 0 19 0 444691217 15858741248 45948 33554432000 4194304 4196468 140733881404928 139981564887832 139982132537295 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 33427456 140733881410543 140733881410714 140733881410714 140733881413583 0
[pid=18449/tid=18540] ppid=18447 vsize=15487052 memory=1808 CPUtime=8.34 cores=1,3,5,7
/proc/18449/task/18540/stat : 18540 (java) R 18447 18447 14983 0 -1 4202560 483 0 0 0 834 0 0 0 20 0 19 0 444691217 15858741248 45948 33554432000 4194304 4196468 140733881404928 139981559623824 139982133243361 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33427456 140733881410543 140733881410714 140733881410714 140733881413583 0
[pid=18449/tid=18541] ppid=18447 vsize=15487052 memory=920 CPUtime=8.3 cores=1,3,5,7
/proc/18449/task/18541/stat : 18541 (java) R 18447 18447 14983 0 -1 4202560 354 0 0 0 830 0 0 0 20 0 19 0 444691217 15858741248 45948 33554432000 4194304 4196468 140733881404928 139981561730944 139982133243554 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33427456 140733881410543 140733881410714 140733881410714 140733881413583 0
Current children cumulated CPU time: 59.07 s
Current children cumulated vsize: 15600180 KiB
Current children cumulated memory: 185240 KiB
[startup+16.0013 s]*
/proc/loadavg: 8.44 8.71 8.64 9/238 18541
/proc/meminfo: memFree=30517924/32770624 swapFree=66997372/67108860
[pid=18447] ppid=18444 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/18447/stat : 18447 (xcsp3-exec) S 18444 18447 14983 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 444690541 115843072 362 33554432000 4194304 5098028 140731982959200 140731982957304 140402798166652 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 32804864 140731982967674 140731982967917 140731982967917 140731982970826 0
/proc/18447/statm: 28282 362 304 221 0 87 0
[pid=18449] ppid=18447 vsize=15487052 memory=179716 CPUtime=62.3 cores=1,3,5,7
/proc/18449/stat : 18449 (java) S 18447 18447 14983 0 -1 1077944320 32594 0 0 0 6220 10 0 0 20 0 19 0 444690541 15858741248 44929 33554432000 4194304 4196468 140733881404928 140733881387472 139982507171575 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 33427456 140733881410543 140733881410714 140733881410714 140733881413583 0
/proc/18449/statm: 3871763 44929 3528 1 0 3832863 0
[pid=18449/tid=18450] ppid=18447 vsize=15487052 memory=8317482817917895235 CPUtime=0.63 cores=1,3,5,7
/proc/18449/task/18450/stat : 18450 (java) S 18447 18447 14983 0 -1 1077944384 9456 0 0 0 60 3 0 0 20 0 19 0 444690541 15858741248 44929 33554432000 4194304 4196468 140733881404928 139982511412352 139982507181781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33427456 140733881410543 140733881410714 140733881410714 140733881413583 0
[pid=18449/tid=18451] ppid=18447 vsize=15487052 memory=4126316290023845779 CPUtime=0.02 cores=1,3,5,7
/proc/18449/task/18451/stat : 18451 (java) S 18447 18447 14983 0 -1 1077944384 907 0 0 0 2 0 0 0 20 0 19 0 444690542 15858741248 44929 33554432000 4194304 4196468 140733881404928 139982459792400 139982507181781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33427456 140733881410543 140733881410714 140733881410714 140733881413583 0
[pid=18449/tid=18452] ppid=18447 vsize=15487052 memory=6036 CPUtime=0.02 cores=1,3,5,7
/proc/18449/task/18452/stat : 18452 (java) S 18447 18447 14983 0 -1 1077944384 211 0 0 0 2 0 0 0 20 0 19 0 444690542 15858741248 44929 33554432000 4194304 4196468 140733881404928 139982458739856 139982507181781 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33427456 140733881410543 140733881410714 140733881410714 140733881413583 0
[pid=18449/tid=18453] ppid=18447 vsize=15487052 memory=14008 CPUtime=0.02 cores=1,3,5,7
/proc/18449/task/18453/stat : 18453 (java) S 18447 18447 14983 0 -1 1077944384 171 0 0 0 2 0 0 0 20 0 19 0 444690542 15858741248 44929 33554432000 4194304 4196468 140733881404928 139982457686800 139982507181781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33427456 140733881410543 140733881410714 140733881410714 140733881413583 0
[pid=18449/tid=18454] ppid=18447 vsize=15487052 memory=2124 CPUtime=0.02 cores=1,3,5,7
/proc/18449/task/18454/stat : 18454 (java) S 18447 18447 14983 0 -1 1077944384 1087 0 0 0 2 0 0 0 20 0 19 0 444690542 15858741248 44929 33554432000 4194304 4196468 140733881404928 139982456634256 139982507181781 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33427456 140733881410543 140733881410714 140733881410714 140733881413583 0
[pid=18449/tid=18455] ppid=18447 vsize=15487052 memory=1060 CPUtime=0.03 cores=1,3,5,7
/proc/18449/task/18455/stat : 18455 (java) S 18447 18447 14983 0 -1 1077944384 761 0 0 0 2 1 0 0 20 0 19 0 444690543 15858741248 44929 33554432000 4194304 4196468 140733881404928 139981649811696 139982507182722 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33427456 140733881410543 140733881410714 140733881410714 140733881413583 0
[pid=18449/tid=18456] ppid=18447 vsize=15487052 memory=1548 CPUtime=0 cores=1,3,5,7
/proc/18449/task/18456/stat : 18456 (java) S 18447 18447 14983 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 444690544 15858741248 44929 33554432000 4194304 4196468 140733881404928 139981648757984 139982507181781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33427456 140733881410543 140733881410714 140733881410714 140733881413583 0
[pid=18449/tid=18457] ppid=18447 vsize=15487052 memory=8560 CPUtime=0 cores=1,3,5,7
/proc/18449/task/18457/stat : 18457 (java) S 18447 18447 14983 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 444690544 15858741248 44929 33554432000 4194304 4196468 140733881404928 139981647704832 139982507181781 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33427456 140733881410543 140733881410714 140733881410714 140733881413583 0
[pid=18449/tid=18458] ppid=18447 vsize=15487052 memory=1668 CPUtime=0 cores=1,3,5,7
/proc/18449/task/18458/stat : 18458 (java) S 18447 18447 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 444690546 15858741248 44929 33554432000 4194304 4196468 140733881404928 139981646653392 139982507190171 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33427456 140733881410543 140733881410714 140733881410714 140733881413583 0
[pid=18449/tid=18459] ppid=18447 vsize=15487052 memory=3028 CPUtime=1.48 cores=1,3,5,7
/proc/18449/task/18459/stat : 18459 (java) S 18447 18447 14983 0 -1 1077944384 5298 0 0 0 148 0 0 0 20 0 19 0 444690546 15858741248 44929 33554432000 4194304 4196468 140733881404928 139981645601520 139982507182722 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33427456 140733881410543 140733881410714 140733881410714 140733881413583 0
[pid=18449/tid=18460] ppid=18447 vsize=15487052 memory=2012 CPUtime=1.66 cores=1,3,5,7
/proc/18449/task/18460/stat : 18460 (java) S 18447 18447 14983 0 -1 1077944384 4943 0 0 0 165 1 0 0 20 0 19 0 444690546 15858741248 44929 33554432000 4194304 4196468 140733881404928 139981644548976 139982507182722 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33427456 140733881410543 140733881410714 140733881410714 140733881413583 0
[pid=18449/tid=18461] ppid=18447 vsize=15487052 memory=1388 CPUtime=0.71 cores=1,3,5,7
/proc/18449/task/18461/stat : 18461 (java) S 18447 18447 14983 0 -1 1077944384 4043 0 0 0 71 0 0 0 20 0 19 0 444690546 15858741248 44929 33554432000 4194304 4196468 140733881404928 139981643495920 139982507182722 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33427456 140733881410543 140733881410714 140733881410714 140733881413583 0
[pid=18449/tid=18462] ppid=18447 vsize=15487052 memory=776 CPUtime=0 cores=1,3,5,7
/proc/18449/task/18462/stat : 18462 (java) S 18447 18447 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 444690547 15858741248 44929 33554432000 4194304 4196468 140733881404928 139981642443616 139982507181781 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33427456 140733881410543 140733881410714 140733881410714 140733881413583 0
[pid=18449/tid=18463] ppid=18447 vsize=15487052 memory=288230574492221466 CPUtime=0 cores=1,3,5,7
/proc/18449/task/18463/stat : 18463 (java) S 18447 18447 14983 0 -1 1077944384 299 0 0 0 0 0 0 0 20 0 19 0 444690547 15858741248 44929 33554432000 4194304 4196468 140733881404928 139981574105648 139982507182722 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33427456 140733881410543 140733881410714 140733881410714 140733881413583 0
[pid=18449/tid=18538] ppid=18447 vsize=15487052 memory=288230596050944315 CPUtime=9.15 cores=1,3,5,7
/proc/18449/task/18538/stat : 18538 (java) R 18447 18447 14983 0 -1 4202560 201 0 0 0 915 0 0 0 20 0 19 0 444691217 15858741248 44929 33554432000 4194304 4196468 140733881404928 139981560676392 139982492412796 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 33427456 140733881410543 140733881410714 140733881410714 140733881413583 0
[pid=18449/tid=18539] ppid=18447 vsize=15487052 memory=14410423571057304 CPUtime=9.11 cores=1,3,5,7
/proc/18449/task/18539/stat : 18539 (java) R 18447 18447 14983 0 -1 4202560 597 0 0 0 911 0 0 0 20 0 19 0 444691217 15858741248 44929 33554432000 4194304 4196468 140733881404928 139981564889496 139982133062905 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33427456 140733881410543 140733881410714 140733881410714 140733881413583 0
[pid=18449/tid=18540] ppid=18447 vsize=15487052 memory=280154274697936 CPUtime=9.15 cores=1,3,5,7
/proc/18449/task/18540/stat : 18540 (java) R 18447 18447 14983 0 -1 4202560 486 0 0 0 915 0 0 0 20 0 19 0 444691217 15858741248 44929 33554432000 4194304 4196468 140733881404928 139981559624464 139982132329228 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33427456 140733881410543 140733881410714 140733881410714 140733881413583 0
[pid=18449/tid=18541] ppid=18447 vsize=15487052 memory=8315171486948655189 CPUtime=9.1 cores=1,3,5,7
/proc/18449/task/18541/stat : 18541 (java) R 18447 18447 14983 0 -1 4202560 361 0 0 0 910 0 0 0 20 0 19 0 444691217 15858741248 44929 33554432000 4194304 4196468 140733881404928 139981561731776 139982488577874 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33427456 140733881410543 140733881410714 140733881410714 140733881413583 0
Current children cumulated CPU time: 62.3 s
Current children cumulated vsize: 15600180 KiB
Current children cumulated memory: 181164 KiB
[startup+16.4013 s]
/proc/loadavg: 8.44 8.71 8.64 9/238 18541
/proc/meminfo: memFree=30517924/32770624 swapFree=66997372/67108860
[pid=18447] ppid=18444 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/18447/stat : 18447 (xcsp3-exec) S 18444 18447 14983 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 444690541 115843072 362 33554432000 4194304 5098028 140731982959200 140731982957304 140402798166652 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 32804864 140731982967674 140731982967917 140731982967917 140731982970826 0
/proc/18447/statm: 28282 362 304 221 0 87 0
[pid=18449] ppid=18447 vsize=15487052 memory=176124 CPUtime=63.85 cores=1,3,5,7
/proc/18449/stat : 18449 (java) S 18447 18447 14983 0 -1 1077944320 32619 0 0 0 6375 10 0 0 20 0 19 0 444690541 15858741248 44031 33554432000 4194304 4196468 140733881404928 140733881387472 139982507171575 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 33427456 140733881410543 140733881410714 140733881410714 140733881413583 0
/proc/18449/statm: 3871763 44031 3528 1 0 3832863 0
[pid=18449/tid=18450] ppid=18447 vsize=15487052 memory=179716 CPUtime=0.63 cores=1,3,5,7
/proc/18449/task/18450/stat : 18450 (java) S 18447 18447 14983 0 -1 1077944384 9456 0 0 0 60 3 0 0 20 0 19 0 444690541 15858741248 44031 33554432000 4194304 4196468 140733881404928 139982511412352 139982507181781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33427456 140733881410543 140733881410714 140733881410714 140733881413583 0
[pid=18449/tid=18451] ppid=18447 vsize=15487052 memory=26056 CPUtime=0.02 cores=1,3,5,7
/proc/18449/task/18451/stat : 18451 (java) S 18447 18447 14983 0 -1 1077944384 907 0 0 0 2 0 0 0 20 0 19 0 444690542 15858741248 44031 33554432000 4194304 4196468 140733881404928 139982459792400 139982507181781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33427456 140733881410543 140733881410714 140733881410714 140733881413583 0
[pid=18449/tid=18452] ppid=18447 vsize=15487052 memory=12024 CPUtime=0.02 cores=1,3,5,7
/proc/18449/task/18452/stat : 18452 (java) S 18447 18447 14983 0 -1 1077944384 212 0 0 0 2 0 0 0 20 0 19 0 444690542 15858741248 44031 33554432000 4194304 4196468 140733881404928 139982458739856 139982507181781 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33427456 140733881410543 140733881410714 140733881410714 140733881413583 0
[pid=18449/tid=18453] ppid=18447 vsize=15487052 memory=3540026770234821604 CPUtime=0.02 cores=1,3,5,7
/proc/18449/task/18453/stat : 18453 (java) S 18447 18447 14983 0 -1 1077944384 171 0 0 0 2 0 0 0 20 0 19 0 444690542 15858741248 44031 33554432000 4194304 4196468 140733881404928 139982457686800 139982507181781 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33427456 140733881410543 140733881410714 140733881410714 140733881413583 0
[pid=18449/tid=18454] ppid=18447 vsize=15487052 memory=2319529276304281409 CPUtime=0.02 cores=1,3,5,7
/proc/18449/task/18454/stat : 18454 (java) S 18447 18447 14983 0 -1 1077944384 1088 0 0 0 2 0 0 0 20 0 19 0 444690542 15858741248 44031 33554432000 4194304 4196468 140733881404928 139982456634256 139982507181781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33427456 140733881410543 140733881410714 140733881410714 140733881413583 0
[pid=18449/tid=18455] ppid=18447 vsize=15487052 memory=1808 CPUtime=0.03 cores=1,3,5,7
/proc/18449/task/18455/stat : 18455 (java) S 18447 18447 14983 0 -1 1077944384 761 0 0 0 2 1 0 0 20 0 19 0 444690543 15858741248 44031 33554432000 4194304 4196468 140733881404928 139981649811696 139982507182722 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33427456 140733881410543 140733881410714 140733881410714 140733881413583 0
[pid=18449/tid=18456] ppid=18447 vsize=15487052 memory=920 CPUtime=0 cores=1,3,5,7
/proc/18449/task/18456/stat : 18456 (java) S 18447 18447 14983 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 444690544 15858741248 44031 33554432000 4194304 4196468 140733881404928 139981648757984 139982507181781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33427456 140733881410543 140733881410714 140733881410714 140733881413583 0
[pid=18449/tid=18457] ppid=18447 vsize=15487052 memory=3844 CPUtime=0 cores=1,3,5,7
/proc/18449/task/18457/stat : 18457 (java) S 18447 18447 14983 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 444690544 15858741248 44031 33554432000 4194304 4196468 140733881404928 139981647704832 139982507181781 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33427456 140733881410543 140733881410714 140733881410714 140733881413583 0
[pid=18449/tid=18458] ppid=18447 vsize=15487052 memory=2608 CPUtime=0 cores=1,3,5,7
/proc/18449/task/18458/stat : 18458 (java) S 18447 18447 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 444690546 15858741248 44031 33554432000 4194304 4196468 140733881404928 139981646653392 139982507190171 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33427456 140733881410543 140733881410714 140733881410714 140733881413583 0
[pid=18449/tid=18459] ppid=18447 vsize=15487052 memory=2612 CPUtime=1.48 cores=1,3,5,7
/proc/18449/task/18459/stat : 18459 (java) S 18447 18447 14983 0 -1 1077944384 5298 0 0 0 148 0 0 0 20 0 19 0 444690546 15858741248 44031 33554432000 4194304 4196468 140733881404928 139981645601520 139982507182722 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33427456 140733881410543 140733881410714 140733881410714 140733881413583 0
[pid=18449/tid=18460] ppid=18447 vsize=15487052 memory=1412 CPUtime=1.66 cores=1,3,5,7
/proc/18449/task/18460/stat : 18460 (java) S 18447 18447 14983 0 -1 1077944384 4943 0 0 0 165 1 0 0 20 0 19 0 444690546 15858741248 44031 33554432000 4194304 4196468 140733881404928 139981644548976 139982507182722 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33427456 140733881410543 140733881410714 140733881410714 140733881413583 0
[pid=18449/tid=18461] ppid=18447 vsize=15487052 memory=3604 CPUtime=0.71 cores=1,3,5,7
/proc/18449/task/18461/stat : 18461 (java) S 18447 18447 14983 0 -1 1077944384 4043 0 0 0 71 0 0 0 20 0 19 0 444690546 15858741248 44031 33554432000 4194304 4196468 140733881404928 139981643495920 139982507182722 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33427456 140733881410543 140733881410714 140733881410714 140733881413583 0
[pid=18449/tid=18462] ppid=18447 vsize=15487052 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/18449/task/18462/stat : 18462 (java) S 18447 18447 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 444690547 15858741248 44031 33554432000 4194304 4196468 140733881404928 139981642443616 139982507181781 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33427456 140733881410543 140733881410714 140733881410714 140733881413583 0
[pid=18449/tid=18463] ppid=18447 vsize=15487052 memory=824896 CPUtime=0 cores=1,3,5,7
/proc/18449/task/18463/stat : 18463 (java) S 18447 18447 14983 0 -1 1077944384 299 0 0 0 0 0 0 0 20 0 19 0 444690547 15858741248 44031 33554432000 4194304 4196468 140733881404928 139981574105648 139982507182722 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33427456 140733881410543 140733881410714 140733881410714 140733881413583 0
[pid=18449/tid=18538] ppid=18447 vsize=15487052 memory=1412 CPUtime=9.54 cores=1,3,5,7
/proc/18449/task/18538/stat : 18538 (java) R 18447 18447 14983 0 -1 4202560 202 0 0 0 954 0 0 0 20 0 19 0 444691217 15858741248 44031 33554432000 4194304 4196468 140733881404928 139981560676376 139982132774060 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 33427456 140733881410543 140733881410714 140733881410714 140733881413583 0
[pid=18449/tid=18539] ppid=18447 vsize=15487052 memory=2816 CPUtime=9.5 cores=1,3,5,7
/proc/18449/task/18539/stat : 18539 (java) R 18447 18447 14983 0 -1 4202560 597 0 0 0 950 0 0 0 20 0 19 0 444691217 15858741248 44031 33554432000 4194304 4196468 140733881404928 139981564887832 139982134643372 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33427456 140733881410543 140733881410714 140733881410714 140733881413583 0
[pid=18449/tid=18540] ppid=18447 vsize=15487052 memory=1448 CPUtime=9.54 cores=1,3,5,7
/proc/18449/task/18540/stat : 18540 (java) R 18447 18447 14983 0 -1 4202560 486 0 0 0 954 0 0 0 20 0 19 0 444691217 15858741248 44031 33554432000 4194304 4196468 140733881404928 139981559626832 139982134444592 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33427456 140733881410543 140733881410714 140733881410714 140733881413583 0
[pid=18449/tid=18541] ppid=18447 vsize=15487052 memory=188408 CPUtime=9.49 cores=1,3,5,7
/proc/18449/task/18541/stat : 18541 (java) R 18447 18447 14983 0 -1 4202560 383 0 0 0 949 0 0 0 20 0 19 0 444691217 15858741248 44031 33554432000 4194304 4196468 140733881404928 139981561728848 139982128913012 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33427456 140733881410543 140733881410714 140733881410714 140733881413583 0
Current children cumulated CPU time: 63.85 s
Current children cumulated vsize: 15600180 KiB
Current children cumulated memory: 177572 KiB
[startup+16.5013 s]
/proc/loadavg: 8.44 8.71 8.64 9/238 18541
/proc/meminfo: memFree=30517924/32770624 swapFree=66997372/67108860
[pid=18447] ppid=18444 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/18447/stat : 18447 (xcsp3-exec) S 18444 18447 14983 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 444690541 115843072 362 33554432000 4194304 5098028 140731982959200 140731982957304 140402798166652 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 32804864 140731982967674 140731982967917 140731982967917 140731982970826 0
/proc/18447/statm: 28282 362 304 221 0 87 0
[pid=18449] ppid=18447 vsize=15487052 memory=176124 CPUtime=64.24 cores=1,3,5,7
/proc/18449/stat : 18449 (java) S 18447 18447 14983 0 -1 1077944320 32621 0 0 0 6414 10 0 0 20 0 19 0 444690541 15858741248 44031 33554432000 4194304 4196468 140733881404928 140733881387472 139982507171575 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 33427456 140733881410543 140733881410714 140733881410714 140733881413583 0
/proc/18449/statm: 3871763 44031 3528 1 0 3832863 0
[pid=18449/tid=18450] ppid=18447 vsize=15487052 memory=1448 CPUtime=0.63 cores=1,3,5,7
/proc/18449/task/18450/stat : 18450 (java) S 18447 18447 14983 0 -1 1077944384 9456 0 0 0 60 3 0 0 20 0 19 0 444690541 15858741248 44031 33554432000 4194304 4196468 140733881404928 139982511412352 139982507181781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33427456 140733881410543 140733881410714 140733881410714 140733881413583 0
[pid=18449/tid=18451] ppid=18447 vsize=15487052 memory=56 CPUtime=0.02 cores=1,3,5,7
/proc/18449/task/18451/stat : 18451 (java) S 18447 18447 14983 0 -1 1077944384 907 0 0 0 2 0 0 0 20 0 19 0 444690542 15858741248 44031 33554432000 4194304 4196468 140733881404928 139982459792400 139982507181781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33427456 140733881410543 140733881410714 140733881410714 140733881413583 0
[pid=18449/tid=18452] ppid=18447 vsize=15487052 memory=3504 CPUtime=0.02 cores=1,3,5,7
/proc/18449/task/18452/stat : 18452 (java) S 18447 18447 14983 0 -1 1077944384 212 0 0 0 2 0 0 0 20 0 19 0 444690542 15858741248 44031 33554432000 4194304 4196468 140733881404928 139982458739856 139982507181781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33427456 140733881410543 140733881410714 140733881410714 140733881413583 0
[pid=18449/tid=18453] ppid=18447 vsize=15487052 memory=203760 CPUtime=0.02 cores=1,3,5,7
/proc/18449/task/18453/stat : 18453 (java) S 18447 18447 14983 0 -1 1077944384 171 0 0 0 2 0 0 0 20 0 19 0 444690542 15858741248 44031 33554432000 4194304 4196468 140733881404928 139982457686800 139982507181781 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33427456 140733881410543 140733881410714 140733881410714 140733881413583 0
[pid=18449/tid=18454] ppid=18447 vsize=15487052 memory=206800 CPUtime=0.02 cores=1,3,5,7
/proc/18449/task/18454/stat : 18454 (java) S 18447 18447 14983 0 -1 1077944384 1088 0 0 0 2 0 0 0 20 0 19 0 444690542 15858741248 44031 33554432000 4194304 4196468 140733881404928 139982456634256 139982507181781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33427456 140733881410543 140733881410714 140733881410714 140733881413583 0
[pid=18449/tid=18455] ppid=18447 vsize=15487052 memory=280154274839264 CPUtime=0.03 cores=1,3,5,7
/proc/18449/task/18455/stat : 18455 (java) S 18447 18447 14983 0 -1 1077944384 762 0 0 0 2 1 0 0 20 0 19 0 444690543 15858741248 44031 33554432000 4194304 4196468 140733881404928 139981649811696 139982507182722 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33427456 140733881410543 140733881410714 140733881410714 140733881413583 0
[pid=18449/tid=18456] ppid=18447 vsize=15487052 memory=-6151174408827139264 CPUtime=0 cores=1,3,5,7
/proc/18449/task/18456/stat : 18456 (java) S 18447 18447 14983 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 444690544 15858741248 44031 33554432000 4194304 4196468 140733881404928 139981648757984 139982507181781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33427456 140733881410543 140733881410714 140733881410714 140733881413583 0
[pid=18449/tid=18457] ppid=18447 vsize=15487052 memory=164 CPUtime=0 cores=1,3,5,7
/proc/18449/task/18457/stat : 18457 (java) S 18447 18447 14983 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 444690544 15858741248 44031 33554432000 4194304 4196468 140733881404928 139981647704832 139982507181781 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33427456 140733881410543 140733881410714 140733881410714 140733881413583 0
[pid=18449/tid=18458] ppid=18447 vsize=15487052 memory=71 CPUtime=0 cores=1,3,5,7
/proc/18449/task/18458/stat : 18458 (java) S 18447 18447 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 444690546 15858741248 44031 33554432000 4194304 4196468 140733881404928 139981646653392 139982507190171 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33427456 140733881410543 140733881410714 140733881410714 140733881413583 0
[pid=18449/tid=18459] ppid=18447 vsize=15487052 memory=6791534058613427641 CPUtime=1.48 cores=1,3,5,7
/proc/18449/task/18459/stat : 18459 (java) S 18447 18447 14983 0 -1 1077944384 5298 0 0 0 148 0 0 0 20 0 19 0 444690546 15858741248 44031 33554432000 4194304 4196468 140733881404928 139981645601520 139982507182722 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33427456 140733881410543 140733881410714 140733881410714 140733881413583 0
[pid=18449/tid=18460] ppid=18447 vsize=15487052 memory=14008 CPUtime=1.66 cores=1,3,5,7
/proc/18449/task/18460/stat : 18460 (java) S 18447 18447 14983 0 -1 1077944384 4943 0 0 0 165 1 0 0 20 0 19 0 444690546 15858741248 44031 33554432000 4194304 4196468 140733881404928 139981644548976 139982507182722 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33427456 140733881410543 140733881410714 140733881410714 140733881413583 0
[pid=18449/tid=18461] ppid=18447 vsize=15487052 memory=2124 CPUtime=0.71 cores=1,3,5,7
/proc/18449/task/18461/stat : 18461 (java) S 18447 18447 14983 0 -1 1077944384 4043 0 0 0 71 0 0 0 20 0 19 0 444690546 15858741248 44031 33554432000 4194304 4196468 140733881404928 139981643495920 139982507182722 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33427456 140733881410543 140733881410714 140733881410714 140733881413583 0
[pid=18449/tid=18462] ppid=18447 vsize=15487052 memory=188408 CPUtime=0 cores=1,3,5,7
/proc/18449/task/18462/stat : 18462 (java) S 18447 18447 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 444690547 15858741248 44031 33554432000 4194304 4196468 140733881404928 139981642443616 139982507181781 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33427456 140733881410543 140733881410714 140733881410714 140733881413583 0
[pid=18449/tid=18463] ppid=18447 vsize=15487052 memory=2012 CPUtime=0 cores=1,3,5,7
/proc/18449/task/18463/stat : 18463 (java) S 18447 18447 14983 0 -1 1077944384 299 0 0 0 0 0 0 0 20 0 19 0 444690547 15858741248 44031 33554432000 4194304 4196468 140733881404928 139981574105648 139982507182722 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33427456 140733881410543 140733881410714 140733881410714 140733881413583 0
[pid=18449/tid=18538] ppid=18447 vsize=15487052 memory=1388 CPUtime=9.64 cores=1,3,5,7
/proc/18449/task/18538/stat : 18538 (java) R 18447 18447 14983 0 -1 4202560 202 0 0 0 964 0 0 0 20 0 19 0 444691217 15858741248 44031 33554432000 4194304 4196468 140733881404928 139981560676520 139982133539162 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 33427456 140733881410543 140733881410714 140733881410714 140733881413583 0
[pid=18449/tid=18539] ppid=18447 vsize=15487052 memory=1448 CPUtime=9.6 cores=1,3,5,7
/proc/18449/task/18539/stat : 18539 (java) R 18447 18447 14983 0 -1 4202560 597 0 0 0 960 0 0 0 20 0 19 0 444691217 15858741248 44031 33554432000 4194304 4196468 140733881404928 139981564887040 140733883259112 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33427456 140733881410543 140733881410714 140733881410714 140733881413583 0
[pid=18449/tid=18540] ppid=18447 vsize=15487052 memory=1448 CPUtime=9.63 cores=1,3,5,7
/proc/18449/task/18540/stat : 18540 (java) R 18447 18447 14983 0 -1 4202560 487 0 0 0 963 0 0 0 20 0 19 0 444691217 15858741248 44031 33554432000 4194304 4196468 140733881404928 139981559624480 139982133062486 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33427456 140733881410543 140733881410714 140733881410714 140733881413583 0
[pid=18449/tid=18541] ppid=18447 vsize=15487052 memory=179688 CPUtime=9.59 cores=1,3,5,7
/proc/18449/task/18541/stat : 18541 (java) R 18447 18447 14983 0 -1 4202560 383 0 0 0 959 0 0 0 20 0 19 0 444691217 15858741248 44031 33554432000 4194304 4196468 140733881404928 139981561731024 139982133369256 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33427456 140733881410543 140733881410714 140733881410714 140733881413583 0
Current children cumulated CPU time: 64.24 s
Current children cumulated vsize: 15600180 KiB
Current children cumulated memory: 177572 KiB
Child status: 0
Real time (s): 16.5205
CPU time (s): 64.269
CPU user time (s): 64.1607
CPU system time (s): 0.108244
CPU usage (%): 389.026
Max. virtual memory (cumulated for all children) (KiB): 15600180
Max. memory (cumulated for all children) (KiB): 209112
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 64.1607
system time used= 0.108244
maximum resident set size= 210468
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 33809
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= 3826
involuntary context switches= 1745
# summary of solver processes directly reported to runsolver:
# pid: 18447
# total CPU time (s): 64.269
# total CPU user time (s): 64.1607
# total CPU system time (s): 0.108244
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.134716 second user time and 0.230731 second system time
The end