runsolver Copyright (C) 2010-2013 Olivier ROUSSEL
This is runsolver version 3.3.7 (svn: 2553)
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.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4258148-1501654286/watcher-4258148-1501654286 -o /tmp/evaluation-result-4258148-1501654286/solver-4258148-1501654286 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node132-1501638806-11704 --watchdog 300 java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar HOME/instance-4258148-1501654286.xml
pid=29200
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 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
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 2.10 2.42 2.64 3/200 29203
/proc/meminfo: memFree=29177072/32770624 swapFree=0/265684
[pid=29203] ppid=29200 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/29203/stat : 29203 (runsolver) D 29200 29203 18930 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 65082052 24240128 107 18446744073709551615 4194304 4338465 140729232974336 140729232971976 140332850057943 0 0 1 24578 18446744071580418449 0 0 17 1 0 0 0 0 0 6438912 6441760 9736192 140729232978054 140729232978501 140729232978501 140729232981962 0
/proc/29203/statm: 5918 107 54 36 0 2156 0
[startup+0.100215 s]
/proc/loadavg: 2.10 2.42 2.64 3/200 29203
/proc/meminfo: memFree=29177072/32770624 swapFree=0/265684
[pid=29203] ppid=29200 vsize=356952 CPUtime=0 cores=1,3,5,7
/proc/29203/stat : 29203 (java) S 29200 29203 18930 0 -1 1077944320 1729 0 0 0 0 0 0 0 20 0 2 0 65082052 365518848 1891 18446744073709551615 4194304 4196468 140735908769568 140735908752112 140682297446135 0 0 1 16784584 18446744073709551615 0 0 17 3 0 0 9 0 0 6293624 6294260 37335040 140735908778417 140735908778570 140735908778570 140735908782031 0
/proc/29203/statm: 89238 1891 1041 1 0 79216 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 356952
[startup+0.201018 s]
/proc/loadavg: 2.10 2.42 2.64 3/200 29203
/proc/meminfo: memFree=29177072/32770624 swapFree=0/265684
[pid=29203] ppid=29200 vsize=10551056 CPUtime=0.07 cores=1,3,5,7
/proc/29203/stat : 29203 (java) S 29200 29203 18930 0 -1 1077944320 4693 0 0 0 6 1 0 0 20 0 15 0 65082052 10804281344 6243 18446744073709551615 4194304 4196468 140735908769568 140735908752112 140682297446135 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 9 0 0 6293624 6294260 37335040 140735908778417 140735908778570 140735908778570 140735908782031 0
/proc/29203/statm: 2637764 6755 2607 1 0 2627269 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 10551056
[startup+0.301072 s]
/proc/loadavg: 2.10 2.42 2.64 3/200 29203
/proc/meminfo: memFree=29177072/32770624 swapFree=0/265684
[pid=29203] ppid=29200 vsize=10551156 CPUtime=0.22 cores=1,3,5,7
/proc/29203/stat : 29203 (java) S 29200 29203 18930 0 -1 1077944320 8618 0 0 0 19 3 0 0 20 0 15 0 65082052 10804383744 9306 18446744073709551615 4194304 4196468 140735908769568 140735908752112 140682297446135 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 9 0 0 6293624 6294260 37335040 140735908778417 140735908778570 140735908778570 140735908782031 0
/proc/29203/statm: 2637789 9306 2842 1 0 2627269 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 10551156
[startup+0.701076 s]
/proc/loadavg: 2.10 2.42 2.64 3/200 29203
/proc/meminfo: memFree=29177072/32770624 swapFree=0/265684
[pid=29203] ppid=29200 vsize=10551232 CPUtime=1.28 cores=1,3,5,7
/proc/29203/stat : 29203 (java) S 29200 29203 18930 0 -1 1077944320 12976 0 0 0 123 5 0 0 20 0 15 0 65082052 10804461568 35117 18446744073709551615 4194304 4196468 140735908769568 140735908752112 140682297446135 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 9 0 0 6293624 6294260 37335040 140735908778417 140735908778570 140735908778570 140735908782031 0
/proc/29203/statm: 2637808 35117 3049 1 0 2627269 0
Current children cumulated CPU time (s) 1.28
Current children cumulated vsize (KiB) 10551232
[startup+1.50108 s]
/proc/loadavg: 2.10 2.42 2.64 4/216 29219
/proc/meminfo: memFree=29029056/32770624 swapFree=0/265684
[pid=29203] ppid=29200 vsize=10617796 CPUtime=2.91 cores=1,3,5,7
/proc/29203/stat : 29203 (java) S 29200 29203 18930 0 -1 1077944320 16085 0 0 0 284 7 0 0 20 0 16 0 65082052 10872623104 40446 18446744073709551615 4194304 4196468 140735908769568 140735908752112 140682297446135 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 9 0 0 6293624 6294260 37335040 140735908778417 140735908778570 140735908778570 140735908782031 0
/proc/29203/statm: 2654449 40446 3061 1 0 2643910 0
[pid=29203/tid=29205] ppid=29200 vsize=10617796 CPUtime=1.34 cores=1,3,5,7
/proc/29203/task/29205/stat : 29205 (java) R 29200 29203 18930 0 -1 4202560 7594 0 0 0 129 5 0 0 20 0 16 0 65082062 10872623104 40446 18446744073709551615 4194304 4196468 140735908769568 140682301664768 140681942461392 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 37335040 140735908778417 140735908778570 140735908778570 140735908782031 0
[pid=29203/tid=29206] ppid=29200 vsize=10617796 CPUtime=0 cores=1,3,5,7
/proc/29203/task/29206/stat : 29206 (java) S 29200 29203 18930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 65082062 10872623104 40446 18446744073709551615 4194304 4196468 140735908769568 140681908509456 140682297456341 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37335040 140735908778417 140735908778570 140735908778570 140735908782031 0
[pid=29203/tid=29207] ppid=29200 vsize=10617796 CPUtime=0 cores=1,3,5,7
/proc/29203/task/29207/stat : 29207 (java) S 29200 29203 18930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 65082062 10872623104 40446 18446744073709551615 4194304 4196468 140735908769568 140681907456912 140682297456341 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37335040 140735908778417 140735908778570 140735908778570 140735908782031 0
[pid=29203/tid=29208] ppid=29200 vsize=10617796 CPUtime=0 cores=1,3,5,7
/proc/29203/task/29208/stat : 29208 (java) S 29200 29203 18930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 65082062 10872623104 40446 18446744073709551615 4194304 4196468 140735908769568 140681906404368 140682297456341 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37335040 140735908778417 140735908778570 140735908778570 140735908782031 0
[pid=29203/tid=29209] ppid=29200 vsize=10617796 CPUtime=0 cores=1,3,5,7
/proc/29203/task/29209/stat : 29209 (java) S 29200 29203 18930 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 16 0 65082062 10872623104 40446 18446744073709551615 4194304 4196468 140735908769568 140681905351824 140682297456341 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37335040 140735908778417 140735908778570 140735908778570 140735908782031 0
[pid=29203/tid=29210] ppid=29200 vsize=10617796 CPUtime=0 cores=1,3,5,7
/proc/29203/task/29210/stat : 29210 (java) S 29200 29203 18930 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 16 0 65082064 10872623104 40446 18446744073709551615 4194304 4196468 140735908769568 140681861449712 140682297457282 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37335040 140735908778417 140735908778570 140735908778570 140735908782031 0
[pid=29203/tid=29211] ppid=29200 vsize=10617796 CPUtime=0 cores=1,3,5,7
/proc/29203/task/29211/stat : 29211 (java) S 29200 29203 18930 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 65082064 10872623104 40446 18446744073709551615 4194304 4196468 140735908769568 140681860395936 140682297456341 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37335040 140735908778417 140735908778570 140735908778570 140735908782031 0
[pid=29203/tid=29212] ppid=29200 vsize=10617796 CPUtime=0 cores=1,3,5,7
/proc/29203/task/29212/stat : 29212 (java) S 29200 29203 18930 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 65082064 10872623104 40446 18446744073709551615 4194304 4196468 140735908769568 140681859343344 140682297456341 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37335040 140735908778417 140735908778570 140735908778570 140735908782031 0
[pid=29203/tid=29213] ppid=29200 vsize=10617796 CPUtime=0 cores=1,3,5,7
/proc/29203/task/29213/stat : 29213 (java) S 29200 29203 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 65082067 10872623104 40446 18446744073709551615 4194304 4196468 140735908769568 140681858291920 140682297464731 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37335040 140735908778417 140735908778570 140735908778570 140735908782031 0
[pid=29203/tid=29214] ppid=29200 vsize=10617796 CPUtime=0.69 cores=1,3,5,7
/proc/29203/task/29214/stat : 29214 (java) R 29200 29203 18930 0 -1 4202560 3422 0 0 0 69 0 0 0 20 0 16 0 65082067 10872623104 40446 18446744073709551615 4194304 4196468 140735908769568 140681857239536 140682289735517 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37335040 140735908778417 140735908778570 140735908778570 140735908782031 0
[pid=29203/tid=29215] ppid=29200 vsize=10617796 CPUtime=0.53 cores=1,3,5,7
/proc/29203/task/29215/stat : 29215 (java) R 29200 29203 18930 0 -1 4202560 1967 0 0 0 53 0 0 0 20 0 16 0 65082067 10872623104 40446 18446744073709551615 4194304 4196468 140735908769568 140681856187288 140682280945066 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 37335040 140735908778417 140735908778570 140735908778570 140735908782031 0
[pid=29203/tid=29216] ppid=29200 vsize=10617796 CPUtime=0.31 cores=1,3,5,7
/proc/29203/task/29216/stat : 29216 (java) S 29200 29203 18930 0 -1 1077944384 1713 0 0 0 31 0 0 0 20 0 16 0 65082067 10872623104 40446 18446744073709551615 4194304 4196468 140735908769568 140681331862256 140682297457282 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37335040 140735908778417 140735908778570 140735908778570 140735908782031 0
[pid=29203/tid=29217] ppid=29200 vsize=10617796 CPUtime=0 cores=1,3,5,7
/proc/29203/task/29217/stat : 29217 (java) S 29200 29203 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 65082067 10872623104 40446 18446744073709551615 4194304 4196468 140735908769568 140681330809952 140682297456341 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37335040 140735908778417 140735908778570 140735908778570 140735908782031 0
[pid=29203/tid=29218] ppid=29200 vsize=10617796 CPUtime=0 cores=1,3,5,7
/proc/29203/task/29218/stat : 29218 (java) S 29200 29203 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 65082071 10872623104 40446 18446744073709551615 4194304 4196468 140735908769568 140681329756464 140682297457282 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37335040 140735908778417 140735908778570 140735908778570 140735908782031 0
[pid=29203/tid=29219] ppid=29200 vsize=10617796 CPUtime=0 cores=1,3,5,7
/proc/29203/task/29219/stat : 29219 (java) S 29200 29203 18930 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 65082126 10872623104 40446 18446744073709551615 4194304 4196468 140735908769568 140681328702256 140682297457282 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37335040 140735908778417 140735908778570 140735908778570 140735908782031 0
Current children cumulated CPU time (s) 2.91
Current children cumulated vsize (KiB) 10617796
[startup+3.10075 s]
/proc/loadavg: 2.10 2.42 2.64 3/216 29219
/proc/meminfo: memFree=28952600/32770624 swapFree=0/265684
[pid=29203] ppid=29200 vsize=10617796 CPUtime=5.13 cores=1,3,5,7
/proc/29203/stat : 29203 (java) S 29200 29203 18930 0 -1 1077944320 18067 0 0 0 499 14 0 0 20 0 16 0 65082052 10872623104 59070 18446744073709551615 4194304 4196468 140735908769568 140735908752112 140682297446135 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 9 0 0 6293624 6294260 37335040 140735908778417 140735908778570 140735908778570 140735908782031 0
/proc/29203/statm: 2654449 59070 3087 1 0 2643910 0
[pid=29203/tid=29205] ppid=29200 vsize=10617796 CPUtime=2.89 cores=1,3,5,7
/proc/29203/task/29205/stat : 29205 (java) R 29200 29203 18930 0 -1 4202560 8096 0 0 0 284 5 0 0 20 0 16 0 65082062 10872623104 59070 18446744073709551615 4194304 4196468 140735908769568 140682301682400 140681942789432 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 37335040 140735908778417 140735908778570 140735908778570 140735908782031 0
[pid=29203/tid=29206] ppid=29200 vsize=10617796 CPUtime=0.04 cores=1,3,5,7
/proc/29203/task/29206/stat : 29206 (java) S 29200 29203 18930 0 -1 1077944384 73 0 0 0 3 1 0 0 20 0 16 0 65082062 10872623104 59070 18446744073709551615 4194304 4196468 140735908769568 140681908509456 140682297456341 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37335040 140735908778417 140735908778570 140735908778570 140735908782031 0
[pid=29203/tid=29207] ppid=29200 vsize=10617796 CPUtime=0.04 cores=1,3,5,7
/proc/29203/task/29207/stat : 29207 (java) S 29200 29203 18930 0 -1 1077944384 190 0 0 0 3 1 0 0 20 0 16 0 65082062 10872623104 59070 18446744073709551615 4194304 4196468 140735908769568 140681907456912 140682297456341 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37335040 140735908778417 140735908778570 140735908778570 140735908782031 0
[pid=29203/tid=29208] ppid=29200 vsize=10617796 CPUtime=0.04 cores=1,3,5,7
/proc/29203/task/29208/stat : 29208 (java) S 29200 29203 18930 0 -1 1077944384 34 0 0 0 3 1 0 0 20 0 16 0 65082062 10872623104 59070 18446744073709551615 4194304 4196468 140735908769568 140681906404368 140682297456341 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37335040 140735908778417 140735908778570 140735908778570 140735908782031 0
[pid=29203/tid=29209] ppid=29200 vsize=10617796 CPUtime=0.04 cores=1,3,5,7
/proc/29203/task/29209/stat : 29209 (java) S 29200 29203 18930 0 -1 1077944384 47 0 0 0 3 1 0 0 20 0 16 0 65082062 10872623104 59070 18446744073709551615 4194304 4196468 140735908769568 140681905351824 140682297456341 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37335040 140735908778417 140735908778570 140735908778570 140735908782031 0
[pid=29203/tid=29210] ppid=29200 vsize=10617796 CPUtime=0 cores=1,3,5,7
/proc/29203/task/29210/stat : 29210 (java) S 29200 29203 18930 0 -1 1077944384 119 0 0 0 0 0 0 0 20 0 16 0 65082064 10872623104 59070 18446744073709551615 4194304 4196468 140735908769568 140681861449712 140682297457282 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37335040 140735908778417 140735908778570 140735908778570 140735908782031 0
[pid=29203/tid=29211] ppid=29200 vsize=10617796 CPUtime=0 cores=1,3,5,7
/proc/29203/task/29211/stat : 29211 (java) S 29200 29203 18930 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 16 0 65082064 10872623104 59070 18446744073709551615 4194304 4196468 140735908769568 140681860395936 140682297456341 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37335040 140735908778417 140735908778570 140735908778570 140735908782031 0
[pid=29203/tid=29212] ppid=29200 vsize=10617796 CPUtime=0 cores=1,3,5,7
/proc/29203/task/29212/stat : 29212 (java) S 29200 29203 18930 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 16 0 65082064 10872623104 59070 18446744073709551615 4194304 4196468 140735908769568 140681859343344 140682297456341 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37335040 140735908778417 140735908778570 140735908778570 140735908782031 0
[pid=29203/tid=29213] ppid=29200 vsize=10617796 CPUtime=0 cores=1,3,5,7
/proc/29203/task/29213/stat : 29213 (java) S 29200 29203 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 65082067 10872623104 59070 18446744073709551615 4194304 4196468 140735908769568 140681858291920 140682297464731 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37335040 140735908778417 140735908778570 140735908778570 140735908782031 0
[pid=29203/tid=29214] ppid=29200 vsize=10617796 CPUtime=0.9 cores=1,3,5,7
/proc/29203/task/29214/stat : 29214 (java) S 29200 29203 18930 0 -1 1077944384 3704 0 0 0 90 0 0 0 20 0 16 0 65082067 10872623104 59070 18446744073709551615 4194304 4196468 140735908769568 140681857239536 140682297457282 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37335040 140735908778417 140735908778570 140735908778570 140735908782031 0
[pid=29203/tid=29215] ppid=29200 vsize=10617796 CPUtime=0.74 cores=1,3,5,7
/proc/29203/task/29215/stat : 29215 (java) S 29200 29203 18930 0 -1 1077944384 2473 0 0 0 74 0 0 0 20 0 16 0 65082067 10872623104 59070 18446744073709551615 4194304 4196468 140735908769568 140681856186992 140682297457282 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37335040 140735908778417 140735908778570 140735908778570 140735908782031 0
[pid=29203/tid=29216] ppid=29200 vsize=10617796 CPUtime=0.34 cores=1,3,5,7
/proc/29203/task/29216/stat : 29216 (java) S 29200 29203 18930 0 -1 1077944384 1944 0 0 0 34 0 0 0 20 0 16 0 65082067 10872623104 59070 18446744073709551615 4194304 4196468 140735908769568 140681331862256 140682297457282 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37335040 140735908778417 140735908778570 140735908778570 140735908782031 0
[pid=29203/tid=29217] ppid=29200 vsize=10617796 CPUtime=0 cores=1,3,5,7
/proc/29203/task/29217/stat : 29217 (java) S 29200 29203 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 65082067 10872623104 59070 18446744073709551615 4194304 4196468 140735908769568 140681330809952 140682297456341 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37335040 140735908778417 140735908778570 140735908778570 140735908782031 0
[pid=29203/tid=29218] ppid=29200 vsize=10617796 CPUtime=0 cores=1,3,5,7
/proc/29203/task/29218/stat : 29218 (java) S 29200 29203 18930 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 16 0 65082071 10872623104 59070 18446744073709551615 4194304 4196468 140735908769568 140681329756464 140682297457282 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37335040 140735908778417 140735908778570 140735908778570 140735908782031 0
[pid=29203/tid=29219] ppid=29200 vsize=10617796 CPUtime=0 cores=1,3,5,7
/proc/29203/task/29219/stat : 29219 (java) S 29200 29203 18930 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 65082126 10872623104 59070 18446744073709551615 4194304 4196468 140735908769568 140681328702256 140682297457282 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37335040 140735908778417 140735908778570 140735908778570 140735908782031 0
Current children cumulated CPU time (s) 5.13
Current children cumulated vsize (KiB) 10617796
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 29203 sig 9
??? kill -29203 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3.20089 s]
/proc/loadavg: 2.10 2.42 2.64 3/216 29219
/proc/meminfo: memFree=28952600/32770624 swapFree=0/265684
[pid=29203] ppid=29200 vsize=10750924 CPUtime=5.2 cores=1,3,5,7
/proc/29203/stat : 29203 (java) S 29200 29203 18930 0 -1 1077944320 18445 0 0 0 506 14 0 0 20 0 16 0 65082052 11008946176 59084 18446744073709551615 4194304 4196468 140735908769568 140735908752112 140682297446135 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 9 0 0 6293624 6294260 37335040 140735908778417 140735908778570 140735908778570 140735908782031 0
/proc/29203/statm: 2687731 59084 3089 1 0 2677192 0
[pid=29203/tid=29205] ppid=29200 vsize=10750924 CPUtime=2.94 cores=1,3,5,7
/proc/29203/task/29205/stat : 29205 (java) S 29200 29203 18930 0 -1 1077944384 8352 0 0 0 289 5 0 0 20 0 16 0 65082062 11008946176 59084 18446744073709551615 4194304 4196468 140735908769568 140682301686816 140682297456341 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 4 0 0 6293624 6294260 37335040 140735908778417 140735908778570 140735908778570 140735908782031 0
[pid=29203/tid=29206] ppid=29200 vsize=10750924 CPUtime=0.04 cores=1,3,5,7
/proc/29203/task/29206/stat : 29206 (java) S 29200 29203 18930 0 -1 1077944384 73 0 0 0 3 1 0 0 20 0 16 0 65082062 11008946176 59084 18446744073709551615 4194304 4196468 140735908769568 140681908509456 140682297456341 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37335040 140735908778417 140735908778570 140735908778570 140735908782031 0
[pid=29203/tid=29207] ppid=29200 vsize=10750924 CPUtime=0.04 cores=1,3,5,7
/proc/29203/task/29207/stat : 29207 (java) S 29200 29203 18930 0 -1 1077944384 190 0 0 0 3 1 0 0 20 0 16 0 65082062 11008946176 59084 18446744073709551615 4194304 4196468 140735908769568 140681907456912 140682297456341 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37335040 140735908778417 140735908778570 140735908778570 140735908782031 0
[pid=29203/tid=29208] ppid=29200 vsize=10750924 CPUtime=0.04 cores=1,3,5,7
/proc/29203/task/29208/stat : 29208 (java) S 29200 29203 18930 0 -1 1077944384 34 0 0 0 3 1 0 0 20 0 16 0 65082062 11008946176 59084 18446744073709551615 4194304 4196468 140735908769568 140681906404368 140682297456341 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37335040 140735908778417 140735908778570 140735908778570 140735908782031 0
[pid=29203/tid=29209] ppid=29200 vsize=10750924 CPUtime=0.04 cores=1,3,5,7
/proc/29203/task/29209/stat : 29209 (java) S 29200 29203 18930 0 -1 1077944384 47 0 0 0 3 1 0 0 20 0 16 0 65082062 11008946176 59084 18446744073709551615 4194304 4196468 140735908769568 140681905351824 140682297456341 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37335040 140735908778417 140735908778570 140735908778570 140735908782031 0
[pid=29203/tid=29210] ppid=29200 vsize=10750924 CPUtime=0 cores=1,3,5,7
/proc/29203/task/29210/stat : 29210 (java) S 29200 29203 18930 0 -1 1077944384 119 0 0 0 0 0 0 0 20 0 16 0 65082064 11008946176 59084 18446744073709551615 4194304 4196468 140735908769568 140681861449712 140682297457282 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37335040 140735908778417 140735908778570 140735908778570 140735908782031 0
[pid=29203/tid=29211] ppid=29200 vsize=10750924 CPUtime=0 cores=1,3,5,7
/proc/29203/task/29211/stat : 29211 (java) S 29200 29203 18930 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 16 0 65082064 11008946176 59084 18446744073709551615 4194304 4196468 140735908769568 140681860395936 140682297456341 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37335040 140735908778417 140735908778570 140735908778570 140735908782031 0
[pid=29203/tid=29212] ppid=29200 vsize=10750924 CPUtime=0 cores=1,3,5,7
/proc/29203/task/29212/stat : 29212 (java) S 29200 29203 18930 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 16 0 65082064 11008946176 59084 18446744073709551615 4194304 4196468 140735908769568 140681859343344 140682297456341 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37335040 140735908778417 140735908778570 140735908778570 140735908782031 0
[pid=29203/tid=29213] ppid=29200 vsize=10750924 CPUtime=0 cores=1,3,5,7
/proc/29203/task/29213/stat : 29213 (java) S 29200 29203 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 65082067 11008946176 59084 18446744073709551615 4194304 4196468 140735908769568 140681858291920 140682297464731 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37335040 140735908778417 140735908778570 140735908778570 140735908782031 0
[pid=29203/tid=29214] ppid=29200 vsize=10750924 CPUtime=0.91 cores=1,3,5,7
/proc/29203/task/29214/stat : 29214 (java) S 29200 29203 18930 0 -1 1077944384 3704 0 0 0 91 0 0 0 20 0 16 0 65082067 11008946176 59084 18446744073709551615 4194304 4196468 140735908769568 140681857239536 140682297457282 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37335040 140735908778417 140735908778570 140735908778570 140735908782031 0
[pid=29203/tid=29215] ppid=29200 vsize=10750924 CPUtime=0.74 cores=1,3,5,7
/proc/29203/task/29215/stat : 29215 (java) S 29200 29203 18930 0 -1 1077944384 2473 0 0 0 74 0 0 0 20 0 16 0 65082067 11008946176 59084 18446744073709551615 4194304 4196468 140735908769568 140681856186992 140682297457282 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37335040 140735908778417 140735908778570 140735908778570 140735908782031 0
[pid=29203/tid=29216] ppid=29200 vsize=10750924 CPUtime=0.34 cores=1,3,5,7
/proc/29203/task/29216/stat : 29216 (java) S 29200 29203 18930 0 -1 1077944384 1948 0 0 0 34 0 0 0 20 0 16 0 65082067 11008946176 59084 18446744073709551615 4194304 4196468 140735908769568 140681331862256 140682297457282 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37335040 140735908778417 140735908778570 140735908778570 140735908782031 0
[pid=29203/tid=29217] ppid=29200 vsize=10750924 CPUtime=0 cores=1,3,5,7
/proc/29203/task/29217/stat : 29217 (java) S 29200 29203 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 65082067 11008946176 59084 18446744073709551615 4194304 4196468 140735908769568 140681330809952 140682297456341 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37335040 140735908778417 140735908778570 140735908778570 140735908782031 0
[pid=29203/tid=29218] ppid=29200 vsize=10750924 CPUtime=0 cores=1,3,5,7
/proc/29203/task/29218/stat : 29218 (java) S 29200 29203 18930 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 16 0 65082071 11008946176 59084 18446744073709551615 4194304 4196468 140735908769568 140681329756464 140682297457282 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37335040 140735908778417 140735908778570 140735908778570 140735908782031 0
Current children cumulated CPU time (s) 5.2
Current children cumulated vsize (KiB) 10750924
[startup+3.30068 s]
/proc/loadavg: 2.10 2.42 2.64 2/216 29221
/proc/meminfo: memFree=28951964/32770624 swapFree=0/265684
[pid=29203] ppid=29200 vsize=10750924 CPUtime=5.2 cores=1,3,5,7
/proc/29203/stat : 29203 (java) S 29200 29203 18930 0 -1 1077944320 18445 0 0 0 506 14 0 0 20 0 16 0 65082052 11008946176 59084 18446744073709551615 4194304 4196468 140735908769568 140735908752112 140682297446135 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 9 0 0 6293624 6294260 37335040 140735908778417 140735908778570 140735908778570 140735908782031 0
/proc/29203/statm: 2687731 59084 3089 1 0 2677192 0
[pid=29203/tid=29205] ppid=29200 vsize=10750924 CPUtime=2.94 cores=1,3,5,7
/proc/29203/task/29205/stat : 29205 (java) S 29200 29203 18930 0 -1 1077944384 8352 0 0 0 289 5 0 0 20 0 16 0 65082062 11008946176 59084 18446744073709551615 4194304 4196468 140735908769568 140682301686816 140682297456341 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 4 0 0 6293624 6294260 37335040 140735908778417 140735908778570 140735908778570 140735908782031 0
[pid=29203/tid=29206] ppid=29200 vsize=10750924 CPUtime=0.04 cores=1,3,5,7
/proc/29203/task/29206/stat : 29206 (java) S 29200 29203 18930 0 -1 1077944384 73 0 0 0 3 1 0 0 20 0 16 0 65082062 11008946176 59084 18446744073709551615 4194304 4196468 140735908769568 140681908509456 140682297456341 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37335040 140735908778417 140735908778570 140735908778570 140735908782031 0
[pid=29203/tid=29207] ppid=29200 vsize=10750924 CPUtime=0.04 cores=1,3,5,7
/proc/29203/task/29207/stat : 29207 (java) S 29200 29203 18930 0 -1 1077944384 190 0 0 0 3 1 0 0 20 0 16 0 65082062 11008946176 59084 18446744073709551615 4194304 4196468 140735908769568 140681907456912 140682297456341 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37335040 140735908778417 140735908778570 140735908778570 140735908782031 0
[pid=29203/tid=29208] ppid=29200 vsize=10750924 CPUtime=0.04 cores=1,3,5,7
/proc/29203/task/29208/stat : 29208 (java) S 29200 29203 18930 0 -1 1077944384 34 0 0 0 3 1 0 0 20 0 16 0 65082062 11008946176 59084 18446744073709551615 4194304 4196468 140735908769568 140681906404368 140682297456341 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37335040 140735908778417 140735908778570 140735908778570 140735908782031 0
[pid=29203/tid=29209] ppid=29200 vsize=10750924 CPUtime=0.04 cores=1,3,5,7
/proc/29203/task/29209/stat : 29209 (java) S 29200 29203 18930 0 -1 1077944384 47 0 0 0 3 1 0 0 20 0 16 0 65082062 11008946176 59084 18446744073709551615 4194304 4196468 140735908769568 140681905351824 140682297456341 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37335040 140735908778417 140735908778570 140735908778570 140735908782031 0
[pid=29203/tid=29210] ppid=29200 vsize=10750924 CPUtime=0 cores=1,3,5,7
/proc/29203/task/29210/stat : 29210 (java) S 29200 29203 18930 0 -1 1077944384 119 0 0 0 0 0 0 0 20 0 16 0 65082064 11008946176 59084 18446744073709551615 4194304 4196468 140735908769568 140681861449712 140682297457282 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37335040 140735908778417 140735908778570 140735908778570 140735908782031 0
[pid=29203/tid=29211] ppid=29200 vsize=10750924 CPUtime=0 cores=1,3,5,7
/proc/29203/task/29211/stat : 29211 (java) S 29200 29203 18930 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 16 0 65082064 11008946176 59084 18446744073709551615 4194304 4196468 140735908769568 140681860395936 140682297456341 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37335040 140735908778417 140735908778570 140735908778570 140735908782031 0
[pid=29203/tid=29212] ppid=29200 vsize=10750924 CPUtime=0 cores=1,3,5,7
/proc/29203/task/29212/stat : 29212 (java) S 29200 29203 18930 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 16 0 65082064 11008946176 59084 18446744073709551615 4194304 4196468 140735908769568 140681859343344 140682297456341 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37335040 140735908778417 140735908778570 140735908778570 140735908782031 0
[pid=29203/tid=29213] ppid=29200 vsize=10750924 CPUtime=0 cores=1,3,5,7
/proc/29203/task/29213/stat : 29213 (java) S 29200 29203 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 65082067 11008946176 59084 18446744073709551615 4194304 4196468 140735908769568 140681858291920 140682297464731 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37335040 140735908778417 140735908778570 140735908778570 140735908782031 0
[pid=29203/tid=29214] ppid=29200 vsize=10750924 CPUtime=0.91 cores=1,3,5,7
/proc/29203/task/29214/stat : 29214 (java) S 29200 29203 18930 0 -1 1077944384 3704 0 0 0 91 0 0 0 20 0 16 0 65082067 11008946176 59084 18446744073709551615 4194304 4196468 140735908769568 140681857239536 140682297457282 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37335040 140735908778417 140735908778570 140735908778570 140735908782031 0
[pid=29203/tid=29215] ppid=29200 vsize=10750924 CPUtime=0.74 cores=1,3,5,7
/proc/29203/task/29215/stat : 29215 (java) S 29200 29203 18930 0 -1 1077944384 2473 0 0 0 74 0 0 0 20 0 16 0 65082067 11008946176 59084 18446744073709551615 4194304 4196468 140735908769568 140681856186992 140682297457282 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37335040 140735908778417 140735908778570 140735908778570 140735908782031 0
[pid=29203/tid=29216] ppid=29200 vsize=10750924 CPUtime=0.34 cores=1,3,5,7
/proc/29203/task/29216/stat : 29216 (java) S 29200 29203 18930 0 -1 1077944384 1948 0 0 0 34 0 0 0 20 0 16 0 65082067 11008946176 59084 18446744073709551615 4194304 4196468 140735908769568 140681331862256 140682297457282 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37335040 140735908778417 140735908778570 140735908778570 140735908782031 0
[pid=29203/tid=29217] ppid=29200 vsize=10750924 CPUtime=0 cores=1,3,5,7
/proc/29203/task/29217/stat : 29217 (java) S 29200 29203 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 65082067 11008946176 59084 18446744073709551615 4194304 4196468 140735908769568 140681330809952 140682297456341 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37335040 140735908778417 140735908778570 140735908778570 140735908782031 0
[pid=29203/tid=29218] ppid=29200 vsize=10750924 CPUtime=0 cores=1,3,5,7
/proc/29203/task/29218/stat : 29218 (java) S 29200 29203 18930 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 16 0 65082071 11008946176 59084 18446744073709551615 4194304 4196468 140735908769568 140681329756464 140682297457282 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37335040 140735908778417 140735908778570 140735908778570 140735908782031 0
[pid=29203/tid=29220] ppid=29200 vsize=10750924 CPUtime=0 cores=1,3,5,7
/proc/29203/task/29220/stat : 29220 (java) S 29200 29203 18930 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 16 0 65082368 11008946176 59084 18446744073709551615 4194304 4196468 140735908769568 140681327649936 140682297457282 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37335040 140735908778417 140735908778570 140735908778570 140735908782031 0
Current children cumulated CPU time (s) 5.2
Current children cumulated vsize (KiB) 10750924
Child status: 0
Real time (s): 3.36366
CPU time (s): 5.2115
CPU user time (s): 5.06567
CPU system time (s): 0.145833
CPU usage (%): 154.935
Max. virtual memory (cumulated for all children) (KiB): 10750924
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 5.06567
system time used= 0.145833
maximum resident set size= 236844
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 18827
page faults= 0
swaps= 0
block input operations= 0
block output operations= 8
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1837
involuntary context switches= 13
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.017342 second user time and 0.02688 second system time
The end