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 (10628 MiB free)
memory of node 1: 16384 MiB (14112 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4300360-1532869056/watcher-4300360-1532869056 -o /tmp/evaluation-result-4300360-1532869056/solver-4300360-1532869056 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node106-1532846543-2788 --watchdog 2580 java -jar HOME/GGs-minicp.jar xcsp3.CompetitionApp HOME/instance-4300360-1532869056.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=5146, runsolver pid=5143
[startup+0.100058 s]*
/proc/loadavg: 1.19 1.37 1.39 4/215 5161
/proc/meminfo: memFree=25316484/32770624 swapFree=67108688/67108860
[pid=5146] ppid=5143 vsize=10661056 memory=30072 CPUtime=0.12 cores=1,3,5,7
/proc/5146/stat : 5146 (java) S 5143 5146 2756 0 -1 1077944320 5405 0 0 0 12 0 0 0 20 0 15 0 104468472 10916921344 7518 33554432000 4194304 4196468 140736998330800 140736998313344 140713702670071 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 14553088 140736998335605 140736998335753 140736998335753 140736998338511 0
/proc/5146/statm: 2665264 7518 2866 1 0 2627263 0
[pid=5146/tid=5148] ppid=5143 vsize=10661056 memory=-8824348794974729408 CPUtime=0.09 cores=1,3,5,7
/proc/5146/task/5148/stat : 5148 (java) R 5143 5146 2756 0 -1 4202560 3287 0 0 0 9 0 0 0 20 0 15 0 104468472 10916921344 7518 33554432000 4194304 4196468 140736998330800 140713706899552 140713684581634 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14553088 140736998335605 140736998335753 140736998335753 140736998338511 0
[pid=5146/tid=5149] ppid=5143 vsize=10661056 memory=8257237230052613020 CPUtime=0 cores=1,3,5,7
/proc/5146/task/5149/stat : 5149 (java) S 5143 5146 2756 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 104468473 10916921344 7518 33554432000 4194304 4196468 140736998330800 140713665776528 140713702680277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14553088 140736998335605 140736998335753 140736998335753 140736998338511 0
[pid=5146/tid=5150] ppid=5143 vsize=10661056 memory=140333979424384 CPUtime=0 cores=1,3,5,7
/proc/5146/task/5150/stat : 5150 (java) S 5143 5146 2756 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 104468473 10916921344 7518 33554432000 4194304 4196468 140736998330800 140713308904208 140713702680277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14553088 140736998335605 140736998335753 140736998335753 140736998338511 0
[pid=5146/tid=5151] ppid=5143 vsize=10661056 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5146/task/5151/stat : 5151 (java) S 5143 5146 2756 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 104468473 10916921344 7518 33554432000 4194304 4196468 140736998330800 140713307851920 140713702680277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14553088 140736998335605 140736998335753 140736998335753 140736998338511 0
[pid=5146/tid=5152] ppid=5143 vsize=10661056 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5146/task/5152/stat : 5152 (java) S 5143 5146 2756 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 104468473 10916921344 7518 33554432000 4194304 4196468 140736998330800 140713306799120 140713702680277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14553088 140736998335605 140736998335753 140736998335753 140736998338511 0
[pid=5146/tid=5153] ppid=5143 vsize=10661056 memory=140333979424384 CPUtime=0 cores=1,3,5,7
/proc/5146/task/5153/stat : 5153 (java) S 5143 5146 2756 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 104468475 10916921344 7518 33554432000 4194304 4196468 140736998330800 140712805918832 140713702681218 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14553088 140736998335605 140736998335753 140736998335753 140736998338511 0
[pid=5146/tid=5154] ppid=5143 vsize=10661056 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5146/task/5154/stat : 5154 (java) S 5143 5146 2756 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 104468475 10916921344 7518 33554432000 4194304 4196468 140736998330800 140712804864800 140713702680277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14553088 140736998335605 140736998335753 140736998335753 140736998338511 0
[pid=5146/tid=5155] ppid=5143 vsize=10661056 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5146/task/5155/stat : 5155 (java) S 5143 5146 2756 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 104468475 10916921344 7518 33554432000 4194304 4196468 140736998330800 140712803812464 140713702680277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14553088 140736998335605 140736998335753 140736998335753 140736998338511 0
[pid=5146/tid=5156] ppid=5143 vsize=10661056 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5146/task/5156/stat : 5156 (java) S 5143 5146 2756 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 104468478 10916921344 7518 33554432000 4194304 4196468 140736998330800 140712802760784 140713702688667 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14553088 140736998335605 140736998335753 140736998335753 140736998338511 0
[pid=5146/tid=5157] ppid=5143 vsize=10661056 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5146/task/5157/stat : 5157 (java) R 5143 5146 2756 0 -1 1077944384 299 0 0 0 0 0 0 0 20 0 15 0 104468478 10916921344 7518 33554432000 4194304 4196468 140736998330800 140712801708656 140713702681218 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14553088 140736998335605 140736998335753 140736998335753 140736998338511 0
[pid=5146/tid=5158] ppid=5143 vsize=10661056 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5146/task/5158/stat : 5158 (java) S 5143 5146 2756 0 -1 1077944384 134 0 0 0 0 0 0 0 20 0 15 0 104468478 10916921344 7518 33554432000 4194304 4196468 140736998330800 140712800655856 140713702681218 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14553088 140736998335605 140736998335753 140736998335753 140736998338511 0
[pid=5146/tid=5159] ppid=5143 vsize=10661056 memory=140333979424384 CPUtime=0.01 cores=1,3,5,7
/proc/5146/task/5159/stat : 5159 (java) R 5143 5146 2756 0 -1 4202560 321 0 0 0 1 0 0 0 20 0 15 0 104468478 10916921344 7518 33554432000 4194304 4196468 140736998330800 140712799603568 140713702682006 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14553088 140736998335605 140736998335753 140736998335753 140736998338511 0
[pid=5146/tid=5160] ppid=5143 vsize=10661056 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5146/task/5160/stat : 5160 (java) S 5143 5146 2756 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 104468478 10916921344 7518 33554432000 4194304 4196468 140736998330800 140712798551008 140713702680277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14553088 140736998335605 140736998335753 140736998335753 140736998338511 0
[pid=5146/tid=5161] ppid=5143 vsize=10661056 memory=140333979424384 CPUtime=0 cores=1,3,5,7
/proc/5146/task/5161/stat : 5161 (java) R 5143 5146 2756 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 104468478 10916921344 7518 33554432000 4194304 4196468 140736998330800 140712797497776 140713702681218 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14553088 140736998335605 140736998335753 140736998335753 140736998338511 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 10661056 KiB
Current children cumulated memory: 30072 KiB
[startup+0.210527 s]*
/proc/loadavg: 1.19 1.37 1.39 5/215 5161
/proc/meminfo: memFree=25304732/32770624 swapFree=67108688/67108860
[pid=5146] ppid=5143 vsize=10661056 memory=42796 CPUtime=0.35 cores=1,3,5,7
/proc/5146/stat : 5146 (java) S 5143 5146 2756 0 -1 1077944320 8350 0 0 0 33 2 0 0 20 0 15 0 104468472 10916921344 10699 33554432000 4194304 4196468 140736998330800 140736998313344 140713702670071 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 14553088 140736998335605 140736998335753 140736998335753 140736998338511 0
/proc/5146/statm: 2665264 10699 3011 1 0 2627263 0
[pid=5146/tid=5148] ppid=5143 vsize=10661056 memory=7022364594140610616 CPUtime=0.2 cores=1,3,5,7
/proc/5146/task/5148/stat : 5148 (java) R 5143 5146 2756 0 -1 1077944384 5173 0 0 0 19 1 0 0 20 0 15 0 104468472 10916921344 10699 33554432000 4194304 4196468 140736998330800 140713706908272 140713702680277 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14553088 140736998335605 140736998335753 140736998335753 140736998338511 0
[pid=5146/tid=5149] ppid=5143 vsize=10661056 memory=343 CPUtime=0 cores=1,3,5,7
/proc/5146/task/5149/stat : 5149 (java) S 5143 5146 2756 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 104468473 10916921344 10699 33554432000 4194304 4196468 140736998330800 140713665776528 140713702680277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14553088 140736998335605 140736998335753 140736998335753 140736998338511 0
[pid=5146/tid=5150] ppid=5143 vsize=10661056 memory=3979412777038141088 CPUtime=0 cores=1,3,5,7
/proc/5146/task/5150/stat : 5150 (java) S 5143 5146 2756 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 104468473 10916921344 10699 33554432000 4194304 4196468 140736998330800 140713308904208 140713702680277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14553088 140736998335605 140736998335753 140736998335753 140736998338511 0
[pid=5146/tid=5151] ppid=5143 vsize=10661056 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5146/task/5151/stat : 5151 (java) S 5143 5146 2756 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 104468473 10916921344 10699 33554432000 4194304 4196468 140736998330800 140713307851920 140713702680277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14553088 140736998335605 140736998335753 140736998335753 140736998338511 0
[pid=5146/tid=5152] ppid=5143 vsize=10661056 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5146/task/5152/stat : 5152 (java) S 5143 5146 2756 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 104468473 10916921344 10699 33554432000 4194304 4196468 140736998330800 140713306799120 140713702680277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14553088 140736998335605 140736998335753 140736998335753 140736998338511 0
[pid=5146/tid=5153] ppid=5143 vsize=10661056 memory=140333979424384 CPUtime=0 cores=1,3,5,7
/proc/5146/task/5153/stat : 5153 (java) S 5143 5146 2756 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 104468475 10916921344 10699 33554432000 4194304 4196468 140736998330800 140712805918832 140713702681218 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14553088 140736998335605 140736998335753 140736998335753 140736998338511 0
[pid=5146/tid=5154] ppid=5143 vsize=10661056 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5146/task/5154/stat : 5154 (java) S 5143 5146 2756 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 104468475 10916921344 10699 33554432000 4194304 4196468 140736998330800 140712804864800 140713702680277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14553088 140736998335605 140736998335753 140736998335753 140736998338511 0
[pid=5146/tid=5155] ppid=5143 vsize=10661056 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5146/task/5155/stat : 5155 (java) S 5143 5146 2756 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 104468475 10916921344 10699 33554432000 4194304 4196468 140736998330800 140712803812464 140713702680277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14553088 140736998335605 140736998335753 140736998335753 140736998338511 0
[pid=5146/tid=5156] ppid=5143 vsize=10661056 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5146/task/5156/stat : 5156 (java) S 5143 5146 2756 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 104468478 10916921344 10699 33554432000 4194304 4196468 140736998330800 140712802760784 140713702688667 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14553088 140736998335605 140736998335753 140736998335753 140736998338511 0
[pid=5146/tid=5157] ppid=5143 vsize=10661056 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/5146/task/5157/stat : 5157 (java) S 5143 5146 2756 0 -1 1077944384 439 0 0 0 2 0 0 0 20 0 15 0 104468478 10916921344 10699 33554432000 4194304 4196468 140736998330800 140712801701680 140713702680277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14553088 140736998335605 140736998335753 140736998335753 140736998338511 0
[pid=5146/tid=5158] ppid=5143 vsize=10661056 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/5146/task/5158/stat : 5158 (java) R 5143 5146 2756 0 -1 4202560 523 0 0 0 3 0 0 0 20 0 15 0 104468478 10916921344 10699 33554432000 4194304 4196468 140736998330800 140712800636872 140713694907198 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14553088 140736998335605 140736998335753 140736998335753 140736998338511 0
[pid=5146/tid=5159] ppid=5143 vsize=10661056 memory=140333979424384 CPUtime=0.08 cores=1,3,5,7
/proc/5146/task/5159/stat : 5159 (java) R 5143 5146 2756 0 -1 4202560 851 0 0 0 8 0 0 0 20 0 15 0 104468478 10916921344 10699 33554432000 4194304 4196468 140736998330800 140712799600504 140713681293024 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14553088 140736998335605 140736998335753 140736998335753 140736998338511 0
[pid=5146/tid=5160] ppid=5143 vsize=10661056 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5146/task/5160/stat : 5160 (java) S 5143 5146 2756 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 104468478 10916921344 10699 33554432000 4194304 4196468 140736998330800 140712798551008 140713702680277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14553088 140736998335605 140736998335753 140736998335753 140736998338511 0
[pid=5146/tid=5161] ppid=5143 vsize=10661056 memory=140333979424384 CPUtime=0 cores=1,3,5,7
/proc/5146/task/5161/stat : 5161 (java) S 5143 5146 2756 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 104468478 10916921344 10699 33554432000 4194304 4196468 140736998330800 140712797497776 140713702681218 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14553088 140736998335605 140736998335753 140736998335753 140736998338511 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 10661056 KiB
Current children cumulated memory: 42796 KiB
[startup+0.310689 s]*
/proc/loadavg: 1.19 1.37 1.39 5/215 5161
/proc/meminfo: memFree=25299460/32770624 swapFree=67108688/67108860
[pid=5146] ppid=5143 vsize=10661132 memory=48156 CPUtime=0.58 cores=1,3,5,7
/proc/5146/stat : 5146 (java) S 5143 5146 2756 0 -1 1077944320 9098 0 0 0 56 2 0 0 20 0 15 0 104468472 10916999168 12039 33554432000 4194304 4196468 140736998330800 140736998313344 140713702670071 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 14553088 140736998335605 140736998335753 140736998335753 140736998338511 0
/proc/5146/statm: 2665283 12039 3063 1 0 2627263 0
[pid=5146/tid=5148] ppid=5143 vsize=10661132 memory=7022364594140610616 CPUtime=0.29 cores=1,3,5,7
/proc/5146/task/5148/stat : 5148 (java) R 5143 5146 2756 0 -1 4202560 5498 0 0 0 28 1 0 0 20 0 15 0 104468472 10916999168 12039 33554432000 4194304 4196468 140736998330800 140713706907928 140713339498648 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14553088 140736998335605 140736998335753 140736998335753 140736998338511 0
[pid=5146/tid=5149] ppid=5143 vsize=10661132 memory=4294979917 CPUtime=0 cores=1,3,5,7
/proc/5146/task/5149/stat : 5149 (java) S 5143 5146 2756 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 104468473 10916999168 12039 33554432000 4194304 4196468 140736998330800 140713665776528 140713702680277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14553088 140736998335605 140736998335753 140736998335753 140736998338511 0
[pid=5146/tid=5150] ppid=5143 vsize=10661132 memory=3762957407551116960 CPUtime=0 cores=1,3,5,7
/proc/5146/task/5150/stat : 5150 (java) S 5143 5146 2756 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 104468473 10916999168 12039 33554432000 4194304 4196468 140736998330800 140713308904208 140713702680277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14553088 140736998335605 140736998335753 140736998335753 140736998338511 0
[pid=5146/tid=5151] ppid=5143 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5146/task/5151/stat : 5151 (java) S 5143 5146 2756 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 104468473 10916999168 12039 33554432000 4194304 4196468 140736998330800 140713307851920 140713702680277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14553088 140736998335605 140736998335753 140736998335753 140736998338511 0
[pid=5146/tid=5152] ppid=5143 vsize=10661132 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5146/task/5152/stat : 5152 (java) S 5143 5146 2756 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 104468473 10916999168 12039 33554432000 4194304 4196468 140736998330800 140713306799120 140713702680277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14553088 140736998335605 140736998335753 140736998335753 140736998338511 0
[pid=5146/tid=5153] ppid=5143 vsize=10661132 memory=140333979424384 CPUtime=0 cores=1,3,5,7
/proc/5146/task/5153/stat : 5153 (java) S 5143 5146 2756 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 104468475 10916999168 12039 33554432000 4194304 4196468 140736998330800 140712805918832 140713702681218 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14553088 140736998335605 140736998335753 140736998335753 140736998338511 0
[pid=5146/tid=5154] ppid=5143 vsize=10661132 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5146/task/5154/stat : 5154 (java) S 5143 5146 2756 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 104468475 10916999168 12039 33554432000 4194304 4196468 140736998330800 140712804864800 140713702680277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14553088 140736998335605 140736998335753 140736998335753 140736998338511 0
[pid=5146/tid=5155] ppid=5143 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5146/task/5155/stat : 5155 (java) S 5143 5146 2756 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 104468475 10916999168 12039 33554432000 4194304 4196468 140736998330800 140712803812464 140713702680277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14553088 140736998335605 140736998335753 140736998335753 140736998338511 0
[pid=5146/tid=5156] ppid=5143 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5146/task/5156/stat : 5156 (java) S 5143 5146 2756 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 104468478 10916999168 12039 33554432000 4194304 4196468 140736998330800 140712802760784 140713702688667 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14553088 140736998335605 140736998335753 140736998335753 140736998338511 0
[pid=5146/tid=5157] ppid=5143 vsize=10661132 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/5146/task/5157/stat : 5157 (java) R 5143 5146 2756 0 -1 4202560 690 0 0 0 5 0 0 0 20 0 15 0 104468478 10916999168 12039 33554432000 4194304 4196468 140736998330800 140712801698128 140713680264864 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14553088 140736998335605 140736998335753 140736998335753 140736998338511 0
[pid=5146/tid=5158] ppid=5143 vsize=10661132 memory=-1 CPUtime=0.06 cores=1,3,5,7
/proc/5146/task/5158/stat : 5158 (java) R 5143 5146 2756 0 -1 1077944384 603 0 0 0 6 0 0 0 20 0 15 0 104468478 10916999168 12039 33554432000 4194304 4196468 140736998330800 140712800655856 140713702681218 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14553088 140736998335605 140736998335753 140736998335753 140736998338511 0
[pid=5146/tid=5159] ppid=5143 vsize=10661132 memory=140333979424384 CPUtime=0.16 cores=1,3,5,7
/proc/5146/task/5159/stat : 5159 (java) R 5143 5146 2756 0 -1 4202560 946 0 0 0 16 0 0 0 20 0 15 0 104468478 10916999168 12039 33554432000 4194304 4196468 140736998330800 140712799598832 140713681473284 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14553088 140736998335605 140736998335753 140736998335753 140736998338511 0
[pid=5146/tid=5160] ppid=5143 vsize=10661132 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5146/task/5160/stat : 5160 (java) S 5143 5146 2756 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 104468478 10916999168 12039 33554432000 4194304 4196468 140736998330800 140712798551008 140713702680277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14553088 140736998335605 140736998335753 140736998335753 140736998338511 0
[pid=5146/tid=5161] ppid=5143 vsize=10661132 memory=140333979424384 CPUtime=0 cores=1,3,5,7
/proc/5146/task/5161/stat : 5161 (java) S 5143 5146 2756 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 104468478 10916999168 12039 33554432000 4194304 4196468 140736998330800 140712797497776 140713702681218 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14553088 140736998335605 140736998335753 140736998335753 140736998338511 0
Current children cumulated CPU time: 0.58 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 48156 KiB
[startup+0.700744 s]
/proc/loadavg: 1.19 1.37 1.39 5/215 5161
/proc/meminfo: memFree=25264156/32770624 swapFree=67108688/67108860
[pid=5146] ppid=5143 vsize=10661132 memory=96940 CPUtime=1.8 cores=1,3,5,7
/proc/5146/stat : 5146 (java) S 5143 5146 2756 0 -1 1077944320 14187 0 0 0 176 4 0 0 20 0 15 0 104468472 10916999168 24235 33554432000 4194304 4196468 140736998330800 140736998313344 140713702670071 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 14553088 140736998335605 140736998335753 140736998335753 140736998338511 0
/proc/5146/statm: 2665283 24235 3117 1 0 2627263 0
[pid=5146/tid=5148] ppid=5143 vsize=10661132 memory=162465795024768 CPUtime=0.66 cores=1,3,5,7
/proc/5146/task/5148/stat : 5148 (java) R 5143 5146 2756 0 -1 4202560 5762 0 0 0 64 2 0 0 20 0 15 0 104468472 10916999168 24235 33554432000 4194304 4196468 140736998330800 140713706906624 140713342796139 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14553088 140736998335605 140736998335753 140736998335753 140736998338511 0
[pid=5146/tid=5149] ppid=5143 vsize=10661132 memory=596297 CPUtime=0 cores=1,3,5,7
/proc/5146/task/5149/stat : 5149 (java) S 5143 5146 2756 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 104468473 10916999168 24235 33554432000 4194304 4196468 140736998330800 140713665776528 140713702680277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14553088 140736998335605 140736998335753 140736998335753 140736998338511 0
[pid=5146/tid=5150] ppid=5143 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5146/task/5150/stat : 5150 (java) S 5143 5146 2756 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 104468473 10916999168 24235 33554432000 4194304 4196468 140736998330800 140713308904208 140713702680277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14553088 140736998335605 140736998335753 140736998335753 140736998338511 0
[pid=5146/tid=5151] ppid=5143 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5146/task/5151/stat : 5151 (java) S 5143 5146 2756 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 104468473 10916999168 24235 33554432000 4194304 4196468 140736998330800 140713307851920 140713702680277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14553088 140736998335605 140736998335753 140736998335753 140736998338511 0
[pid=5146/tid=5152] ppid=5143 vsize=10661132 memory=7809523229951467570 CPUtime=0 cores=1,3,5,7
/proc/5146/task/5152/stat : 5152 (java) S 5143 5146 2756 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 104468473 10916999168 24235 33554432000 4194304 4196468 140736998330800 140713306799120 140713702680277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14553088 140736998335605 140736998335753 140736998335753 140736998338511 0
[pid=5146/tid=5153] ppid=5143 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5146/task/5153/stat : 5153 (java) S 5143 5146 2756 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 104468475 10916999168 24235 33554432000 4194304 4196468 140736998330800 140712805918832 140713702681218 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14553088 140736998335605 140736998335753 140736998335753 140736998338511 0
[pid=5146/tid=5154] ppid=5143 vsize=10661132 memory=-6079436537918267177 CPUtime=0 cores=1,3,5,7
/proc/5146/task/5154/stat : 5154 (java) S 5143 5146 2756 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 104468475 10916999168 24235 33554432000 4194304 4196468 140736998330800 140712804864800 140713702680277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14553088 140736998335605 140736998335753 140736998335753 140736998338511 0
[pid=5146/tid=5155] ppid=5143 vsize=10661132 memory=6944656592387989600 CPUtime=0 cores=1,3,5,7
/proc/5146/task/5155/stat : 5155 (java) S 5143 5146 2756 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 104468475 10916999168 24235 33554432000 4194304 4196468 140736998330800 140712803812464 140713702680277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14553088 140736998335605 140736998335753 140736998335753 140736998338511 0
[pid=5146/tid=5156] ppid=5143 vsize=10661132 memory=6944656592455360604 CPUtime=0 cores=1,3,5,7
/proc/5146/task/5156/stat : 5156 (java) S 5143 5146 2756 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 104468478 10916999168 24235 33554432000 4194304 4196468 140736998330800 140712802760784 140713702688667 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14553088 140736998335605 140736998335753 140736998335753 140736998338511 0
[pid=5146/tid=5157] ppid=5143 vsize=10661132 memory=0 CPUtime=0.4 cores=1,3,5,7
/proc/5146/task/5157/stat : 5157 (java) R 5143 5146 2756 0 -1 4202560 3672 0 0 0 40 0 0 0 20 0 15 0 104468478 10916999168 24235 33554432000 4194304 4196468 140736998330800 140712801689672 140713680687063 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14553088 140736998335605 140736998335753 140736998335753 140736998338511 0
[pid=5146/tid=5158] ppid=5143 vsize=10661132 memory=0 CPUtime=0.4 cores=1,3,5,7
/proc/5146/task/5158/stat : 5158 (java) R 5143 5146 2756 0 -1 4202560 1666 0 0 0 40 0 0 0 20 0 15 0 104468478 10916999168 24235 33554432000 4194304 4196468 140736998330800 140712800655984 140713687414305 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14553088 140736998335605 140736998335753 140736998335753 140736998338511 0
[pid=5146/tid=5159] ppid=5143 vsize=10661132 memory=0 CPUtime=0.3 cores=1,3,5,7
/proc/5146/task/5159/stat : 5159 (java) S 5143 5146 2756 0 -1 1077944384 1717 0 0 0 30 0 0 0 20 0 15 0 104468478 10916999168 24235 33554432000 4194304 4196468 140736998330800 140712799603568 140713702681218 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14553088 140736998335605 140736998335753 140736998335753 140736998338511 0
[pid=5146/tid=5160] ppid=5143 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5146/task/5160/stat : 5160 (java) S 5143 5146 2756 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 104468478 10916999168 24235 33554432000 4194304 4196468 140736998330800 140712798551008 140713702680277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14553088 140736998335605 140736998335753 140736998335753 140736998338511 0
[pid=5146/tid=5161] ppid=5143 vsize=10661132 memory=4008 CPUtime=0 cores=1,3,5,7
/proc/5146/task/5161/stat : 5161 (java) S 5143 5146 2756 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 104468478 10916999168 24235 33554432000 4194304 4196468 140736998330800 140712797497776 140713702681218 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14553088 140736998335605 140736998335753 140736998335753 140736998338511 0
Current children cumulated CPU time: 1.8 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 96940 KiB
[startup+1.5007 s]
/proc/loadavg: 1.19 1.37 1.39 4/215 5161
/proc/meminfo: memFree=25218072/32770624 swapFree=67108688/67108860
[pid=5146] ppid=5143 vsize=10661132 memory=177340 CPUtime=3.3 cores=1,3,5,7
/proc/5146/stat : 5146 (java) S 5143 5146 2756 0 -1 1077944320 20917 0 0 0 324 6 0 0 20 0 15 0 104468472 10916999168 44335 33554432000 4194304 4196468 140736998330800 140736998313344 140713702670071 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 14553088 140736998335605 140736998335753 140736998335753 140736998338511 0
/proc/5146/statm: 2665283 44335 3120 1 0 2627263 0
[pid=5146/tid=5148] ppid=5143 vsize=10661132 memory=12848 CPUtime=1.46 cores=1,3,5,7
/proc/5146/task/5148/stat : 5148 (java) R 5143 5146 2756 0 -1 4202560 5833 0 0 0 143 3 0 0 20 0 15 0 104468472 10916999168 44335 33554432000 4194304 4196468 140736998330800 140713706907256 140713343562272 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14553088 140736998335605 140736998335753 140736998335753 140736998338511 0
[pid=5146/tid=5149] ppid=5143 vsize=10661132 memory=8112282956445269571 CPUtime=0 cores=1,3,5,7
/proc/5146/task/5149/stat : 5149 (java) S 5143 5146 2756 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 104468473 10916999168 44335 33554432000 4194304 4196468 140736998330800 140713665776528 140713702680277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14553088 140736998335605 140736998335753 140736998335753 140736998338511 0
[pid=5146/tid=5150] ppid=5143 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5146/task/5150/stat : 5150 (java) S 5143 5146 2756 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 104468473 10916999168 44335 33554432000 4194304 4196468 140736998330800 140713308904208 140713702680277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14553088 140736998335605 140736998335753 140736998335753 140736998338511 0
[pid=5146/tid=5151] ppid=5143 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5146/task/5151/stat : 5151 (java) S 5143 5146 2756 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 104468473 10916999168 44335 33554432000 4194304 4196468 140736998330800 140713307851920 140713702680277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14553088 140736998335605 140736998335753 140736998335753 140736998338511 0
[pid=5146/tid=5152] ppid=5143 vsize=10661132 memory=6943526294502006880 CPUtime=0 cores=1,3,5,7
/proc/5146/task/5152/stat : 5152 (java) S 5143 5146 2756 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 104468473 10916999168 44335 33554432000 4194304 4196468 140736998330800 140713306799120 140713702680277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14553088 140736998335605 140736998335753 140736998335753 140736998338511 0
[pid=5146/tid=5153] ppid=5143 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5146/task/5153/stat : 5153 (java) S 5143 5146 2756 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 104468475 10916999168 44335 33554432000 4194304 4196468 140736998330800 140712805918832 140713702681218 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14553088 140736998335605 140736998335753 140736998335753 140736998338511 0
[pid=5146/tid=5154] ppid=5143 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5146/task/5154/stat : 5154 (java) S 5143 5146 2756 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 104468475 10916999168 44335 33554432000 4194304 4196468 140736998330800 140712804864800 140713702680277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14553088 140736998335605 140736998335753 140736998335753 140736998338511 0
[pid=5146/tid=5155] ppid=5143 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5146/task/5155/stat : 5155 (java) S 5143 5146 2756 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 104468475 10916999168 44335 33554432000 4194304 4196468 140736998330800 140712803812464 140713702680277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14553088 140736998335605 140736998335753 140736998335753 140736998338511 0
[pid=5146/tid=5156] ppid=5143 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5146/task/5156/stat : 5156 (java) S 5143 5146 2756 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 104468478 10916999168 44335 33554432000 4194304 4196468 140736998330800 140712802760784 140713702688667 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14553088 140736998335605 140736998335753 140736998335753 140736998338511 0
[pid=5146/tid=5157] ppid=5143 vsize=10661132 memory=0 CPUtime=0.81 cores=1,3,5,7
/proc/5146/task/5157/stat : 5157 (java) S 5143 5146 2756 0 -1 1077944384 9107 0 0 0 80 1 0 0 20 0 15 0 104468478 10916999168 44335 33554432000 4194304 4196468 140736998330800 140712801708656 140713702681218 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14553088 140736998335605 140736998335753 140736998335753 140736998338511 0
[pid=5146/tid=5158] ppid=5143 vsize=10661132 memory=0 CPUtime=0.67 cores=1,3,5,7
/proc/5146/task/5158/stat : 5158 (java) S 5143 5146 2756 0 -1 1077944384 2734 0 0 0 67 0 0 0 20 0 15 0 104468478 10916999168 44335 33554432000 4194304 4196468 140736998330800 140712800655856 140713702681218 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14553088 140736998335605 140736998335753 140736998335753 140736998338511 0
[pid=5146/tid=5159] ppid=5143 vsize=10661132 memory=0 CPUtime=0.32 cores=1,3,5,7
/proc/5146/task/5159/stat : 5159 (java) S 5143 5146 2756 0 -1 1077944384 1871 0 0 0 32 0 0 0 20 0 15 0 104468478 10916999168 44335 33554432000 4194304 4196468 140736998330800 140712799603568 140713702681218 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14553088 140736998335605 140736998335753 140736998335753 140736998338511 0
[pid=5146/tid=5160] ppid=5143 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5146/task/5160/stat : 5160 (java) S 5143 5146 2756 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 104468478 10916999168 44335 33554432000 4194304 4196468 140736998330800 140712798551008 140713702680277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14553088 140736998335605 140736998335753 140736998335753 140736998338511 0
[pid=5146/tid=5161] ppid=5143 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5146/task/5161/stat : 5161 (java) S 5143 5146 2756 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 104468478 10916999168 44335 33554432000 4194304 4196468 140736998330800 140712797497776 140713702681218 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14553088 140736998335605 140736998335753 140736998335753 140736998338511 0
Current children cumulated CPU time: 3.3 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 177340 KiB
[startup+3.10992 s]
/proc/loadavg: 1.19 1.37 1.39 3/215 5161
/proc/meminfo: memFree=25140204/32770624 swapFree=67108688/67108860
[pid=5146] ppid=5143 vsize=10661132 memory=206348 CPUtime=4.94 cores=1,3,5,7
/proc/5146/stat : 5146 (java) S 5143 5146 2756 0 -1 1077944320 22279 0 0 0 487 7 0 0 20 0 15 0 104468472 10916999168 51587 33554432000 4194304 4196468 140736998330800 140736998313344 140713702670071 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 14553088 140736998335605 140736998335753 140736998335753 140736998338511 0
/proc/5146/statm: 2665283 51587 3150 1 0 2627263 0
[pid=5146/tid=5148] ppid=5143 vsize=10661132 memory=55 CPUtime=3.06 cores=1,3,5,7
/proc/5146/task/5148/stat : 5148 (java) R 5143 5146 2756 0 -1 4202560 6111 0 0 0 303 3 0 0 20 0 15 0 104468472 10916999168 51587 33554432000 4194304 4196468 140736998330800 140713706909456 140713343562108 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14553088 140736998335605 140736998335753 140736998335753 140736998338511 0
[pid=5146/tid=5149] ppid=5143 vsize=10661132 memory=-8311738553153378854 CPUtime=0 cores=1,3,5,7
/proc/5146/task/5149/stat : 5149 (java) S 5143 5146 2756 0 -1 1077944384 222 0 0 0 0 0 0 0 20 0 15 0 104468473 10916999168 51587 33554432000 4194304 4196468 140736998330800 140713665776528 140713702680277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14553088 140736998335605 140736998335753 140736998335753 140736998338511 0
[pid=5146/tid=5150] ppid=5143 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5146/task/5150/stat : 5150 (java) S 5143 5146 2756 0 -1 1077944384 171 0 0 0 0 0 0 0 20 0 15 0 104468473 10916999168 51587 33554432000 4194304 4196468 140736998330800 140713308904208 140713702680277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14553088 140736998335605 140736998335753 140736998335753 140736998338511 0
[pid=5146/tid=5151] ppid=5143 vsize=10661132 memory=8819580419504778285 CPUtime=0 cores=1,3,5,7
/proc/5146/task/5151/stat : 5151 (java) S 5143 5146 2756 0 -1 1077944384 91 0 0 0 0 0 0 0 20 0 15 0 104468473 10916999168 51587 33554432000 4194304 4196468 140736998330800 140713307851920 140713702680277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14553088 140736998335605 140736998335753 140736998335753 140736998338511 0
[pid=5146/tid=5152] ppid=5143 vsize=10661132 memory=288285558848095396 CPUtime=0 cores=1,3,5,7
/proc/5146/task/5152/stat : 5152 (java) S 5143 5146 2756 0 -1 1077944384 85 0 0 0 0 0 0 0 20 0 15 0 104468473 10916999168 51587 33554432000 4194304 4196468 140736998330800 140713306799120 140713702680277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14553088 140736998335605 140736998335753 140736998335753 140736998338511 0
[pid=5146/tid=5153] ppid=5143 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5146/task/5153/stat : 5153 (java) S 5143 5146 2756 0 -1 1077944384 209 0 0 0 0 0 0 0 20 0 15 0 104468475 10916999168 51587 33554432000 4194304 4196468 140736998330800 140712805918832 140713702681218 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14553088 140736998335605 140736998335753 140736998335753 140736998338511 0
[pid=5146/tid=5154] ppid=5143 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5146/task/5154/stat : 5154 (java) S 5143 5146 2756 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 104468475 10916999168 51587 33554432000 4194304 4196468 140736998330800 140712804864800 140713702680277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14553088 140736998335605 140736998335753 140736998335753 140736998338511 0
[pid=5146/tid=5155] ppid=5143 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5146/task/5155/stat : 5155 (java) S 5143 5146 2756 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 15 0 104468475 10916999168 51587 33554432000 4194304 4196468 140736998330800 140712803812464 140713702680277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14553088 140736998335605 140736998335753 140736998335753 140736998338511 0
[pid=5146/tid=5156] ppid=5143 vsize=10661132 memory=-2746958450906831424 CPUtime=0 cores=1,3,5,7
/proc/5146/task/5156/stat : 5156 (java) S 5143 5146 2756 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 104468478 10916999168 51587 33554432000 4194304 4196468 140736998330800 140712802760784 140713702688667 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14553088 140736998335605 140736998335753 140736998335753 140736998338511 0
[pid=5146/tid=5157] ppid=5143 vsize=10661132 memory=-2317720213663851332 CPUtime=0.81 cores=1,3,5,7
/proc/5146/task/5157/stat : 5157 (java) S 5143 5146 2756 0 -1 1077944384 9237 0 0 0 80 1 0 0 20 0 15 0 104468478 10916999168 51587 33554432000 4194304 4196468 140736998330800 140712801708656 140713702681218 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14553088 140736998335605 140736998335753 140736998335753 140736998338511 0
[pid=5146/tid=5158] ppid=5143 vsize=10661132 memory=109148 CPUtime=0.68 cores=1,3,5,7
/proc/5146/task/5158/stat : 5158 (java) S 5143 5146 2756 0 -1 1077944384 2852 0 0 0 68 0 0 0 20 0 15 0 104468478 10916999168 51587 33554432000 4194304 4196468 140736998330800 140712800655856 140713702681218 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14553088 140736998335605 140736998335753 140736998335753 140736998338511 0
[pid=5146/tid=5159] ppid=5143 vsize=10661132 memory=18076 CPUtime=0.32 cores=1,3,5,7
/proc/5146/task/5159/stat : 5159 (java) S 5143 5146 2756 0 -1 1077944384 1881 0 0 0 32 0 0 0 20 0 15 0 104468478 10916999168 51587 33554432000 4194304 4196468 140736998330800 140712799603568 140713702681218 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14553088 140736998335605 140736998335753 140736998335753 140736998338511 0
[pid=5146/tid=5160] ppid=5143 vsize=10661132 memory=1788 CPUtime=0 cores=1,3,5,7
/proc/5146/task/5160/stat : 5160 (java) S 5143 5146 2756 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 104468478 10916999168 51587 33554432000 4194304 4196468 140736998330800 140712798551008 140713702680277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14553088 140736998335605 140736998335753 140736998335753 140736998338511 0
[pid=5146/tid=5161] ppid=5143 vsize=10661132 memory=644 CPUtime=0 cores=1,3,5,7
/proc/5146/task/5161/stat : 5161 (java) S 5143 5146 2756 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 15 0 104468478 10916999168 51587 33554432000 4194304 4196468 140736998330800 140712797497776 140713702681218 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14553088 140736998335605 140736998335753 140736998335753 140736998338511 0
Current children cumulated CPU time: 4.94 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 206348 KiB
[startup+3.4336 s]
# the end of solver process 5146 was just reported to runsolver
# cumulated CPU time of all completed processes: user=5.18766 s, system=0.08082 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3.20088 s]
/proc/loadavg: 1.19 1.37 1.39 3/215 5161
/proc/meminfo: memFree=25140204/32770624 swapFree=67108688/67108860
[pid=5146] ppid=5143 vsize=10661132 memory=206348 CPUtime=5.03 cores=1,3,5,7
/proc/5146/stat : 5146 (java) S 5143 5146 2756 0 -1 1077944320 22282 0 0 0 496 7 0 0 20 0 15 0 104468472 10916999168 51587 33554432000 4194304 4196468 140736998330800 140736998313344 140713702670071 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 14553088 140736998335605 140736998335753 140736998335753 140736998338511 0
/proc/5146/statm: 2665283 51587 3150 1 0 2627263 0
[pid=5146/tid=5148] ppid=5143 vsize=10661132 memory=0 CPUtime=3.15 cores=1,3,5,7
/proc/5146/task/5148/stat : 5148 (java) R 5143 5146 2756 0 -1 4202560 6114 0 0 0 312 3 0 0 20 0 15 0 104468472 10916999168 51587 33554432000 4194304 4196468 140736998330800 140713706909344 140713343560299 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14553088 140736998335605 140736998335753 140736998335753 140736998338511 0
[pid=5146/tid=5149] ppid=5143 vsize=10661132 memory=140333828978456 CPUtime=0 cores=1,3,5,7
/proc/5146/task/5149/stat : 5149 (java) S 5143 5146 2756 0 -1 1077944384 222 0 0 0 0 0 0 0 20 0 15 0 104468473 10916999168 51587 33554432000 4194304 4196468 140736998330800 140713665776528 140713702680277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14553088 140736998335605 140736998335753 140736998335753 140736998338511 0
[pid=5146/tid=5150] ppid=5143 vsize=10661132 memory=1576 CPUtime=0 cores=1,3,5,7
/proc/5146/task/5150/stat : 5150 (java) S 5143 5146 2756 0 -1 1077944384 171 0 0 0 0 0 0 0 20 0 15 0 104468473 10916999168 51587 33554432000 4194304 4196468 140736998330800 140713308904208 140713702680277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14553088 140736998335605 140736998335753 140736998335753 140736998338511 0
[pid=5146/tid=5151] ppid=5143 vsize=10661132 memory=928 CPUtime=0 cores=1,3,5,7
/proc/5146/task/5151/stat : 5151 (java) S 5143 5146 2756 0 -1 1077944384 91 0 0 0 0 0 0 0 20 0 15 0 104468473 10916999168 51587 33554432000 4194304 4196468 140736998330800 140713307851920 140713702680277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14553088 140736998335605 140736998335753 140736998335753 140736998338511 0
[pid=5146/tid=5152] ppid=5143 vsize=10661132 memory=2240 CPUtime=0 cores=1,3,5,7
/proc/5146/task/5152/stat : 5152 (java) S 5143 5146 2756 0 -1 1077944384 85 0 0 0 0 0 0 0 20 0 15 0 104468473 10916999168 51587 33554432000 4194304 4196468 140736998330800 140713306799120 140713702680277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14553088 140736998335605 140736998335753 140736998335753 140736998338511 0
[pid=5146/tid=5153] ppid=5143 vsize=10661132 memory=7086240636095255139 CPUtime=0 cores=1,3,5,7
/proc/5146/task/5153/stat : 5153 (java) S 5143 5146 2756 0 -1 1077944384 209 0 0 0 0 0 0 0 20 0 15 0 104468475 10916999168 51587 33554432000 4194304 4196468 140736998330800 140712805918832 140713702681218 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14553088 140736998335605 140736998335753 140736998335753 140736998338511 0
[pid=5146/tid=5154] ppid=5143 vsize=10661132 memory=8099279071866868836 CPUtime=0 cores=1,3,5,7
/proc/5146/task/5154/stat : 5154 (java) S 5143 5146 2756 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 104468475 10916999168 51587 33554432000 4194304 4196468 140736998330800 140712804864800 140713702680277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14553088 140736998335605 140736998335753 140736998335753 140736998338511 0
[pid=5146/tid=5155] ppid=5143 vsize=10661132 memory=5937242188758470756 CPUtime=0 cores=1,3,5,7
/proc/5146/task/5155/stat : 5155 (java) S 5143 5146 2756 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 15 0 104468475 10916999168 51587 33554432000 4194304 4196468 140736998330800 140712803812464 140713702680277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14553088 140736998335605 140736998335753 140736998335753 140736998338511 0
[pid=5146/tid=5156] ppid=5143 vsize=10661132 memory=2241 CPUtime=0 cores=1,3,5,7
/proc/5146/task/5156/stat : 5156 (java) S 5143 5146 2756 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 104468478 10916999168 51587 33554432000 4194304 4196468 140736998330800 140712802760784 140713702688667 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14553088 140736998335605 140736998335753 140736998335753 140736998338511 0
[pid=5146/tid=5157] ppid=5143 vsize=10661132 memory=2244 CPUtime=0.81 cores=1,3,5,7
/proc/5146/task/5157/stat : 5157 (java) S 5143 5146 2756 0 -1 1077944384 9237 0 0 0 80 1 0 0 20 0 15 0 104468478 10916999168 51587 33554432000 4194304 4196468 140736998330800 140712801708656 140713702681218 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14553088 140736998335605 140736998335753 140736998335753 140736998338511 0
[pid=5146/tid=5158] ppid=5143 vsize=10661132 memory=167100 CPUtime=0.68 cores=1,3,5,7
/proc/5146/task/5158/stat : 5158 (java) S 5143 5146 2756 0 -1 1077944384 2852 0 0 0 68 0 0 0 20 0 15 0 104468478 10916999168 51587 33554432000 4194304 4196468 140736998330800 140712800655856 140713702681218 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14553088 140736998335605 140736998335753 140736998335753 140736998338511 0
[pid=5146/tid=5159] ppid=5143 vsize=10661132 memory=0 CPUtime=0.32 cores=1,3,5,7
/proc/5146/task/5159/stat : 5159 (java) S 5143 5146 2756 0 -1 1077944384 1881 0 0 0 32 0 0 0 20 0 15 0 104468478 10916999168 51587 33554432000 4194304 4196468 140736998330800 140712799603568 140713702681218 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14553088 140736998335605 140736998335753 140736998335753 140736998338511 0
[pid=5146/tid=5160] ppid=5143 vsize=10661132 memory=280667657099008 CPUtime=0 cores=1,3,5,7
/proc/5146/task/5160/stat : 5160 (java) S 5143 5146 2756 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 104468478 10916999168 51587 33554432000 4194304 4196468 140736998330800 140712798551008 140713702680277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14553088 140736998335605 140736998335753 140736998335753 140736998338511 0
[pid=5146/tid=5161] ppid=5143 vsize=10661132 memory=3472328296227680300 CPUtime=0 cores=1,3,5,7
/proc/5146/task/5161/stat : 5161 (java) S 5143 5146 2756 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 15 0 104468478 10916999168 51587 33554432000 4194304 4196468 140736998330800 140712797497776 140713702681218 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14553088 140736998335605 140736998335753 140736998335753 140736998338511 0
Current children cumulated CPU time: 5.03 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 206348 KiB
[startup+3.40069 s]
/proc/loadavg: 1.19 1.37 1.39 3/215 5161
/proc/meminfo: memFree=25140204/32770624 swapFree=67108688/67108860
[pid=5146] ppid=5143 vsize=10661132 memory=206348 CPUtime=5.23 cores=1,3,5,7
/proc/5146/stat : 5146 (java) S 5143 5146 2756 0 -1 1077944320 22282 0 0 0 516 7 0 0 20 0 15 0 104468472 10916999168 51587 33554432000 4194304 4196468 140736998330800 140736998313344 140713702670071 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 14553088 140736998335605 140736998335753 140736998335753 140736998338511 0
/proc/5146/statm: 2665283 51587 3150 1 0 2627263 0
[pid=5146/tid=5148] ppid=5143 vsize=10661132 memory=8819580419504778285 CPUtime=3.35 cores=1,3,5,7
/proc/5146/task/5148/stat : 5148 (java) R 5143 5146 2756 0 -1 4202560 6114 0 0 0 332 3 0 0 20 0 15 0 104468472 10916999168 51587 33554432000 4194304 4196468 140736998330800 140713706909344 140713343261306 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14553088 140736998335605 140736998335753 140736998335753 140736998338511 0
[pid=5146/tid=5149] ppid=5143 vsize=10661132 memory=288285558848095396 CPUtime=0 cores=1,3,5,7
/proc/5146/task/5149/stat : 5149 (java) S 5143 5146 2756 0 -1 1077944384 222 0 0 0 0 0 0 0 20 0 15 0 104468473 10916999168 51587 33554432000 4194304 4196468 140736998330800 140713665776528 140713702680277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14553088 140736998335605 140736998335753 140736998335753 140736998338511 0
[pid=5146/tid=5150] ppid=5143 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5146/task/5150/stat : 5150 (java) S 5143 5146 2756 0 -1 1077944384 171 0 0 0 0 0 0 0 20 0 15 0 104468473 10916999168 51587 33554432000 4194304 4196468 140736998330800 140713308904208 140713702680277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14553088 140736998335605 140736998335753 140736998335753 140736998338511 0
[pid=5146/tid=5151] ppid=5143 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5146/task/5151/stat : 5151 (java) S 5143 5146 2756 0 -1 1077944384 91 0 0 0 0 0 0 0 20 0 15 0 104468473 10916999168 51587 33554432000 4194304 4196468 140736998330800 140713307851920 140713702680277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14553088 140736998335605 140736998335753 140736998335753 140736998338511 0
[pid=5146/tid=5152] ppid=5143 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5146/task/5152/stat : 5152 (java) S 5143 5146 2756 0 -1 1077944384 85 0 0 0 0 0 0 0 20 0 15 0 104468473 10916999168 51587 33554432000 4194304 4196468 140736998330800 140713306799120 140713702680277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14553088 140736998335605 140736998335753 140736998335753 140736998338511 0
[pid=5146/tid=5153] ppid=5143 vsize=10661132 memory=-2746958450906831424 CPUtime=0 cores=1,3,5,7
/proc/5146/task/5153/stat : 5153 (java) S 5143 5146 2756 0 -1 1077944384 209 0 0 0 0 0 0 0 20 0 15 0 104468475 10916999168 51587 33554432000 4194304 4196468 140736998330800 140712805918832 140713702681218 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14553088 140736998335605 140736998335753 140736998335753 140736998338511 0
[pid=5146/tid=5154] ppid=5143 vsize=10661132 memory=-2317720213663851332 CPUtime=0 cores=1,3,5,7
/proc/5146/task/5154/stat : 5154 (java) S 5143 5146 2756 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 104468475 10916999168 51587 33554432000 4194304 4196468 140736998330800 140712804864800 140713702680277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14553088 140736998335605 140736998335753 140736998335753 140736998338511 0
[pid=5146/tid=5155] ppid=5143 vsize=10661132 memory=288230574492221466 CPUtime=0 cores=1,3,5,7
/proc/5146/task/5155/stat : 5155 (java) S 5143 5146 2756 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 15 0 104468475 10916999168 51587 33554432000 4194304 4196468 140736998330800 140712803812464 140713702680277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14553088 140736998335605 140736998335753 140736998335753 140736998338511 0
[pid=5146/tid=5156] ppid=5143 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5146/task/5156/stat : 5156 (java) S 5143 5146 2756 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 104468478 10916999168 51587 33554432000 4194304 4196468 140736998330800 140712802760784 140713702688667 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14553088 140736998335605 140736998335753 140736998335753 140736998338511 0
[pid=5146/tid=5157] ppid=5143 vsize=10661132 memory=0 CPUtime=0.81 cores=1,3,5,7
/proc/5146/task/5157/stat : 5157 (java) S 5143 5146 2756 0 -1 1077944384 9237 0 0 0 80 1 0 0 20 0 15 0 104468478 10916999168 51587 33554432000 4194304 4196468 140736998330800 140712801708656 140713702681218 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14553088 140736998335605 140736998335753 140736998335753 140736998338511 0
[pid=5146/tid=5158] ppid=5143 vsize=10661132 memory=0 CPUtime=0.68 cores=1,3,5,7
/proc/5146/task/5158/stat : 5158 (java) S 5143 5146 2756 0 -1 1077944384 2852 0 0 0 68 0 0 0 20 0 15 0 104468478 10916999168 51587 33554432000 4194304 4196468 140736998330800 140712800655856 140713702681218 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14553088 140736998335605 140736998335753 140736998335753 140736998338511 0
[pid=5146/tid=5159] ppid=5143 vsize=10661132 memory=0 CPUtime=0.32 cores=1,3,5,7
/proc/5146/task/5159/stat : 5159 (java) S 5143 5146 2756 0 -1 1077944384 1881 0 0 0 32 0 0 0 20 0 15 0 104468478 10916999168 51587 33554432000 4194304 4196468 140736998330800 140712799603568 140713702681218 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14553088 140736998335605 140736998335753 140736998335753 140736998338511 0
[pid=5146/tid=5160] ppid=5143 vsize=10661132 memory=6656426216303648864 CPUtime=0 cores=1,3,5,7
/proc/5146/task/5160/stat : 5160 (java) S 5143 5146 2756 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 104468478 10916999168 51587 33554432000 4194304 4196468 140736998330800 140712798551008 140713702680277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14553088 140736998335605 140736998335753 140736998335753 140736998338511 0
[pid=5146/tid=5161] ppid=5143 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5146/task/5161/stat : 5161 (java) S 5143 5146 2756 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 15 0 104468478 10916999168 51587 33554432000 4194304 4196468 140736998330800 140712797497776 140713702681218 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14553088 140736998335605 140736998335753 140736998335753 140736998338511 0
Current children cumulated CPU time: 5.23 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 206348 KiB
Child status: 0
Real time (s): 3.43366
CPU time (s): 5.26848
CPU user time (s): 5.18766
CPU system time (s): 0.08082
CPU usage (%): 153.436
Max. virtual memory (cumulated for all children) (KiB): 10663196
Max. memory (cumulated for all children) (KiB): 206348
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 5.18766
system time used= 0.08082
maximum resident set size= 206592
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23097
page faults= 0
swaps= 0
block input operations= 0
block output operations= 72
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1500
involuntary context switches= 12
# summary of solver processes directly reported to runsolver:
# pid: 5146
# total CPU time (s): 5.26848
# total CPU user time (s): 5.18766
# total CPU system time (s): 0.08082
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.046455 second user time and 0.072264 second system time
The end