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 (12507 MiB free)
memory of node 1: 16384 MiB (10906 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4294707-1532477867/watcher-4294707-1532477867 -o /tmp/evaluation-result-4294707-1532477867/solver-4294707-1532477867 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node151-1532470571-27174 --watchdog 2580 concrete-3.8/bin/xcsp-3-concrete -J-Xss32M -randomseed=1109122075 -superng HOME/instance-4294707-1532477867.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=29208, runsolver pid=29205
Current StackSize limit: 8192 KiB
[startup+0.100118 s]*
/proc/loadavg: 1.50 1.38 1.33 3/206 29265
/proc/meminfo: memFree=23967088/32770624 swapFree=67108860/67108860
[pid=29208] ppid=29205 vsize=9972712 memory=17340 CPUtime=0.09 cores=1,3,5,7
/proc/29208/stat : 29208 (java) S 29205 29208 27142 0 -1 1077944320 4460 12917 0 0 2 0 5 2 20 0 6 0 65349920 10212057088 4335 33554432000 4194304 4196468 140722594647024 140722594629568 140482929757943 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 37646336 140722594650283 140722594653532 140722594653532 140722594656207 0
/proc/29208/statm: 2493178 4335 1956 1 0 2481616 0
[pid=29208/tid=29261] ppid=29205 vsize=9972712 memory=4279135703913103502 CPUtime=0.08 cores=1,3,5,7
/proc/29208/task/29261/stat : 29261 (java) R 29205 29208 27142 0 -1 4202560 2268 12917 0 0 1 0 5 2 20 0 6 0 65349929 10212057088 4335 33554432000 4194304 4196468 140722594647024 140482901594704 140482913838430 0 4 0 16784584 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37646336 140722594650283 140722594653532 140722594653532 140722594656207 0
[pid=29208/tid=29262] ppid=29205 vsize=9972712 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/29208/task/29262/stat : 29262 (java) S 29205 29208 27142 0 -1 1077944384 2 12917 0 0 0 0 5 2 20 0 6 0 65349929 10212057088 4335 33554432000 4194304 4196468 140722594647024 140482934000784 140482929768149 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37646336 140722594650283 140722594653532 140722594653532 140722594656207 0
[pid=29208/tid=29263] ppid=29205 vsize=9972712 memory=140347268523648 CPUtime=0.07 cores=1,3,5,7
/proc/29208/task/29263/stat : 29263 (java) S 29205 29208 27142 0 -1 1077944384 1 12917 0 0 0 0 5 2 20 0 6 0 65349929 10212057088 4335 33554432000 4194304 4196468 140722594647024 140482822274064 140482929768149 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37646336 140722594650283 140722594653532 140722594653532 140722594656207 0
[pid=29208/tid=29264] ppid=29205 vsize=9972712 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/29208/task/29264/stat : 29264 (java) S 29205 29208 27142 0 -1 1077944384 1 12917 0 0 0 0 5 2 20 0 6 0 65349929 10212057088 4335 33554432000 4194304 4196468 140722594647024 140482821221264 140482929768149 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37646336 140722594650283 140722594653532 140722594653532 140722594656207 0
[pid=29208/tid=29265] ppid=29205 vsize=9972712 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/29208/task/29265/stat : 29265 (java) S 29205 29208 27142 0 -1 1077944384 1 12917 0 0 0 0 5 2 20 0 6 0 65349929 10212057088 4335 33554432000 4194304 4196468 140722594647024 140482820168464 140482929768149 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37646336 140722594650283 140722594653532 140722594653532 140722594656207 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 17340 KiB
[startup+0.211026 s]*
/proc/loadavg: 1.50 1.38 1.33 3/215 29274
/proc/meminfo: memFree=23945308/32770624 swapFree=67108860/67108860
[pid=29208] ppid=29205 vsize=10818936 memory=44092 CPUtime=0.25 cores=1,3,5,7
/proc/29208/stat : 29208 (java) S 29205 29208 27142 0 -1 1077944320 8903 12917 0 0 17 1 5 2 20 0 15 0 65349920 11078590464 11023 33554432000 4194304 4196468 140722594647024 140722594629568 140482929757943 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 37646336 140722594650283 140722594653532 140722594653532 140722594656207 0
/proc/29208/statm: 2704734 11023 2931 1 0 2667157 0
[pid=29208/tid=29261] ppid=29205 vsize=10818936 memory=7022364594140610616 CPUtime=0.18 cores=1,3,5,7
/proc/29208/task/29261/stat : 29261 (java) R 29205 29208 27142 0 -1 4202560 5661 12917 0 0 11 0 5 2 20 0 15 0 65349929 11078590464 11089 33554432000 4194304 4196468 140722594647024 140482901582752 140482922437661 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37646336 140722594650283 140722594653532 140722594653532 140722594656207 0
[pid=29208/tid=29262] ppid=29205 vsize=10818936 memory=364 CPUtime=0.07 cores=1,3,5,7
/proc/29208/task/29262/stat : 29262 (java) S 29205 29208 27142 0 -1 1077944384 2 12917 0 0 0 0 5 2 20 0 15 0 65349929 11078590464 11089 33554432000 4194304 4196468 140722594647024 140482934000784 140482929768149 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37646336 140722594650283 140722594653532 140722594653532 140722594656207 0
[pid=29208/tid=29263] ppid=29205 vsize=10818936 memory=140347268550812 CPUtime=0.07 cores=1,3,5,7
/proc/29208/task/29263/stat : 29263 (java) S 29205 29208 27142 0 -1 1077944384 1 12917 0 0 0 0 5 2 20 0 15 0 65349929 11078590464 11155 33554432000 4194304 4196468 140722594647024 140482822274064 140482929768149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37646336 140722594650283 140722594653532 140722594653532 140722594656207 0
[pid=29208/tid=29264] ppid=29205 vsize=10818936 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/29208/task/29264/stat : 29264 (java) S 29205 29208 27142 0 -1 1077944384 1 12917 0 0 0 0 5 2 20 0 15 0 65349929 11078590464 11155 33554432000 4194304 4196468 140722594647024 140482821221264 140482929768149 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37646336 140722594650283 140722594653532 140722594653532 140722594656207 0
[pid=29208/tid=29265] ppid=29205 vsize=10818936 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/29208/task/29265/stat : 29265 (java) S 29205 29208 27142 0 -1 1077944384 1 12917 0 0 0 0 5 2 20 0 15 0 65349929 11078590464 11155 33554432000 4194304 4196468 140722594647024 140482820168464 140482929768149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37646336 140722594650283 140722594653532 140722594653532 140722594656207 0
[pid=29208/tid=29266] ppid=29205 vsize=10818936 memory=140347268523648 CPUtime=0.07 cores=1,3,5,7
/proc/29208/task/29266/stat : 29266 (java) S 29205 29208 27142 0 -1 1077944384 2 12917 0 0 0 0 5 2 20 0 15 0 65349931 11078590464 11221 33554432000 4194304 4196468 140722594647024 140482217564528 140482929769090 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37646336 140722594650283 140722594653532 140722594653532 140722594656207 0
[pid=29208/tid=29267] ppid=29205 vsize=10818936 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/29208/task/29267/stat : 29267 (java) S 29205 29208 27142 0 -1 1077944384 13 12917 0 0 0 0 5 2 20 0 15 0 65349931 11078590464 11221 33554432000 4194304 4196468 140722594647024 140482123195424 140482929768149 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37646336 140722594650283 140722594653532 140722594653532 140722594656207 0
[pid=29208/tid=29268] ppid=29205 vsize=10818936 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/29208/task/29268/stat : 29268 (java) S 29205 29208 27142 0 -1 1077944384 1 12917 0 0 0 0 5 2 20 0 15 0 65349932 11078590464 11221 33554432000 4194304 4196468 140722594647024 140482004902768 140482929768149 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37646336 140722594650283 140722594653532 140722594653532 140722594656207 0
[pid=29208/tid=29269] ppid=29205 vsize=10818936 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/29208/task/29269/stat : 29269 (java) S 29205 29208 27142 0 -1 1077944384 3 12917 0 0 0 0 5 2 20 0 15 0 65349934 11078590464 11287 33554432000 4194304 4196468 140722594647024 140481496176464 140482929776539 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37646336 140722594650283 140722594653532 140722594653532 140722594656207 0
[pid=29208/tid=29270] ppid=29205 vsize=10818936 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/29208/task/29270/stat : 29270 (java) S 29205 29208 27142 0 -1 1077944384 525 12917 0 0 1 0 5 2 20 0 15 0 65349934 11078590464 11287 33554432000 4194304 4196468 140722594647024 140482216512368 140482929769090 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37646336 140722594650283 140722594653532 140722594653532 140722594656207 0
[pid=29208/tid=29271] ppid=29205 vsize=10818936 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/29208/task/29271/stat : 29271 (java) S 29205 29208 27142 0 -1 1077944384 54 12917 0 0 0 0 5 2 20 0 15 0 65349934 11078590464 11287 33554432000 4194304 4196468 140722594647024 140482215459568 140482929769090 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37646336 140722594650283 140722594653532 140722594653532 140722594656207 0
[pid=29208/tid=29272] ppid=29205 vsize=10818936 memory=140347268523648 CPUtime=0.1 cores=1,3,5,7
/proc/29208/task/29272/stat : 29272 (java) S 29205 29208 27142 0 -1 1077944384 550 12917 0 0 3 0 5 2 20 0 15 0 65349934 11078590464 11353 33554432000 4194304 4196468 140722594647024 140482214406768 140482929769090 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37646336 140722594650283 140722594653532 140722594653532 140722594656207 0
[pid=29208/tid=29273] ppid=29205 vsize=10818936 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/29208/task/29273/stat : 29273 (java) S 29205 29208 27142 0 -1 1077944384 3 12917 0 0 0 0 5 2 20 0 15 0 65349934 11078590464 11353 33554432000 4194304 4196468 140722594647024 140481462618848 140482929768149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37646336 140722594650283 140722594653532 140722594653532 140722594656207 0
[pid=29208/tid=29274] ppid=29205 vsize=10818936 memory=140347268523648 CPUtime=0.07 cores=1,3,5,7
/proc/29208/task/29274/stat : 29274 (java) S 29205 29208 27142 0 -1 1077944384 1 12917 0 0 0 0 5 2 20 0 15 0 65349935 11078590464 11353 33554432000 4194304 4196468 140722594647024 140482213354160 140482929769090 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37646336 140722594650283 140722594653532 140722594653532 140722594656207 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 10818936 KiB
Current children cumulated memory: 44092 KiB
[startup+0.310648 s]*
/proc/loadavg: 1.50 1.38 1.33 3/215 29274
/proc/meminfo: memFree=23934844/32770624 swapFree=67108860/67108860
[pid=29208] ppid=29205 vsize=10819352 memory=54292 CPUtime=0.37 cores=1,3,5,7
/proc/29208/stat : 29208 (java) S 29205 29208 27142 0 -1 1077944320 10687 12917 0 0 28 2 5 2 20 0 15 0 65349920 11079016448 13573 33554432000 4194304 4196468 140722594647024 140722594629568 140482929757943 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 37646336 140722594650283 140722594653532 140722594653532 140722594656207 0
/proc/29208/statm: 2704838 13573 3050 1 0 2667149 0
[pid=29208/tid=29261] ppid=29205 vsize=10819352 memory=6791534058613427641 CPUtime=0.27 cores=1,3,5,7
/proc/29208/task/29261/stat : 29261 (java) R 29205 29208 27142 0 -1 4202560 7337 12917 0 0 19 1 5 2 20 0 15 0 65349929 11079016448 13573 33554432000 4194304 4196468 140722594647024 140482901569952 140482929779869 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37646336 140722594650283 140722594653532 140722594653532 140722594656207 0
[pid=29208/tid=29262] ppid=29205 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/29208/task/29262/stat : 29262 (java) S 29205 29208 27142 0 -1 1077944384 2 12917 0 0 0 0 5 2 20 0 15 0 65349929 11079016448 13573 33554432000 4194304 4196468 140722594647024 140482934000784 140482929768149 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37646336 140722594650283 140722594653532 140722594653532 140722594656207 0
[pid=29208/tid=29263] ppid=29205 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/29208/task/29263/stat : 29263 (java) S 29205 29208 27142 0 -1 1077944384 1 12917 0 0 0 0 5 2 20 0 15 0 65349929 11079016448 13573 33554432000 4194304 4196468 140722594647024 140482822274064 140482929768149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37646336 140722594650283 140722594653532 140722594653532 140722594656207 0
[pid=29208/tid=29264] ppid=29205 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/29208/task/29264/stat : 29264 (java) S 29205 29208 27142 0 -1 1077944384 1 12917 0 0 0 0 5 2 20 0 15 0 65349929 11079016448 13573 33554432000 4194304 4196468 140722594647024 140482821221264 140482929768149 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37646336 140722594650283 140722594653532 140722594653532 140722594656207 0
[pid=29208/tid=29265] ppid=29205 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/29208/task/29265/stat : 29265 (java) S 29205 29208 27142 0 -1 1077944384 1 12917 0 0 0 0 5 2 20 0 15 0 65349929 11079016448 13573 33554432000 4194304 4196468 140722594647024 140482820168464 140482929768149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37646336 140722594650283 140722594653532 140722594653532 140722594656207 0
[pid=29208/tid=29266] ppid=29205 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/29208/task/29266/stat : 29266 (java) S 29205 29208 27142 0 -1 1077944384 2 12917 0 0 0 0 5 2 20 0 15 0 65349931 11079016448 13573 33554432000 4194304 4196468 140722594647024 140482217564528 140482929769090 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37646336 140722594650283 140722594653532 140722594653532 140722594656207 0
[pid=29208/tid=29267] ppid=29205 vsize=10819352 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/29208/task/29267/stat : 29267 (java) S 29205 29208 27142 0 -1 1077944384 13 12917 0 0 0 0 5 2 20 0 15 0 65349931 11079016448 13573 33554432000 4194304 4196468 140722594647024 140482123195424 140482929768149 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37646336 140722594650283 140722594653532 140722594653532 140722594656207 0
[pid=29208/tid=29268] ppid=29205 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/29208/task/29268/stat : 29268 (java) S 29205 29208 27142 0 -1 1077944384 1 12917 0 0 0 0 5 2 20 0 15 0 65349932 11079016448 13573 33554432000 4194304 4196468 140722594647024 140482004902768 140482929768149 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37646336 140722594650283 140722594653532 140722594653532 140722594656207 0
[pid=29208/tid=29269] ppid=29205 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/29208/task/29269/stat : 29269 (java) S 29205 29208 27142 0 -1 1077944384 3 12917 0 0 0 0 5 2 20 0 15 0 65349934 11079016448 13573 33554432000 4194304 4196468 140722594647024 140481496176464 140482929776539 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37646336 140722594650283 140722594653532 140722594653532 140722594656207 0
[pid=29208/tid=29270] ppid=29205 vsize=10819352 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/29208/task/29270/stat : 29270 (java) R 29205 29208 27142 0 -1 4202560 526 12917 0 0 2 0 5 2 20 0 15 0 65349934 11079016448 13573 33554432000 4194304 4196468 140722594647024 140482216512368 140482929779290 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37646336 140722594650283 140722594653532 140722594653532 140722594656207 0
[pid=29208/tid=29271] ppid=29205 vsize=10819352 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/29208/task/29271/stat : 29271 (java) S 29205 29208 27142 0 -1 1077944384 54 12917 0 0 1 0 5 2 20 0 15 0 65349934 11079016448 13573 33554432000 4194304 4196468 140722594647024 140482215459568 140482929769090 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37646336 140722594650283 140722594653532 140722594653532 140722594656207 0
[pid=29208/tid=29272] ppid=29205 vsize=10819352 memory=140347268523648 CPUtime=0.12 cores=1,3,5,7
/proc/29208/task/29272/stat : 29272 (java) R 29205 29208 27142 0 -1 4202560 555 12917 0 0 5 0 5 2 20 0 15 0 65349934 11079016448 13573 33554432000 4194304 4196468 140722594647024 140482214406768 140482929779290 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37646336 140722594650283 140722594653532 140722594653532 140722594656207 0
[pid=29208/tid=29273] ppid=29205 vsize=10819352 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/29208/task/29273/stat : 29273 (java) S 29205 29208 27142 0 -1 1077944384 3 12917 0 0 0 0 5 2 20 0 15 0 65349934 11079016448 13573 33554432000 4194304 4196468 140722594647024 140481462618848 140482929768149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37646336 140722594650283 140722594653532 140722594653532 140722594656207 0
[pid=29208/tid=29274] ppid=29205 vsize=10819352 memory=140347268523648 CPUtime=0.07 cores=1,3,5,7
/proc/29208/task/29274/stat : 29274 (java) S 29205 29208 27142 0 -1 1077944384 1 12917 0 0 0 0 5 2 20 0 15 0 65349935 11079016448 13573 33554432000 4194304 4196468 140722594647024 140482213354160 140482929769090 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37646336 140722594650283 140722594653532 140722594653532 140722594656207 0
Current children cumulated CPU time: 0.37 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 54292 KiB
[startup+0.700779 s]
/proc/loadavg: 1.50 1.38 1.33 3/215 29274
/proc/meminfo: memFree=23924548/32770624 swapFree=67108860/67108860
[pid=29208] ppid=29205 vsize=10819352 memory=86776 CPUtime=0.97 cores=1,3,5,7
/proc/29208/stat : 29208 (java) S 29205 29208 27142 0 -1 1077944320 16774 12917 0 0 87 3 5 2 20 0 15 0 65349920 11079016448 21694 33554432000 4194304 4196468 140722594647024 140722594629568 140482929757943 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 37646336 140722594650283 140722594653532 140722594653532 140722594656207 0
/proc/29208/statm: 2704838 21694 3237 1 0 2667149 0
[pid=29208/tid=29261] ppid=29205 vsize=10819352 memory=0 CPUtime=0.65 cores=1,3,5,7
/proc/29208/task/29261/stat : 29261 (java) R 29205 29208 27142 0 -1 4202560 12365 12917 0 0 56 2 5 2 20 0 15 0 65349929 11079016448 21694 33554432000 4194304 4196468 140722594647024 140482901578768 140482911322921 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37646336 140722594650283 140722594653532 140722594653532 140722594656207 0
[pid=29208/tid=29262] ppid=29205 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/29208/task/29262/stat : 29262 (java) S 29205 29208 27142 0 -1 1077944384 2 12917 0 0 0 0 5 2 20 0 15 0 65349929 11079016448 21694 33554432000 4194304 4196468 140722594647024 140482934000784 140482929768149 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37646336 140722594650283 140722594653532 140722594653532 140722594656207 0
[pid=29208/tid=29263] ppid=29205 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/29208/task/29263/stat : 29263 (java) S 29205 29208 27142 0 -1 1077944384 1 12917 0 0 0 0 5 2 20 0 15 0 65349929 11079016448 21694 33554432000 4194304 4196468 140722594647024 140482822274064 140482929768149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37646336 140722594650283 140722594653532 140722594653532 140722594656207 0
[pid=29208/tid=29264] ppid=29205 vsize=10819352 memory=140347116237616 CPUtime=0.07 cores=1,3,5,7
/proc/29208/task/29264/stat : 29264 (java) S 29205 29208 27142 0 -1 1077944384 1 12917 0 0 0 0 5 2 20 0 15 0 65349929 11079016448 21694 33554432000 4194304 4196468 140722594647024 140482821221264 140482929768149 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37646336 140722594650283 140722594653532 140722594653532 140722594656207 0
[pid=29208/tid=29265] ppid=29205 vsize=10819352 memory=140350941299281 CPUtime=0.07 cores=1,3,5,7
/proc/29208/task/29265/stat : 29265 (java) S 29205 29208 27142 0 -1 1077944384 1 12917 0 0 0 0 5 2 20 0 15 0 65349929 11079016448 21694 33554432000 4194304 4196468 140722594647024 140482820168464 140482929768149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37646336 140722594650283 140722594653532 140722594653532 140722594656207 0
[pid=29208/tid=29266] ppid=29205 vsize=10819352 memory=1624 CPUtime=0.07 cores=1,3,5,7
/proc/29208/task/29266/stat : 29266 (java) S 29205 29208 27142 0 -1 1077944384 5 12917 0 0 0 0 5 2 20 0 15 0 65349931 11079016448 21694 33554432000 4194304 4196468 140722594647024 140482217564528 140482929769090 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37646336 140722594650283 140722594653532 140722594653532 140722594656207 0
[pid=29208/tid=29267] ppid=29205 vsize=10819352 memory=4639098309541127270 CPUtime=0.07 cores=1,3,5,7
/proc/29208/task/29267/stat : 29267 (java) S 29205 29208 27142 0 -1 1077944384 13 12917 0 0 0 0 5 2 20 0 15 0 65349931 11079016448 21694 33554432000 4194304 4196468 140722594647024 140482123195424 140482929768149 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37646336 140722594650283 140722594653532 140722594653532 140722594656207 0
[pid=29208/tid=29268] ppid=29205 vsize=10819352 memory=7885635084775281009 CPUtime=0.07 cores=1,3,5,7
/proc/29208/task/29268/stat : 29268 (java) S 29205 29208 27142 0 -1 1077944384 1 12917 0 0 0 0 5 2 20 0 15 0 65349932 11079016448 21694 33554432000 4194304 4196468 140722594647024 140482004902768 140482929768149 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37646336 140722594650283 140722594653532 140722594653532 140722594656207 0
[pid=29208/tid=29269] ppid=29205 vsize=10819352 memory=12648 CPUtime=0.07 cores=1,3,5,7
/proc/29208/task/29269/stat : 29269 (java) S 29205 29208 27142 0 -1 1077944384 3 12917 0 0 0 0 5 2 20 0 15 0 65349934 11079016448 21694 33554432000 4194304 4196468 140722594647024 140481496176464 140482929776539 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37646336 140722594650283 140722594653532 140722594653532 140722594656207 0
[pid=29208/tid=29270] ppid=29205 vsize=10819352 memory=4052 CPUtime=0.14 cores=1,3,5,7
/proc/29208/task/29270/stat : 29270 (java) S 29205 29208 27142 0 -1 1077944384 906 12917 0 0 7 0 5 2 20 0 15 0 65349934 11079016448 21694 33554432000 4194304 4196468 140722594647024 140482216512368 140482929769090 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37646336 140722594650283 140722594653532 140722594653532 140722594656207 0
[pid=29208/tid=29271] ppid=29205 vsize=10819352 memory=18444 CPUtime=0.16 cores=1,3,5,7
/proc/29208/task/29271/stat : 29271 (java) S 29205 29208 27142 0 -1 1077944384 677 12917 0 0 9 0 5 2 20 0 15 0 65349934 11079016448 21694 33554432000 4194304 4196468 140722594647024 140482215459568 140482929769090 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37646336 140722594650283 140722594653532 140722594653532 140722594656207 0
[pid=29208/tid=29272] ppid=29205 vsize=10819352 memory=640 CPUtime=0.2 cores=1,3,5,7
/proc/29208/task/29272/stat : 29272 (java) S 29205 29208 27142 0 -1 1077944384 608 12917 0 0 13 0 5 2 20 0 15 0 65349934 11079016448 21694 33554432000 4194304 4196468 140722594647024 140482214406768 140482929769090 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37646336 140722594650283 140722594653532 140722594653532 140722594656207 0
[pid=29208/tid=29273] ppid=29205 vsize=10819352 memory=1784 CPUtime=0.07 cores=1,3,5,7
/proc/29208/task/29273/stat : 29273 (java) S 29205 29208 27142 0 -1 1077944384 3 12917 0 0 0 0 5 2 20 0 15 0 65349934 11079016448 21694 33554432000 4194304 4196468 140722594647024 140481462618848 140482929768149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37646336 140722594650283 140722594653532 140722594653532 140722594656207 0
[pid=29208/tid=29274] ppid=29205 vsize=10819352 memory=1236 CPUtime=0.07 cores=1,3,5,7
/proc/29208/task/29274/stat : 29274 (java) S 29205 29208 27142 0 -1 1077944384 1 12917 0 0 0 0 5 2 20 0 15 0 65349935 11079016448 21694 33554432000 4194304 4196468 140722594647024 140482213354160 140482929769090 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37646336 140722594650283 140722594653532 140722594653532 140722594656207 0
Current children cumulated CPU time: 0.97 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 86776 KiB
[startup+1.50074 s]
/proc/loadavg: 1.50 1.38 1.33 3/215 29274
/proc/meminfo: memFree=23878220/32770624 swapFree=67108860/67108860
[pid=29208] ppid=29205 vsize=10834252 memory=177360 CPUtime=2.28 cores=1,3,5,7
/proc/29208/stat : 29208 (java) S 29205 29208 27142 0 -1 1077944320 23898 12917 0 0 212 9 5 2 20 0 15 0 65349920 11094274048 44340 33554432000 4194304 4196468 140722594647024 140722594629568 140482929757943 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 37646336 140722594650283 140722594653532 140722594653532 140722594656207 0
/proc/29208/statm: 2708563 44340 3468 1 0 2670221 0
[pid=29208/tid=29261] ppid=29205 vsize=10834252 memory=63340 CPUtime=1.42 cores=1,3,5,7
/proc/29208/task/29261/stat : 29261 (java) R 29205 29208 27142 0 -1 4202560 17816 12917 0 0 130 5 5 2 20 0 15 0 65349929 11094274048 44340 33554432000 4194304 4196468 140722594647024 140482901575744 140482913838460 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37646336 140722594650283 140722594653532 140722594653532 140722594656207 0
[pid=29208/tid=29262] ppid=29205 vsize=10834252 memory=6791534058613427641 CPUtime=0.07 cores=1,3,5,7
/proc/29208/task/29262/stat : 29262 (java) S 29205 29208 27142 0 -1 1077944384 61 12917 0 0 0 0 5 2 20 0 15 0 65349929 11094274048 44340 33554432000 4194304 4196468 140722594647024 140482934000784 140482929768149 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37646336 140722594650283 140722594653532 140722594653532 140722594656207 0
[pid=29208/tid=29263] ppid=29205 vsize=10834252 memory=280694232506528 CPUtime=0.07 cores=1,3,5,7
/proc/29208/task/29263/stat : 29263 (java) S 29205 29208 27142 0 -1 1077944384 174 12917 0 0 0 0 5 2 20 0 15 0 65349929 11094274048 44340 33554432000 4194304 4196468 140722594647024 140482822274064 140482929768149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37646336 140722594650283 140722594653532 140722594653532 140722594656207 0
[pid=29208/tid=29264] ppid=29205 vsize=10834252 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/29208/task/29264/stat : 29264 (java) S 29205 29208 27142 0 -1 1077944384 16 12917 0 0 0 0 5 2 20 0 15 0 65349929 11094274048 44340 33554432000 4194304 4196468 140722594647024 140482821221264 140482929768149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37646336 140722594650283 140722594653532 140722594653532 140722594656207 0
[pid=29208/tid=29265] ppid=29205 vsize=10834252 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/29208/task/29265/stat : 29265 (java) S 29205 29208 27142 0 -1 1077944384 32 12917 0 0 0 0 5 2 20 0 15 0 65349929 11094274048 44340 33554432000 4194304 4196468 140722594647024 140482820168464 140482929768149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37646336 140722594650283 140722594653532 140722594653532 140722594656207 0
[pid=29208/tid=29266] ppid=29205 vsize=10834252 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/29208/task/29266/stat : 29266 (java) S 29205 29208 27142 0 -1 1077944384 54 12917 0 0 1 0 5 2 20 0 15 0 65349931 11094274048 44340 33554432000 4194304 4196468 140722594647024 140482217564528 140482929769090 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37646336 140722594650283 140722594653532 140722594653532 140722594656207 0
[pid=29208/tid=29267] ppid=29205 vsize=10834252 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/29208/task/29267/stat : 29267 (java) S 29205 29208 27142 0 -1 1077944384 14 12917 0 0 0 0 5 2 20 0 15 0 65349931 11094274048 44340 33554432000 4194304 4196468 140722594647024 140482123195488 140482929768149 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37646336 140722594650283 140722594653532 140722594653532 140722594656207 0
[pid=29208/tid=29268] ppid=29205 vsize=10834252 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/29208/task/29268/stat : 29268 (java) S 29205 29208 27142 0 -1 1077944384 1 12917 0 0 0 0 5 2 20 0 15 0 65349932 11094274048 44340 33554432000 4194304 4196468 140722594647024 140482004902768 140482929768149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37646336 140722594650283 140722594653532 140722594653532 140722594656207 0
[pid=29208/tid=29269] ppid=29205 vsize=10834252 memory=-5921431000321636112 CPUtime=0.07 cores=1,3,5,7
/proc/29208/task/29269/stat : 29269 (java) S 29205 29208 27142 0 -1 1077944384 3 12917 0 0 0 0 5 2 20 0 15 0 65349934 11094274048 44340 33554432000 4194304 4196468 140722594647024 140481496176464 140482929776539 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37646336 140722594650283 140722594653532 140722594653532 140722594656207 0
[pid=29208/tid=29270] ppid=29205 vsize=10834252 memory=0 CPUtime=0.24 cores=1,3,5,7
/proc/29208/task/29270/stat : 29270 (java) S 29205 29208 27142 0 -1 1077944384 1097 12917 0 0 17 0 5 2 20 0 15 0 65349934 11094274048 44340 33554432000 4194304 4196468 140722594647024 140482216512368 140482929769090 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37646336 140722594650283 140722594653532 140722594653532 140722594656207 0
[pid=29208/tid=29271] ppid=29205 vsize=10834252 memory=0 CPUtime=0.29 cores=1,3,5,7
/proc/29208/task/29271/stat : 29271 (java) S 29205 29208 27142 0 -1 1077944384 1160 12917 0 0 22 0 5 2 20 0 15 0 65349934 11094274048 44340 33554432000 4194304 4196468 140722594647024 140482215459568 140482929769090 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37646336 140722594650283 140722594653532 140722594653532 140722594656207 0
[pid=29208/tid=29272] ppid=29205 vsize=10834252 memory=6791534058613427641 CPUtime=0.42 cores=1,3,5,7
/proc/29208/task/29272/stat : 29272 (java) S 29205 29208 27142 0 -1 1077944384 1279 12917 0 0 35 0 5 2 20 0 15 0 65349934 11094274048 44340 33554432000 4194304 4196468 140722594647024 140482214406768 140482929769090 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37646336 140722594650283 140722594653532 140722594653532 140722594656207 0
[pid=29208/tid=29273] ppid=29205 vsize=10834252 memory=4638778398332698720 CPUtime=0.07 cores=1,3,5,7
/proc/29208/task/29273/stat : 29273 (java) S 29205 29208 27142 0 -1 1077944384 3 12917 0 0 0 0 5 2 20 0 15 0 65349934 11094274048 44340 33554432000 4194304 4196468 140722594647024 140481462618848 140482929768149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37646336 140722594650283 140722594653532 140722594653532 140722594656207 0
[pid=29208/tid=29274] ppid=29205 vsize=10834252 memory=280694232750976 CPUtime=0.07 cores=1,3,5,7
/proc/29208/task/29274/stat : 29274 (java) S 29205 29208 27142 0 -1 1077944384 1 12917 0 0 0 0 5 2 20 0 15 0 65349935 11094274048 44340 33554432000 4194304 4196468 140722594647024 140482213354160 140482929769090 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37646336 140722594650283 140722594653532 140722594653532 140722594656207 0
Current children cumulated CPU time: 2.28 s
Current children cumulated vsize: 10834252 KiB
################
# More data... #
################
/proc/29208/task/29261/stat : 29261 (java) R 29205 29208 27142 0 -1 4202560 78710 12917 0 0 236910 33 5 2 20 0 15 0 65349929 11176083456 183042 33554432000 4194304 4196468 140722594647024 140482901591792 140482507936859 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37646336 140722594650283 140722594653532 140722594653532 140722594656207 0
[pid=29208/tid=29262] ppid=29205 vsize=10914144 memory=732168 CPUtime=6.03 cores=1,3,5,7
/proc/29208/task/29262/stat : 29262 (java) S 29205 29208 27142 0 -1 1077944384 6809 12917 0 0 561 35 5 2 20 0 15 0 65349929 11176083456 183042 33554432000 4194304 4196468 140722594647024 140482934000784 140482929768149 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37646336 140722594650283 140722594653532 140722594653532 140722594656207 0
[pid=29208/tid=29263] ppid=29205 vsize=10914144 memory=732168 CPUtime=6.03 cores=1,3,5,7
/proc/29208/task/29263/stat : 29263 (java) S 29205 29208 27142 0 -1 1077944384 7572 12917 0 0 563 33 5 2 20 0 15 0 65349929 11176083456 183042 33554432000 4194304 4196468 140722594647024 140482822274064 140482929768149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37646336 140722594650283 140722594653532 140722594653532 140722594656207 0
[pid=29208/tid=29264] ppid=29205 vsize=10914144 memory=732168 CPUtime=6.02 cores=1,3,5,7
/proc/29208/task/29264/stat : 29264 (java) S 29205 29208 27142 0 -1 1077944384 9578 12917 0 0 558 37 5 2 20 0 15 0 65349929 11176083456 183042 33554432000 4194304 4196468 140722594647024 140482821221264 140482929768149 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37646336 140722594650283 140722594653532 140722594653532 140722594656207 0
[pid=29208/tid=29265] ppid=29205 vsize=10914144 memory=916 CPUtime=6 cores=1,3,5,7
/proc/29208/task/29265/stat : 29265 (java) S 29205 29208 27142 0 -1 1077944384 7655 12917 0 0 563 30 5 2 20 0 15 0 65349929 11176083456 183042 33554432000 4194304 4196468 140722594647024 140482820168464 140482929768149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37646336 140722594650283 140722594653532 140722594653532 140722594656207 0
[pid=29208/tid=29266] ppid=29205 vsize=10914144 memory=4052 CPUtime=5.31 cores=1,3,5,7
/proc/29208/task/29266/stat : 29266 (java) S 29205 29208 27142 0 -1 1077944384 9200 12917 0 0 492 32 5 2 20 0 15 0 65349931 11176083456 183042 33554432000 4194304 4196468 140722594647024 140482217564528 140482929769090 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37646336 140722594650283 140722594653532 140722594653532 140722594656207 0
[pid=29208/tid=29267] ppid=29205 vsize=10914144 memory=3848 CPUtime=0.07 cores=1,3,5,7
/proc/29208/task/29267/stat : 29267 (java) S 29205 29208 27142 0 -1 1077944384 14 12917 0 0 0 0 5 2 20 0 15 0 65349931 11176083456 183042 33554432000 4194304 4196468 140722594647024 140482123195488 140482929768149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37646336 140722594650283 140722594653532 140722594653532 140722594656207 0
[pid=29208/tid=29268] ppid=29205 vsize=10914144 memory=732168 CPUtime=0.07 cores=1,3,5,7
/proc/29208/task/29268/stat : 29268 (java) S 29205 29208 27142 0 -1 1077944384 4 12917 0 0 0 0 5 2 20 0 15 0 65349932 11176083456 183042 33554432000 4194304 4196468 140722594647024 140482004902784 140482929768149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37646336 140722594650283 140722594653532 140722594653532 140722594656207 0
[pid=29208/tid=29269] ppid=29205 vsize=10914144 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/29208/task/29269/stat : 29269 (java) S 29205 29208 27142 0 -1 1077944384 3 12917 0 0 0 0 5 2 20 0 15 0 65349934 11176083456 183042 33554432000 4194304 4196468 140722594647024 140481496176464 140482929776539 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37646336 140722594650283 140722594653532 140722594653532 140722594656207 0
[pid=29208/tid=29270] ppid=29205 vsize=10914144 memory=732168 CPUtime=3.65 cores=1,3,5,7
/proc/29208/task/29270/stat : 29270 (java) S 29205 29208 27142 0 -1 1077944384 23286 12917 0 0 355 3 5 2 20 0 15 0 65349934 11176083456 183042 33554432000 4194304 4196468 140722594647024 140482216512368 140482929769090 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37646336 140722594650283 140722594653532 140722594653532 140722594656207 0
[pid=29208/tid=29271] ppid=29205 vsize=10914144 memory=732160 CPUtime=3.45 cores=1,3,5,7
/proc/29208/task/29271/stat : 29271 (java) S 29205 29208 27142 0 -1 1077944384 19769 12917 0 0 336 2 5 2 20 0 15 0 65349934 11176083456 183042 33554432000 4194304 4196468 140722594647024 140482215459568 140482929769090 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37646336 140722594650283 140722594653532 140722594653532 140722594656207 0
[pid=29208/tid=29272] ppid=29205 vsize=10914144 memory=280694232547376 CPUtime=1.69 cores=1,3,5,7
/proc/29208/task/29272/stat : 29272 (java) S 29205 29208 27142 0 -1 1077944384 15976 12917 0 0 159 3 5 2 20 0 15 0 65349934 11176083456 183042 33554432000 4194304 4196468 140722594647024 140482214406768 140482929769090 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37646336 140722594650283 140722594653532 140722594653532 140722594656207 0
[pid=29208/tid=29273] ppid=29205 vsize=10914144 memory=732168 CPUtime=0.07 cores=1,3,5,7
/proc/29208/task/29273/stat : 29273 (java) S 29205 29208 27142 0 -1 1077944384 3 12917 0 0 0 0 5 2 20 0 15 0 65349934 11176083456 183042 33554432000 4194304 4196468 140722594647024 140481462618848 140482929768149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37646336 140722594650283 140722594653532 140722594653532 140722594656207 0
[pid=29208/tid=29274] ppid=29205 vsize=10914144 memory=4028 CPUtime=1.2 cores=1,3,5,7
/proc/29208/task/29274/stat : 29274 (java) S 29205 29208 27142 0 -1 1077944384 1344 12917 0 0 52 61 5 2 20 0 15 0 65349935 11176083456 183042 33554432000 4194304 4196468 140722594647024 140482213354160 140482929769090 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37646336 140722594650283 140722594653532 140722594653532 140722594656207 0
Current children cumulated CPU time: 2408.37 s
Current children cumulated vsize: 10914144 KiB
Current children cumulated memory: 732168 KiB
[startup+2442.3 s]
/proc/loadavg: 1.58 1.47 1.43 3/215 29479
/proc/meminfo: memFree=23250544/32770624 swapFree=67108860/67108860
[pid=29208] ppid=29205 vsize=10914144 memory=732204 CPUtime=2468.84 cores=1,3,5,7
/proc/29208/stat : 29208 (java) S 29205 29208 27142 0 -1 1077944320 182901 12917 0 0 246640 237 5 2 20 0 15 0 65349920 11176083456 183051 33554432000 4194304 4196468 140722594647024 140722594629568 140482929757943 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 37646336 140722594650283 140722594653532 140722594653532 140722594656207 0
/proc/29208/statm: 2728536 183051 3520 1 0 2690189 0
[pid=29208/tid=29261] ppid=29205 vsize=10914144 memory=732204 CPUtime=2429.18 cores=1,3,5,7
/proc/29208/task/29261/stat : 29261 (java) R 29205 29208 27142 0 -1 4202560 79138 12917 0 0 242877 34 5 2 20 0 15 0 65349929 11176083456 183051 33554432000 4194304 4196468 140722594647024 140482901592064 140482507933382 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37646336 140722594650283 140722594653532 140722594653532 140722594656207 0
[pid=29208/tid=29262] ppid=29205 vsize=10914144 memory=732204 CPUtime=6.19 cores=1,3,5,7
/proc/29208/task/29262/stat : 29262 (java) S 29205 29208 27142 0 -1 1077944384 6904 12917 0 0 577 35 5 2 20 0 15 0 65349929 11176083456 183051 33554432000 4194304 4196468 140722594647024 140482934000784 140482929768149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37646336 140722594650283 140722594653532 140722594653532 140722594656207 0
[pid=29208/tid=29263] ppid=29205 vsize=10914144 memory=732204 CPUtime=6.19 cores=1,3,5,7
/proc/29208/task/29263/stat : 29263 (java) S 29205 29208 27142 0 -1 1077944384 7614 12917 0 0 578 34 5 2 20 0 15 0 65349929 11176083456 183051 33554432000 4194304 4196468 140722594647024 140482822274064 140482929768149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37646336 140722594650283 140722594653532 140722594653532 140722594656207 0
[pid=29208/tid=29264] ppid=29205 vsize=10914144 memory=732204 CPUtime=6.19 cores=1,3,5,7
/proc/29208/task/29264/stat : 29264 (java) S 29205 29208 27142 0 -1 1077944384 9586 12917 0 0 574 38 5 2 20 0 15 0 65349929 11176083456 183051 33554432000 4194304 4196468 140722594647024 140482821221264 140482929768149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37646336 140722594650283 140722594653532 140722594653532 140722594656207 0
[pid=29208/tid=29265] ppid=29205 vsize=10914144 memory=732204 CPUtime=6.15 cores=1,3,5,7
/proc/29208/task/29265/stat : 29265 (java) S 29205 29208 27142 0 -1 1077944384 7665 12917 0 0 577 31 5 2 20 0 15 0 65349929 11176083456 183051 33554432000 4194304 4196468 140722594647024 140482820168464 140482929768149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37646336 140722594650283 140722594653532 140722594653532 140722594656207 0
[pid=29208/tid=29266] ppid=29205 vsize=10914144 memory=732204 CPUtime=5.45 cores=1,3,5,7
/proc/29208/task/29266/stat : 29266 (java) S 29205 29208 27142 0 -1 1077944384 9384 12917 0 0 505 33 5 2 20 0 15 0 65349931 11176083456 183051 33554432000 4194304 4196468 140722594647024 140482217564528 140482929769090 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37646336 140722594650283 140722594653532 140722594653532 140722594656207 0
[pid=29208/tid=29267] ppid=29205 vsize=10914144 memory=732204 CPUtime=0.07 cores=1,3,5,7
/proc/29208/task/29267/stat : 29267 (java) S 29205 29208 27142 0 -1 1077944384 14 12917 0 0 0 0 5 2 20 0 15 0 65349931 11176083456 183051 33554432000 4194304 4196468 140722594647024 140482123195488 140482929768149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37646336 140722594650283 140722594653532 140722594653532 140722594656207 0
[pid=29208/tid=29268] ppid=29205 vsize=10914144 memory=732204 CPUtime=0.07 cores=1,3,5,7
/proc/29208/task/29268/stat : 29268 (java) S 29205 29208 27142 0 -1 1077944384 4 12917 0 0 0 0 5 2 20 0 15 0 65349932 11176083456 183051 33554432000 4194304 4196468 140722594647024 140482004902784 140482929768149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37646336 140722594650283 140722594653532 140722594653532 140722594656207 0
[pid=29208/tid=29269] ppid=29205 vsize=10914144 memory=732204 CPUtime=0.07 cores=1,3,5,7
/proc/29208/task/29269/stat : 29269 (java) S 29205 29208 27142 0 -1 1077944384 3 12917 0 0 0 0 5 2 20 0 15 0 65349934 11176083456 183051 33554432000 4194304 4196468 140722594647024 140481496176464 140482929776539 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37646336 140722594650283 140722594653532 140722594653532 140722594656207 0
[pid=29208/tid=29270] ppid=29205 vsize=10914144 memory=0 CPUtime=3.65 cores=1,3,5,7
/proc/29208/task/29270/stat : 29270 (java) S 29205 29208 27142 0 -1 1077944384 23288 12917 0 0 355 3 5 2 20 0 15 0 65349934 11176083456 183051 33554432000 4194304 4196468 140722594647024 140482216512368 140482929769090 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37646336 140722594650283 140722594653532 140722594653532 140722594656207 0
[pid=29208/tid=29271] ppid=29205 vsize=10914144 memory=6791534058613427641 CPUtime=3.45 cores=1,3,5,7
/proc/29208/task/29271/stat : 29271 (java) S 29205 29208 27142 0 -1 1077944384 19771 12917 0 0 336 2 5 2 20 0 15 0 65349934 11176083456 183051 33554432000 4194304 4196468 140722594647024 140482215459568 140482929769090 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37646336 140722594650283 140722594653532 140722594653532 140722594656207 0
[pid=29208/tid=29272] ppid=29205 vsize=10914144 memory=2244 CPUtime=1.69 cores=1,3,5,7
/proc/29208/task/29272/stat : 29272 (java) S 29205 29208 27142 0 -1 1077944384 15978 12917 0 0 159 3 5 2 20 0 15 0 65349934 11176083456 183051 33554432000 4194304 4196468 140722594647024 140482214406768 140482929769090 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37646336 140722594650283 140722594653532 140722594653532 140722594656207 0
[pid=29208/tid=29273] ppid=29205 vsize=10914144 memory=640 CPUtime=0.07 cores=1,3,5,7
/proc/29208/task/29273/stat : 29273 (java) S 29205 29208 27142 0 -1 1077944384 3 12917 0 0 0 0 5 2 20 0 15 0 65349934 11176083456 183051 33554432000 4194304 4196468 140722594647024 140481462618848 140482929768149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37646336 140722594650283 140722594653532 140722594653532 140722594656207 0
[pid=29208/tid=29274] ppid=29205 vsize=10914144 memory=-8253362664378451598 CPUtime=1.22 cores=1,3,5,7
/proc/29208/task/29274/stat : 29274 (java) S 29205 29208 27142 0 -1 1077944384 1362 12917 0 0 54 61 5 2 20 0 15 0 65349935 11176083456 183051 33554432000 4194304 4196468 140722594647024 140482213354160 140482929769090 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37646336 140722594650283 140722594653532 140722594653532 140722594656207 0
Current children cumulated CPU time: 2468.84 s
Current children cumulated vsize: 10914144 KiB
Current children cumulated memory: 732204 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2493.1 s]
/proc/loadavg: 1.51 1.47 1.43 3/215 29479
/proc/meminfo: memFree=23250868/32770624 swapFree=67108860/67108860
[pid=29208] ppid=29205 vsize=10914144 memory=732220 CPUtime=2520.02 cores=1,3,5,7
/proc/29208/stat : 29208 (java) S 29205 29208 27142 0 -1 1077944320 183704 12917 0 0 251754 241 5 2 20 0 15 0 65349920 11176083456 183055 33554432000 4194304 4196468 140722594647024 140722594629568 140482929757943 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 37646336 140722594650283 140722594653532 140722594653532 140722594656207 0
/proc/29208/statm: 2728536 183055 3520 1 0 2690189 0
[pid=29208/tid=29261] ppid=29205 vsize=10914144 memory=732220 CPUtime=2479.69 cores=1,3,5,7
/proc/29208/task/29261/stat : 29261 (java) R 29205 29208 27142 0 -1 4202560 79439 12917 0 0 247928 34 5 2 20 0 15 0 65349929 11176083456 183055 33554432000 4194304 4196468 140722594647024 140482901592352 140482507935487 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37646336 140722594650283 140722594653532 140722594653532 140722594656207 0
[pid=29208/tid=29262] ppid=29205 vsize=10914144 memory=732220 CPUtime=6.32 cores=1,3,5,7
/proc/29208/task/29262/stat : 29262 (java) S 29205 29208 27142 0 -1 1077944384 6924 12917 0 0 589 36 5 2 20 0 15 0 65349929 11176083456 183055 33554432000 4194304 4196468 140722594647024 140482934000784 140482929768149 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37646336 140722594650283 140722594653532 140722594653532 140722594656207 0
[pid=29208/tid=29263] ppid=29205 vsize=10914144 memory=732220 CPUtime=6.32 cores=1,3,5,7
/proc/29208/task/29263/stat : 29263 (java) S 29205 29208 27142 0 -1 1077944384 7620 12917 0 0 591 34 5 2 20 0 15 0 65349929 11176083456 183055 33554432000 4194304 4196468 140722594647024 140482822274064 140482929768149 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37646336 140722594650283 140722594653532 140722594653532 140722594656207 0
[pid=29208/tid=29264] ppid=29205 vsize=10914144 memory=732220 CPUtime=6.31 cores=1,3,5,7
/proc/29208/task/29264/stat : 29264 (java) S 29205 29208 27142 0 -1 1077944384 9596 12917 0 0 586 38 5 2 20 0 15 0 65349929 11176083456 183055 33554432000 4194304 4196468 140722594647024 140482821221264 140482929768149 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37646336 140722594650283 140722594653532 140722594653532 140722594656207 0
[pid=29208/tid=29265] ppid=29205 vsize=10914144 memory=732220 CPUtime=6.28 cores=1,3,5,7
/proc/29208/task/29265/stat : 29265 (java) S 29205 29208 27142 0 -1 1077944384 7971 12917 0 0 589 32 5 2 20 0 15 0 65349929 11176083456 183055 33554432000 4194304 4196468 140722594647024 140482820168464 140482929768149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37646336 140722594650283 140722594653532 140722594653532 140722594656207 0
[pid=29208/tid=29266] ppid=29205 vsize=10914144 memory=732216 CPUtime=5.56 cores=1,3,5,7
/proc/29208/task/29266/stat : 29266 (java) S 29205 29208 27142 0 -1 1077944384 9531 12917 0 0 516 33 5 2 20 0 15 0 65349931 11176083456 183055 33554432000 4194304 4196468 140722594647024 140482217564528 140482929769090 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37646336 140722594650283 140722594653532 140722594653532 140722594656207 0
[pid=29208/tid=29267] ppid=29205 vsize=10914144 memory=732204 CPUtime=0.07 cores=1,3,5,7
/proc/29208/task/29267/stat : 29267 (java) S 29205 29208 27142 0 -1 1077944384 14 12917 0 0 0 0 5 2 20 0 15 0 65349931 11176083456 183055 33554432000 4194304 4196468 140722594647024 140482123195488 140482929768149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37646336 140722594650283 140722594653532 140722594653532 140722594656207 0
[pid=29208/tid=29268] ppid=29205 vsize=10914144 memory=732204 CPUtime=0.07 cores=1,3,5,7
/proc/29208/task/29268/stat : 29268 (java) S 29205 29208 27142 0 -1 1077944384 4 12917 0 0 0 0 5 2 20 0 15 0 65349932 11176083456 183055 33554432000 4194304 4196468 140722594647024 140482004902784 140482929768149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37646336 140722594650283 140722594653532 140722594653532 140722594656207 0
[pid=29208/tid=29269] ppid=29205 vsize=10914144 memory=732220 CPUtime=0.07 cores=1,3,5,7
/proc/29208/task/29269/stat : 29269 (java) S 29205 29208 27142 0 -1 1077944384 3 12917 0 0 0 0 5 2 20 0 15 0 65349934 11176083456 183055 33554432000 4194304 4196468 140722594647024 140481496176464 140482929776539 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37646336 140722594650283 140722594653532 140722594653532 140722594656207 0
[pid=29208/tid=29270] ppid=29205 vsize=10914144 memory=732220 CPUtime=3.65 cores=1,3,5,7
/proc/29208/task/29270/stat : 29270 (java) S 29205 29208 27142 0 -1 1077944384 23290 12917 0 0 355 3 5 2 20 0 15 0 65349934 11176083456 183055 33554432000 4194304 4196468 140722594647024 140482216512368 140482929769090 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37646336 140722594650283 140722594653532 140722594653532 140722594656207 0
[pid=29208/tid=29271] ppid=29205 vsize=10914144 memory=732220 CPUtime=3.45 cores=1,3,5,7
/proc/29208/task/29271/stat : 29271 (java) S 29205 29208 27142 0 -1 1077944384 19773 12917 0 0 336 2 5 2 20 0 15 0 65349934 11176083456 183055 33554432000 4194304 4196468 140722594647024 140482215459568 140482929769090 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37646336 140722594650283 140722594653532 140722594653532 140722594656207 0
[pid=29208/tid=29272] ppid=29205 vsize=10914144 memory=732220 CPUtime=1.69 cores=1,3,5,7
/proc/29208/task/29272/stat : 29272 (java) S 29205 29208 27142 0 -1 1077944384 15981 12917 0 0 159 3 5 2 20 0 15 0 65349934 11176083456 183055 33554432000 4194304 4196468 140722594647024 140482214406768 140482929769090 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37646336 140722594650283 140722594653532 140722594653532 140722594656207 0
[pid=29208/tid=29273] ppid=29205 vsize=10914144 memory=732220 CPUtime=0.07 cores=1,3,5,7
/proc/29208/task/29273/stat : 29273 (java) S 29205 29208 27142 0 -1 1077944384 3 12917 0 0 0 0 5 2 20 0 15 0 65349934 11176083456 183055 33554432000 4194304 4196468 140722594647024 140481462618848 140482929768149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37646336 140722594650283 140722594653532 140722594653532 140722594656207 0
[pid=29208/tid=29274] ppid=29205 vsize=10914144 memory=8392 CPUtime=1.25 cores=1,3,5,7
/proc/29208/task/29274/stat : 29274 (java) S 29205 29208 27142 0 -1 1077944384 1368 12917 0 0 55 63 5 2 20 0 15 0 65349935 11176083456 183055 33554432000 4194304 4196468 140722594647024 140482213354160 140482929769090 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37646336 140722594650283 140722594653532 140722594653532 140722594656207 0
Current children cumulated CPU time: 2520.02 s
Current children cumulated vsize: 10914144 KiB
Current children cumulated memory: 732220 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2493.13 s]
# the end of solver process 29208 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2517.61 s, system=2.4523 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2493.1 s]
/proc/loadavg: 1.51 1.47 1.43 3/215 29479
/proc/meminfo: memFree=23250868/32770624 swapFree=67108860/67108860
[pid=29208] ppid=29205 vsize=10914144 memory=732220 CPUtime=2520.02 cores=1,3,5,7
/proc/29208/stat : 29208 (java) S 29205 29208 27142 0 -1 1077944320 183704 12917 0 0 251754 241 5 2 20 0 15 0 65349920 11176083456 183055 33554432000 4194304 4196468 140722594647024 140722594629568 140482929757943 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 37646336 140722594650283 140722594653532 140722594653532 140722594656207 0
/proc/29208/statm: 2728536 183055 3520 1 0 2690189 0
[pid=29208/tid=29261] ppid=29205 vsize=10914144 memory=732220 CPUtime=2479.69 cores=1,3,5,7
/proc/29208/task/29261/stat : 29261 (java) R 29205 29208 27142 0 -1 4202560 79439 12917 0 0 247928 34 5 2 20 0 15 0 65349929 11176083456 183055 33554432000 4194304 4196468 140722594647024 140482901592352 140482507935487 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37646336 140722594650283 140722594653532 140722594653532 140722594656207 0
[pid=29208/tid=29262] ppid=29205 vsize=10914144 memory=732220 CPUtime=6.32 cores=1,3,5,7
/proc/29208/task/29262/stat : 29262 (java) S 29205 29208 27142 0 -1 1077944384 6924 12917 0 0 589 36 5 2 20 0 15 0 65349929 11176083456 183055 33554432000 4194304 4196468 140722594647024 140482934000784 140482929768149 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37646336 140722594650283 140722594653532 140722594653532 140722594656207 0
[pid=29208/tid=29263] ppid=29205 vsize=10914144 memory=732220 CPUtime=6.32 cores=1,3,5,7
/proc/29208/task/29263/stat : 29263 (java) S 29205 29208 27142 0 -1 1077944384 7620 12917 0 0 591 34 5 2 20 0 15 0 65349929 11176083456 183055 33554432000 4194304 4196468 140722594647024 140482822274064 140482929768149 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37646336 140722594650283 140722594653532 140722594653532 140722594656207 0
[pid=29208/tid=29264] ppid=29205 vsize=10914144 memory=732220 CPUtime=6.31 cores=1,3,5,7
/proc/29208/task/29264/stat : 29264 (java) S 29205 29208 27142 0 -1 1077944384 9596 12917 0 0 586 38 5 2 20 0 15 0 65349929 11176083456 183055 33554432000 4194304 4196468 140722594647024 140482821221264 140482929768149 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37646336 140722594650283 140722594653532 140722594653532 140722594656207 0
[pid=29208/tid=29265] ppid=29205 vsize=10914144 memory=732220 CPUtime=6.28 cores=1,3,5,7
/proc/29208/task/29265/stat : 29265 (java) S 29205 29208 27142 0 -1 1077944384 7971 12917 0 0 589 32 5 2 20 0 15 0 65349929 11176083456 183055 33554432000 4194304 4196468 140722594647024 140482820168464 140482929768149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37646336 140722594650283 140722594653532 140722594653532 140722594656207 0
[pid=29208/tid=29266] ppid=29205 vsize=10914144 memory=732216 CPUtime=5.56 cores=1,3,5,7
/proc/29208/task/29266/stat : 29266 (java) S 29205 29208 27142 0 -1 1077944384 9531 12917 0 0 516 33 5 2 20 0 15 0 65349931 11176083456 183055 33554432000 4194304 4196468 140722594647024 140482217564528 140482929769090 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37646336 140722594650283 140722594653532 140722594653532 140722594656207 0
[pid=29208/tid=29267] ppid=29205 vsize=10914144 memory=732204 CPUtime=0.07 cores=1,3,5,7
/proc/29208/task/29267/stat : 29267 (java) S 29205 29208 27142 0 -1 1077944384 14 12917 0 0 0 0 5 2 20 0 15 0 65349931 11176083456 183055 33554432000 4194304 4196468 140722594647024 140482123195488 140482929768149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37646336 140722594650283 140722594653532 140722594653532 140722594656207 0
[pid=29208/tid=29268] ppid=29205 vsize=10914144 memory=732204 CPUtime=0.07 cores=1,3,5,7
/proc/29208/task/29268/stat : 29268 (java) S 29205 29208 27142 0 -1 1077944384 4 12917 0 0 0 0 5 2 20 0 15 0 65349932 11176083456 183055 33554432000 4194304 4196468 140722594647024 140482004902784 140482929768149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37646336 140722594650283 140722594653532 140722594653532 140722594656207 0
[pid=29208/tid=29269] ppid=29205 vsize=10914144 memory=732220 CPUtime=0.07 cores=1,3,5,7
/proc/29208/task/29269/stat : 29269 (java) S 29205 29208 27142 0 -1 1077944384 3 12917 0 0 0 0 5 2 20 0 15 0 65349934 11176083456 183055 33554432000 4194304 4196468 140722594647024 140481496176464 140482929776539 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37646336 140722594650283 140722594653532 140722594653532 140722594656207 0
[pid=29208/tid=29270] ppid=29205 vsize=10914144 memory=732220 CPUtime=3.65 cores=1,3,5,7
/proc/29208/task/29270/stat : 29270 (java) S 29205 29208 27142 0 -1 1077944384 23290 12917 0 0 355 3 5 2 20 0 15 0 65349934 11176083456 183055 33554432000 4194304 4196468 140722594647024 140482216512368 140482929769090 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37646336 140722594650283 140722594653532 140722594653532 140722594656207 0
[pid=29208/tid=29271] ppid=29205 vsize=10914144 memory=732220 CPUtime=3.45 cores=1,3,5,7
/proc/29208/task/29271/stat : 29271 (java) S 29205 29208 27142 0 -1 1077944384 19773 12917 0 0 336 2 5 2 20 0 15 0 65349934 11176083456 183055 33554432000 4194304 4196468 140722594647024 140482215459568 140482929769090 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37646336 140722594650283 140722594653532 140722594653532 140722594656207 0
[pid=29208/tid=29272] ppid=29205 vsize=10914144 memory=732220 CPUtime=1.69 cores=1,3,5,7
/proc/29208/task/29272/stat : 29272 (java) S 29205 29208 27142 0 -1 1077944384 15981 12917 0 0 159 3 5 2 20 0 15 0 65349934 11176083456 183055 33554432000 4194304 4196468 140722594647024 140482214406768 140482929769090 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37646336 140722594650283 140722594653532 140722594653532 140722594656207 0
[pid=29208/tid=29273] ppid=29205 vsize=10914144 memory=732220 CPUtime=0.07 cores=1,3,5,7
/proc/29208/task/29273/stat : 29273 (java) S 29205 29208 27142 0 -1 1077944384 3 12917 0 0 0 0 5 2 20 0 15 0 65349934 11176083456 183055 33554432000 4194304 4196468 140722594647024 140481462618848 140482929768149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37646336 140722594650283 140722594653532 140722594653532 140722594656207 0
[pid=29208/tid=29274] ppid=29205 vsize=10914144 memory=8392 CPUtime=1.25 cores=1,3,5,7
/proc/29208/task/29274/stat : 29274 (java) S 29205 29208 27142 0 -1 1077944384 1368 12917 0 0 55 63 5 2 20 0 15 0 65349935 11176083456 183055 33554432000 4194304 4196468 140722594647024 140482213354160 140482929769090 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37646336 140722594650283 140722594653532 140722594653532 140722594656207 0
Current children cumulated CPU time: 2520.02 s
Current children cumulated vsize: 10914144 KiB
Current children cumulated memory: 732220 KiB
Child status: 143
Real time (s): 2493.13
CPU time (s): 2520.06
CPU user time (s): 2517.61
CPU system time (s): 2.4523
CPU usage (%): 101.081
Max. virtual memory (cumulated for all children) (KiB): 10916784
Max. memory (cumulated for all children) (KiB): 930008
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2517.61
system time used= 2.4523
maximum resident set size= 933104
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 197616
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2984
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 177652
involuntary context switches= 3797
# summary of solver processes directly reported to runsolver:
# pid: 29208
# total CPU time (s): 2520.06
# total CPU user time (s): 2517.61
# total CPU system time (s): 2.4523
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.2915 second user time and 22.9857 second system time
The end