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 (6904 MiB free)
memory of node 1: 16384 MiB (9578 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4305042-1534105798/watcher-4305042-1534105798 -o /tmp/evaluation-result-4305042-1534105798/solver-4305042-1534105798 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node132-1534095874-7006 --watchdog 2580 bin/xcsp-3-concrete -J-Xss64M -randomseed=988567981 -superng HOME/instance-4305042-1534105798.xml
running on 4 cores: 0,2,4,6
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=8765, runsolver pid=8762
[startup+0.100171 s]*
/proc/loadavg: 1.40 1.36 1.37 3/205 8818
/proc/meminfo: memFree=16877384/32770624 swapFree=67108860/67108860
[pid=8765] ppid=8762 vsize=10005480 memory=14652 CPUtime=0.09 cores=0,2,4,6
/proc/8765/stat : 8765 (java) S 8762 8765 6975 0 -1 1077944320 4305 13236 0 0 1 1 5 2 20 0 6 0 228142993 10245611520 3663 33554432000 4194304 4196468 140734032956576 140734032939120 139781215985399 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 8900608 140734032964196 140734032967004 140734032967004 140734032969679 0
/proc/8765/statm: 2501370 3663 1932 1 0 2489808 0
[pid=8765/tid=8818] ppid=8762 vsize=10005480 memory=-8672936469724446661 CPUtime=0.07 cores=0,2,4,6
/proc/8765/task/8818/stat : 8818 (java) R 8762 8765 6975 0 -1 4202560 2147 13236 0 0 0 0 5 2 20 0 6 0 228143002 10245611520 3663 33554432000 4194304 4196468 140734032956576 139781187822160 139781216008989 0 4 0 16784584 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8900608 140734032964196 140734032967004 140734032967004 140734032969679 0
[pid=8765/tid=8819] ppid=8762 vsize=10005480 memory=8257237230052613020 CPUtime=0.07 cores=0,2,4,6
/proc/8765/task/8819/stat : 8819 (java) S 8762 8765 6975 0 -1 1077944384 2 13236 0 0 0 0 5 2 20 0 6 0 228143003 10245611520 3663 33554432000 4194304 4196468 140734032956576 139781220227600 139781215995605 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8900608 140734032964196 140734032967004 140734032967004 140734032969679 0
[pid=8765/tid=8820] ppid=8762 vsize=10005480 memory=140012210742912 CPUtime=0.07 cores=0,2,4,6
/proc/8765/task/8820/stat : 8820 (java) S 8762 8765 6975 0 -1 1077944384 1 13236 0 0 0 0 5 2 20 0 6 0 228143003 10245611520 3663 33554432000 4194304 4196468 140734032956576 139780755393168 139781215995605 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8900608 140734032964196 140734032967004 140734032967004 140734032969679 0
[pid=8765/tid=8821] ppid=8762 vsize=10005480 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/8765/task/8821/stat : 8821 (java) S 8762 8765 6975 0 -1 1077944384 1 13236 0 0 0 0 5 2 20 0 6 0 228143003 10245611520 3663 33554432000 4194304 4196468 140734032956576 139780754340112 139781215995605 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8900608 140734032964196 140734032967004 140734032967004 140734032969679 0
[pid=8765/tid=8822] ppid=8762 vsize=10005480 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/8765/task/8822/stat : 8822 (java) S 8762 8765 6975 0 -1 1077944384 2 13236 0 0 0 0 5 2 20 0 6 0 228143003 10245611520 3663 33554432000 4194304 4196468 140734032956576 139780753287568 139781215995605 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8900608 140734032964196 140734032967004 140734032967004 140734032969679 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 10005480 KiB
Current children cumulated memory: 14652 KiB
[startup+0.21052 s]*
/proc/loadavg: 1.40 1.36 1.37 3/218 8831
/proc/meminfo: memFree=16852308/32770624 swapFree=67108860/67108860
[pid=8765] ppid=8762 vsize=10982744 memory=41440 CPUtime=0.25 cores=0,2,4,6
/proc/8765/stat : 8765 (java) S 8762 8765 6975 0 -1 1077944320 7565 13236 0 0 16 2 5 2 20 0 15 0 228142993 11246329856 10360 33554432000 4194304 4196468 140734032956576 140734032939120 139781215985399 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 8900608 140734032964196 140734032967004 140734032967004 140734032969679 0
/proc/8765/statm: 2745686 10360 2975 1 0 2708109 0
[pid=8765/tid=8818] ppid=8762 vsize=10982744 memory=7022364594140610616 CPUtime=0.18 cores=0,2,4,6
/proc/8765/task/8818/stat : 8818 (java) R 8762 8765 6975 0 -1 4202560 4222 13236 0 0 10 1 5 2 20 0 15 0 228143002 11246329856 10492 33554432000 4194304 4196468 140734032956576 139781187808928 139781196261106 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8900608 140734032964196 140734032967004 140734032967004 140734032969679 0
[pid=8765/tid=8819] ppid=8762 vsize=10982744 memory=364 CPUtime=0.07 cores=0,2,4,6
/proc/8765/task/8819/stat : 8819 (java) S 8762 8765 6975 0 -1 1077944384 2 13236 0 0 0 0 5 2 20 0 15 0 228143003 11246329856 10492 33554432000 4194304 4196468 140734032956576 139781220227600 139781215995605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8900608 140734032964196 140734032967004 140734032967004 140734032969679 0
[pid=8765/tid=8820] ppid=8762 vsize=10982744 memory=140012211894377 CPUtime=0.07 cores=0,2,4,6
/proc/8765/task/8820/stat : 8820 (java) S 8762 8765 6975 0 -1 1077944384 1 13236 0 0 0 0 5 2 20 0 15 0 228143003 11246329856 10492 33554432000 4194304 4196468 140734032956576 139780755393168 139781215995605 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8900608 140734032964196 140734032967004 140734032967004 140734032969679 0
[pid=8765/tid=8821] ppid=8762 vsize=10982744 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/8765/task/8821/stat : 8821 (java) S 8762 8765 6975 0 -1 1077944384 1 13236 0 0 0 0 5 2 20 0 15 0 228143003 11246329856 10492 33554432000 4194304 4196468 140734032956576 139780754340112 139781215995605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8900608 140734032964196 140734032967004 140734032967004 140734032969679 0
[pid=8765/tid=8822] ppid=8762 vsize=10982744 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/8765/task/8822/stat : 8822 (java) S 8762 8765 6975 0 -1 1077944384 2 13236 0 0 0 0 5 2 20 0 15 0 228143003 11246329856 10558 33554432000 4194304 4196468 140734032956576 139780753287568 139781215995605 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8900608 140734032964196 140734032967004 140734032967004 140734032969679 0
[pid=8765/tid=8823] ppid=8762 vsize=10982744 memory=140012210742912 CPUtime=0.07 cores=0,2,4,6
/proc/8765/task/8823/stat : 8823 (java) S 8762 8765 6975 0 -1 1077944384 2 13236 0 0 0 0 5 2 20 0 15 0 228143005 11246329856 10558 33554432000 4194304 4196468 140734032956576 139780641745648 139781215996546 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8900608 140734032964196 140734032967004 140734032967004 140734032969679 0
[pid=8765/tid=8824] ppid=8762 vsize=10982744 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/8765/task/8824/stat : 8824 (java) S 8762 8765 6975 0 -1 1077944384 13 13236 0 0 0 0 5 2 20 0 15 0 228143005 11246329856 10558 33554432000 4194304 4196468 140734032956576 139780046186144 139781215995605 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8900608 140734032964196 140734032967004 140734032967004 140734032969679 0
[pid=8765/tid=8825] ppid=8762 vsize=10982744 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/8765/task/8825/stat : 8825 (java) S 8762 8765 6975 0 -1 1077944384 1 13236 0 0 0 0 5 2 20 0 15 0 228143005 11246329856 10558 33554432000 4194304 4196468 140734032956576 139779844859120 139781215995605 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8900608 140734032964196 140734032967004 140734032967004 140734032969679 0
[pid=8765/tid=8826] ppid=8762 vsize=10982744 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/8765/task/8826/stat : 8826 (java) S 8762 8765 6975 0 -1 1077944384 3 13236 0 0 0 0 5 2 20 0 15 0 228143008 11246329856 10558 33554432000 4194304 4196468 140734032956576 139779537459664 139781216003995 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8900608 140734032964196 140734032967004 140734032967004 140734032969679 0
[pid=8765/tid=8827] ppid=8762 vsize=10982744 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/8765/task/8827/stat : 8827 (java) S 8762 8765 6975 0 -1 1077944384 494 13236 0 0 1 0 5 2 20 0 15 0 228143008 11246329856 10558 33554432000 4194304 4196468 140734032956576 139780640692464 139781215996546 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8900608 140734032964196 140734032967004 140734032967004 140734032969679 0
[pid=8765/tid=8828] ppid=8762 vsize=10982744 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/8765/task/8828/stat : 8828 (java) S 8762 8765 6975 0 -1 1077944384 142 13236 0 0 1 0 5 2 20 0 15 0 228143008 11246329856 10558 33554432000 4194304 4196468 140734032956576 139780639639920 139781215996546 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8900608 140734032964196 140734032967004 140734032967004 140734032969679 0
[pid=8765/tid=8829] ppid=8762 vsize=10982744 memory=140012210742912 CPUtime=0.1 cores=0,2,4,6
/proc/8765/task/8829/stat : 8829 (java) S 8762 8765 6975 0 -1 1077944384 656 13236 0 0 3 0 5 2 20 0 15 0 228143008 11246329856 10558 33554432000 4194304 4196468 140734032956576 139780638586864 139781215996546 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8900608 140734032964196 140734032967004 140734032967004 140734032969679 0
[pid=8765/tid=8830] ppid=8762 vsize=10982744 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/8765/task/8830/stat : 8830 (java) S 8762 8765 6975 0 -1 1077944384 3 13236 0 0 0 0 5 2 20 0 15 0 228143008 11246329856 10558 33554432000 4194304 4196468 140734032956576 139779106662752 139781215995605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8900608 140734032964196 140734032967004 140734032967004 140734032969679 0
[pid=8765/tid=8831] ppid=8762 vsize=10982744 memory=140012210742912 CPUtime=0.07 cores=0,2,4,6
/proc/8765/task/8831/stat : 8831 (java) S 8762 8765 6975 0 -1 1077944384 1 13236 0 0 0 0 5 2 20 0 15 0 228143008 11246329856 10558 33554432000 4194304 4196468 140734032956576 139780637535280 139781215996546 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8900608 140734032964196 140734032967004 140734032967004 140734032969679 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 10982744 KiB
Current children cumulated memory: 41440 KiB
[startup+0.310644 s]*
/proc/loadavg: 1.40 1.36 1.37 3/218 8831
/proc/meminfo: memFree=16839036/32770624 swapFree=67108860/67108860
[pid=8765] ppid=8762 vsize=10983192 memory=55156 CPUtime=0.38 cores=0,2,4,6
/proc/8765/stat : 8765 (java) S 8762 8765 6975 0 -1 1077944320 10818 13236 0 0 28 3 5 2 20 0 15 0 228142993 11246788608 13789 33554432000 4194304 4196468 140734032956576 140734032939120 139781215985399 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 8900608 140734032964196 140734032967004 140734032967004 140734032969679 0
/proc/8765/statm: 2745798 13789 3108 1 0 2708109 0
[pid=8765/tid=8818] ppid=8762 vsize=10983192 memory=8112282956445269571 CPUtime=0.28 cores=0,2,4,6
/proc/8765/task/8818/stat : 8818 (java) R 8762 8765 6975 0 -1 4202560 7354 13236 0 0 19 2 5 2 20 0 15 0 228143002 11246788608 13855 33554432000 4194304 4196468 140734032956576 139781187797408 139781200065886 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8900608 140734032964196 140734032967004 140734032967004 140734032969679 0
[pid=8765/tid=8819] ppid=8762 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/8765/task/8819/stat : 8819 (java) S 8762 8765 6975 0 -1 1077944384 2 13236 0 0 0 0 5 2 20 0 15 0 228143003 11246788608 13855 33554432000 4194304 4196468 140734032956576 139781220227600 139781215995605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8900608 140734032964196 140734032967004 140734032967004 140734032969679 0
[pid=8765/tid=8820] ppid=8762 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/8765/task/8820/stat : 8820 (java) S 8762 8765 6975 0 -1 1077944384 1 13236 0 0 0 0 5 2 20 0 15 0 228143003 11246788608 13855 33554432000 4194304 4196468 140734032956576 139780755393168 139781215995605 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8900608 140734032964196 140734032967004 140734032967004 140734032969679 0
[pid=8765/tid=8821] ppid=8762 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/8765/task/8821/stat : 8821 (java) S 8762 8765 6975 0 -1 1077944384 1 13236 0 0 0 0 5 2 20 0 15 0 228143003 11246788608 13855 33554432000 4194304 4196468 140734032956576 139780754340112 139781215995605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8900608 140734032964196 140734032967004 140734032967004 140734032969679 0
[pid=8765/tid=8822] ppid=8762 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/8765/task/8822/stat : 8822 (java) S 8762 8765 6975 0 -1 1077944384 2 13236 0 0 0 0 5 2 20 0 15 0 228143003 11246788608 13855 33554432000 4194304 4196468 140734032956576 139780753287568 139781215995605 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8900608 140734032964196 140734032967004 140734032967004 140734032969679 0
[pid=8765/tid=8823] ppid=8762 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/8765/task/8823/stat : 8823 (java) S 8762 8765 6975 0 -1 1077944384 2 13236 0 0 0 0 5 2 20 0 15 0 228143005 11246788608 13855 33554432000 4194304 4196468 140734032956576 139780641745648 139781215996546 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8900608 140734032964196 140734032967004 140734032967004 140734032969679 0
[pid=8765/tid=8824] ppid=8762 vsize=10983192 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/8765/task/8824/stat : 8824 (java) S 8762 8765 6975 0 -1 1077944384 13 13236 0 0 0 0 5 2 20 0 15 0 228143005 11246788608 13855 33554432000 4194304 4196468 140734032956576 139780046186144 139781215995605 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8900608 140734032964196 140734032967004 140734032967004 140734032969679 0
[pid=8765/tid=8825] ppid=8762 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/8765/task/8825/stat : 8825 (java) S 8762 8765 6975 0 -1 1077944384 1 13236 0 0 0 0 5 2 20 0 15 0 228143005 11246788608 13855 33554432000 4194304 4196468 140734032956576 139779844859120 139781215995605 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8900608 140734032964196 140734032967004 140734032967004 140734032969679 0
[pid=8765/tid=8826] ppid=8762 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/8765/task/8826/stat : 8826 (java) S 8762 8765 6975 0 -1 1077944384 3 13236 0 0 0 0 5 2 20 0 15 0 228143008 11246788608 13855 33554432000 4194304 4196468 140734032956576 139779537459664 139781216003995 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8900608 140734032964196 140734032967004 140734032967004 140734032969679 0
[pid=8765/tid=8827] ppid=8762 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/8765/task/8827/stat : 8827 (java) S 8762 8765 6975 0 -1 1077944384 494 13236 0 0 1 0 5 2 20 0 15 0 228143008 11246788608 13855 33554432000 4194304 4196468 140734032956576 139780640692464 139781215996546 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8900608 140734032964196 140734032967004 140734032967004 140734032969679 0
[pid=8765/tid=8828] ppid=8762 vsize=10983192 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/8765/task/8828/stat : 8828 (java) S 8762 8765 6975 0 -1 1077944384 149 13236 0 0 1 0 5 2 20 0 15 0 228143008 11246788608 13855 33554432000 4194304 4196468 140734032956576 139780639639920 139781215996546 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8900608 140734032964196 140734032967004 140734032967004 140734032969679 0
[pid=8765/tid=8829] ppid=8762 vsize=10983192 memory=140012210742912 CPUtime=0.12 cores=0,2,4,6
/proc/8765/task/8829/stat : 8829 (java) S 8762 8765 6975 0 -1 1077944384 691 13236 0 0 5 0 5 2 20 0 15 0 228143008 11246788608 13855 33554432000 4194304 4196468 140734032956576 139780638586864 139781215996546 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8900608 140734032964196 140734032967004 140734032967004 140734032969679 0
[pid=8765/tid=8830] ppid=8762 vsize=10983192 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/8765/task/8830/stat : 8830 (java) S 8762 8765 6975 0 -1 1077944384 3 13236 0 0 0 0 5 2 20 0 15 0 228143008 11246788608 13855 33554432000 4194304 4196468 140734032956576 139779106662752 139781215995605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8900608 140734032964196 140734032967004 140734032967004 140734032969679 0
[pid=8765/tid=8831] ppid=8762 vsize=10983192 memory=140012210742912 CPUtime=0.07 cores=0,2,4,6
/proc/8765/task/8831/stat : 8831 (java) S 8762 8765 6975 0 -1 1077944384 1 13236 0 0 0 0 5 2 20 0 15 0 228143008 11246788608 13855 33554432000 4194304 4196468 140734032956576 139780637535280 139781215996546 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8900608 140734032964196 140734032967004 140734032967004 140734032969679 0
Current children cumulated CPU time: 0.38 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 55156 KiB
[startup+0.700846 s]
/proc/loadavg: 1.40 1.36 1.37 3/218 8831
/proc/meminfo: memFree=16825452/32770624 swapFree=67108860/67108860
[pid=8765] ppid=8762 vsize=10983192 memory=88328 CPUtime=0.99 cores=0,2,4,6
/proc/8765/stat : 8765 (java) S 8762 8765 6975 0 -1 1077944320 17163 13236 0 0 87 5 5 2 20 0 15 0 228142993 11246788608 22082 33554432000 4194304 4196468 140734032956576 140734032939120 139781215985399 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 8900608 140734032964196 140734032967004 140734032967004 140734032969679 0
/proc/8765/statm: 2745798 22082 3241 1 0 2708109 0
[pid=8765/tid=8818] ppid=8762 vsize=10983192 memory=0 CPUtime=0.65 cores=0,2,4,6
/proc/8765/task/8818/stat : 8818 (java) R 8762 8765 6975 0 -1 4202560 12456 13236 0 0 55 3 5 2 20 0 15 0 228143002 11246788608 22082 33554432000 4194304 4196468 140734032956576 139781187808400 139781200065886 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8900608 140734032964196 140734032967004 140734032967004 140734032969679 0
[pid=8765/tid=8819] ppid=8762 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/8765/task/8819/stat : 8819 (java) S 8762 8765 6975 0 -1 1077944384 2 13236 0 0 0 0 5 2 20 0 15 0 228143003 11246788608 22082 33554432000 4194304 4196468 140734032956576 139781220227600 139781215995605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8900608 140734032964196 140734032967004 140734032967004 140734032969679 0
[pid=8765/tid=8820] ppid=8762 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/8765/task/8820/stat : 8820 (java) S 8762 8765 6975 0 -1 1077944384 1 13236 0 0 0 0 5 2 20 0 15 0 228143003 11246788608 22082 33554432000 4194304 4196468 140734032956576 139780755393168 139781215995605 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8900608 140734032964196 140734032967004 140734032967004 140734032969679 0
[pid=8765/tid=8821] ppid=8762 vsize=10983192 memory=32804 CPUtime=0.07 cores=0,2,4,6
/proc/8765/task/8821/stat : 8821 (java) S 8762 8765 6975 0 -1 1077944384 1 13236 0 0 0 0 5 2 20 0 15 0 228143003 11246788608 22082 33554432000 4194304 4196468 140734032956576 139780754340112 139781215995605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8900608 140734032964196 140734032967004 140734032967004 140734032969679 0
[pid=8765/tid=8822] ppid=8762 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/8765/task/8822/stat : 8822 (java) S 8762 8765 6975 0 -1 1077944384 2 13236 0 0 0 0 5 2 20 0 15 0 228143003 11246788608 22082 33554432000 4194304 4196468 140734032956576 139780753287568 139781215995605 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8900608 140734032964196 140734032967004 140734032967004 140734032969679 0
[pid=8765/tid=8823] ppid=8762 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/8765/task/8823/stat : 8823 (java) S 8762 8765 6975 0 -1 1077944384 5 13236 0 0 0 0 5 2 20 0 15 0 228143005 11246788608 22082 33554432000 4194304 4196468 140734032956576 139780641745648 139781215996546 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8900608 140734032964196 140734032967004 140734032967004 140734032969679 0
[pid=8765/tid=8824] ppid=8762 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/8765/task/8824/stat : 8824 (java) S 8762 8765 6975 0 -1 1077944384 13 13236 0 0 0 0 5 2 20 0 15 0 228143005 11246788608 22082 33554432000 4194304 4196468 140734032956576 139780046186144 139781215995605 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8900608 140734032964196 140734032967004 140734032967004 140734032969679 0
[pid=8765/tid=8825] ppid=8762 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/8765/task/8825/stat : 8825 (java) S 8762 8765 6975 0 -1 1077944384 1 13236 0 0 0 0 5 2 20 0 15 0 228143005 11246788608 22082 33554432000 4194304 4196468 140734032956576 139779844859120 139781215995605 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8900608 140734032964196 140734032967004 140734032967004 140734032969679 0
[pid=8765/tid=8826] ppid=8762 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/8765/task/8826/stat : 8826 (java) S 8762 8765 6975 0 -1 1077944384 3 13236 0 0 0 0 5 2 20 0 15 0 228143008 11246788608 22082 33554432000 4194304 4196468 140734032956576 139779537459664 139781216003995 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8900608 140734032964196 140734032967004 140734032967004 140734032969679 0
[pid=8765/tid=8827] ppid=8762 vsize=10983192 memory=140012108686320 CPUtime=0.14 cores=0,2,4,6
/proc/8765/task/8827/stat : 8827 (java) S 8762 8765 6975 0 -1 1077944384 890 13236 0 0 7 0 5 2 20 0 15 0 228143008 11246788608 22082 33554432000 4194304 4196468 140734032956576 139780640692464 139781215996546 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8900608 140734032964196 140734032967004 140734032967004 140734032969679 0
[pid=8765/tid=8828] ppid=8762 vsize=10983192 memory=140015933850213 CPUtime=0.16 cores=0,2,4,6
/proc/8765/task/8828/stat : 8828 (java) S 8762 8765 6975 0 -1 1077944384 731 13236 0 0 9 0 5 2 20 0 15 0 228143008 11246788608 22082 33554432000 4194304 4196468 140734032956576 139780639639920 139781215996546 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8900608 140734032964196 140734032967004 140734032967004 140734032969679 0
[pid=8765/tid=8829] ppid=8762 vsize=10983192 memory=14888 CPUtime=0.2 cores=0,2,4,6
/proc/8765/task/8829/stat : 8829 (java) S 8762 8765 6975 0 -1 1077944384 859 13236 0 0 13 0 5 2 20 0 15 0 228143008 11246788608 22082 33554432000 4194304 4196468 140734032956576 139780638586864 139781215996546 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8900608 140734032964196 140734032967004 140734032967004 140734032969679 0
[pid=8765/tid=8830] ppid=8762 vsize=10983192 memory=4132 CPUtime=0.07 cores=0,2,4,6
/proc/8765/task/8830/stat : 8830 (java) S 8762 8765 6975 0 -1 1077944384 3 13236 0 0 0 0 5 2 20 0 15 0 228143008 11246788608 22082 33554432000 4194304 4196468 140734032956576 139779106662752 139781215995605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8900608 140734032964196 140734032967004 140734032967004 140734032969679 0
[pid=8765/tid=8831] ppid=8762 vsize=10983192 memory=2241 CPUtime=0.07 cores=0,2,4,6
/proc/8765/task/8831/stat : 8831 (java) S 8762 8765 6975 0 -1 1077944384 1 13236 0 0 0 0 5 2 20 0 15 0 228143008 11246788608 22082 33554432000 4194304 4196468 140734032956576 139780637535280 139781215996546 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8900608 140734032964196 140734032967004 140734032967004 140734032969679 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 88328 KiB
[startup+1.50073 s]
/proc/loadavg: 1.40 1.36 1.37 3/218 8831
/proc/meminfo: memFree=16780736/32770624 swapFree=67108860/67108860
[pid=8765] ppid=8762 vsize=10998092 memory=179800 CPUtime=2.29 cores=0,2,4,6
/proc/8765/stat : 8765 (java) S 8762 8765 6975 0 -1 1077944320 24016 13236 0 0 212 10 5 2 20 0 15 0 228142993 11262046208 44950 33554432000 4194304 4196468 140734032956576 140734032939120 139781215985399 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 8900608 140734032964196 140734032967004 140734032967004 140734032969679 0
/proc/8765/statm: 2749523 44950 3471 1 0 2711181 0
[pid=8765/tid=8818] ppid=8762 vsize=10998092 memory=3303 CPUtime=1.42 cores=0,2,4,6
/proc/8765/task/8818/stat : 8818 (java) R 8762 8765 6975 0 -1 4202560 17732 13236 0 0 129 6 5 2 20 0 15 0 228143002 11262046208 44950 33554432000 4194304 4196468 140734032956576 139781187816336 139780785957864 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8900608 140734032964196 140734032967004 140734032967004 140734032969679 0
[pid=8765/tid=8819] ppid=8762 vsize=10998092 memory=8112282956445269571 CPUtime=0.08 cores=0,2,4,6
/proc/8765/task/8819/stat : 8819 (java) S 8762 8765 6975 0 -1 1077944384 188 13236 0 0 1 0 5 2 20 0 15 0 228143003 11262046208 44950 33554432000 4194304 4196468 140734032956576 139781220227600 139781215995605 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8900608 140734032964196 140734032967004 140734032967004 140734032969679 0
[pid=8765/tid=8820] ppid=8762 vsize=10998092 memory=1408 CPUtime=0.08 cores=0,2,4,6
/proc/8765/task/8820/stat : 8820 (java) S 8762 8765 6975 0 -1 1077944384 35 13236 0 0 1 0 5 2 20 0 15 0 228143003 11262046208 44950 33554432000 4194304 4196468 140734032956576 139780755393168 139781215995605 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8900608 140734032964196 140734032967004 140734032967004 140734032969679 0
[pid=8765/tid=8821] ppid=8762 vsize=10998092 memory=2672 CPUtime=0.08 cores=0,2,4,6
/proc/8765/task/8821/stat : 8821 (java) S 8762 8765 6975 0 -1 1077944384 17 13236 0 0 1 0 5 2 20 0 15 0 228143003 11262046208 44950 33554432000 4194304 4196468 140734032956576 139780754340112 139781215995605 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8900608 140734032964196 140734032967004 140734032967004 140734032969679 0
[pid=8765/tid=8822] ppid=8762 vsize=10998092 memory=88328 CPUtime=0.08 cores=0,2,4,6
/proc/8765/task/8822/stat : 8822 (java) S 8762 8765 6975 0 -1 1077944384 59 13236 0 0 1 0 5 2 20 0 15 0 228143003 11262046208 44950 33554432000 4194304 4196468 140734032956576 139780753287568 139781215995605 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8900608 140734032964196 140734032967004 140734032967004 140734032969679 0
[pid=8765/tid=8823] ppid=8762 vsize=10998092 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/8765/task/8823/stat : 8823 (java) S 8762 8765 6975 0 -1 1077944384 53 13236 0 0 1 0 5 2 20 0 15 0 228143005 11262046208 44950 33554432000 4194304 4196468 140734032956576 139780641745648 139781215996546 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8900608 140734032964196 140734032967004 140734032967004 140734032969679 0
[pid=8765/tid=8824] ppid=8762 vsize=10998092 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/8765/task/8824/stat : 8824 (java) S 8762 8765 6975 0 -1 1077944384 14 13236 0 0 0 0 5 2 20 0 15 0 228143005 11262046208 44950 33554432000 4194304 4196468 140734032956576 139780046186208 139781215995605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8900608 140734032964196 140734032967004 140734032967004 140734032969679 0
[pid=8765/tid=8825] ppid=8762 vsize=10998092 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/8765/task/8825/stat : 8825 (java) S 8762 8765 6975 0 -1 1077944384 1 13236 0 0 0 0 5 2 20 0 15 0 228143005 11262046208 44950 33554432000 4194304 4196468 140734032956576 139779844859120 139781215995605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8900608 140734032964196 140734032967004 140734032967004 140734032969679 0
[pid=8765/tid=8826] ppid=8762 vsize=10998092 memory=8112282956445269571 CPUtime=0.07 cores=0,2,4,6
/proc/8765/task/8826/stat : 8826 (java) S 8762 8765 6975 0 -1 1077944384 3 13236 0 0 0 0 5 2 20 0 15 0 228143008 11262046208 44950 33554432000 4194304 4196468 140734032956576 139779537459664 139781216003995 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8900608 140734032964196 140734032967004 140734032967004 140734032969679 0
[pid=8765/tid=8827] ppid=8762 vsize=10998092 memory=4638778398332698720 CPUtime=0.24 cores=0,2,4,6
/proc/8765/task/8827/stat : 8827 (java) S 8762 8765 6975 0 -1 1077944384 1069 13236 0 0 17 0 5 2 20 0 15 0 228143008 11262046208 44950 33554432000 4194304 4196468 140734032956576 139780640692464 139781215996546 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8900608 140734032964196 140734032967004 140734032967004 140734032969679 0
[pid=8765/tid=8828] ppid=8762 vsize=10998092 memory=280024217852800 CPUtime=0.31 cores=0,2,4,6
/proc/8765/task/8828/stat : 8828 (java) S 8762 8765 6975 0 -1 1077944384 1183 13236 0 0 24 0 5 2 20 0 15 0 228143008 11262046208 44950 33554432000 4194304 4196468 140734032956576 139780639639920 139781215996546 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8900608 140734032964196 140734032967004 140734032967004 140734032969679 0
[pid=8765/tid=8829] ppid=8762 vsize=10998092 memory=6944656592452938395 CPUtime=0.4 cores=0,2,4,6
/proc/8765/task/8829/stat : 8829 (java) R 8762 8765 6975 0 -1 4202560 1462 13236 0 0 33 0 5 2 20 0 15 0 228143008 11262046208 44950 33554432000 4194304 4196468 140734032956576 139780638586864 139781215997334 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8900608 140734032964196 140734032967004 140734032967004 140734032969679 0
[pid=8765/tid=8830] ppid=8762 vsize=10998092 memory=6944656591801719708 CPUtime=0.07 cores=0,2,4,6
/proc/8765/task/8830/stat : 8830 (java) S 8762 8765 6975 0 -1 1077944384 3 13236 0 0 0 0 5 2 20 0 15 0 228143008 11262046208 44950 33554432000 4194304 4196468 140734032956576 139779106662752 139781215995605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8900608 140734032964196 140734032967004 140734032967004 140734032969679 0
[pid=8765/tid=8831] ppid=8762 vsize=10998092 memory=-7522837583129502606 CPUtime=0.07 cores=0,2,4,6
/proc/8765/task/8831/stat : 8831 (java) S 8762 8765 6975 0 -1 1077944384 1 13236 0 0 0 0 5 2 20 0 15 0 228143008 11262046208 44950 33554432000 4194304 4196468 140734032956576 139780637535280 139781215996546 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8900608 140734032964196 140734032967004 140734032967004 140734032969679 0
Current children cumulated CPU time: 2.29 s
Current children cumulated vsize: 10998092 KiB
################
# More data... #
################
/proc/8765/task/8818/stat : 8818 (java) R 8762 8765 6975 0 -1 4202560 105162 13236 0 0 235403 53 5 2 20 0 15 0 228143002 11343855616 273522 33554432000 4194304 4196468 140734032956576 139781187819472 139780799108576 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8900608 140734032964196 140734032967004 140734032967004 140734032969679 0
[pid=8765/tid=8819] ppid=8762 vsize=11077984 memory=1094088 CPUtime=12.17 cores=0,2,4,6
/proc/8765/task/8819/stat : 8819 (java) S 8762 8765 6975 0 -1 1077944384 22207 13236 0 0 1147 63 5 2 20 0 15 0 228143003 11343855616 273522 33554432000 4194304 4196468 140734032956576 139781220227600 139781215995605 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8900608 140734032964196 140734032967004 140734032967004 140734032969679 0
[pid=8765/tid=8820] ppid=8762 vsize=11077984 memory=1094088 CPUtime=12.21 cores=0,2,4,6
/proc/8765/task/8820/stat : 8820 (java) S 8762 8765 6975 0 -1 1077944384 20271 13236 0 0 1152 62 5 2 20 0 15 0 228143003 11343855616 273522 33554432000 4194304 4196468 140734032956576 139780755393168 139781215995605 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8900608 140734032964196 140734032967004 140734032967004 140734032969679 0
[pid=8765/tid=8821] ppid=8762 vsize=11077984 memory=1094072 CPUtime=12.22 cores=0,2,4,6
/proc/8765/task/8821/stat : 8821 (java) S 8762 8765 6975 0 -1 1077944384 18530 13236 0 0 1152 63 5 2 20 0 15 0 228143003 11343855616 273522 33554432000 4194304 4196468 140734032956576 139780754340112 139781215995605 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8900608 140734032964196 140734032967004 140734032967004 140734032969679 0
[pid=8765/tid=8822] ppid=8762 vsize=11077984 memory=1094072 CPUtime=12.16 cores=0,2,4,6
/proc/8765/task/8822/stat : 8822 (java) S 8762 8765 6975 0 -1 1077944384 19749 13236 0 0 1152 57 5 2 20 0 15 0 228143003 11343855616 273522 33554432000 4194304 4196468 140734032956576 139780753287568 139781215995605 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8900608 140734032964196 140734032967004 140734032967004 140734032969679 0
[pid=8765/tid=8823] ppid=8762 vsize=11077984 memory=1094088 CPUtime=11.42 cores=0,2,4,6
/proc/8765/task/8823/stat : 8823 (java) S 8762 8765 6975 0 -1 1077944384 18977 13236 0 0 1073 62 5 2 20 0 15 0 228143005 11343855616 273522 33554432000 4194304 4196468 140734032956576 139780641745648 139781215996546 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8900608 140734032964196 140734032967004 140734032967004 140734032969679 0
[pid=8765/tid=8824] ppid=8762 vsize=11077984 memory=1094088 CPUtime=0.07 cores=0,2,4,6
/proc/8765/task/8824/stat : 8824 (java) S 8762 8765 6975 0 -1 1077944384 15 13236 0 0 0 0 5 2 20 0 15 0 228143005 11343855616 273522 33554432000 4194304 4196468 140734032956576 139780046186272 139781215995605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8900608 140734032964196 140734032967004 140734032967004 140734032969679 0
[pid=8765/tid=8825] ppid=8762 vsize=11077984 memory=1094088 CPUtime=0.07 cores=0,2,4,6
/proc/8765/task/8825/stat : 8825 (java) S 8762 8765 6975 0 -1 1077944384 7 13236 0 0 0 0 5 2 20 0 15 0 228143005 11343855616 273522 33554432000 4194304 4196468 140734032956576 139779844859136 139781215995605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8900608 140734032964196 140734032967004 140734032967004 140734032969679 0
[pid=8765/tid=8826] ppid=8762 vsize=11077984 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/8765/task/8826/stat : 8826 (java) S 8762 8765 6975 0 -1 1077944384 3 13236 0 0 0 0 5 2 20 0 15 0 228143008 11343855616 273522 33554432000 4194304 4196468 140734032956576 139779537459664 139781216003995 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8900608 140734032964196 140734032967004 140734032967004 140734032969679 0
[pid=8765/tid=8827] ppid=8762 vsize=11077984 memory=3268 CPUtime=3.34 cores=0,2,4,6
/proc/8765/task/8827/stat : 8827 (java) S 8762 8765 6975 0 -1 1077944384 21352 13236 0 0 324 3 5 2 20 0 15 0 228143008 11343855616 273522 33554432000 4194304 4196468 140734032956576 139780640692464 139781215996546 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8900608 140734032964196 140734032967004 140734032967004 140734032969679 0
[pid=8765/tid=8828] ppid=8762 vsize=11077984 memory=1094088 CPUtime=3.63 cores=0,2,4,6
/proc/8765/task/8828/stat : 8828 (java) S 8762 8765 6975 0 -1 1077944384 27044 13236 0 0 354 2 5 2 20 0 15 0 228143008 11343855616 273522 33554432000 4194304 4196468 140734032956576 139780639639920 139781215996546 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8900608 140734032964196 140734032967004 140734032967004 140734032969679 0
[pid=8765/tid=8829] ppid=8762 vsize=11077984 memory=1094088 CPUtime=1.69 cores=0,2,4,6
/proc/8765/task/8829/stat : 8829 (java) S 8762 8765 6975 0 -1 1077944384 24288 13236 0 0 157 5 5 2 20 0 15 0 228143008 11343855616 273522 33554432000 4194304 4196468 140734032956576 139780638586864 139781215996546 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8900608 140734032964196 140734032967004 140734032967004 140734032969679 0
[pid=8765/tid=8830] ppid=8762 vsize=11077984 memory=1094088 CPUtime=0.07 cores=0,2,4,6
/proc/8765/task/8830/stat : 8830 (java) S 8762 8765 6975 0 -1 1077944384 3 13236 0 0 0 0 5 2 20 0 15 0 228143008 11343855616 273522 33554432000 4194304 4196468 140734032956576 139779106662752 139781215995605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8900608 140734032964196 140734032967004 140734032967004 140734032969679 0
[pid=8765/tid=8831] ppid=8762 vsize=11077984 memory=233412 CPUtime=1.54 cores=0,2,4,6
/proc/8765/task/8831/stat : 8831 (java) S 8762 8765 6975 0 -1 1077944384 1122 13236 0 0 73 74 5 2 20 0 15 0 228143008 11343855616 273522 33554432000 4194304 4196468 140734032956576 139780637535280 139781215996546 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8900608 140734032964196 140734032967004 140734032967004 140734032969679 0
Current children cumulated CPU time: 2424.49 s
Current children cumulated vsize: 11077984 KiB
Current children cumulated memory: 1094088 KiB
[startup+2442.3 s]
/proc/loadavg: 1.43 1.34 1.33 3/219 8960
/proc/meminfo: memFree=15770500/32770624 swapFree=67108860/67108860
[pid=8765] ppid=8762 vsize=11077984 memory=1094152 CPUtime=2485.36 cores=0,2,4,6
/proc/8765/stat : 8765 (java) S 8762 8765 6975 0 -1 1077944320 282277 13236 0 0 248148 381 5 2 20 0 15 0 228142993 11343855616 273538 33554432000 4194304 4196468 140734032956576 140734032939120 139781215985399 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 8900608 140734032964196 140734032967004 140734032967004 140734032969679 0
/proc/8765/statm: 2769496 273538 3525 1 0 2731149 0
[pid=8765/tid=8818] ppid=8762 vsize=11077984 memory=1094152 CPUtime=2413.96 cores=0,2,4,6
/proc/8765/task/8818/stat : 8818 (java) R 8762 8765 6975 0 -1 4202560 105919 13236 0 0 241335 54 5 2 20 0 15 0 228143002 11343855616 273538 33554432000 4194304 4196468 140734032956576 139781187819280 139780799112418 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8900608 140734032964196 140734032967004 140734032967004 140734032969679 0
[pid=8765/tid=8819] ppid=8762 vsize=11077984 memory=1094152 CPUtime=12.48 cores=0,2,4,6
/proc/8765/task/8819/stat : 8819 (java) S 8762 8765 6975 0 -1 1077944384 22309 13236 0 0 1176 65 5 2 20 0 15 0 228143003 11343855616 273538 33554432000 4194304 4196468 140734032956576 139781220227600 139781215995605 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8900608 140734032964196 140734032967004 140734032967004 140734032969679 0
[pid=8765/tid=8820] ppid=8762 vsize=11077984 memory=1094152 CPUtime=12.51 cores=0,2,4,6
/proc/8765/task/8820/stat : 8820 (java) S 8762 8765 6975 0 -1 1077944384 20537 13236 0 0 1181 63 5 2 20 0 15 0 228143003 11343855616 273538 33554432000 4194304 4196468 140734032956576 139780755393168 139781215995605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8900608 140734032964196 140734032967004 140734032967004 140734032969679 0
[pid=8765/tid=8821] ppid=8762 vsize=11077984 memory=8112282956445269571 CPUtime=12.53 cores=0,2,4,6
/proc/8765/task/8821/stat : 8821 (java) S 8762 8765 6975 0 -1 1077944384 18552 13236 0 0 1181 65 5 2 20 0 15 0 228143003 11343855616 273538 33554432000 4194304 4196468 140734032956576 139780754340112 139781215995605 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8900608 140734032964196 140734032967004 140734032967004 140734032969679 0
[pid=8765/tid=8822] ppid=8762 vsize=11077984 memory=1094144 CPUtime=12.46 cores=0,2,4,6
/proc/8765/task/8822/stat : 8822 (java) S 8762 8765 6975 0 -1 1077944384 19763 13236 0 0 1181 58 5 2 20 0 15 0 228143003 11343855616 273538 33554432000 4194304 4196468 140734032956576 139780753287568 139781215995605 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8900608 140734032964196 140734032967004 140734032967004 140734032969679 0
[pid=8765/tid=8823] ppid=8762 vsize=11077984 memory=1094144 CPUtime=11.7 cores=0,2,4,6
/proc/8765/task/8823/stat : 8823 (java) S 8762 8765 6975 0 -1 1077944384 19151 13236 0 0 1100 63 5 2 20 0 15 0 228143005 11343855616 273538 33554432000 4194304 4196468 140734032956576 139780641745648 139781215996546 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8900608 140734032964196 140734032967004 140734032967004 140734032969679 0
[pid=8765/tid=8824] ppid=8762 vsize=11077984 memory=1094152 CPUtime=0.07 cores=0,2,4,6
/proc/8765/task/8824/stat : 8824 (java) S 8762 8765 6975 0 -1 1077944384 15 13236 0 0 0 0 5 2 20 0 15 0 228143005 11343855616 273538 33554432000 4194304 4196468 140734032956576 139780046186272 139781215995605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8900608 140734032964196 140734032967004 140734032967004 140734032969679 0
[pid=8765/tid=8825] ppid=8762 vsize=11077984 memory=1094152 CPUtime=0.07 cores=0,2,4,6
/proc/8765/task/8825/stat : 8825 (java) S 8762 8765 6975 0 -1 1077944384 7 13236 0 0 0 0 5 2 20 0 15 0 228143005 11343855616 273538 33554432000 4194304 4196468 140734032956576 139779844859136 139781215995605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8900608 140734032964196 140734032967004 140734032967004 140734032969679 0
[pid=8765/tid=8826] ppid=8762 vsize=11077984 memory=1094152 CPUtime=0.07 cores=0,2,4,6
/proc/8765/task/8826/stat : 8826 (java) S 8762 8765 6975 0 -1 1077944384 3 13236 0 0 0 0 5 2 20 0 15 0 228143008 11343855616 273538 33554432000 4194304 4196468 140734032956576 139779537459664 139781216003995 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8900608 140734032964196 140734032967004 140734032967004 140734032969679 0
[pid=8765/tid=8827] ppid=8762 vsize=11077984 memory=1094152 CPUtime=3.34 cores=0,2,4,6
/proc/8765/task/8827/stat : 8827 (java) S 8762 8765 6975 0 -1 1077944384 21354 13236 0 0 324 3 5 2 20 0 15 0 228143008 11343855616 273538 33554432000 4194304 4196468 140734032956576 139780640692464 139781215996546 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8900608 140734032964196 140734032967004 140734032967004 140734032969679 0
[pid=8765/tid=8828] ppid=8762 vsize=11077984 memory=1094152 CPUtime=3.63 cores=0,2,4,6
/proc/8765/task/8828/stat : 8828 (java) S 8762 8765 6975 0 -1 1077944384 27046 13236 0 0 354 2 5 2 20 0 15 0 228143008 11343855616 273538 33554432000 4194304 4196468 140734032956576 139780639639920 139781215996546 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8900608 140734032964196 140734032967004 140734032967004 140734032969679 0
[pid=8765/tid=8829] ppid=8762 vsize=11077984 memory=1094152 CPUtime=1.69 cores=0,2,4,6
/proc/8765/task/8829/stat : 8829 (java) S 8762 8765 6975 0 -1 1077944384 24291 13236 0 0 157 5 5 2 20 0 15 0 228143008 11343855616 273538 33554432000 4194304 4196468 140734032956576 139780638586864 139781215996546 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8900608 140734032964196 140734032967004 140734032967004 140734032969679 0
[pid=8765/tid=8830] ppid=8762 vsize=11077984 memory=1094152 CPUtime=0.07 cores=0,2,4,6
/proc/8765/task/8830/stat : 8830 (java) S 8762 8765 6975 0 -1 1077944384 3 13236 0 0 0 0 5 2 20 0 15 0 228143008 11343855616 273538 33554432000 4194304 4196468 140734032956576 139779106662752 139781215995605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8900608 140734032964196 140734032967004 140734032967004 140734032969679 0
[pid=8765/tid=8831] ppid=8762 vsize=11077984 memory=1094152 CPUtime=1.58 cores=0,2,4,6
/proc/8765/task/8831/stat : 8831 (java) S 8762 8765 6975 0 -1 1077944384 1130 13236 0 0 75 76 5 2 20 0 15 0 228143008 11343855616 273538 33554432000 4194304 4196468 140734032956576 139780637535280 139781215996546 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8900608 140734032964196 140734032967004 140734032967004 140734032969679 0
Current children cumulated CPU time: 2485.36 s
Current children cumulated vsize: 11077984 KiB
Current children cumulated memory: 1094152 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2476.5 s]
/proc/loadavg: 1.45 1.35 1.33 3/219 9088
/proc/meminfo: memFree=15808484/32770624 swapFree=67108860/67108860
[pid=8765] ppid=8762 vsize=11077984 memory=1094164 CPUtime=2520.08 cores=0,2,4,6
/proc/8765/stat : 8765 (java) S 8762 8765 6975 0 -1 1077944320 283326 13236 0 0 251614 387 5 2 20 0 15 0 228142993 11343855616 273541 33554432000 4194304 4196468 140734032956576 140734032939120 139781215985399 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 8900608 140734032964196 140734032967004 140734032967004 140734032969679 0
/proc/8765/statm: 2769496 273541 3525 1 0 2731149 0
[pid=8765/tid=8818] ppid=8762 vsize=11077984 memory=1094164 CPUtime=2447.75 cores=0,2,4,6
/proc/8765/task/8818/stat : 8818 (java) R 8762 8765 6975 0 -1 4202560 106402 13236 0 0 244713 55 5 2 20 0 15 0 228143002 11343855616 273541 33554432000 4194304 4196468 140734032956576 139781187819408 139780799466953 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8900608 140734032964196 140734032967004 140734032967004 140734032969679 0
[pid=8765/tid=8819] ppid=8762 vsize=11077984 memory=1094164 CPUtime=12.66 cores=0,2,4,6
/proc/8765/task/8819/stat : 8819 (java) S 8762 8765 6975 0 -1 1077944384 22371 13236 0 0 1192 67 5 2 20 0 15 0 228143003 11343855616 273541 33554432000 4194304 4196468 140734032956576 139781220227600 139781215995605 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8900608 140734032964196 140734032967004 140734032967004 140734032969679 0
[pid=8765/tid=8820] ppid=8762 vsize=11077984 memory=752 CPUtime=12.69 cores=0,2,4,6
/proc/8765/task/8820/stat : 8820 (java) S 8762 8765 6975 0 -1 1077944384 20842 13236 0 0 1198 64 5 2 20 0 15 0 228143003 11343855616 273541 33554432000 4194304 4196468 140734032956576 139780755393168 139781215995605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8900608 140734032964196 140734032967004 140734032967004 140734032969679 0
[pid=8765/tid=8821] ppid=8762 vsize=11077984 memory=1094164 CPUtime=12.71 cores=0,2,4,6
/proc/8765/task/8821/stat : 8821 (java) S 8762 8765 6975 0 -1 1077944384 18566 13236 0 0 1198 66 5 2 20 0 15 0 228143003 11343855616 273541 33554432000 4194304 4196468 140734032956576 139780754340112 139781215995605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8900608 140734032964196 140734032967004 140734032967004 140734032969679 0
[pid=8765/tid=8822] ppid=8762 vsize=11077984 memory=1094164 CPUtime=12.64 cores=0,2,4,6
/proc/8765/task/8822/stat : 8822 (java) S 8762 8765 6975 0 -1 1077944384 19776 13236 0 0 1198 59 5 2 20 0 15 0 228143003 11343855616 273541 33554432000 4194304 4196468 140734032956576 139780753287568 139781215995605 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8900608 140734032964196 140734032967004 140734032967004 140734032969679 0
[pid=8765/tid=8823] ppid=8762 vsize=11077984 memory=1094164 CPUtime=11.88 cores=0,2,4,6
/proc/8765/task/8823/stat : 8823 (java) S 8762 8765 6975 0 -1 1077944384 19301 13236 0 0 1118 63 5 2 20 0 15 0 228143005 11343855616 273541 33554432000 4194304 4196468 140734032956576 139780641745648 139781215996546 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8900608 140734032964196 140734032967004 140734032967004 140734032969679 0
[pid=8765/tid=8824] ppid=8762 vsize=11077984 memory=1094164 CPUtime=0.07 cores=0,2,4,6
/proc/8765/task/8824/stat : 8824 (java) S 8762 8765 6975 0 -1 1077944384 15 13236 0 0 0 0 5 2 20 0 15 0 228143005 11343855616 273541 33554432000 4194304 4196468 140734032956576 139780046186272 139781215995605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8900608 140734032964196 140734032967004 140734032967004 140734032969679 0
[pid=8765/tid=8825] ppid=8762 vsize=11077984 memory=1094164 CPUtime=0.07 cores=0,2,4,6
/proc/8765/task/8825/stat : 8825 (java) S 8762 8765 6975 0 -1 1077944384 7 13236 0 0 0 0 5 2 20 0 15 0 228143005 11343855616 273541 33554432000 4194304 4196468 140734032956576 139779844859136 139781215995605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8900608 140734032964196 140734032967004 140734032967004 140734032969679 0
[pid=8765/tid=8826] ppid=8762 vsize=11077984 memory=1094164 CPUtime=0.07 cores=0,2,4,6
/proc/8765/task/8826/stat : 8826 (java) S 8762 8765 6975 0 -1 1077944384 3 13236 0 0 0 0 5 2 20 0 15 0 228143008 11343855616 273541 33554432000 4194304 4196468 140734032956576 139779537459664 139781216003995 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8900608 140734032964196 140734032967004 140734032967004 140734032969679 0
[pid=8765/tid=8827] ppid=8762 vsize=11077984 memory=0 CPUtime=3.34 cores=0,2,4,6
/proc/8765/task/8827/stat : 8827 (java) S 8762 8765 6975 0 -1 1077944384 21356 13236 0 0 324 3 5 2 20 0 15 0 228143008 11343855616 273541 33554432000 4194304 4196468 140734032956576 139780640692464 139781215996546 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8900608 140734032964196 140734032967004 140734032967004 140734032969679 0
[pid=8765/tid=8828] ppid=8762 vsize=11077984 memory=1094164 CPUtime=3.63 cores=0,2,4,6
/proc/8765/task/8828/stat : 8828 (java) S 8762 8765 6975 0 -1 1077944384 27048 13236 0 0 354 2 5 2 20 0 15 0 228143008 11343855616 273541 33554432000 4194304 4196468 140734032956576 139780639639920 139781215996546 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8900608 140734032964196 140734032967004 140734032967004 140734032969679 0
[pid=8765/tid=8829] ppid=8762 vsize=11077984 memory=1094164 CPUtime=1.69 cores=0,2,4,6
/proc/8765/task/8829/stat : 8829 (java) S 8762 8765 6975 0 -1 1077944384 24293 13236 0 0 157 5 5 2 20 0 15 0 228143008 11343855616 273541 33554432000 4194304 4196468 140734032956576 139780638586864 139781215996546 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8900608 140734032964196 140734032967004 140734032967004 140734032969679 0
[pid=8765/tid=8830] ppid=8762 vsize=11077984 memory=1094164 CPUtime=0.07 cores=0,2,4,6
/proc/8765/task/8830/stat : 8830 (java) S 8762 8765 6975 0 -1 1077944384 3 13236 0 0 0 0 5 2 20 0 15 0 228143008 11343855616 273541 33554432000 4194304 4196468 140734032956576 139779106662752 139781215995605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8900608 140734032964196 140734032967004 140734032967004 140734032969679 0
[pid=8765/tid=8831] ppid=8762 vsize=11077984 memory=4126316290023845779 CPUtime=1.59 cores=0,2,4,6
/proc/8765/task/8831/stat : 8831 (java) S 8762 8765 6975 0 -1 1077944384 1146 13236 0 0 75 77 5 2 20 0 15 0 228143008 11343855616 273541 33554432000 4194304 4196468 140734032956576 139780637535280 139781215996546 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8900608 140734032964196 140734032967004 140734032967004 140734032969679 0
Current children cumulated CPU time: 2520.08 s
Current children cumulated vsize: 11077984 KiB
Current children cumulated memory: 1094164 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2476.53 s]
# the end of solver process 8765 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2516.21 s, system=3.91518 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2476.5 s]
/proc/loadavg: 1.45 1.35 1.33 3/219 9088
/proc/meminfo: memFree=15808484/32770624 swapFree=67108860/67108860
[pid=8765] ppid=8762 vsize=11077984 memory=1094164 CPUtime=2520.08 cores=0,2,4,6
/proc/8765/stat : 8765 (java) S 8762 8765 6975 0 -1 1077944320 283326 13236 0 0 251614 387 5 2 20 0 15 0 228142993 11343855616 273541 33554432000 4194304 4196468 140734032956576 140734032939120 139781215985399 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 8900608 140734032964196 140734032967004 140734032967004 140734032969679 0
/proc/8765/statm: 2769496 273541 3525 1 0 2731149 0
[pid=8765/tid=8818] ppid=8762 vsize=11077984 memory=1094164 CPUtime=2447.75 cores=0,2,4,6
/proc/8765/task/8818/stat : 8818 (java) R 8762 8765 6975 0 -1 4202560 106402 13236 0 0 244713 55 5 2 20 0 15 0 228143002 11343855616 273541 33554432000 4194304 4196468 140734032956576 139781187819408 139780799466953 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8900608 140734032964196 140734032967004 140734032967004 140734032969679 0
[pid=8765/tid=8819] ppid=8762 vsize=11077984 memory=1094164 CPUtime=12.66 cores=0,2,4,6
/proc/8765/task/8819/stat : 8819 (java) S 8762 8765 6975 0 -1 1077944384 22371 13236 0 0 1192 67 5 2 20 0 15 0 228143003 11343855616 273541 33554432000 4194304 4196468 140734032956576 139781220227600 139781215995605 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8900608 140734032964196 140734032967004 140734032967004 140734032969679 0
[pid=8765/tid=8820] ppid=8762 vsize=11077984 memory=752 CPUtime=12.69 cores=0,2,4,6
/proc/8765/task/8820/stat : 8820 (java) S 8762 8765 6975 0 -1 1077944384 20842 13236 0 0 1198 64 5 2 20 0 15 0 228143003 11343855616 273541 33554432000 4194304 4196468 140734032956576 139780755393168 139781215995605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8900608 140734032964196 140734032967004 140734032967004 140734032969679 0
[pid=8765/tid=8821] ppid=8762 vsize=11077984 memory=1094164 CPUtime=12.71 cores=0,2,4,6
/proc/8765/task/8821/stat : 8821 (java) S 8762 8765 6975 0 -1 1077944384 18566 13236 0 0 1198 66 5 2 20 0 15 0 228143003 11343855616 273541 33554432000 4194304 4196468 140734032956576 139780754340112 139781215995605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8900608 140734032964196 140734032967004 140734032967004 140734032969679 0
[pid=8765/tid=8822] ppid=8762 vsize=11077984 memory=1094164 CPUtime=12.64 cores=0,2,4,6
/proc/8765/task/8822/stat : 8822 (java) S 8762 8765 6975 0 -1 1077944384 19776 13236 0 0 1198 59 5 2 20 0 15 0 228143003 11343855616 273541 33554432000 4194304 4196468 140734032956576 139780753287568 139781215995605 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8900608 140734032964196 140734032967004 140734032967004 140734032969679 0
[pid=8765/tid=8823] ppid=8762 vsize=11077984 memory=1094164 CPUtime=11.88 cores=0,2,4,6
/proc/8765/task/8823/stat : 8823 (java) S 8762 8765 6975 0 -1 1077944384 19301 13236 0 0 1118 63 5 2 20 0 15 0 228143005 11343855616 273541 33554432000 4194304 4196468 140734032956576 139780641745648 139781215996546 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8900608 140734032964196 140734032967004 140734032967004 140734032969679 0
[pid=8765/tid=8824] ppid=8762 vsize=11077984 memory=1094164 CPUtime=0.07 cores=0,2,4,6
/proc/8765/task/8824/stat : 8824 (java) S 8762 8765 6975 0 -1 1077944384 15 13236 0 0 0 0 5 2 20 0 15 0 228143005 11343855616 273541 33554432000 4194304 4196468 140734032956576 139780046186272 139781215995605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8900608 140734032964196 140734032967004 140734032967004 140734032969679 0
[pid=8765/tid=8825] ppid=8762 vsize=11077984 memory=1094164 CPUtime=0.07 cores=0,2,4,6
/proc/8765/task/8825/stat : 8825 (java) S 8762 8765 6975 0 -1 1077944384 7 13236 0 0 0 0 5 2 20 0 15 0 228143005 11343855616 273541 33554432000 4194304 4196468 140734032956576 139779844859136 139781215995605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8900608 140734032964196 140734032967004 140734032967004 140734032969679 0
[pid=8765/tid=8826] ppid=8762 vsize=11077984 memory=1094164 CPUtime=0.07 cores=0,2,4,6
/proc/8765/task/8826/stat : 8826 (java) S 8762 8765 6975 0 -1 1077944384 3 13236 0 0 0 0 5 2 20 0 15 0 228143008 11343855616 273541 33554432000 4194304 4196468 140734032956576 139779537459664 139781216003995 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8900608 140734032964196 140734032967004 140734032967004 140734032969679 0
[pid=8765/tid=8827] ppid=8762 vsize=11077984 memory=0 CPUtime=3.34 cores=0,2,4,6
/proc/8765/task/8827/stat : 8827 (java) S 8762 8765 6975 0 -1 1077944384 21356 13236 0 0 324 3 5 2 20 0 15 0 228143008 11343855616 273541 33554432000 4194304 4196468 140734032956576 139780640692464 139781215996546 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8900608 140734032964196 140734032967004 140734032967004 140734032969679 0
[pid=8765/tid=8828] ppid=8762 vsize=11077984 memory=1094164 CPUtime=3.63 cores=0,2,4,6
/proc/8765/task/8828/stat : 8828 (java) S 8762 8765 6975 0 -1 1077944384 27048 13236 0 0 354 2 5 2 20 0 15 0 228143008 11343855616 273541 33554432000 4194304 4196468 140734032956576 139780639639920 139781215996546 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8900608 140734032964196 140734032967004 140734032967004 140734032969679 0
[pid=8765/tid=8829] ppid=8762 vsize=11077984 memory=1094164 CPUtime=1.69 cores=0,2,4,6
/proc/8765/task/8829/stat : 8829 (java) S 8762 8765 6975 0 -1 1077944384 24293 13236 0 0 157 5 5 2 20 0 15 0 228143008 11343855616 273541 33554432000 4194304 4196468 140734032956576 139780638586864 139781215996546 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8900608 140734032964196 140734032967004 140734032967004 140734032969679 0
[pid=8765/tid=8830] ppid=8762 vsize=11077984 memory=1094164 CPUtime=0.07 cores=0,2,4,6
/proc/8765/task/8830/stat : 8830 (java) S 8762 8765 6975 0 -1 1077944384 3 13236 0 0 0 0 5 2 20 0 15 0 228143008 11343855616 273541 33554432000 4194304 4196468 140734032956576 139779106662752 139781215995605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8900608 140734032964196 140734032967004 140734032967004 140734032969679 0
[pid=8765/tid=8831] ppid=8762 vsize=11077984 memory=4126316290023845779 CPUtime=1.59 cores=0,2,4,6
/proc/8765/task/8831/stat : 8831 (java) S 8762 8765 6975 0 -1 1077944384 1146 13236 0 0 75 77 5 2 20 0 15 0 228143008 11343855616 273541 33554432000 4194304 4196468 140734032956576 139780637535280 139781215996546 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8900608 140734032964196 140734032967004 140734032967004 140734032969679 0
Current children cumulated CPU time: 2520.08 s
Current children cumulated vsize: 11077984 KiB
Current children cumulated memory: 1094164 KiB
Child status: 143
Real time (s): 2476.53
CPU time (s): 2520.13
CPU user time (s): 2516.21
CPU system time (s): 3.91518
CPU usage (%): 101.761
Max. virtual memory (cumulated for all children) (KiB): 11080696
Max. memory (cumulated for all children) (KiB): 1167308
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.21
system time used= 3.91518
maximum resident set size= 1169368
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 297479
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2968
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 309525
involuntary context switches= 9820
# summary of solver processes directly reported to runsolver:
# pid: 8765
# total CPU time (s): 2520.13
# total CPU user time (s): 2516.21
# total CPU system time (s): 3.91518
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.1073 second user time and 24.8383 second system time
The end