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 (10095 MiB free)
memory of node 1: 16384 MiB (11795 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4293293-1532314539/watcher-4293293-1532314539 -o /tmp/evaluation-result-4293293-1532314539/solver-4293293-1532314539 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node103-1532293810-5214 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=1414654732 HOME/instance-4293293-1532314539.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
solver pid=9100, runsolver pid=9097
Current StackSize limit: 8192 KiB
[startup+0.100062 s]*
/proc/loadavg: 2.01 1.85 1.77 4/206 9157
/proc/meminfo: memFree=22412536/32770624 swapFree=67108860/67108860
[pid=9100] ppid=9097 vsize=9972712 memory=14908 CPUtime=0.09 cores=1,3,5,7
/proc/9100/stat : 9100 (java) S 9097 9100 5182 0 -1 1077944320 4420 13145 0 0 1 0 5 3 20 0 6 0 49017074 10212057088 3727 33554432000 4194304 4196468 140732288594064 140732288576608 139670121987831 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 6991872 140732288596590 140732288599388 140732288599388 140732288602063 0
/proc/9100/statm: 2493178 3727 1934 1 0 2481616 0
[pid=9100/tid=9153] ppid=9097 vsize=9972712 memory=4718545630382498451 CPUtime=0.08 cores=1,3,5,7
/proc/9100/task/9153/stat : 9153 (java) R 9097 9100 5182 0 -1 4202560 2250 13145 0 0 0 0 5 3 20 0 6 0 49017083 10212057088 3793 33554432000 4194304 4196468 140732288594064 139670093824592 139670106068318 0 4 0 16784584 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 6991872 140732288596590 140732288599388 140732288599388 140732288602063 0
[pid=9100/tid=9154] ppid=9097 vsize=9972712 memory=5793855411127916985 CPUtime=0.08 cores=1,3,5,7
/proc/9100/task/9154/stat : 9154 (java) S 9097 9100 5182 0 -1 1077944384 1 13145 0 0 0 0 5 3 20 0 6 0 49017084 10212057088 3793 33554432000 4194304 4196468 140732288594064 139670126230160 139670121998037 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6991872 140732288596590 140732288599388 140732288599388 140732288602063 0
[pid=9100/tid=9155] ppid=9097 vsize=9972712 memory=140160118023808 CPUtime=0.08 cores=1,3,5,7
/proc/9100/task/9155/stat : 9155 (java) S 9097 9100 5182 0 -1 1077944384 1 13145 0 0 0 0 5 3 20 0 6 0 49017084 10212057088 3793 33554432000 4194304 4196468 140732288594064 139670055987728 139670121998037 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6991872 140732288596590 140732288599388 140732288599388 140732288602063 0
[pid=9100/tid=9156] ppid=9097 vsize=9972712 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/9100/task/9156/stat : 9156 (java) S 9097 9100 5182 0 -1 1077944384 1 13145 0 0 0 0 5 3 20 0 6 0 49017084 10212057088 3793 33554432000 4194304 4196468 140732288594064 139669694507408 139670121998037 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6991872 140732288596590 140732288599388 140732288599388 140732288602063 0
[pid=9100/tid=9157] ppid=9097 vsize=9972712 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/9100/task/9157/stat : 9157 (java) S 9097 9100 5182 0 -1 1077944384 2 13145 0 0 0 0 5 3 20 0 6 0 49017084 10212057088 3793 33554432000 4194304 4196468 140732288594064 139669693454608 139670121998037 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6991872 140732288596590 140732288599388 140732288599388 140732288602063 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 14908 KiB
[startup+0.209833 s]*
/proc/loadavg: 2.01 1.85 1.77 3/215 9166
/proc/meminfo: memFree=22391448/32770624 swapFree=67108860/67108860
[pid=9100] ppid=9097 vsize=10818856 memory=38748 CPUtime=0.27 cores=1,3,5,7
/proc/9100/stat : 9100 (java) S 9097 9100 5182 0 -1 1077944320 8597 13145 0 0 17 2 5 3 20 0 15 0 49017074 11078508544 9687 33554432000 4194304 4196468 140732288594064 140732288576608 139670121987831 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 6991872 140732288596590 140732288599388 140732288599388 140732288602063 0
/proc/9100/statm: 2704714 9687 2962 1 0 2667149 0
[pid=9100/tid=9153] ppid=9097 vsize=10818856 memory=-2899909650764262549 CPUtime=0.19 cores=1,3,5,7
/proc/9100/task/9153/stat : 9153 (java) R 9097 9100 5182 0 -1 4202560 5018 13145 0 0 10 1 5 3 20 0 15 0 49017083 11078508544 9687 33554432000 4194304 4196468 140732288594064 139670093785488 139670103552784 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 6991872 140732288596590 140732288599388 140732288599388 140732288602063 0
[pid=9100/tid=9154] ppid=9097 vsize=10818856 memory=4211973886322814346 CPUtime=0.08 cores=1,3,5,7
/proc/9100/task/9154/stat : 9154 (java) S 9097 9100 5182 0 -1 1077944384 1 13145 0 0 0 0 5 3 20 0 15 0 49017084 11078508544 9687 33554432000 4194304 4196468 140732288594064 139670126230160 139670121998037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6991872 140732288596590 140732288599388 140732288599388 140732288602063 0
[pid=9100/tid=9155] ppid=9097 vsize=10818856 memory=140160118023808 CPUtime=0.08 cores=1,3,5,7
/proc/9100/task/9155/stat : 9155 (java) S 9097 9100 5182 0 -1 1077944384 1 13145 0 0 0 0 5 3 20 0 15 0 49017084 11078508544 9687 33554432000 4194304 4196468 140732288594064 139670055987728 139670121998037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6991872 140732288596590 140732288599388 140732288599388 140732288602063 0
[pid=9100/tid=9156] ppid=9097 vsize=10818856 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/9100/task/9156/stat : 9156 (java) S 9097 9100 5182 0 -1 1077944384 1 13145 0 0 0 0 5 3 20 0 15 0 49017084 11078508544 9687 33554432000 4194304 4196468 140732288594064 139669694507408 139670121998037 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6991872 140732288596590 140732288599388 140732288599388 140732288602063 0
[pid=9100/tid=9157] ppid=9097 vsize=10818856 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/9100/task/9157/stat : 9157 (java) S 9097 9100 5182 0 -1 1077944384 2 13145 0 0 0 0 5 3 20 0 15 0 49017084 11078508544 9687 33554432000 4194304 4196468 140732288594064 139669693454608 139670121998037 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6991872 140732288596590 140732288599388 140732288599388 140732288602063 0
[pid=9100/tid=9158] ppid=9097 vsize=10818856 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/9100/task/9158/stat : 9158 (java) S 9097 9100 5182 0 -1 1077944384 2 13145 0 0 0 0 5 3 20 0 15 0 49017085 11078508544 9687 33554432000 4194304 4196468 140732288594064 139669580786544 139670121998978 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6991872 140732288596590 140732288599388 140732288599388 140732288602063 0
[pid=9100/tid=9159] ppid=9097 vsize=10818856 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/9100/task/9159/stat : 9159 (java) S 9097 9100 5182 0 -1 1077944384 33 13145 0 0 0 0 5 3 20 0 15 0 49017085 11078508544 9687 33554432000 4194304 4196468 140732288594064 139669579732512 139670121998037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6991872 140732288596590 140732288599388 140732288599388 140732288602063 0
[pid=9100/tid=9160] ppid=9097 vsize=10818856 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/9100/task/9160/stat : 9160 (java) S 9097 9100 5182 0 -1 1077944384 1 13145 0 0 0 0 5 3 20 0 15 0 49017086 11078508544 9687 33554432000 4194304 4196468 140732288594064 139668981015920 139670121998037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6991872 140732288596590 140732288599388 140732288599388 140732288602063 0
[pid=9100/tid=9161] ppid=9097 vsize=10818856 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/9100/task/9161/stat : 9161 (java) S 9097 9100 5182 0 -1 1077944384 3 13145 0 0 0 0 5 3 20 0 15 0 49017088 11078508544 9687 33554432000 4194304 4196468 140732288594064 139668673616208 139670122006427 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6991872 140732288596590 140732288599388 140732288599388 140732288602063 0
[pid=9100/tid=9162] ppid=9097 vsize=10818856 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/9100/task/9162/stat : 9162 (java) S 9097 9100 5182 0 -1 1077944384 494 13145 0 0 1 0 5 3 20 0 15 0 49017088 11078508544 9687 33554432000 4194304 4196468 140732288594064 139669546174832 139670121998978 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6991872 140732288596590 140732288599388 140732288599388 140732288602063 0
[pid=9100/tid=9163] ppid=9097 vsize=10818856 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/9100/task/9163/stat : 9163 (java) S 9097 9100 5182 0 -1 1077944384 147 13145 0 0 0 0 5 3 20 0 15 0 49017088 11078508544 9687 33554432000 4194304 4196468 140732288594064 139669545122032 139670121998978 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6991872 140732288596590 140732288599388 140732288599388 140732288602063 0
[pid=9100/tid=9164] ppid=9097 vsize=10818856 memory=140160118023808 CPUtime=0.11 cores=1,3,5,7
/proc/9100/task/9164/stat : 9164 (java) S 9097 9100 5182 0 -1 1077944384 698 13145 0 0 3 0 5 3 20 0 15 0 49017088 11078508544 9687 33554432000 4194304 4196468 140732288594064 139669544069232 139670121998978 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6991872 140732288596590 140732288599388 140732288599388 140732288602063 0
[pid=9100/tid=9165] ppid=9097 vsize=10818856 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/9100/task/9165/stat : 9165 (java) S 9097 9100 5182 0 -1 1077944384 3 13145 0 0 0 0 5 3 20 0 15 0 49017088 11078508544 9687 33554432000 4194304 4196468 140732288594064 139668640057568 139670121998037 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6991872 140732288596590 140732288599388 140732288599388 140732288602063 0
[pid=9100/tid=9166] ppid=9097 vsize=10818856 memory=140160118023808 CPUtime=0.08 cores=1,3,5,7
/proc/9100/task/9166/stat : 9166 (java) S 9097 9100 5182 0 -1 1077944384 1 13145 0 0 0 0 5 3 20 0 15 0 49017089 11078508544 9687 33554432000 4194304 4196468 140732288594064 139669543017648 139670121998978 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6991872 140732288596590 140732288599388 140732288599388 140732288602063 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 10818856 KiB
Current children cumulated memory: 38748 KiB
[startup+0.310262 s]*
/proc/loadavg: 2.01 1.85 1.77 3/215 9166
/proc/meminfo: memFree=22381080/32770624 swapFree=67108860/67108860
[pid=9100] ppid=9097 vsize=10819352 memory=50088 CPUtime=0.39 cores=1,3,5,7
/proc/9100/stat : 9100 (java) S 9097 9100 5182 0 -1 1077944320 10644 13145 0 0 28 3 5 3 20 0 15 0 49017074 11079016448 12522 33554432000 4194304 4196468 140732288594064 140732288576608 139670121987831 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 6991872 140732288596590 140732288599388 140732288599388 140732288602063 0
/proc/9100/statm: 2704838 12522 3093 1 0 2667149 0
[pid=9100/tid=9153] ppid=9097 vsize=10819352 memory=8112282956445269571 CPUtime=0.29 cores=1,3,5,7
/proc/9100/task/9153/stat : 9153 (java) R 9097 9100 5182 0 -1 4202560 7032 13145 0 0 19 2 5 3 20 0 15 0 49017083 11079016448 12522 33554432000 4194304 4196468 140732288594064 139670093799840 139670107153470 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 6991872 140732288596590 140732288599388 140732288599388 140732288602063 0
[pid=9100/tid=9154] ppid=9097 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/9100/task/9154/stat : 9154 (java) S 9097 9100 5182 0 -1 1077944384 1 13145 0 0 0 0 5 3 20 0 15 0 49017084 11079016448 12522 33554432000 4194304 4196468 140732288594064 139670126230160 139670121998037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6991872 140732288596590 140732288599388 140732288599388 140732288602063 0
[pid=9100/tid=9155] ppid=9097 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/9100/task/9155/stat : 9155 (java) S 9097 9100 5182 0 -1 1077944384 1 13145 0 0 0 0 5 3 20 0 15 0 49017084 11079016448 12522 33554432000 4194304 4196468 140732288594064 139670055987728 139670121998037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6991872 140732288596590 140732288599388 140732288599388 140732288602063 0
[pid=9100/tid=9156] ppid=9097 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/9100/task/9156/stat : 9156 (java) S 9097 9100 5182 0 -1 1077944384 1 13145 0 0 0 0 5 3 20 0 15 0 49017084 11079016448 12522 33554432000 4194304 4196468 140732288594064 139669694507408 139670121998037 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6991872 140732288596590 140732288599388 140732288599388 140732288602063 0
[pid=9100/tid=9157] ppid=9097 vsize=10819352 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/9100/task/9157/stat : 9157 (java) S 9097 9100 5182 0 -1 1077944384 2 13145 0 0 0 0 5 3 20 0 15 0 49017084 11079016448 12522 33554432000 4194304 4196468 140732288594064 139669693454608 139670121998037 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6991872 140732288596590 140732288599388 140732288599388 140732288602063 0
[pid=9100/tid=9158] ppid=9097 vsize=10819352 memory=140160118023807 CPUtime=0.08 cores=1,3,5,7
/proc/9100/task/9158/stat : 9158 (java) S 9097 9100 5182 0 -1 1077944384 2 13145 0 0 0 0 5 3 20 0 15 0 49017085 11079016448 12522 33554432000 4194304 4196468 140732288594064 139669580786544 139670121998978 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6991872 140732288596590 140732288599388 140732288599388 140732288602063 0
[pid=9100/tid=9159] ppid=9097 vsize=10819352 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/9100/task/9159/stat : 9159 (java) S 9097 9100 5182 0 -1 1077944384 33 13145 0 0 0 0 5 3 20 0 15 0 49017085 11079016448 12522 33554432000 4194304 4196468 140732288594064 139669579732512 139670121998037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6991872 140732288596590 140732288599388 140732288599388 140732288602063 0
[pid=9100/tid=9160] ppid=9097 vsize=10819352 memory=140160118023808 CPUtime=0.08 cores=1,3,5,7
/proc/9100/task/9160/stat : 9160 (java) S 9097 9100 5182 0 -1 1077944384 1 13145 0 0 0 0 5 3 20 0 15 0 49017086 11079016448 12522 33554432000 4194304 4196468 140732288594064 139668981015920 139670121998037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6991872 140732288596590 140732288599388 140732288599388 140732288602063 0
[pid=9100/tid=9161] ppid=9097 vsize=10819352 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/9100/task/9161/stat : 9161 (java) S 9097 9100 5182 0 -1 1077944384 3 13145 0 0 0 0 5 3 20 0 15 0 49017088 11079016448 12522 33554432000 4194304 4196468 140732288594064 139668673616208 139670122006427 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6991872 140732288596590 140732288599388 140732288599388 140732288602063 0
[pid=9100/tid=9162] ppid=9097 vsize=10819352 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/9100/task/9162/stat : 9162 (java) S 9097 9100 5182 0 -1 1077944384 499 13145 0 0 2 0 5 3 20 0 15 0 49017088 11079016448 12522 33554432000 4194304 4196468 140732288594064 139669546174832 139670121998978 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6991872 140732288596590 140732288599388 140732288599388 140732288602063 0
[pid=9100/tid=9163] ppid=9097 vsize=10819352 memory=-1 CPUtime=0.09 cores=1,3,5,7
/proc/9100/task/9163/stat : 9163 (java) S 9097 9100 5182 0 -1 1077944384 148 13145 0 0 1 0 5 3 20 0 15 0 49017088 11079016448 12522 33554432000 4194304 4196468 140732288594064 139669545122032 139670121998978 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6991872 140732288596590 140732288599388 140732288599388 140732288602063 0
[pid=9100/tid=9164] ppid=9097 vsize=10819352 memory=0 CPUtime=0.13 cores=1,3,5,7
/proc/9100/task/9164/stat : 9164 (java) S 9097 9100 5182 0 -1 1077944384 725 13145 0 0 5 0 5 3 20 0 15 0 49017088 11079016448 12522 33554432000 4194304 4196468 140732288594064 139669544069232 139670121998978 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6991872 140732288596590 140732288599388 140732288599388 140732288602063 0
[pid=9100/tid=9165] ppid=9097 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/9100/task/9165/stat : 9165 (java) S 9097 9100 5182 0 -1 1077944384 3 13145 0 0 0 0 5 3 20 0 15 0 49017088 11079016448 12522 33554432000 4194304 4196468 140732288594064 139668640057568 139670121998037 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6991872 140732288596590 140732288599388 140732288599388 140732288602063 0
[pid=9100/tid=9166] ppid=9097 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/9100/task/9166/stat : 9166 (java) S 9097 9100 5182 0 -1 1077944384 1 13145 0 0 0 0 5 3 20 0 15 0 49017089 11079016448 12522 33554432000 4194304 4196468 140732288594064 139669543017648 139670121998978 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6991872 140732288596590 140732288599388 140732288599388 140732288602063 0
Current children cumulated CPU time: 0.39 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 50088 KiB
[startup+0.700784 s]
/proc/loadavg: 2.01 1.85 1.77 3/215 9166
/proc/meminfo: memFree=22368520/32770624 swapFree=67108860/67108860
[pid=9100] ppid=9097 vsize=10819352 memory=83676 CPUtime=0.99 cores=1,3,5,7
/proc/9100/stat : 9100 (java) S 9097 9100 5182 0 -1 1077944320 17180 13145 0 0 87 4 5 3 20 0 15 0 49017074 11079016448 20919 33554432000 4194304 4196468 140732288594064 140732288576608 139670121987831 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 6991872 140732288596590 140732288599388 140732288599388 140732288602063 0
/proc/9100/statm: 2704838 20919 3237 1 0 2667149 0
[pid=9100/tid=9153] ppid=9097 vsize=10819352 memory=16064 CPUtime=0.67 cores=1,3,5,7
/proc/9100/task/9153/stat : 9153 (java) R 9097 9100 5182 0 -1 4202560 12448 13145 0 0 56 3 5 3 20 0 15 0 49017083 11079016448 20919 33554432000 4194304 4196468 140732288594064 139670093808656 139670105174661 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 6991872 140732288596590 140732288599388 140732288599388 140732288602063 0
[pid=9100/tid=9154] ppid=9097 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/9100/task/9154/stat : 9154 (java) S 9097 9100 5182 0 -1 1077944384 1 13145 0 0 0 0 5 3 20 0 15 0 49017084 11079016448 20919 33554432000 4194304 4196468 140732288594064 139670126230160 139670121998037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6991872 140732288596590 140732288599388 140732288599388 140732288602063 0
[pid=9100/tid=9155] ppid=9097 vsize=10819352 memory=288230587427467614 CPUtime=0.08 cores=1,3,5,7
/proc/9100/task/9155/stat : 9155 (java) S 9097 9100 5182 0 -1 1077944384 1 13145 0 0 0 0 5 3 20 0 15 0 49017084 11079016448 20919 33554432000 4194304 4196468 140732288594064 139670055987728 139670121998037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6991872 140732288596590 140732288599388 140732288599388 140732288602063 0
[pid=9100/tid=9156] ppid=9097 vsize=10819352 memory=14689686622849938 CPUtime=0.08 cores=1,3,5,7
/proc/9100/task/9156/stat : 9156 (java) S 9097 9100 5182 0 -1 1077944384 1 13145 0 0 0 0 5 3 20 0 15 0 49017084 11079016448 20919 33554432000 4194304 4196468 140732288594064 139669694507408 139670121998037 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6991872 140732288596590 140732288599388 140732288599388 140732288602063 0
[pid=9100/tid=9157] ppid=9097 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/9100/task/9157/stat : 9157 (java) S 9097 9100 5182 0 -1 1077944384 2 13145 0 0 0 0 5 3 20 0 15 0 49017084 11079016448 20919 33554432000 4194304 4196468 140732288594064 139669693454608 139670121998037 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6991872 140732288596590 140732288599388 140732288599388 140732288602063 0
[pid=9100/tid=9158] ppid=9097 vsize=10819352 memory=140160016884224 CPUtime=0.08 cores=1,3,5,7
/proc/9100/task/9158/stat : 9158 (java) S 9097 9100 5182 0 -1 1077944384 5 13145 0 0 0 0 5 3 20 0 15 0 49017085 11079016448 20919 33554432000 4194304 4196468 140732288594064 139669580786544 139670121998978 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6991872 140732288596590 140732288599388 140732288599388 140732288602063 0
[pid=9100/tid=9159] ppid=9097 vsize=10819352 memory=140161962738668 CPUtime=0.08 cores=1,3,5,7
/proc/9100/task/9159/stat : 9159 (java) S 9097 9100 5182 0 -1 1077944384 33 13145 0 0 0 0 5 3 20 0 15 0 49017085 11079016448 20919 33554432000 4194304 4196468 140732288594064 139669579732512 139670121998037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6991872 140732288596590 140732288599388 140732288599388 140732288602063 0
[pid=9100/tid=9160] ppid=9097 vsize=10819352 memory=1240 CPUtime=0.08 cores=1,3,5,7
/proc/9100/task/9160/stat : 9160 (java) S 9097 9100 5182 0 -1 1077944384 1 13145 0 0 0 0 5 3 20 0 15 0 49017086 11079016448 20919 33554432000 4194304 4196468 140732288594064 139668981015920 139670121998037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6991872 140732288596590 140732288599388 140732288599388 140732288602063 0
[pid=9100/tid=9161] ppid=9097 vsize=10819352 memory=7305218370954224980 CPUtime=0.08 cores=1,3,5,7
/proc/9100/task/9161/stat : 9161 (java) S 9097 9100 5182 0 -1 1077944384 3 13145 0 0 0 0 5 3 20 0 15 0 49017088 11079016448 20919 33554432000 4194304 4196468 140732288594064 139668673616208 139670122006427 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6991872 140732288596590 140732288599388 140732288599388 140732288602063 0
[pid=9100/tid=9162] ppid=9097 vsize=10819352 memory=6441954429982824551 CPUtime=0.16 cores=1,3,5,7
/proc/9100/task/9162/stat : 9162 (java) S 9097 9100 5182 0 -1 1077944384 785 13145 0 0 8 0 5 3 20 0 15 0 49017088 11079016448 20919 33554432000 4194304 4196468 140732288594064 139669546174832 139670121998978 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6991872 140732288596590 140732288599388 140732288599388 140732288602063 0
[pid=9100/tid=9163] ppid=9097 vsize=10819352 memory=6935654753453035600 CPUtime=0.16 cores=1,3,5,7
/proc/9100/task/9163/stat : 9163 (java) S 9097 9100 5182 0 -1 1077944384 789 13145 0 0 8 0 5 3 20 0 15 0 49017088 11079016448 20919 33554432000 4194304 4196468 140732288594064 139669545122032 139670121998978 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6991872 140732288596590 140732288599388 140732288599388 140732288602063 0
[pid=9100/tid=9164] ppid=9097 vsize=10819352 memory=5450909908396308010 CPUtime=0.21 cores=1,3,5,7
/proc/9100/task/9164/stat : 9164 (java) S 9097 9100 5182 0 -1 1077944384 915 13145 0 0 13 0 5 3 20 0 15 0 49017088 11079016448 20919 33554432000 4194304 4196468 140732288594064 139669544069232 139670121998978 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6991872 140732288596590 140732288599388 140732288599388 140732288602063 0
[pid=9100/tid=9165] ppid=9097 vsize=10819352 memory=1404238533841559158 CPUtime=0.08 cores=1,3,5,7
/proc/9100/task/9165/stat : 9165 (java) S 9097 9100 5182 0 -1 1077944384 3 13145 0 0 0 0 5 3 20 0 15 0 49017088 11079016448 20919 33554432000 4194304 4196468 140732288594064 139668640057568 139670121998037 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6991872 140732288596590 140732288599388 140732288599388 140732288602063 0
[pid=9100/tid=9166] ppid=9097 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/9100/task/9166/stat : 9166 (java) S 9097 9100 5182 0 -1 1077944384 1 13145 0 0 0 0 5 3 20 0 15 0 49017089 11079016448 20919 33554432000 4194304 4196468 140732288594064 139669543017648 139670121998978 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6991872 140732288596590 140732288599388 140732288599388 140732288602063 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 83676 KiB
[startup+1.50074 s]
/proc/loadavg: 2.01 1.85 1.77 3/215 9166
/proc/meminfo: memFree=22322064/32770624 swapFree=67108860/67108860
[pid=9100] ppid=9097 vsize=10834252 memory=195132 CPUtime=2.73 cores=1,3,5,7
/proc/9100/stat : 9100 (java) S 9097 9100 5182 0 -1 1077944320 24950 13145 0 0 255 10 5 3 20 0 15 0 49017074 11094274048 48783 33554432000 4194304 4196468 140732288594064 140732288576608 139670121987831 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 6991872 140732288596590 140732288599388 140732288599388 140732288602063 0
/proc/9100/statm: 2708563 48783 3473 1 0 2670221 0
[pid=9100/tid=9153] ppid=9097 vsize=10834252 memory=137980 CPUtime=1.43 cores=1,3,5,7
/proc/9100/task/9153/stat : 9153 (java) R 9097 9100 5182 0 -1 4202560 17226 13145 0 0 129 6 5 3 20 0 15 0 49017083 11094274048 48783 33554432000 4194304 4196468 140732288594064 139670093805008 139670122009757 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 6991872 140732288596590 140732288599388 140732288599388 140732288602063 0
[pid=9100/tid=9154] ppid=9097 vsize=10834252 memory=-3117775541953848418 CPUtime=0.09 cores=1,3,5,7
/proc/9100/task/9154/stat : 9154 (java) S 9097 9100 5182 0 -1 1077944384 33 13145 0 0 1 0 5 3 20 0 15 0 49017084 11094274048 48783 33554432000 4194304 4196468 140732288594064 139670126230160 139670121998037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6991872 140732288596590 140732288599388 140732288599388 140732288602063 0
[pid=9100/tid=9155] ppid=9097 vsize=10834252 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/9100/task/9155/stat : 9155 (java) S 9097 9100 5182 0 -1 1077944384 55 13145 0 0 1 0 5 3 20 0 15 0 49017084 11094274048 48783 33554432000 4194304 4196468 140732288594064 139670055987728 139670121998037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6991872 140732288596590 140732288599388 140732288599388 140732288602063 0
[pid=9100/tid=9156] ppid=9097 vsize=10834252 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/9100/task/9156/stat : 9156 (java) S 9097 9100 5182 0 -1 1077944384 154 13145 0 0 1 0 5 3 20 0 15 0 49017084 11094274048 48783 33554432000 4194304 4196468 140732288594064 139669694507408 139670121998037 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6991872 140732288596590 140732288599388 140732288599388 140732288602063 0
[pid=9100/tid=9157] ppid=9097 vsize=10834252 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/9100/task/9157/stat : 9157 (java) S 9097 9100 5182 0 -1 1077944384 23 13145 0 0 1 0 5 3 20 0 15 0 49017084 11094274048 48783 33554432000 4194304 4196468 140732288594064 139669693454608 139670121998037 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6991872 140732288596590 140732288599388 140732288599388 140732288602063 0
[pid=9100/tid=9158] ppid=9097 vsize=10834252 memory=179493327133157 CPUtime=0.09 cores=1,3,5,7
/proc/9100/task/9158/stat : 9158 (java) S 9097 9100 5182 0 -1 1077944384 61 13145 0 0 1 0 5 3 20 0 15 0 49017085 11094274048 48783 33554432000 4194304 4196468 140732288594064 139669580786544 139670121998978 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6991872 140732288596590 140732288599388 140732288599388 140732288602063 0
[pid=9100/tid=9159] ppid=9097 vsize=10834252 memory=267430 CPUtime=0.08 cores=1,3,5,7
/proc/9100/task/9159/stat : 9159 (java) S 9097 9100 5182 0 -1 1077944384 34 13145 0 0 0 0 5 3 20 0 15 0 49017085 11094274048 48783 33554432000 4194304 4196468 140732288594064 139669579732576 139670121998037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6991872 140732288596590 140732288599388 140732288599388 140732288602063 0
[pid=9100/tid=9160] ppid=9097 vsize=10834252 memory=4638778398332768848 CPUtime=0.08 cores=1,3,5,7
/proc/9100/task/9160/stat : 9160 (java) S 9097 9100 5182 0 -1 1077944384 1 13145 0 0 0 0 5 3 20 0 15 0 49017086 11094274048 48783 33554432000 4194304 4196468 140732288594064 139668981015936 139670121998037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6991872 140732288596590 140732288599388 140732288599388 140732288602063 0
[pid=9100/tid=9161] ppid=9097 vsize=10834252 memory=6935649255759568960 CPUtime=0.08 cores=1,3,5,7
/proc/9100/task/9161/stat : 9161 (java) S 9097 9100 5182 0 -1 1077944384 3 13145 0 0 0 0 5 3 20 0 15 0 49017088 11094274048 48783 33554432000 4194304 4196468 140732288594064 139668673616208 139670122006427 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6991872 140732288596590 140732288599388 140732288599388 140732288602063 0
[pid=9100/tid=9162] ppid=9097 vsize=10834252 memory=280320033161456 CPUtime=0.48 cores=1,3,5,7
/proc/9100/task/9162/stat : 9162 (java) S 9097 9100 5182 0 -1 1077944384 2096 13145 0 0 40 0 5 3 20 0 15 0 49017088 11094274048 48783 33554432000 4194304 4196468 140732288594064 139669546174832 139670121998978 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6991872 140732288596590 140732288599388 140732288599388 140732288602063 0
[pid=9100/tid=9163] ppid=9097 vsize=10834252 memory=4638778398332698722 CPUtime=0.45 cores=1,3,5,7
/proc/9100/task/9163/stat : 9163 (java) S 9097 9100 5182 0 -1 1077944384 1343 13145 0 0 37 0 5 3 20 0 15 0 49017088 11094274048 48783 33554432000 4194304 4196468 140732288594064 139669545122032 139670121998978 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6991872 140732288596590 140732288599388 140732288599388 140732288602063 0
[pid=9100/tid=9164] ppid=9097 vsize=10834252 memory=9050153427394003117 CPUtime=0.48 cores=1,3,5,7
/proc/9100/task/9164/stat : 9164 (java) S 9097 9100 5182 0 -1 1077944384 1725 13145 0 0 40 0 5 3 20 0 15 0 49017088 11094274048 48783 33554432000 4194304 4196468 140732288594064 139669544069232 139670121998978 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6991872 140732288596590 140732288599388 140732288599388 140732288602063 0
[pid=9100/tid=9165] ppid=9097 vsize=10834252 memory=6943526294502006880 CPUtime=0.08 cores=1,3,5,7
/proc/9100/task/9165/stat : 9165 (java) S 9097 9100 5182 0 -1 1077944384 3 13145 0 0 0 0 5 3 20 0 15 0 49017088 11094274048 48783 33554432000 4194304 4196468 140732288594064 139668640057568 139670121998037 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6991872 140732288596590 140732288599388 140732288599388 140732288602063 0
[pid=9100/tid=9166] ppid=9097 vsize=10834252 memory=6944656592455360604 CPUtime=0.08 cores=1,3,5,7
/proc/9100/task/9166/stat : 9166 (java) S 9097 9100 5182 0 -1 1077944384 1 13145 0 0 0 0 5 3 20 0 15 0 49017089 11094274048 48783 33554432000 4194304 4196468 140732288594064 139669543017648 139670121998978 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6991872 140732288596590 140732288599388 140732288599388 140732288602063 0
Current children cumulated CPU time: 2.73 s
Current children cumulated vsize: 10834252 KiB
################
# More data... #
################
/proc/9100/task/9153/stat : 9153 (java) R 9097 9100 5182 0 -1 4202560 70109 13145 0 0 237652 22 5 3 20 0 15 0 49017083 11178180608 200425 33554432000 4194304 4196468 140732288594064 139670093823008 139669745896722 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 6991872 140732288596590 140732288599388 140732288599388 140732288602063 0
[pid=9100/tid=9154] ppid=9097 vsize=10916192 memory=804776 CPUtime=4.65 cores=1,3,5,7
/proc/9100/task/9154/stat : 9154 (java) S 9097 9100 5182 0 -1 1077944384 5388 13145 0 0 434 23 5 3 20 0 15 0 49017084 11178180608 200425 33554432000 4194304 4196468 140732288594064 139670126230160 139670121998037 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6991872 140732288596590 140732288599388 140732288599388 140732288602063 0
[pid=9100/tid=9155] ppid=9097 vsize=10916192 memory=803752 CPUtime=4.62 cores=1,3,5,7
/proc/9100/task/9155/stat : 9155 (java) S 9097 9100 5182 0 -1 1077944384 6077 13145 0 0 430 24 5 3 20 0 15 0 49017084 11178180608 200425 33554432000 4194304 4196468 140732288594064 139670055987728 139670121998037 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6991872 140732288596590 140732288599388 140732288599388 140732288602063 0
[pid=9100/tid=9156] ppid=9097 vsize=10916192 memory=801700 CPUtime=4.62 cores=1,3,5,7
/proc/9100/task/9156/stat : 9156 (java) S 9097 9100 5182 0 -1 1077944384 6628 13145 0 0 428 26 5 3 20 0 15 0 49017084 11178180608 200425 33554432000 4194304 4196468 140732288594064 139669694507408 139670121998037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6991872 140732288596590 140732288599388 140732288599388 140732288602063 0
[pid=9100/tid=9157] ppid=9097 vsize=10916192 memory=801700 CPUtime=4.62 cores=1,3,5,7
/proc/9100/task/9157/stat : 9157 (java) S 9097 9100 5182 0 -1 1077944384 5659 13145 0 0 429 25 5 3 20 0 15 0 49017084 11178180608 200425 33554432000 4194304 4196468 140732288594064 139669693454608 139670121998037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6991872 140732288596590 140732288599388 140732288599388 140732288602063 0
[pid=9100/tid=9158] ppid=9097 vsize=10916192 memory=813872 CPUtime=0.81 cores=1,3,5,7
/proc/9100/task/9158/stat : 9158 (java) S 9097 9100 5182 0 -1 1077944384 7334 13145 0 0 63 10 5 3 20 0 15 0 49017085 11178180608 200425 33554432000 4194304 4196468 140732288594064 139669580786544 139670121998978 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6991872 140732288596590 140732288599388 140732288599388 140732288602063 0
[pid=9100/tid=9159] ppid=9097 vsize=10916192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/9100/task/9159/stat : 9159 (java) S 9097 9100 5182 0 -1 1077944384 66 13145 0 0 0 0 5 3 20 0 15 0 49017085 11178180608 200425 33554432000 4194304 4196468 140732288594064 139669579732640 139670121998037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6991872 140732288596590 140732288599388 140732288599388 140732288602063 0
[pid=9100/tid=9160] ppid=9097 vsize=10916192 memory=801700 CPUtime=0.08 cores=1,3,5,7
/proc/9100/task/9160/stat : 9160 (java) S 9097 9100 5182 0 -1 1077944384 17 13145 0 0 0 0 5 3 20 0 15 0 49017086 11178180608 200425 33554432000 4194304 4196468 140732288594064 139668981015936 139670121998037 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6991872 140732288596590 140732288599388 140732288599388 140732288602063 0
[pid=9100/tid=9161] ppid=9097 vsize=10916192 memory=802212 CPUtime=0.08 cores=1,3,5,7
/proc/9100/task/9161/stat : 9161 (java) S 9097 9100 5182 0 -1 1077944384 3 13145 0 0 0 0 5 3 20 0 15 0 49017088 11178180608 200425 33554432000 4194304 4196468 140732288594064 139668673616208 139670122006427 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6991872 140732288596590 140732288599388 140732288599388 140732288602063 0
[pid=9100/tid=9162] ppid=9097 vsize=10916192 memory=16128 CPUtime=9.66 cores=1,3,5,7
/proc/9100/task/9162/stat : 9162 (java) S 9097 9100 5182 0 -1 1077944384 21292 13145 0 0 953 5 5 3 20 0 15 0 49017088 11178180608 200425 33554432000 4194304 4196468 140732288594064 139669546174832 139670121998978 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6991872 140732288596590 140732288599388 140732288599388 140732288602063 0
[pid=9100/tid=9163] ppid=9097 vsize=10916192 memory=811300 CPUtime=9.93 cores=1,3,5,7
/proc/9100/task/9163/stat : 9163 (java) S 9097 9100 5182 0 -1 1077944384 18686 13145 0 0 980 5 5 3 20 0 15 0 49017088 11178180608 200425 33554432000 4194304 4196468 140732288594064 139669545122032 139670121998978 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6991872 140732288596590 140732288599388 140732288599388 140732288602063 0
[pid=9100/tid=9164] ppid=9097 vsize=10916192 memory=801700 CPUtime=3.88 cores=1,3,5,7
/proc/9100/task/9164/stat : 9164 (java) S 9097 9100 5182 0 -1 1077944384 18804 13145 0 0 372 8 5 3 20 0 15 0 49017088 11178180608 200425 33554432000 4194304 4196468 140732288594064 139669544069232 139670121998978 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6991872 140732288596590 140732288599388 140732288599388 140732288602063 0
[pid=9100/tid=9165] ppid=9097 vsize=10916192 memory=7392 CPUtime=0.08 cores=1,3,5,7
/proc/9100/task/9165/stat : 9165 (java) S 9097 9100 5182 0 -1 1077944384 3 13145 0 0 0 0 5 3 20 0 15 0 49017088 11178180608 200425 33554432000 4194304 4196468 140732288594064 139668640057568 139670121998037 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6991872 140732288596590 140732288599388 140732288599388 140732288602063 0
[pid=9100/tid=9166] ppid=9097 vsize=10916192 memory=8112282956445269571 CPUtime=1.47 cores=1,3,5,7
/proc/9100/task/9166/stat : 9166 (java) S 9097 9100 5182 0 -1 1077944384 1983 13145 0 0 62 77 5 3 20 0 15 0 49017089 11178180608 200425 33554432000 4194304 4196468 140732288594064 139669543017648 139670121998978 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6991872 140732288596590 140732288599388 140732288599388 140732288602063 0
Current children cumulated CPU time: 2420.49 s
Current children cumulated vsize: 10916192 KiB
Current children cumulated memory: 801700 KiB
[startup+2442.3 s]
/proc/loadavg: 1.00 1.54 1.76 3/215 9393
/proc/meminfo: memFree=20936680/32770624 swapFree=67108860/67108860
[pid=9100] ppid=9097 vsize=10916192 memory=853932 CPUtime=2481.88 cores=1,3,5,7
/proc/9100/stat : 9100 (java) S 9097 9100 5182 0 -1 1077944320 170887 13145 0 0 247966 214 5 3 20 0 15 0 49017074 11178180608 213483 33554432000 4194304 4196468 140732288594064 140732288576608 139670121987831 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 6991872 140732288596590 140732288599388 140732288599388 140732288602063 0
/proc/9100/statm: 2729048 213483 3539 1 0 2690701 0
[pid=9100/tid=9153] ppid=9097 vsize=10916192 memory=853932 CPUtime=2436.24 cores=1,3,5,7
/proc/9100/task/9153/stat : 9153 (java) R 9097 9100 5182 0 -1 4202560 75828 13145 0 0 243593 23 5 3 20 0 15 0 49017083 11178180608 213483 33554432000 4194304 4196468 140732288594064 139670093823344 139669745896964 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 6991872 140732288596590 140732288599388 140732288599388 140732288602063 0
[pid=9100/tid=9154] ppid=9097 vsize=10916192 memory=803752 CPUtime=5.12 cores=1,3,5,7
/proc/9100/task/9154/stat : 9154 (java) S 9097 9100 5182 0 -1 1077944384 5628 13145 0 0 480 24 5 3 20 0 15 0 49017084 11178180608 213483 33554432000 4194304 4196468 140732288594064 139670126230160 139670121998037 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6991872 140732288596590 140732288599388 140732288599388 140732288602063 0
[pid=9100/tid=9155] ppid=9097 vsize=10916192 memory=810328 CPUtime=5.09 cores=1,3,5,7
/proc/9100/task/9155/stat : 9155 (java) S 9097 9100 5182 0 -1 1077944384 6338 13145 0 0 476 25 5 3 20 0 15 0 49017084 11178180608 213483 33554432000 4194304 4196468 140732288594064 139670055987728 139670121998037 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6991872 140732288596590 140732288599388 140732288599388 140732288602063 0
[pid=9100/tid=9156] ppid=9097 vsize=10916192 memory=847368 CPUtime=5.08 cores=1,3,5,7
/proc/9100/task/9156/stat : 9156 (java) S 9097 9100 5182 0 -1 1077944384 6794 13145 0 0 473 27 5 3 20 0 15 0 49017084 11178180608 213483 33554432000 4194304 4196468 140732288594064 139669694507408 139670121998037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6991872 140732288596590 140732288599388 140732288599388 140732288602063 0
[pid=9100/tid=9157] ppid=9097 vsize=10916192 memory=847368 CPUtime=5.08 cores=1,3,5,7
/proc/9100/task/9157/stat : 9157 (java) S 9097 9100 5182 0 -1 1077944384 5847 13145 0 0 474 26 5 3 20 0 15 0 49017084 11178180608 213483 33554432000 4194304 4196468 140732288594064 139669693454608 139670121998037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6991872 140732288596590 140732288599388 140732288599388 140732288602063 0
[pid=9100/tid=9158] ppid=9097 vsize=10916192 memory=852080 CPUtime=0.89 cores=1,3,5,7
/proc/9100/task/9158/stat : 9158 (java) S 9097 9100 5182 0 -1 1077944384 7402 13145 0 0 70 11 5 3 20 0 15 0 49017085 11178180608 213483 33554432000 4194304 4196468 140732288594064 139669580786544 139670121998978 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6991872 140732288596590 140732288599388 140732288599388 140732288602063 0
[pid=9100/tid=9159] ppid=9097 vsize=10916192 memory=853932 CPUtime=0.08 cores=1,3,5,7
/proc/9100/task/9159/stat : 9159 (java) S 9097 9100 5182 0 -1 1077944384 66 13145 0 0 0 0 5 3 20 0 15 0 49017085 11178180608 213483 33554432000 4194304 4196468 140732288594064 139669579732640 139670121998037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6991872 140732288596590 140732288599388 140732288599388 140732288602063 0
[pid=9100/tid=9160] ppid=9097 vsize=10916192 memory=853932 CPUtime=0.08 cores=1,3,5,7
/proc/9100/task/9160/stat : 9160 (java) S 9097 9100 5182 0 -1 1077944384 17 13145 0 0 0 0 5 3 20 0 15 0 49017086 11178180608 213483 33554432000 4194304 4196468 140732288594064 139668981015936 139670121998037 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6991872 140732288596590 140732288599388 140732288599388 140732288602063 0
[pid=9100/tid=9161] ppid=9097 vsize=10916192 memory=853932 CPUtime=0.08 cores=1,3,5,7
/proc/9100/task/9161/stat : 9161 (java) S 9097 9100 5182 0 -1 1077944384 3 13145 0 0 0 0 5 3 20 0 15 0 49017088 11178180608 213483 33554432000 4194304 4196468 140732288594064 139668673616208 139670122006427 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6991872 140732288596590 140732288599388 140732288599388 140732288602063 0
[pid=9100/tid=9162] ppid=9097 vsize=10916192 memory=853932 CPUtime=9.66 cores=1,3,5,7
/proc/9100/task/9162/stat : 9162 (java) S 9097 9100 5182 0 -1 1077944384 21292 13145 0 0 953 5 5 3 20 0 15 0 49017088 11178180608 213483 33554432000 4194304 4196468 140732288594064 139669546174832 139670121998978 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6991872 140732288596590 140732288599388 140732288599388 140732288602063 0
[pid=9100/tid=9163] ppid=9097 vsize=10916192 memory=853932 CPUtime=9.93 cores=1,3,5,7
/proc/9100/task/9163/stat : 9163 (java) S 9097 9100 5182 0 -1 1077944384 18686 13145 0 0 980 5 5 3 20 0 15 0 49017088 11178180608 213483 33554432000 4194304 4196468 140732288594064 139669545122032 139670121998978 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6991872 140732288596590 140732288599388 140732288599388 140732288602063 0
[pid=9100/tid=9164] ppid=9097 vsize=10916192 memory=853932 CPUtime=3.88 cores=1,3,5,7
/proc/9100/task/9164/stat : 9164 (java) S 9097 9100 5182 0 -1 1077944384 18804 13145 0 0 372 8 5 3 20 0 15 0 49017088 11178180608 213483 33554432000 4194304 4196468 140732288594064 139669544069232 139670121998978 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6991872 140732288596590 140732288599388 140732288599388 140732288602063 0
[pid=9100/tid=9165] ppid=9097 vsize=10916192 memory=853932 CPUtime=0.08 cores=1,3,5,7
/proc/9100/task/9165/stat : 9165 (java) S 9097 9100 5182 0 -1 1077944384 3 13145 0 0 0 0 5 3 20 0 15 0 49017088 11178180608 213483 33554432000 4194304 4196468 140732288594064 139668640057568 139670121998037 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6991872 140732288596590 140732288599388 140732288599388 140732288602063 0
[pid=9100/tid=9166] ppid=9097 vsize=10916192 memory=853932 CPUtime=1.5 cores=1,3,5,7
/proc/9100/task/9166/stat : 9166 (java) S 9097 9100 5182 0 -1 1077944384 1987 13145 0 0 63 79 5 3 20 0 15 0 49017089 11178180608 213483 33554432000 4194304 4196468 140732288594064 139669543017648 139670121998978 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6991872 140732288596590 140732288599388 140732288599388 140732288602063 0
Current children cumulated CPU time: 2481.88 s
Current children cumulated vsize: 10916192 KiB
Current children cumulated memory: 853932 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2479.7 s]
/proc/loadavg: 0.86 1.44 1.71 3/215 9394
/proc/meminfo: memFree=20939568/32770624 swapFree=67108860/67108860
[pid=9100] ppid=9097 vsize=10916192 memory=857848 CPUtime=2520.09 cores=1,3,5,7
/proc/9100/stat : 9100 (java) S 9097 9100 5182 0 -1 1077944320 178497 13145 0 0 251784 217 5 3 20 0 15 0 49017074 11178180608 214462 33554432000 4194304 4196468 140732288594064 140732288576608 139670121987831 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 6991872 140732288596590 140732288599388 140732288599388 140732288602063 0
/proc/9100/statm: 2729048 214462 3539 1 0 2690701 0
[pid=9100/tid=9153] ppid=9097 vsize=10916192 memory=857848 CPUtime=2473.31 cores=1,3,5,7
/proc/9100/task/9153/stat : 9153 (java) R 9097 9100 5182 0 -1 4202560 81918 13145 0 0 247299 24 5 3 20 0 15 0 49017083 11178180608 214462 33554432000 4194304 4196468 140732288594064 139670093823136 139669745896844 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 6991872 140732288596590 140732288599388 140732288599388 140732288602063 0
[pid=9100/tid=9154] ppid=9097 vsize=10916192 memory=859388 CPUtime=5.39 cores=1,3,5,7
/proc/9100/task/9154/stat : 9154 (java) S 9097 9100 5182 0 -1 1077944384 6015 13145 0 0 507 24 5 3 20 0 15 0 49017084 11178180608 214462 33554432000 4194304 4196468 140732288594064 139670126230160 139670121998037 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6991872 140732288596590 140732288599388 140732288599388 140732288602063 0
[pid=9100/tid=9155] ppid=9097 vsize=10916192 memory=860928 CPUtime=5.37 cores=1,3,5,7
/proc/9100/task/9155/stat : 9155 (java) S 9097 9100 5182 0 -1 1077944384 6461 13145 0 0 503 26 5 3 20 0 15 0 49017084 11178180608 214462 33554432000 4194304 4196468 140732288594064 139670055987728 139670121998037 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6991872 140732288596590 140732288599388 140732288599388 140732288602063 0
[pid=9100/tid=9156] ppid=9097 vsize=10916192 memory=860184 CPUtime=5.36 cores=1,3,5,7
/proc/9100/task/9156/stat : 9156 (java) S 9097 9100 5182 0 -1 1077944384 7159 13145 0 0 500 28 5 3 20 0 15 0 49017084 11178180608 214462 33554432000 4194304 4196468 140732288594064 139669694507408 139670121998037 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6991872 140732288596590 140732288599388 140732288599388 140732288602063 0
[pid=9100/tid=9157] ppid=9097 vsize=10916192 memory=860000 CPUtime=5.35 cores=1,3,5,7
/proc/9100/task/9157/stat : 9157 (java) S 9097 9100 5182 0 -1 1077944384 6254 13145 0 0 501 26 5 3 20 0 15 0 49017084 11178180608 214462 33554432000 4194304 4196468 140732288594064 139669693454608 139670121998037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6991872 140732288596590 140732288599388 140732288599388 140732288602063 0
[pid=9100/tid=9158] ppid=9097 vsize=10916192 memory=847368 CPUtime=0.93 cores=1,3,5,7
/proc/9100/task/9158/stat : 9158 (java) S 9097 9100 5182 0 -1 1077944384 7617 13145 0 0 74 11 5 3 20 0 15 0 49017085 11178180608 214462 33554432000 4194304 4196468 140732288594064 139669580786544 139670121998978 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6991872 140732288596590 140732288599388 140732288599388 140732288602063 0
[pid=9100/tid=9159] ppid=9097 vsize=10916192 memory=860184 CPUtime=0.08 cores=1,3,5,7
/proc/9100/task/9159/stat : 9159 (java) S 9097 9100 5182 0 -1 1077944384 66 13145 0 0 0 0 5 3 20 0 15 0 49017085 11178180608 214462 33554432000 4194304 4196468 140732288594064 139669579732640 139670121998037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6991872 140732288596590 140732288599388 140732288599388 140732288602063 0
[pid=9100/tid=9160] ppid=9097 vsize=10916192 memory=857848 CPUtime=0.08 cores=1,3,5,7
/proc/9100/task/9160/stat : 9160 (java) S 9097 9100 5182 0 -1 1077944384 17 13145 0 0 0 0 5 3 20 0 15 0 49017086 11178180608 214462 33554432000 4194304 4196468 140732288594064 139668981015936 139670121998037 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6991872 140732288596590 140732288599388 140732288599388 140732288602063 0
[pid=9100/tid=9161] ppid=9097 vsize=10916192 memory=857848 CPUtime=0.08 cores=1,3,5,7
/proc/9100/task/9161/stat : 9161 (java) S 9097 9100 5182 0 -1 1077944384 3 13145 0 0 0 0 5 3 20 0 15 0 49017088 11178180608 214462 33554432000 4194304 4196468 140732288594064 139668673616208 139670122006427 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6991872 140732288596590 140732288599388 140732288599388 140732288602063 0
[pid=9100/tid=9162] ppid=9097 vsize=10916192 memory=1240 CPUtime=9.66 cores=1,3,5,7
/proc/9100/task/9162/stat : 9162 (java) S 9097 9100 5182 0 -1 1077944384 21294 13145 0 0 953 5 5 3 20 0 15 0 49017088 11178180608 214462 33554432000 4194304 4196468 140732288594064 139669546174832 139670121998978 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6991872 140732288596590 140732288599388 140732288599388 140732288602063 0
[pid=9100/tid=9163] ppid=9097 vsize=10916192 memory=857848 CPUtime=9.93 cores=1,3,5,7
/proc/9100/task/9163/stat : 9163 (java) S 9097 9100 5182 0 -1 1077944384 18689 13145 0 0 980 5 5 3 20 0 15 0 49017088 11178180608 214462 33554432000 4194304 4196468 140732288594064 139669545122032 139670121998978 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6991872 140732288596590 140732288599388 140732288599388 140732288602063 0
[pid=9100/tid=9164] ppid=9097 vsize=10916192 memory=18484 CPUtime=3.88 cores=1,3,5,7
/proc/9100/task/9164/stat : 9164 (java) S 9097 9100 5182 0 -1 1077944384 18806 13145 0 0 372 8 5 3 20 0 15 0 49017088 11178180608 214462 33554432000 4194304 4196468 140732288594064 139669544069232 139670121998978 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6991872 140732288596590 140732288599388 140732288599388 140732288602063 0
[pid=9100/tid=9165] ppid=9097 vsize=10916192 memory=860184 CPUtime=0.08 cores=1,3,5,7
/proc/9100/task/9165/stat : 9165 (java) S 9097 9100 5182 0 -1 1077944384 3 13145 0 0 0 0 5 3 20 0 15 0 49017088 11178180608 214462 33554432000 4194304 4196468 140732288594064 139668640057568 139670121998037 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6991872 140732288596590 140732288599388 140732288599388 140732288602063 0
[pid=9100/tid=9166] ppid=9097 vsize=10916192 memory=1296 CPUtime=1.53 cores=1,3,5,7
/proc/9100/task/9166/stat : 9166 (java) S 9097 9100 5182 0 -1 1077944384 2003 13145 0 0 65 80 5 3 20 0 15 0 49017089 11178180608 214462 33554432000 4194304 4196468 140732288594064 139669543017648 139670121998978 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6991872 140732288596590 140732288599388 140732288599388 140732288602063 0
Current children cumulated CPU time: 2520.09 s
Current children cumulated vsize: 10916192 KiB
Current children cumulated memory: 857848 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2479.73 s]
# the end of solver process 9100 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2517.91 s, system=2.21934 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2479.7 s]
/proc/loadavg: 0.86 1.44 1.71 3/215 9394
/proc/meminfo: memFree=20939568/32770624 swapFree=67108860/67108860
[pid=9100] ppid=9097 vsize=10916192 memory=857848 CPUtime=2520.09 cores=1,3,5,7
/proc/9100/stat : 9100 (java) S 9097 9100 5182 0 -1 1077944320 178497 13145 0 0 251784 217 5 3 20 0 15 0 49017074 11178180608 214462 33554432000 4194304 4196468 140732288594064 140732288576608 139670121987831 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 6991872 140732288596590 140732288599388 140732288599388 140732288602063 0
/proc/9100/statm: 2729048 214462 3539 1 0 2690701 0
[pid=9100/tid=9153] ppid=9097 vsize=10916192 memory=857848 CPUtime=2473.31 cores=1,3,5,7
/proc/9100/task/9153/stat : 9153 (java) R 9097 9100 5182 0 -1 4202560 81918 13145 0 0 247299 24 5 3 20 0 15 0 49017083 11178180608 214462 33554432000 4194304 4196468 140732288594064 139670093823136 139669745896844 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 6991872 140732288596590 140732288599388 140732288599388 140732288602063 0
[pid=9100/tid=9154] ppid=9097 vsize=10916192 memory=859388 CPUtime=5.39 cores=1,3,5,7
/proc/9100/task/9154/stat : 9154 (java) S 9097 9100 5182 0 -1 1077944384 6015 13145 0 0 507 24 5 3 20 0 15 0 49017084 11178180608 214462 33554432000 4194304 4196468 140732288594064 139670126230160 139670121998037 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6991872 140732288596590 140732288599388 140732288599388 140732288602063 0
[pid=9100/tid=9155] ppid=9097 vsize=10916192 memory=860928 CPUtime=5.37 cores=1,3,5,7
/proc/9100/task/9155/stat : 9155 (java) S 9097 9100 5182 0 -1 1077944384 6461 13145 0 0 503 26 5 3 20 0 15 0 49017084 11178180608 214462 33554432000 4194304 4196468 140732288594064 139670055987728 139670121998037 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6991872 140732288596590 140732288599388 140732288599388 140732288602063 0
[pid=9100/tid=9156] ppid=9097 vsize=10916192 memory=860184 CPUtime=5.36 cores=1,3,5,7
/proc/9100/task/9156/stat : 9156 (java) S 9097 9100 5182 0 -1 1077944384 7159 13145 0 0 500 28 5 3 20 0 15 0 49017084 11178180608 214462 33554432000 4194304 4196468 140732288594064 139669694507408 139670121998037 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6991872 140732288596590 140732288599388 140732288599388 140732288602063 0
[pid=9100/tid=9157] ppid=9097 vsize=10916192 memory=860000 CPUtime=5.35 cores=1,3,5,7
/proc/9100/task/9157/stat : 9157 (java) S 9097 9100 5182 0 -1 1077944384 6254 13145 0 0 501 26 5 3 20 0 15 0 49017084 11178180608 214462 33554432000 4194304 4196468 140732288594064 139669693454608 139670121998037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6991872 140732288596590 140732288599388 140732288599388 140732288602063 0
[pid=9100/tid=9158] ppid=9097 vsize=10916192 memory=847368 CPUtime=0.93 cores=1,3,5,7
/proc/9100/task/9158/stat : 9158 (java) S 9097 9100 5182 0 -1 1077944384 7617 13145 0 0 74 11 5 3 20 0 15 0 49017085 11178180608 214462 33554432000 4194304 4196468 140732288594064 139669580786544 139670121998978 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6991872 140732288596590 140732288599388 140732288599388 140732288602063 0
[pid=9100/tid=9159] ppid=9097 vsize=10916192 memory=860184 CPUtime=0.08 cores=1,3,5,7
/proc/9100/task/9159/stat : 9159 (java) S 9097 9100 5182 0 -1 1077944384 66 13145 0 0 0 0 5 3 20 0 15 0 49017085 11178180608 214462 33554432000 4194304 4196468 140732288594064 139669579732640 139670121998037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6991872 140732288596590 140732288599388 140732288599388 140732288602063 0
[pid=9100/tid=9160] ppid=9097 vsize=10916192 memory=857848 CPUtime=0.08 cores=1,3,5,7
/proc/9100/task/9160/stat : 9160 (java) S 9097 9100 5182 0 -1 1077944384 17 13145 0 0 0 0 5 3 20 0 15 0 49017086 11178180608 214462 33554432000 4194304 4196468 140732288594064 139668981015936 139670121998037 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6991872 140732288596590 140732288599388 140732288599388 140732288602063 0
[pid=9100/tid=9161] ppid=9097 vsize=10916192 memory=857848 CPUtime=0.08 cores=1,3,5,7
/proc/9100/task/9161/stat : 9161 (java) S 9097 9100 5182 0 -1 1077944384 3 13145 0 0 0 0 5 3 20 0 15 0 49017088 11178180608 214462 33554432000 4194304 4196468 140732288594064 139668673616208 139670122006427 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6991872 140732288596590 140732288599388 140732288599388 140732288602063 0
[pid=9100/tid=9162] ppid=9097 vsize=10916192 memory=1240 CPUtime=9.66 cores=1,3,5,7
/proc/9100/task/9162/stat : 9162 (java) S 9097 9100 5182 0 -1 1077944384 21294 13145 0 0 953 5 5 3 20 0 15 0 49017088 11178180608 214462 33554432000 4194304 4196468 140732288594064 139669546174832 139670121998978 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6991872 140732288596590 140732288599388 140732288599388 140732288602063 0
[pid=9100/tid=9163] ppid=9097 vsize=10916192 memory=857848 CPUtime=9.93 cores=1,3,5,7
/proc/9100/task/9163/stat : 9163 (java) S 9097 9100 5182 0 -1 1077944384 18689 13145 0 0 980 5 5 3 20 0 15 0 49017088 11178180608 214462 33554432000 4194304 4196468 140732288594064 139669545122032 139670121998978 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6991872 140732288596590 140732288599388 140732288599388 140732288602063 0
[pid=9100/tid=9164] ppid=9097 vsize=10916192 memory=18484 CPUtime=3.88 cores=1,3,5,7
/proc/9100/task/9164/stat : 9164 (java) S 9097 9100 5182 0 -1 1077944384 18806 13145 0 0 372 8 5 3 20 0 15 0 49017088 11178180608 214462 33554432000 4194304 4196468 140732288594064 139669544069232 139670121998978 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6991872 140732288596590 140732288599388 140732288599388 140732288602063 0
[pid=9100/tid=9165] ppid=9097 vsize=10916192 memory=860184 CPUtime=0.08 cores=1,3,5,7
/proc/9100/task/9165/stat : 9165 (java) S 9097 9100 5182 0 -1 1077944384 3 13145 0 0 0 0 5 3 20 0 15 0 49017088 11178180608 214462 33554432000 4194304 4196468 140732288594064 139668640057568 139670121998037 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6991872 140732288596590 140732288599388 140732288599388 140732288602063 0
[pid=9100/tid=9166] ppid=9097 vsize=10916192 memory=1296 CPUtime=1.53 cores=1,3,5,7
/proc/9100/task/9166/stat : 9166 (java) S 9097 9100 5182 0 -1 1077944384 2003 13145 0 0 65 80 5 3 20 0 15 0 49017089 11178180608 214462 33554432000 4194304 4196468 140732288594064 139669543017648 139670121998978 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6991872 140732288596590 140732288599388 140732288599388 140732288602063 0
Current children cumulated CPU time: 2520.09 s
Current children cumulated vsize: 10916192 KiB
Current children cumulated memory: 857848 KiB
Child status: 143
Real time (s): 2479.73
CPU time (s): 2520.13
CPU user time (s): 2517.91
CPU system time (s): 2.21934
CPU usage (%): 101.629
Max. virtual memory (cumulated for all children) (KiB): 10916780
Max. memory (cumulated for all children) (KiB): 1245592
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2517.91
system time used= 2.21934
maximum resident set size= 1245592
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 192454
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1992
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 77944
involuntary context switches= 1791
# summary of solver processes directly reported to runsolver:
# pid: 9100
# total CPU time (s): 2520.13
# total CPU user time (s): 2517.91
# total CPU system time (s): 2.21934
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.2934 second user time and 24.5834 second system time
The end