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 (5037 MiB free)
memory of node 1: 16384 MiB (13636 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4387261-1568297115/watcher-4387261-1568297115 -o /tmp/evaluation-result-4387261-1568297115/solver-4387261-1568297115 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node117-1568286179-3291 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=977083341 HOME/instance-4387261-1568297115.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=6648, runsolver pid=6644
[startup+0.100057 s]*
/proc/loadavg: 1.50 1.61 1.61 3/220 6705
/proc/meminfo: memFree=19114008/32770624 swapFree=66952812/67108860
[pid=6648] ppid=6644 vsize=9972712 memory=17344 CPUtime=0.08 cores=1,3,5,7
/proc/6648/stat : 6648 (java) S 6644 6648 2339 0 -1 1077944320 4556 13005 0 0 1 0 5 2 20 0 6 0 405653461 10212057088 4336 33554432000 4194304 4196468 140723073779344 140723073761888 139919328681719 0 0 0 16784584 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 10391552 140723073784566 140723073787077 140723073787077 140723073789903 0
/proc/6648/statm: 2493178 4336 1958 1 0 2481616 0
[pid=6648/tid=6701] ppid=6644 vsize=9988792 memory=7892391828772250251 CPUtime=0.08 cores=1,3,5,7
/proc/6648/task/6701/stat : 6701 (java) R 6644 6648 2339 0 -1 4202560 2395 13005 0 0 1 0 5 2 20 0 6 0 405653470 10228523008 4336 33554432000 4194304 4196468 140723073779344 139919300518480 139919314213632 0 4 0 16784584 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10391552 140723073784566 140723073787077 140723073787077 140723073789903 0
[pid=6648/tid=6702] ppid=6644 vsize=9988792 memory=-7025452035940392864 CPUtime=0.07 cores=1,3,5,7
/proc/6648/task/6702/stat : 6702 (java) S 6644 6648 2339 0 -1 1077944384 2 13005 0 0 0 0 5 2 20 0 6 0 405653471 10228523008 4336 33554432000 4194304 4196468 140723073779344 139919332924560 139919328691925 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10391552 140723073784566 140723073787077 140723073787077 140723073789903 0
[pid=6648/tid=6703] ppid=6644 vsize=9988792 memory=140573835277952 CPUtime=0.07 cores=1,3,5,7
/proc/6648/task/6703/stat : 6703 (java) S 6644 6648 2339 0 -1 1077944384 1 13005 0 0 0 0 5 2 20 0 6 0 405653471 10228523008 4336 33554432000 4194304 4196468 140723073779344 139919231814672 139919328691925 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10391552 140723073784566 140723073787077 140723073787077 140723073789903 0
[pid=6648/tid=6704] ppid=6644 vsize=9988792 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/6648/task/6704/stat : 6704 (java) S 6644 6648 2339 0 -1 1077944384 1 13005 0 0 0 0 5 2 20 0 6 0 405653471 10228523008 4336 33554432000 4194304 4196468 140723073779344 139918900587408 139919328691925 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10391552 140723073784566 140723073787077 140723073787077 140723073789903 0
[pid=6648/tid=6705] ppid=6644 vsize=9988792 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/6648/task/6705/stat : 6705 (java) S 6644 6648 2339 0 -1 1077944384 1 13005 0 0 0 0 5 2 20 0 6 0 405653471 10228523008 4336 33554432000 4194304 4196468 140723073779344 139918899534608 139919328691925 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10391552 140723073784566 140723073787077 140723073787077 140723073789903 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 17344 KiB
[startup+0.210854 s]*
/proc/loadavg: 1.50 1.61 1.61 3/229 6714
/proc/meminfo: memFree=19097504/32770624 swapFree=66952812/67108860
[pid=6648] ppid=6644 vsize=10818940 memory=36468 CPUtime=0.26 cores=1,3,5,7
/proc/6648/stat : 6648 (java) S 6644 6648 2339 0 -1 1077944320 7035 13005 0 0 18 1 5 2 20 0 15 0 405653461 11078594560 9117 33554432000 4194304 4196468 140723073779344 140723073761888 139919328681719 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 10391552 140723073784566 140723073787077 140723073787077 140723073789903 0
/proc/6648/statm: 2704735 9117 2966 1 0 2667149 0
[pid=6648/tid=6701] ppid=6644 vsize=10818940 memory=7822038051842263955 CPUtime=0.18 cores=1,3,5,7
/proc/6648/task/6701/stat : 6701 (java) R 6644 6648 2339 0 -1 4202560 3543 13005 0 0 11 0 5 2 20 0 15 0 405653470 11078594560 9117 33554432000 4194304 4196468 140723073779344 139919300506040 139919312762206 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10391552 140723073784566 140723073787077 140723073787077 140723073789903 0
[pid=6648/tid=6702] ppid=6644 vsize=10818940 memory=-7025452035940392864 CPUtime=0.07 cores=1,3,5,7
/proc/6648/task/6702/stat : 6702 (java) S 6644 6648 2339 0 -1 1077944384 2 13005 0 0 0 0 5 2 20 0 15 0 405653471 11078594560 9182 33554432000 4194304 4196468 140723073779344 139919332924560 139919328691925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10391552 140723073784566 140723073787077 140723073787077 140723073789903 0
[pid=6648/tid=6703] ppid=6644 vsize=10818940 memory=140573835277952 CPUtime=0.07 cores=1,3,5,7
/proc/6648/task/6703/stat : 6703 (java) S 6644 6648 2339 0 -1 1077944384 1 13005 0 0 0 0 5 2 20 0 15 0 405653471 11078594560 9182 33554432000 4194304 4196468 140723073779344 139919231814672 139919328691925 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10391552 140723073784566 140723073787077 140723073787077 140723073789903 0
[pid=6648/tid=6704] ppid=6644 vsize=10818940 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/6648/task/6704/stat : 6704 (java) S 6644 6648 2339 0 -1 1077944384 1 13005 0 0 0 0 5 2 20 0 15 0 405653471 11078594560 9182 33554432000 4194304 4196468 140723073779344 139918900587408 139919328691925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10391552 140723073784566 140723073787077 140723073787077 140723073789903 0
[pid=6648/tid=6705] ppid=6644 vsize=10818940 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/6648/task/6705/stat : 6705 (java) S 6644 6648 2339 0 -1 1077944384 1 13005 0 0 0 0 5 2 20 0 15 0 405653471 11078594560 9182 33554432000 4194304 4196468 140723073779344 139918899534608 139919328691925 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10391552 140723073784566 140723073787077 140723073787077 140723073789903 0
[pid=6648/tid=6706] ppid=6644 vsize=10818940 memory=140573835277952 CPUtime=0.07 cores=1,3,5,7
/proc/6648/task/6706/stat : 6706 (java) S 6644 6648 2339 0 -1 1077944384 2 13005 0 0 0 0 5 2 20 0 15 0 405653472 11078594560 9182 33554432000 4194304 4196468 140723073779344 139918465321328 139919328692866 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10391552 140723073784566 140723073787077 140723073787077 140723073789903 0
[pid=6648/tid=6707] ppid=6644 vsize=10818940 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/6648/task/6707/stat : 6707 (java) S 6644 6648 2339 0 -1 1077944384 33 13005 0 0 0 0 5 2 20 0 15 0 405653473 11078594560 9182 33554432000 4194304 4196468 140723073779344 139918464267296 139919328691925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10391552 140723073784566 140723073787077 140723073787077 140723073789903 0
[pid=6648/tid=6708] ppid=6644 vsize=10818940 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/6648/task/6708/stat : 6708 (java) S 6644 6648 2339 0 -1 1077944384 1 13005 0 0 0 0 5 2 20 0 15 0 405653473 11078594560 9182 33554432000 4194304 4196468 140723073779344 139918223336304 139919328691925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10391552 140723073784566 140723073787077 140723073787077 140723073789903 0
[pid=6648/tid=6709] ppid=6644 vsize=10818940 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/6648/task/6709/stat : 6709 (java) S 6644 6648 2339 0 -1 1077944384 3 13005 0 0 0 0 5 2 20 0 15 0 405653476 11078594560 9182 33554432000 4194304 4196468 140723073779344 139917915936592 139919328700315 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10391552 140723073784566 140723073787077 140723073787077 140723073789903 0
[pid=6648/tid=6710] ppid=6644 vsize=10818940 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/6648/task/6710/stat : 6710 (java) S 6644 6648 2339 0 -1 1077944384 559 13005 0 0 1 0 5 2 20 0 15 0 405653476 11078594560 9182 33554432000 4194304 4196468 140723073779344 139918430710640 139919328692866 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10391552 140723073784566 140723073787077 140723073787077 140723073789903 0
[pid=6648/tid=6711] ppid=6644 vsize=10818940 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/6648/task/6711/stat : 6711 (java) S 6644 6648 2339 0 -1 1077944384 57 13005 0 0 0 0 5 2 20 0 15 0 405653476 11078594560 9182 33554432000 4194304 4196468 140723073779344 139918429657840 139919328692866 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10391552 140723073784566 140723073787077 140723073787077 140723073789903 0
[pid=6648/tid=6712] ppid=6644 vsize=10818940 memory=140573835277952 CPUtime=0.1 cores=1,3,5,7
/proc/6648/task/6712/stat : 6712 (java) R 6644 6648 2339 0 -1 4202560 641 13005 0 0 3 0 5 2 20 0 15 0 405653476 11078594560 9182 33554432000 4194304 4196468 140723073779344 139918428605040 139919328703066 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10391552 140723073784566 140723073787077 140723073787077 140723073789903 0
[pid=6648/tid=6713] ppid=6644 vsize=10818940 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/6648/task/6713/stat : 6713 (java) S 6644 6648 2339 0 -1 1077944384 3 13005 0 0 0 0 5 2 20 0 15 0 405653476 11078594560 9182 33554432000 4194304 4196468 140723073779344 139917882378976 139919328691925 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10391552 140723073784566 140723073787077 140723073787077 140723073789903 0
[pid=6648/tid=6714] ppid=6644 vsize=10818940 memory=140573835277952 CPUtime=0.07 cores=1,3,5,7
/proc/6648/task/6714/stat : 6714 (java) S 6644 6648 2339 0 -1 1077944384 1 13005 0 0 0 0 5 2 20 0 15 0 405653476 11078594560 9182 33554432000 4194304 4196468 140723073779344 139918427552432 139919328692866 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10391552 140723073784566 140723073787077 140723073787077 140723073789903 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10818940 KiB
Current children cumulated memory: 36468 KiB
[startup+0.310522 s]*
/proc/loadavg: 1.50 1.61 1.61 4/229 6714
/proc/meminfo: memFree=19087008/32770624 swapFree=66952812/67108860
[pid=6648] ppid=6644 vsize=10820096 memory=47804 CPUtime=0.39 cores=1,3,5,7
/proc/6648/stat : 6648 (java) S 6644 6648 2339 0 -1 1077944320 10763 13005 0 0 30 2 5 2 20 0 15 0 405653461 11079778304 11951 33554432000 4194304 4196468 140723073779344 140723073761888 139919328681719 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 10391552 140723073784566 140723073787077 140723073787077 140723073789903 0
/proc/6648/statm: 2705024 11951 3220 1 0 2667149 0
[pid=6648/tid=6701] ppid=6644 vsize=10820096 memory=8317482817917895235 CPUtime=0.28 cores=1,3,5,7
/proc/6648/task/6701/stat : 6701 (java) R 6644 6648 2339 0 -1 4202560 7243 13005 0 0 20 1 5 2 20 0 15 0 405653470 11079778304 11951 33554432000 4194304 4196468 140723073779344 139919300494864 139919328693654 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10391552 140723073784566 140723073787077 140723073787077 140723073789903 0
[pid=6648/tid=6702] ppid=6644 vsize=10820096 memory=7516628094769197671 CPUtime=0.07 cores=1,3,5,7
/proc/6648/task/6702/stat : 6702 (java) S 6644 6648 2339 0 -1 1077944384 2 13005 0 0 0 0 5 2 20 0 15 0 405653471 11079778304 11951 33554432000 4194304 4196468 140723073779344 139919332924560 139919328691925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10391552 140723073784566 140723073787077 140723073787077 140723073789903 0
[pid=6648/tid=6703] ppid=6644 vsize=10820096 memory=5788339726952981056 CPUtime=0.07 cores=1,3,5,7
/proc/6648/task/6703/stat : 6703 (java) S 6644 6648 2339 0 -1 1077944384 1 13005 0 0 0 0 5 2 20 0 15 0 405653471 11079778304 11951 33554432000 4194304 4196468 140723073779344 139919231814672 139919328691925 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10391552 140723073784566 140723073787077 140723073787077 140723073789903 0
[pid=6648/tid=6704] ppid=6644 vsize=10820096 memory=7019607661733104838 CPUtime=0.07 cores=1,3,5,7
/proc/6648/task/6704/stat : 6704 (java) S 6644 6648 2339 0 -1 1077944384 1 13005 0 0 0 0 5 2 20 0 15 0 405653471 11079778304 11951 33554432000 4194304 4196468 140723073779344 139918900587408 139919328691925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10391552 140723073784566 140723073787077 140723073787077 140723073789903 0
[pid=6648/tid=6705] ppid=6644 vsize=10820096 memory=4126316290023845779 CPUtime=0.07 cores=1,3,5,7
/proc/6648/task/6705/stat : 6705 (java) S 6644 6648 2339 0 -1 1077944384 1 13005 0 0 0 0 5 2 20 0 15 0 405653471 11079778304 11951 33554432000 4194304 4196468 140723073779344 139918899534608 139919328691925 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10391552 140723073784566 140723073787077 140723073787077 140723073789903 0
[pid=6648/tid=6706] ppid=6644 vsize=10820096 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/6648/task/6706/stat : 6706 (java) S 6644 6648 2339 0 -1 1077944384 2 13005 0 0 0 0 5 2 20 0 15 0 405653472 11079778304 11951 33554432000 4194304 4196468 140723073779344 139918465321328 139919328692866 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10391552 140723073784566 140723073787077 140723073787077 140723073789903 0
[pid=6648/tid=6707] ppid=6644 vsize=10820096 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/6648/task/6707/stat : 6707 (java) S 6644 6648 2339 0 -1 1077944384 33 13005 0 0 0 0 5 2 20 0 15 0 405653473 11079778304 11951 33554432000 4194304 4196468 140723073779344 139918464267296 139919328691925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10391552 140723073784566 140723073787077 140723073787077 140723073789903 0
[pid=6648/tid=6708] ppid=6644 vsize=10820096 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/6648/task/6708/stat : 6708 (java) S 6644 6648 2339 0 -1 1077944384 1 13005 0 0 0 0 5 2 20 0 15 0 405653473 11079778304 11951 33554432000 4194304 4196468 140723073779344 139918223336304 139919328691925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10391552 140723073784566 140723073787077 140723073787077 140723073789903 0
[pid=6648/tid=6709] ppid=6644 vsize=10820096 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/6648/task/6709/stat : 6709 (java) S 6644 6648 2339 0 -1 1077944384 3 13005 0 0 0 0 5 2 20 0 15 0 405653476 11079778304 11951 33554432000 4194304 4196468 140723073779344 139917915936592 139919328700315 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10391552 140723073784566 140723073787077 140723073787077 140723073789903 0
[pid=6648/tid=6710] ppid=6644 vsize=10820096 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/6648/task/6710/stat : 6710 (java) S 6644 6648 2339 0 -1 1077944384 561 13005 0 0 2 0 5 2 20 0 15 0 405653476 11079778304 11951 33554432000 4194304 4196468 140723073779344 139918430710640 139919328692866 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10391552 140723073784566 140723073787077 140723073787077 140723073789903 0
[pid=6648/tid=6711] ppid=6644 vsize=10820096 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/6648/task/6711/stat : 6711 (java) S 6644 6648 2339 0 -1 1077944384 57 13005 0 0 1 0 5 2 20 0 15 0 405653476 11079778304 11951 33554432000 4194304 4196468 140723073779344 139918429657840 139919328692866 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10391552 140723073784566 140723073787077 140723073787077 140723073789903 0
[pid=6648/tid=6712] ppid=6644 vsize=10820096 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/6648/task/6712/stat : 6712 (java) R 6644 6648 2339 0 -1 4202560 654 13005 0 0 5 0 5 2 20 0 15 0 405653476 11079778304 11951 33554432000 4194304 4196468 140723073779344 139918428605040 139919328703066 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10391552 140723073784566 140723073787077 140723073787077 140723073789903 0
[pid=6648/tid=6713] ppid=6644 vsize=10820096 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/6648/task/6713/stat : 6713 (java) S 6644 6648 2339 0 -1 1077944384 3 13005 0 0 0 0 5 2 20 0 15 0 405653476 11079778304 11951 33554432000 4194304 4196468 140723073779344 139917882378976 139919328691925 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10391552 140723073784566 140723073787077 140723073787077 140723073789903 0
[pid=6648/tid=6714] ppid=6644 vsize=10820096 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/6648/task/6714/stat : 6714 (java) S 6644 6648 2339 0 -1 1077944384 1 13005 0 0 0 0 5 2 20 0 15 0 405653476 11079778304 11951 33554432000 4194304 4196468 140723073779344 139918427552432 139919328692866 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10391552 140723073784566 140723073787077 140723073787077 140723073789903 0
Current children cumulated CPU time: 0.39 s
Current children cumulated vsize: 10820096 KiB
Current children cumulated memory: 47804 KiB
[startup+0.700762 s]
/proc/loadavg: 1.50 1.61 1.61 5/229 6714
/proc/meminfo: memFree=19071288/32770624 swapFree=66952812/67108860
[pid=6648] ppid=6644 vsize=10824340 memory=78520 CPUtime=1.15 cores=1,3,5,7
/proc/6648/stat : 6648 (java) S 6644 6648 2339 0 -1 1077944320 14892 13005 0 0 104 4 5 2 20 0 15 0 405653461 11084124160 19630 33554432000 4194304 4196468 140723073779344 140723073761888 139919328681719 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 10391552 140723073784566 140723073787077 140723073787077 140723073789903 0
/proc/6648/statm: 2706085 19630 3503 1 0 2668173 0
[pid=6648/tid=6701] ppid=6644 vsize=10824340 memory=2241 CPUtime=0.66 cores=1,3,5,7
/proc/6648/task/6701/stat : 6701 (java) R 6644 6648 2339 0 -1 4202560 10548 13005 0 0 57 2 5 2 20 0 15 0 405653470 11084124160 19630 33554432000 4194304 4196468 140723073779344 139919300508912 139919328703645 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10391552 140723073784566 140723073787077 140723073787077 140723073789903 0
[pid=6648/tid=6702] ppid=6644 vsize=10824340 memory=2244 CPUtime=0.07 cores=1,3,5,7
/proc/6648/task/6702/stat : 6702 (java) S 6644 6648 2339 0 -1 1077944384 2 13005 0 0 0 0 5 2 20 0 15 0 405653471 11084124160 19630 33554432000 4194304 4196468 140723073779344 139919332924560 139919328691925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10391552 140723073784566 140723073787077 140723073787077 140723073789903 0
[pid=6648/tid=6703] ppid=6644 vsize=10824340 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/6648/task/6703/stat : 6703 (java) S 6644 6648 2339 0 -1 1077944384 1 13005 0 0 0 0 5 2 20 0 15 0 405653471 11084124160 19630 33554432000 4194304 4196468 140723073779344 139919231814672 139919328691925 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10391552 140723073784566 140723073787077 140723073787077 140723073789903 0
[pid=6648/tid=6704] ppid=6644 vsize=10824340 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/6648/task/6704/stat : 6704 (java) S 6644 6648 2339 0 -1 1077944384 1 13005 0 0 0 0 5 2 20 0 15 0 405653471 11084124160 19630 33554432000 4194304 4196468 140723073779344 139918900587408 139919328691925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10391552 140723073784566 140723073787077 140723073787077 140723073789903 0
[pid=6648/tid=6705] ppid=6644 vsize=10824340 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/6648/task/6705/stat : 6705 (java) S 6644 6648 2339 0 -1 1077944384 1 13005 0 0 0 0 5 2 20 0 15 0 405653471 11084124160 19630 33554432000 4194304 4196468 140723073779344 139918899534608 139919328691925 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10391552 140723073784566 140723073787077 140723073787077 140723073789903 0
[pid=6648/tid=6706] ppid=6644 vsize=10824340 memory=6944652177228980320 CPUtime=0.07 cores=1,3,5,7
/proc/6648/task/6706/stat : 6706 (java) S 6644 6648 2339 0 -1 1077944384 5 13005 0 0 0 0 5 2 20 0 15 0 405653472 11084124160 19630 33554432000 4194304 4196468 140723073779344 139918465321328 139919328692866 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10391552 140723073784566 140723073787077 140723073787077 140723073789903 0
[pid=6648/tid=6707] ppid=6644 vsize=10824340 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/6648/task/6707/stat : 6707 (java) S 6644 6648 2339 0 -1 1077944384 33 13005 0 0 0 0 5 2 20 0 15 0 405653473 11084124160 19630 33554432000 4194304 4196468 140723073779344 139918464267296 139919328691925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10391552 140723073784566 140723073787077 140723073787077 140723073789903 0
[pid=6648/tid=6708] ppid=6644 vsize=10824340 memory=6943526294502006880 CPUtime=0.07 cores=1,3,5,7
/proc/6648/task/6708/stat : 6708 (java) S 6644 6648 2339 0 -1 1077944384 1 13005 0 0 0 0 5 2 20 0 15 0 405653473 11084124160 19630 33554432000 4194304 4196468 140723073779344 139918223336304 139919328691925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10391552 140723073784566 140723073787077 140723073787077 140723073789903 0
[pid=6648/tid=6709] ppid=6644 vsize=10824340 memory=6944656592455097440 CPUtime=0.07 cores=1,3,5,7
/proc/6648/task/6709/stat : 6709 (java) S 6644 6648 2339 0 -1 1077944384 3 13005 0 0 0 0 5 2 20 0 15 0 405653476 11084124160 19630 33554432000 4194304 4196468 140723073779344 139917915936592 139919328700315 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10391552 140723073784566 140723073787077 140723073787077 140723073789903 0
[pid=6648/tid=6710] ppid=6644 vsize=10825364 memory=140573675653008 CPUtime=0.23 cores=1,3,5,7
/proc/6648/task/6710/stat : 6710 (java) S 6644 6648 2339 0 -1 1077944384 911 13005 0 0 16 0 5 2 20 0 15 0 405653476 11085172736 19630 33554432000 4194304 4196468 140723073779344 139918430710640 139919328692866 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10391552 140723073784566 140723073787077 140723073787077 140723073789903 0
[pid=6648/tid=6711] ppid=6644 vsize=10825364 memory=24964 CPUtime=0.19 cores=1,3,5,7
/proc/6648/task/6711/stat : 6711 (java) S 6644 6648 2339 0 -1 1077944384 327 13005 0 0 12 0 5 2 20 0 15 0 405653476 11085172736 19630 33554432000 4194304 4196468 140723073779344 139918429657840 139919328692866 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10391552 140723073784566 140723073787077 140723073787077 140723073789903 0
[pid=6648/tid=6712] ppid=6644 vsize=10825364 memory=2244 CPUtime=0.24 cores=1,3,5,7
/proc/6648/task/6712/stat : 6712 (java) S 6644 6648 2339 0 -1 1077944384 852 13005 0 0 17 0 5 2 20 0 15 0 405653476 11085172736 19630 33554432000 4194304 4196468 140723073779344 139918428605040 139919328692866 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10391552 140723073784566 140723073787077 140723073787077 140723073789903 0
[pid=6648/tid=6713] ppid=6644 vsize=10825364 memory=140573675650416 CPUtime=0.07 cores=1,3,5,7
/proc/6648/task/6713/stat : 6713 (java) S 6644 6648 2339 0 -1 1077944384 3 13005 0 0 0 0 5 2 20 0 15 0 405653476 11085172736 19695 33554432000 4194304 4196468 140723073779344 139917882378976 139919328691925 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10391552 140723073784566 140723073787077 140723073787077 140723073789903 0
[pid=6648/tid=6714] ppid=6644 vsize=10824340 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/6648/task/6714/stat : 6714 (java) S 6644 6648 2339 0 -1 1077944384 1 13005 0 0 0 0 5 2 20 0 15 0 405653476 11084124160 19668 33554432000 4194304 4196468 140723073779344 139918427552432 139919328692866 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10391552 140723073784566 140723073787077 140723073787077 140723073789903 0
Current children cumulated CPU time: 1.15 s
Current children cumulated vsize: 10824340 KiB
Current children cumulated memory: 78520 KiB
[startup+1.50181 s]
/proc/loadavg: 1.50 1.61 1.61 3/229 6714
/proc/meminfo: memFree=19030072/32770624 swapFree=66952812/67108860
[pid=6648] ppid=6644 vsize=10834656 memory=169196 CPUtime=2.59 cores=1,3,5,7
/proc/6648/stat : 6648 (java) S 6644 6648 2339 0 -1 1077944320 23946 13005 0 0 243 9 5 2 20 0 15 0 405653461 11094687744 42299 33554432000 4194304 4196468 140723073779344 140723073761888 139919328681719 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 10391552 140723073784566 140723073787077 140723073787077 140723073789903 0
/proc/6648/statm: 2708664 42299 3573 1 0 2670733 0
[pid=6648/tid=6701] ppid=6644 vsize=10834656 memory=21 CPUtime=1.42 cores=1,3,5,7
/proc/6648/task/6701/stat : 6701 (java) R 6644 6648 2339 0 -1 4202560 15952 13005 0 0 130 5 5 2 20 0 15 0 405653470 11094687744 42299 33554432000 4194304 4196468 140723073779344 139919300473312 139919310581456 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10391552 140723073784566 140723073787077 140723073787077 140723073789903 0
[pid=6648/tid=6702] ppid=6644 vsize=10834656 memory=30 CPUtime=0.08 cores=1,3,5,7
/proc/6648/task/6702/stat : 6702 (java) S 6644 6648 2339 0 -1 1077944384 101 13005 0 0 1 0 5 2 20 0 15 0 405653471 11094687744 42299 33554432000 4194304 4196468 140723073779344 139919332924560 139919328691925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10391552 140723073784566 140723073787077 140723073787077 140723073789903 0
[pid=6648/tid=6703] ppid=6644 vsize=10834656 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/6648/task/6703/stat : 6703 (java) S 6644 6648 2339 0 -1 1077944384 327 13005 0 0 0 0 5 2 20 0 15 0 405653471 11094687744 42299 33554432000 4194304 4196468 140723073779344 139919231814672 139919328691925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10391552 140723073784566 140723073787077 140723073787077 140723073789903 0
[pid=6648/tid=6704] ppid=6644 vsize=10834656 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/6648/task/6704/stat : 6704 (java) S 6644 6648 2339 0 -1 1077944384 18 13005 0 0 1 0 5 2 20 0 15 0 405653471 11094687744 42299 33554432000 4194304 4196468 140723073779344 139918900587408 139919328691925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10391552 140723073784566 140723073787077 140723073787077 140723073789903 0
[pid=6648/tid=6705] ppid=6644 vsize=10834656 memory=95212 CPUtime=0.08 cores=1,3,5,7
/proc/6648/task/6705/stat : 6705 (java) S 6644 6648 2339 0 -1 1077944384 58 13005 0 0 1 0 5 2 20 0 15 0 405653471 11094687744 42299 33554432000 4194304 4196468 140723073779344 139918899534608 139919328691925 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10391552 140723073784566 140723073787077 140723073787077 140723073789903 0
[pid=6648/tid=6706] ppid=6644 vsize=10834656 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/6648/task/6706/stat : 6706 (java) S 6644 6648 2339 0 -1 1077944384 1588 13005 0 0 1 0 5 2 20 0 15 0 405653472 11094687744 42299 33554432000 4194304 4196468 140723073779344 139918465321328 139919328692866 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10391552 140723073784566 140723073787077 140723073787077 140723073789903 0
[pid=6648/tid=6707] ppid=6644 vsize=10834656 memory=7014751519734256483 CPUtime=0.07 cores=1,3,5,7
/proc/6648/task/6707/stat : 6707 (java) S 6644 6648 2339 0 -1 1077944384 34 13005 0 0 0 0 5 2 20 0 15 0 405653473 11094687744 42299 33554432000 4194304 4196468 140723073779344 139918464267360 139919328691925 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10391552 140723073784566 140723073787077 140723073787077 140723073789903 0
[pid=6648/tid=6708] ppid=6644 vsize=10834656 memory=7302981934624695897 CPUtime=0.07 cores=1,3,5,7
/proc/6648/task/6708/stat : 6708 (java) S 6644 6648 2339 0 -1 1077944384 1 13005 0 0 0 0 5 2 20 0 15 0 405653473 11094687744 42299 33554432000 4194304 4196468 140723073779344 139918223336304 139919328691925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10391552 140723073784566 140723073787077 140723073787077 140723073789903 0
[pid=6648/tid=6709] ppid=6644 vsize=10834656 memory=7381237527112412016 CPUtime=0.07 cores=1,3,5,7
/proc/6648/task/6709/stat : 6709 (java) S 6644 6648 2339 0 -1 1077944384 3 13005 0 0 0 0 5 2 20 0 15 0 405653476 11094687744 42299 33554432000 4194304 4196468 140723073779344 139917915936592 139919328700315 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10391552 140723073784566 140723073787077 140723073787077 140723073789903 0
[pid=6648/tid=6710] ppid=6644 vsize=10834656 memory=5571041044932548709 CPUtime=0.41 cores=1,3,5,7
/proc/6648/task/6710/stat : 6710 (java) R 6644 6648 2339 0 -1 4202560 1094 13005 0 0 34 0 5 2 20 0 15 0 405653476 11094687744 42299 33554432000 4194304 4196468 140723073779344 139918430710640 139919313462373 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10391552 140723073784566 140723073787077 140723073787077 140723073789903 0
[pid=6648/tid=6711] ppid=6644 vsize=10834656 memory=7738406161407438440 CPUtime=0.34 cores=1,3,5,7
/proc/6648/task/6711/stat : 6711 (java) S 6644 6648 2339 0 -1 1077944384 884 13005 0 0 27 0 5 2 20 0 15 0 405653476 11094687744 42299 33554432000 4194304 4196468 140723073779344 139918429657840 139919328692866 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10391552 140723073784566 140723073787077 140723073787077 140723073789903 0
[pid=6648/tid=6712] ppid=6644 vsize=10834656 memory=7014751519734256483 CPUtime=0.5 cores=1,3,5,7
/proc/6648/task/6712/stat : 6712 (java) R 6644 6648 2339 0 -1 4202560 1678 13005 0 0 43 0 5 2 20 0 15 0 405653476 11094687744 42299 33554432000 4194304 4196468 140723073779344 139918428603000 139919307698948 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 10391552 140723073784566 140723073787077 140723073787077 140723073789903 0
[pid=6648/tid=6713] ppid=6644 vsize=10834656 memory=7014751519734256483 CPUtime=0.07 cores=1,3,5,7
/proc/6648/task/6713/stat : 6713 (java) S 6644 6648 2339 0 -1 1077944384 3 13005 0 0 0 0 5 2 20 0 15 0 405653476 11094687744 42299 33554432000 4194304 4196468 140723073779344 139917882378976 139919328691925 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10391552 140723073784566 140723073787077 140723073787077 140723073789903 0
[pid=6648/tid=6714] ppid=6644 vsize=10834656 memory=55 CPUtime=0.07 cores=1,3,5,7
/proc/6648/task/6714/stat : 6714 (java) S 6644 6648 2339 0 -1 1077944384 1 13005 0 0 0 0 5 2 20 0 15 0 405653476 11094687744 42299 33554432000 4194304 4196468 140723073779344 139918427552432 139919328692866 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10391552 140723073784566 140723073787077 140723073787077 140723073789903 0
Current children cumulated CPU time: 2.59 s
Current children cumulated vsize: 10834656 KiB
################
# More data... #
################
[startup+3.11084 s]
/proc/loadavg: 1.46 1.60 1.61 3/229 6714
/proc/meminfo: memFree=18845712/32770624 swapFree=66952812/67108860
[pid=6648] ppid=6644 vsize=10842868 memory=292132 CPUtime=6.79 cores=1,3,5,7
/proc/6648/stat : 6648 (java) S 6644 6648 2339 0 -1 1077944320 36338 13005 0 0 658 14 5 2 20 0 15 0 405653461 11103096832 73033 33554432000 4194304 4196468 140723073779344 140723073761888 139919328681719 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 10391552 140723073784566 140723073787077 140723073787077 140723073789903 0
/proc/6648/statm: 2710717 73033 3597 1 0 2672781 0
[pid=6648/tid=6701] ppid=6644 vsize=10842868 memory=7306916055891837008 CPUtime=3.01 cores=1,3,5,7
/proc/6648/task/6701/stat : 6701 (java) R 6644 6648 2339 0 -1 4202560 20247 13005 0 0 287 7 5 2 20 0 15 0 405653470 11103096832 73033 33554432000 4194304 4196468 140723073779344 139919300289152 139918921959341 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10391552 140723073784566 140723073787077 140723073787077 140723073789903 0
[pid=6648/tid=6702] ppid=6644 vsize=10842868 memory=287636 CPUtime=0.08 cores=1,3,5,7
/proc/6648/task/6702/stat : 6702 (java) S 6644 6648 2339 0 -1 1077944384 103 13005 0 0 1 0 5 2 20 0 15 0 405653471 11103096832 73033 33554432000 4194304 4196468 140723073779344 139919332924560 139919328691925 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10391552 140723073784566 140723073787077 140723073787077 140723073789903 0
[pid=6648/tid=6703] ppid=6644 vsize=10842868 memory=55 CPUtime=0.08 cores=1,3,5,7
/proc/6648/task/6703/stat : 6703 (java) S 6644 6648 2339 0 -1 1077944384 346 13005 0 0 1 0 5 2 20 0 15 0 405653471 11103096832 73033 33554432000 4194304 4196468 140723073779344 139919231814672 139919328691925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10391552 140723073784566 140723073787077 140723073787077 140723073789903 0
[pid=6648/tid=6704] ppid=6644 vsize=10842868 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/6648/task/6704/stat : 6704 (java) S 6644 6648 2339 0 -1 1077944384 22 13005 0 0 1 0 5 2 20 0 15 0 405653471 11103096832 73033 33554432000 4194304 4196468 140723073779344 139918900587408 139919328691925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10391552 140723073784566 140723073787077 140723073787077 140723073789903 0
[pid=6648/tid=6705] ppid=6644 vsize=10842868 memory=21 CPUtime=0.09 cores=1,3,5,7
/proc/6648/task/6705/stat : 6705 (java) S 6644 6648 2339 0 -1 1077944384 63 13005 0 0 2 0 5 2 20 0 15 0 405653471 11103096832 73033 33554432000 4194304 4196468 140723073779344 139918899534608 139919328691925 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10391552 140723073784566 140723073787077 140723073787077 140723073789903 0
[pid=6648/tid=6706] ppid=6644 vsize=10842868 memory=30 CPUtime=0.08 cores=1,3,5,7
/proc/6648/task/6706/stat : 6706 (java) S 6644 6648 2339 0 -1 1077944384 1623 13005 0 0 1 0 5 2 20 0 15 0 405653472 11103096832 73033 33554432000 4194304 4196468 140723073779344 139918465321328 139919328692866 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10391552 140723073784566 140723073787077 140723073787077 140723073789903 0
[pid=6648/tid=6707] ppid=6644 vsize=10842868 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/6648/task/6707/stat : 6707 (java) S 6644 6648 2339 0 -1 1077944384 38 13005 0 0 0 0 5 2 20 0 15 0 405653473 11103096832 73033 33554432000 4194304 4196468 140723073779344 139918464267360 139919328691925 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10391552 140723073784566 140723073787077 140723073787077 140723073789903 0
[pid=6648/tid=6708] ppid=6644 vsize=10842868 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/6648/task/6708/stat : 6708 (java) S 6644 6648 2339 0 -1 1077944384 5 13005 0 0 0 0 5 2 20 0 15 0 405653473 11103096832 73033 33554432000 4194304 4196468 140723073779344 139918223336320 139919328691925 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10391552 140723073784566 140723073787077 140723073787077 140723073789903 0
[pid=6648/tid=6709] ppid=6644 vsize=10842868 memory=236 CPUtime=0.07 cores=1,3,5,7
/proc/6648/task/6709/stat : 6709 (java) S 6644 6648 2339 0 -1 1077944384 3 13005 0 0 0 0 5 2 20 0 15 0 405653476 11103096832 73033 33554432000 4194304 4196468 140723073779344 139917915936592 139919328700315 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10391552 140723073784566 140723073787077 140723073787077 140723073789903 0
[pid=6648/tid=6710] ppid=6644 vsize=10842868 memory=288230574492221466 CPUtime=1.44 cores=1,3,5,7
/proc/6648/task/6710/stat : 6710 (java) R 6644 6648 2339 0 -1 4202560 3931 13005 0 0 137 0 5 2 20 0 15 0 405653476 11103096832 73033 33554432000 4194304 4196468 140723073779344 139918430699440 139919306434839 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10391552 140723073784566 140723073787077 140723073787077 140723073789903 0
[pid=6648/tid=6711] ppid=6644 vsize=10842868 memory=0 CPUtime=1.23 cores=1,3,5,7
/proc/6648/task/6711/stat : 6711 (java) R 6644 6648 2339 0 -1 4202560 2767 13005 0 0 115 1 5 2 20 0 15 0 405653476 11103096832 73033 33554432000 4194304 4196468 140723073779344 139918429644384 139919321778555 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10391552 140723073784566 140723073787077 140723073787077 140723073789903 0
[pid=6648/tid=6712] ppid=6644 vsize=10842868 memory=0 CPUtime=1.15 cores=1,3,5,7
/proc/6648/task/6712/stat : 6712 (java) S 6644 6648 2339 0 -1 1077944384 4981 13005 0 0 107 1 5 2 20 0 15 0 405653476 11103096832 73033 33554432000 4194304 4196468 140723073779344 139918428605040 139919328692866 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10391552 140723073784566 140723073787077 140723073787077 140723073789903 0
[pid=6648/tid=6713] ppid=6644 vsize=10842868 memory=6872598998417432672 CPUtime=0.07 cores=1,3,5,7
/proc/6648/task/6713/stat : 6713 (java) S 6644 6648 2339 0 -1 1077944384 3 13005 0 0 0 0 5 2 20 0 15 0 405653476 11103096832 73033 33554432000 4194304 4196468 140723073779344 139917882378976 139919328691925 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10391552 140723073784566 140723073787077 140723073787077 140723073789903 0
[pid=6648/tid=6714] ppid=6644 vsize=10842868 memory=6944656592455097440 CPUtime=0.07 cores=1,3,5,7
/proc/6648/task/6714/stat : 6714 (java) S 6644 6648 2339 0 -1 1077944384 3 13005 0 0 0 0 5 2 20 0 15 0 405653476 11103096832 73033 33554432000 4194304 4196468 140723073779344 139918427552432 139919328692866 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10391552 140723073784566 140723073787077 140723073787077 140723073789903 0
Current children cumulated CPU time: 6.79 s
Current children cumulated vsize: 10842868 KiB
Current children cumulated memory: 292132 KiB
[startup+3.78602 s]
# the end of solver process 6648 was just reported to runsolver
# cumulated CPU time of all completed processes: user=8.18192 s, system=0.219493 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3.20096 s]
/proc/loadavg: 1.46 1.60 1.61 3/229 6714
/proc/meminfo: memFree=18845712/32770624 swapFree=66952812/67108860
[pid=6648] ppid=6644 vsize=10842868 memory=292464 CPUtime=7 cores=1,3,5,7
/proc/6648/stat : 6648 (java) S 6644 6648 2339 0 -1 1077944320 37554 13005 0 0 679 14 5 2 20 0 15 0 405653461 11103096832 73116 33554432000 4194304 4196468 140723073779344 140723073761888 139919328681719 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 10391552 140723073784566 140723073787077 140723073787077 140723073789903 0
/proc/6648/statm: 2710717 73116 3597 1 0 2672781 0
[pid=6648/tid=6701] ppid=6644 vsize=10842868 memory=0 CPUtime=3.1 cores=1,3,5,7
/proc/6648/task/6701/stat : 6701 (java) R 6644 6648 2339 0 -1 4202560 20566 13005 0 0 296 7 5 2 20 0 15 0 405653470 11103096832 73116 33554432000 4194304 4196468 140723073779344 139919300289152 139918920488314 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10391552 140723073784566 140723073787077 140723073787077 140723073789903 0
[pid=6648/tid=6702] ppid=6644 vsize=10842868 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/6648/task/6702/stat : 6702 (java) S 6644 6648 2339 0 -1 1077944384 103 13005 0 0 1 0 5 2 20 0 15 0 405653471 11103096832 73116 33554432000 4194304 4196468 140723073779344 139919332924560 139919328691925 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10391552 140723073784566 140723073787077 140723073787077 140723073789903 0
[pid=6648/tid=6703] ppid=6644 vsize=10842868 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/6648/task/6703/stat : 6703 (java) S 6644 6648 2339 0 -1 1077944384 346 13005 0 0 1 0 5 2 20 0 15 0 405653471 11103096832 73116 33554432000 4194304 4196468 140723073779344 139919231814672 139919328691925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10391552 140723073784566 140723073787077 140723073787077 140723073789903 0
[pid=6648/tid=6704] ppid=6644 vsize=10842868 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/6648/task/6704/stat : 6704 (java) S 6644 6648 2339 0 -1 1077944384 22 13005 0 0 1 0 5 2 20 0 15 0 405653471 11103096832 73116 33554432000 4194304 4196468 140723073779344 139918900587408 139919328691925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10391552 140723073784566 140723073787077 140723073787077 140723073789903 0
[pid=6648/tid=6705] ppid=6644 vsize=10842868 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/6648/task/6705/stat : 6705 (java) S 6644 6648 2339 0 -1 1077944384 63 13005 0 0 2 0 5 2 20 0 15 0 405653471 11103096832 73116 33554432000 4194304 4196468 140723073779344 139918899534608 139919328691925 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10391552 140723073784566 140723073787077 140723073787077 140723073789903 0
[pid=6648/tid=6706] ppid=6644 vsize=10842868 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/6648/task/6706/stat : 6706 (java) S 6644 6648 2339 0 -1 1077944384 1623 13005 0 0 1 0 5 2 20 0 15 0 405653472 11103096832 73116 33554432000 4194304 4196468 140723073779344 139918465321328 139919328692866 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10391552 140723073784566 140723073787077 140723073787077 140723073789903 0
[pid=6648/tid=6707] ppid=6644 vsize=10842868 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/6648/task/6707/stat : 6707 (java) S 6644 6648 2339 0 -1 1077944384 38 13005 0 0 0 0 5 2 20 0 15 0 405653473 11103096832 73116 33554432000 4194304 4196468 140723073779344 139918464267360 139919328691925 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10391552 140723073784566 140723073787077 140723073787077 140723073789903 0
[pid=6648/tid=6708] ppid=6644 vsize=10842868 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/6648/task/6708/stat : 6708 (java) S 6644 6648 2339 0 -1 1077944384 5 13005 0 0 0 0 5 2 20 0 15 0 405653473 11103096832 73116 33554432000 4194304 4196468 140723073779344 139918223336320 139919328691925 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10391552 140723073784566 140723073787077 140723073787077 140723073789903 0
[pid=6648/tid=6709] ppid=6644 vsize=10842868 memory=281147351416096 CPUtime=0.07 cores=1,3,5,7
/proc/6648/task/6709/stat : 6709 (java) S 6644 6648 2339 0 -1 1077944384 3 13005 0 0 0 0 5 2 20 0 15 0 405653476 11103096832 73116 33554432000 4194304 4196468 140723073779344 139917915936592 139919328700315 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10391552 140723073784566 140723073787077 140723073787077 140723073789903 0
[pid=6648/tid=6710] ppid=6644 vsize=10842868 memory=6944656592387989600 CPUtime=1.49 cores=1,3,5,7
/proc/6648/task/6710/stat : 6710 (java) S 6644 6648 2339 0 -1 1077944384 4041 13005 0 0 142 0 5 2 20 0 15 0 405653476 11103096832 73116 33554432000 4194304 4196468 140723073779344 139918430710640 139919328692866 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10391552 140723073784566 140723073787077 140723073787077 140723073789903 0
[pid=6648/tid=6711] ppid=6644 vsize=10842868 memory=6943526294502006880 CPUtime=1.29 cores=1,3,5,7
/proc/6648/task/6711/stat : 6711 (java) R 6644 6648 2339 0 -1 4202560 2937 13005 0 0 121 1 5 2 20 0 15 0 405653476 11103096832 73116 33554432000 4194304 4196468 140723073779344 139918429657840 139919313606689 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10391552 140723073784566 140723073787077 140723073787077 140723073789903 0
[pid=6648/tid=6712] ppid=6644 vsize=10842868 memory=-2748367524519556131 CPUtime=1.16 cores=1,3,5,7
/proc/6648/task/6712/stat : 6712 (java) S 6644 6648 2339 0 -1 1077944384 5597 13005 0 0 108 1 5 2 20 0 15 0 405653476 11103096832 73116 33554432000 4194304 4196468 140723073779344 139918428605040 139919328692866 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10391552 140723073784566 140723073787077 140723073787077 140723073789903 0
[pid=6648/tid=6713] ppid=6644 vsize=10842868 memory=-6876588627878687573 CPUtime=0.07 cores=1,3,5,7
/proc/6648/task/6713/stat : 6713 (java) S 6644 6648 2339 0 -1 1077944384 3 13005 0 0 0 0 5 2 20 0 15 0 405653476 11103096832 73116 33554432000 4194304 4196468 140723073779344 139917882378976 139919328691925 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10391552 140723073784566 140723073787077 140723073787077 140723073789903 0
[pid=6648/tid=6714] ppid=6644 vsize=10842868 memory=-7384994778349281184 CPUtime=0.07 cores=1,3,5,7
/proc/6648/task/6714/stat : 6714 (java) S 6644 6648 2339 0 -1 1077944384 3 13005 0 0 0 0 5 2 20 0 15 0 405653476 11103096832 73116 33554432000 4194304 4196468 140723073779344 139918427552432 139919328692866 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10391552 140723073784566 140723073787077 140723073787077 140723073789903 0
Current children cumulated CPU time: 7 s
Current children cumulated vsize: 10842868 KiB
Current children cumulated memory: 292464 KiB
[startup+3.60412 s]
/proc/loadavg: 1.46 1.60 1.61 3/229 6714
/proc/meminfo: memFree=18845712/32770624 swapFree=66952812/67108860
[pid=6648] ppid=6644 vsize=10844916 memory=314640 CPUtime=7.82 cores=1,3,5,7
/proc/6648/stat : 6648 (java) S 6644 6648 2339 0 -1 1077944320 44355 13005 0 0 758 17 5 2 20 0 15 0 405653461 11105193984 78660 33554432000 4194304 4196468 140723073779344 140723073761888 139919328681719 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 10391552 140723073784566 140723073787077 140723073787077 140723073789903 0
/proc/6648/statm: 2711229 78660 3611 1 0 2673293 0
[pid=6648/tid=6701] ppid=6644 vsize=10844916 memory=0 CPUtime=3.46 cores=1,3,5,7
/proc/6648/task/6701/stat : 6701 (java) R 6644 6648 2339 0 -1 4202560 22540 13005 0 0 331 8 5 2 20 0 15 0 405653470 11105193984 78660 33554432000 4194304 4196468 140723073779344 139919300514848 139918911242498 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10391552 140723073784566 140723073787077 140723073787077 140723073789903 0
[pid=6648/tid=6702] ppid=6644 vsize=10844916 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/6648/task/6702/stat : 6702 (java) S 6644 6648 2339 0 -1 1077944384 145 13005 0 0 3 0 5 2 20 0 15 0 405653471 11105193984 78660 33554432000 4194304 4196468 140723073779344 139919332924560 139919328691925 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10391552 140723073784566 140723073787077 140723073787077 140723073789903 0
[pid=6648/tid=6703] ppid=6644 vsize=10844916 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/6648/task/6703/stat : 6703 (java) S 6644 6648 2339 0 -1 1077944384 745 13005 0 0 4 1 5 2 20 0 15 0 405653471 11105193984 78660 33554432000 4194304 4196468 140723073779344 139919231814672 139919328691925 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10391552 140723073784566 140723073787077 140723073787077 140723073789903 0
[pid=6648/tid=6704] ppid=6644 vsize=10844916 memory=0 CPUtime=0.11 cores=1,3,5,7
/proc/6648/task/6704/stat : 6704 (java) S 6644 6648 2339 0 -1 1077944384 390 13005 0 0 4 0 5 2 20 0 15 0 405653471 11105193984 78660 33554432000 4194304 4196468 140723073779344 139918900587408 139919328691925 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10391552 140723073784566 140723073787077 140723073787077 140723073789903 0
[pid=6648/tid=6705] ppid=6644 vsize=10844916 memory=0 CPUtime=0.11 cores=1,3,5,7
/proc/6648/task/6705/stat : 6705 (java) S 6644 6648 2339 0 -1 1077944384 152 13005 0 0 4 0 5 2 20 0 15 0 405653471 11105193984 78660 33554432000 4194304 4196468 140723073779344 139918899534608 139919328691925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10391552 140723073784566 140723073787077 140723073787077 140723073789903 0
[pid=6648/tid=6706] ppid=6644 vsize=10844916 memory=6944656592455360604 CPUtime=0.1 cores=1,3,5,7
/proc/6648/task/6706/stat : 6706 (java) S 6644 6648 2339 0 -1 1077944384 4536 13005 0 0 3 0 5 2 20 0 15 0 405653472 11105193984 78660 33554432000 4194304 4196468 140723073779344 139918465321328 139919328692866 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10391552 140723073784566 140723073787077 140723073787077 140723073789903 0
[pid=6648/tid=6707] ppid=6644 vsize=10844916 memory=6943526294502006880 CPUtime=0.07 cores=1,3,5,7
/proc/6648/task/6707/stat : 6707 (java) S 6644 6648 2339 0 -1 1077944384 41 13005 0 0 0 0 5 2 20 0 15 0 405653473 11105193984 78660 33554432000 4194304 4196468 140723073779344 139918464267360 139919328691925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10391552 140723073784566 140723073787077 140723073787077 140723073789903 0
[pid=6648/tid=6708] ppid=6644 vsize=10844916 memory=6656426216303648864 CPUtime=0.07 cores=1,3,5,7
/proc/6648/task/6708/stat : 6708 (java) S 6644 6648 2339 0 -1 1077944384 13 13005 0 0 0 0 5 2 20 0 15 0 405653473 11105193984 78660 33554432000 4194304 4196468 140723073779344 139918223336320 139919328691925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10391552 140723073784566 140723073787077 140723073787077 140723073789903 0
[pid=6648/tid=6709] ppid=6644 vsize=10844916 memory=-7161732098442470212 CPUtime=0.07 cores=1,3,5,7
/proc/6648/task/6709/stat : 6709 (java) S 6644 6648 2339 0 -1 1077944384 3 13005 0 0 0 0 5 2 20 0 15 0 405653476 11105193984 78660 33554432000 4194304 4196468 140723073779344 139917915936592 139919328700315 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10391552 140723073784566 140723073787077 140723073787077 140723073789903 0
[pid=6648/tid=6710] ppid=6644 vsize=10844916 memory=-7595718147998060693 CPUtime=1.62 cores=1,3,5,7
/proc/6648/task/6710/stat : 6710 (java) R 6644 6648 2339 0 -1 4202560 4199 13005 0 0 154 1 5 2 20 0 15 0 405653476 11105193984 78660 33554432000 4194304 4196468 140723073779344 139918430687904 139919312178459 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10391552 140723073784566 140723073787077 140723073787077 140723073789903 0
[pid=6648/tid=6711] ppid=6644 vsize=10844916 memory=-6876588628787748224 CPUtime=1.4 cores=1,3,5,7
/proc/6648/task/6711/stat : 6711 (java) R 6644 6648 2339 0 -1 4202560 3234 13005 0 0 132 1 5 2 20 0 15 0 405653476 11105193984 78660 33554432000 4194304 4196468 140723073779344 139918429642032 139919308535266 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10391552 140723073784566 140723073787077 140723073787077 140723073789903 0
[pid=6648/tid=6712] ppid=6644 vsize=10844916 memory=-9181546051567709026 CPUtime=1.26 cores=1,3,5,7
/proc/6648/task/6712/stat : 6712 (java) S 6644 6648 2339 0 -1 1077944384 6141 13005 0 0 118 1 5 2 20 0 15 0 405653476 11105193984 78660 33554432000 4194304 4196468 140723073779344 139918428605040 139919328692866 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10391552 140723073784566 140723073787077 140723073787077 140723073789903 0
[pid=6648/tid=6713] ppid=6644 vsize=10844916 memory=7100839870005288300 CPUtime=0.07 cores=1,3,5,7
/proc/6648/task/6713/stat : 6713 (java) S 6644 6648 2339 0 -1 1077944384 3 13005 0 0 0 0 5 2 20 0 15 0 405653476 11105193984 78660 33554432000 4194304 4196468 140723073779344 139917882378976 139919328691925 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10391552 140723073784566 140723073787077 140723073787077 140723073789903 0
[pid=6648/tid=6714] ppid=6644 vsize=10844916 memory=4427771415415659911 CPUtime=0.07 cores=1,3,5,7
/proc/6648/task/6714/stat : 6714 (java) S 6644 6648 2339 0 -1 1077944384 9 13005 0 0 0 0 5 2 20 0 15 0 405653476 11105193984 78660 33554432000 4194304 4196468 140723073779344 139918427552432 139919328692866 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10391552 140723073784566 140723073787077 140723073787077 140723073789903 0
Current children cumulated CPU time: 7.82 s
Current children cumulated vsize: 10844916 KiB
Current children cumulated memory: 314640 KiB
[startup+3.70074 s]
/proc/loadavg: 1.46 1.60 1.61 3/229 6714
/proc/meminfo: memFree=18845712/32770624 swapFree=66952812/67108860
[pid=6648] ppid=6644 vsize=10844916 memory=316564 CPUtime=8.15 cores=1,3,5,7
/proc/6648/stat : 6648 (java) S 6644 6648 2339 0 -1 1077944320 44999 13005 0 0 791 17 5 2 20 0 15 0 405653461 11105193984 79141 33554432000 4194304 4196468 140723073779344 140723073761888 139919328681719 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 10391552 140723073784566 140723073787077 140723073787077 140723073789903 0
/proc/6648/statm: 2711229 79141 3611 1 0 2673293 0
[pid=6648/tid=6701] ppid=6644 vsize=10844916 memory=313484 CPUtime=3.55 cores=1,3,5,7
/proc/6648/task/6701/stat : 6701 (java) R 6644 6648 2339 0 -1 4202560 22682 13005 0 0 340 8 5 2 20 0 15 0 405653470 11105193984 79141 33554432000 4194304 4196468 140723073779344 139919300513568 139919312762206 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10391552 140723073784566 140723073787077 140723073787077 140723073789903 0
[pid=6648/tid=6702] ppid=6644 vsize=10844916 memory=7306916055891837008 CPUtime=0.1 cores=1,3,5,7
/proc/6648/task/6702/stat : 6702 (java) S 6644 6648 2339 0 -1 1077944384 145 13005 0 0 3 0 5 2 20 0 15 0 405653471 11105193984 79141 33554432000 4194304 4196468 140723073779344 139919332924560 139919328691925 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10391552 140723073784566 140723073787077 140723073787077 140723073789903 0
[pid=6648/tid=6703] ppid=6644 vsize=10844916 memory=7 CPUtime=0.12 cores=1,3,5,7
/proc/6648/task/6703/stat : 6703 (java) S 6644 6648 2339 0 -1 1077944384 745 13005 0 0 4 1 5 2 20 0 15 0 405653471 11105193984 79141 33554432000 4194304 4196468 140723073779344 139919231814672 139919328691925 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10391552 140723073784566 140723073787077 140723073787077 140723073789903 0
[pid=6648/tid=6704] ppid=6644 vsize=10844916 memory=7 CPUtime=0.11 cores=1,3,5,7
/proc/6648/task/6704/stat : 6704 (java) S 6644 6648 2339 0 -1 1077944384 390 13005 0 0 4 0 5 2 20 0 15 0 405653471 11105193984 79141 33554432000 4194304 4196468 140723073779344 139918900587408 139919328691925 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10391552 140723073784566 140723073787077 140723073787077 140723073789903 0
[pid=6648/tid=6705] ppid=6644 vsize=10844916 memory=0 CPUtime=0.11 cores=1,3,5,7
/proc/6648/task/6705/stat : 6705 (java) S 6644 6648 2339 0 -1 1077944384 152 13005 0 0 4 0 5 2 20 0 15 0 405653471 11105193984 79141 33554432000 4194304 4196468 140723073779344 139918899534608 139919328691925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10391552 140723073784566 140723073787077 140723073787077 140723073789903 0
[pid=6648/tid=6706] ppid=6644 vsize=10844916 memory=8303054830060986464 CPUtime=0.1 cores=1,3,5,7
/proc/6648/task/6706/stat : 6706 (java) S 6644 6648 2339 0 -1 1077944384 4536 13005 0 0 3 0 5 2 20 0 15 0 405653472 11105193984 79141 33554432000 4194304 4196468 140723073779344 139918465321328 139919328692866 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10391552 140723073784566 140723073787077 140723073787077 140723073789903 0
[pid=6648/tid=6707] ppid=6644 vsize=10844916 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/6648/task/6707/stat : 6707 (java) S 6644 6648 2339 0 -1 1077944384 41 13005 0 0 0 0 5 2 20 0 15 0 405653473 11105193984 79141 33554432000 4194304 4196468 140723073779344 139918464267360 139919328691925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10391552 140723073784566 140723073787077 140723073787077 140723073789903 0
[pid=6648/tid=6708] ppid=6644 vsize=10844916 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/6648/task/6708/stat : 6708 (java) S 6644 6648 2339 0 -1 1077944384 13 13005 0 0 0 0 5 2 20 0 15 0 405653473 11105193984 79141 33554432000 4194304 4196468 140723073779344 139918223336320 139919328691925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10391552 140723073784566 140723073787077 140723073787077 140723073789903 0
[pid=6648/tid=6709] ppid=6644 vsize=10844916 memory=1436 CPUtime=0.07 cores=1,3,5,7
/proc/6648/task/6709/stat : 6709 (java) S 6644 6648 2339 0 -1 1077944384 3 13005 0 0 0 0 5 2 20 0 15 0 405653476 11105193984 79141 33554432000 4194304 4196468 140723073779344 139917915936592 139919328700315 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10391552 140723073784566 140723073787077 140723073787077 140723073789903 0
[pid=6648/tid=6710] ppid=6644 vsize=10844916 memory=1984 CPUtime=1.71 cores=1,3,5,7
/proc/6648/task/6710/stat : 6710 (java) R 6644 6648 2339 0 -1 4202560 4205 13005 0 0 163 1 5 2 20 0 15 0 405653476 11105193984 79141 33554432000 4194304 4196468 140723073779344 139918430687904 139919312165208 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10391552 140723073784566 140723073787077 140723073787077 140723073789903 0
[pid=6648/tid=6711] ppid=6644 vsize=10844916 memory=2492 CPUtime=1.5 cores=1,3,5,7
/proc/6648/task/6711/stat : 6711 (java) R 6644 6648 2339 0 -1 4202560 3586 13005 0 0 142 1 5 2 20 0 15 0 405653476 11105193984 79141 33554432000 4194304 4196468 140723073779344 139918429644160 139919312577556 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10391552 140723073784566 140723073787077 140723073787077 140723073789903 0
[pid=6648/tid=6712] ppid=6644 vsize=10844916 memory=0 CPUtime=1.29 cores=1,3,5,7
/proc/6648/task/6712/stat : 6712 (java) S 6644 6648 2339 0 -1 1077944384 6288 13005 0 0 121 1 5 2 20 0 15 0 405653476 11105193984 79141 33554432000 4194304 4196468 140723073779344 139918428605040 139919328692866 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10391552 140723073784566 140723073787077 140723073787077 140723073789903 0
[pid=6648/tid=6713] ppid=6644 vsize=10844916 memory=8996 CPUtime=0.07 cores=1,3,5,7
/proc/6648/task/6713/stat : 6713 (java) S 6644 6648 2339 0 -1 1077944384 3 13005 0 0 0 0 5 2 20 0 15 0 405653476 11105193984 79141 33554432000 4194304 4196468 140723073779344 139917882378976 139919328691925 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10391552 140723073784566 140723073787077 140723073787077 140723073789903 0
[pid=6648/tid=6714] ppid=6644 vsize=10844916 memory=142 CPUtime=0.07 cores=1,3,5,7
/proc/6648/task/6714/stat : 6714 (java) S 6644 6648 2339 0 -1 1077944384 9 13005 0 0 0 0 5 2 20 0 15 0 405653476 11105193984 79141 33554432000 4194304 4196468 140723073779344 139918427552432 139919328692866 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10391552 140723073784566 140723073787077 140723073787077 140723073789903 0
Current children cumulated CPU time: 8.15 s
Current children cumulated vsize: 10844916 KiB
Current children cumulated memory: 316564 KiB
Child status: 0
Real time (s): 3.78608
CPU time (s): 8.40141
CPU user time (s): 8.18192
CPU system time (s): 0.219493
CPU usage (%): 221.903
Max. virtual memory (cumulated for all children) (KiB): 10844916
Max. memory (cumulated for all children) (KiB): 316564
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 8.18192
system time used= 0.219493
maximum resident set size= 320784
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 59258
page faults= 0
swaps= 0
block input operations= 0
block output operations= 144
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5656
involuntary context switches= 40
# summary of solver processes directly reported to runsolver:
# pid: 6648
# total CPU time (s): 8.40141
# total CPU user time (s): 8.18192
# total CPU system time (s): 0.219493
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.056241 second user time and 0.067105 second system time
The end