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-4258174-1501651169/watcher-4258174-1501651169 -o /tmp/evaluation-result-4258174-1501651169/solver-4258174-1501651169 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node129-1501642919-31105 --watchdog 300 java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar HOME/instance-4258174-1501651169.xml
pid=8378
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: 3.93 4.78 3.88 3/196 8381
/proc/meminfo: memFree=29906804/32770624 swapFree=0/231604
[pid=8381] ppid=8378 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/8381/stat : 8381 (runsolver) D 8378 8381 5091 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 13740010 24240128 106 18446744073709551615 4194304 4338465 140732771928224 140732771925864 139873388430039 0 0 1 24578 18446744071580418449 0 0 17 1 0 0 0 0 0 6438912 6441760 6471680 140732771930247 140732771930694 140732771930694 140732771934154 0
/proc/8381/statm: 5918 106 53 36 0 2156 0
[startup+0.100156 s]
/proc/loadavg: 3.93 4.78 3.88 3/196 8381
/proc/meminfo: memFree=29906804/32770624 swapFree=0/231604
[pid=8381] ppid=8378 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/8381/stat : 8381 (runsolver) D 8378 8381 5091 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 13740010 24240128 106 18446744073709551615 4194304 4338465 140732771928224 140732771925864 139873388430039 0 0 1 24578 18446744071580418449 0 0 17 1 0 0 0 0 0 6438912 6441760 6471680 140732771930247 140732771930694 140732771930694 140732771934154 0
/proc/8381/statm: 5918 106 53 36 0 2156 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 23672
[startup+0.200322 s]
/proc/loadavg: 3.93 4.78 3.88 3/196 8381
/proc/meminfo: memFree=29906804/32770624 swapFree=0/231604
[pid=8381] ppid=8378 vsize=10484492 CPUtime=0.05 cores=1,3,5,7
/proc/8381/stat : 8381 (java) S 8378 8381 5091 0 -1 1077944320 4837 0 0 0 5 0 0 0 20 0 14 0 13740010 10736119808 5879 18446744073709551615 4194304 4196468 140724631093984 140724631076528 140687220088567 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 10 0 0 6293624 6294260 16994304 140724631101874 140724631102027 140724631102027 140724631105487 0
/proc/8381/statm: 2621123 5879 2566 1 0 2610628 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 10484492
[startup+0.301203 s]
/proc/loadavg: 3.93 4.78 3.88 3/196 8381
/proc/meminfo: memFree=29906804/32770624 swapFree=0/231604
[pid=8381] ppid=8378 vsize=10551156 CPUtime=0.14 cores=1,3,5,7
/proc/8381/stat : 8381 (java) S 8378 8381 5091 0 -1 1077944320 7715 0 0 0 12 2 0 0 20 0 15 0 13740010 10804383744 7585 18446744073709551615 4194304 4196468 140724631093984 140724631076528 140687220088567 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 10 0 0 6293624 6294260 16994304 140724631101874 140724631102027 140724631102027 140724631105487 0
/proc/8381/statm: 2637789 7585 2782 1 0 2627269 0
Current children cumulated CPU time (s) 0.14
Current children cumulated vsize (KiB) 10551156
[startup+0.700702 s]
/proc/loadavg: 3.93 4.78 3.88 3/196 8381
/proc/meminfo: memFree=29906804/32770624 swapFree=0/231604
[pid=8381] ppid=8378 vsize=10617796 CPUtime=1.17 cores=1,3,5,7
/proc/8381/stat : 8381 (java) S 8378 8381 5091 0 -1 1077944320 13596 0 0 0 113 4 0 0 20 0 16 0 13740010 10872623104 15747 18446744073709551615 4194304 4196468 140724631093984 140724631076528 140687220088567 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 10 0 0 6293624 6294260 16994304 140724631101874 140724631102027 140724631102027 140724631105487 0
/proc/8381/statm: 2654449 15747 3045 1 0 2643910 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 10617796
[startup+1.50058 s]
/proc/loadavg: 3.93 4.78 3.88 3/212 8397
/proc/meminfo: memFree=29851516/32770624 swapFree=0/231596
[pid=8381] ppid=8378 vsize=10617796 CPUtime=2.68 cores=1,3,5,7
/proc/8381/stat : 8381 (java) S 8378 8381 5091 0 -1 1077944320 15397 0 0 0 263 5 0 0 20 0 16 0 13740010 10872623104 17382 18446744073709551615 4194304 4196468 140724631093984 140724631076528 140687220088567 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 10 0 0 6293624 6294260 16994304 140724631101874 140724631102027 140724631102027 140724631105487 0
/proc/8381/statm: 2654449 17382 3060 1 0 2643910 0
[pid=8381/tid=8383] ppid=8378 vsize=10617796 CPUtime=1.29 cores=1,3,5,7
/proc/8381/task/8383/stat : 8383 (java) R 8378 8381 5091 0 -1 4202560 7970 0 0 0 126 3 0 0 20 0 16 0 13740021 10872623104 17382 18446744073709551615 4194304 4196468 140724631093984 140687224324976 140686841222147 0 4 1 16800974 0 0 0 -1 5 0 0 8 0 0 6293624 6294260 16994304 140724631101874 140724631102027 140724631102027 140724631105487 0
[pid=8381/tid=8384] ppid=8378 vsize=10617796 CPUtime=0 cores=1,3,5,7
/proc/8381/task/8384/stat : 8384 (java) S 8378 8381 5091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 13740022 10872623104 17382 18446744073709551615 4194304 4196468 140724631093984 140687161125392 140687220098773 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16994304 140724631101874 140724631102027 140724631102027 140724631105487 0
[pid=8381/tid=8385] ppid=8378 vsize=10617796 CPUtime=0 cores=1,3,5,7
/proc/8381/task/8385/stat : 8385 (java) S 8378 8381 5091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 13740022 10872623104 17382 18446744073709551615 4194304 4196468 140724631093984 140687160072848 140687220098773 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16994304 140724631101874 140724631102027 140724631102027 140724631105487 0
[pid=8381/tid=8386] ppid=8378 vsize=10617796 CPUtime=0 cores=1,3,5,7
/proc/8381/task/8386/stat : 8386 (java) S 8378 8381 5091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 13740022 10872623104 17382 18446744073709551615 4194304 4196468 140724631093984 140687159019792 140687220098773 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16994304 140724631101874 140724631102027 140724631102027 140724631105487 0
[pid=8381/tid=8387] ppid=8378 vsize=10617796 CPUtime=0 cores=1,3,5,7
/proc/8381/task/8387/stat : 8387 (java) S 8378 8381 5091 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 16 0 13740022 10872623104 17382 18446744073709551615 4194304 4196468 140724631093984 140687157967248 140687220098773 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16994304 140724631101874 140724631102027 140724631102027 140724631105487 0
[pid=8381/tid=8388] ppid=8378 vsize=10617796 CPUtime=0 cores=1,3,5,7
/proc/8381/task/8388/stat : 8388 (java) S 8378 8381 5091 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 16 0 13740023 10872623104 17382 18446744073709551615 4194304 4196468 140724631093984 140686716050160 140687220099714 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16994304 140724631101874 140724631102027 140724631102027 140724631105487 0
[pid=8381/tid=8389] ppid=8378 vsize=10617796 CPUtime=0 cores=1,3,5,7
/proc/8381/task/8389/stat : 8389 (java) S 8378 8381 5091 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 13740023 10872623104 17382 18446744073709551615 4194304 4196468 140724631093984 140686714996384 140687220098773 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16994304 140724631101874 140724631102027 140724631102027 140724631105487 0
[pid=8381/tid=8390] ppid=8378 vsize=10617796 CPUtime=0 cores=1,3,5,7
/proc/8381/task/8390/stat : 8390 (java) S 8378 8381 5091 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 13740024 10872623104 17382 18446744073709551615 4194304 4196468 140724631093984 140686713943280 140687220098773 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16994304 140724631101874 140724631102027 140724631102027 140724631105487 0
[pid=8381/tid=8391] ppid=8378 vsize=10617796 CPUtime=0 cores=1,3,5,7
/proc/8381/task/8391/stat : 8391 (java) S 8378 8381 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 13740026 10872623104 17382 18446744073709551615 4194304 4196468 140724631093984 140686712891856 140687220107163 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16994304 140724631101874 140724631102027 140724631102027 140724631105487 0
[pid=8381/tid=8392] ppid=8378 vsize=10617796 CPUtime=0.56 cores=1,3,5,7
/proc/8381/task/8392/stat : 8392 (java) S 8378 8381 5091 0 -1 1077944384 2262 0 0 0 56 0 0 0 20 0 16 0 13740026 10872623104 17382 18446744073709551615 4194304 4196468 140724631093984 140686711838960 140687220099714 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16994304 140724631101874 140724631102027 140724631102027 140724631105487 0
[pid=8381/tid=8393] ppid=8378 vsize=10617796 CPUtime=0.56 cores=1,3,5,7
/proc/8381/task/8393/stat : 8393 (java) S 8378 8381 5091 0 -1 1077944384 2406 0 0 0 55 1 0 0 20 0 16 0 13740026 10872623104 17382 18446744073709551615 4194304 4196468 140724631093984 140686710786416 140687220099714 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16994304 140724631101874 140724631102027 140724631102027 140724631105487 0
[pid=8381/tid=8394] ppid=8378 vsize=10617796 CPUtime=0.23 cores=1,3,5,7
/proc/8381/task/8394/stat : 8394 (java) S 8378 8381 5091 0 -1 1077944384 1351 0 0 0 23 0 0 0 20 0 16 0 13740026 10872623104 17382 18446744073709551615 4194304 4196468 140724631093984 140686709733360 140687220099714 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16994304 140724631101874 140724631102027 140724631102027 140724631105487 0
[pid=8381/tid=8395] ppid=8378 vsize=10617796 CPUtime=0 cores=1,3,5,7
/proc/8381/task/8395/stat : 8395 (java) S 8378 8381 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 13740026 10872623104 17382 18446744073709551615 4194304 4196468 140724631093984 140686708681056 140687220098773 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16994304 140724631101874 140724631102027 140724631102027 140724631105487 0
[pid=8381/tid=8396] ppid=8378 vsize=10617796 CPUtime=0 cores=1,3,5,7
/proc/8381/task/8396/stat : 8396 (java) S 8378 8381 5091 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 13740035 10872623104 17382 18446744073709551615 4194304 4196468 140724631093984 140686707629104 140687220099714 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16994304 140724631101874 140724631102027 140724631102027 140724631105487 0
[pid=8381/tid=8397] ppid=8378 vsize=10617796 CPUtime=0 cores=1,3,5,7
/proc/8381/task/8397/stat : 8397 (java) S 8378 8381 5091 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 13740068 10872623104 17382 18446744073709551615 4194304 4196468 140724631093984 140686706574896 140687220099714 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16994304 140724631101874 140724631102027 140724631102027 140724631105487 0
Current children cumulated CPU time (s) 2.68
Current children cumulated vsize (KiB) 10617796
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 8381 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1.60079 s]
/proc/loadavg: 3.93 4.78 3.88 3/212 8397
/proc/meminfo: memFree=29851516/32770624 swapFree=0/231596
[pid=8381] ppid=8378 vsize=10617796 CPUtime=2.78 cores=1,3,5,7
/proc/8381/stat : 8381 (java) S 8378 8381 5091 0 -1 1077944320 15405 0 0 0 273 5 0 0 20 0 16 0 13740010 10872623104 17382 18446744073709551615 4194304 4196468 140724631093984 140724631076528 140687220088567 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 10 0 0 6293624 6294260 16994304 140724631101874 140724631102027 140724631102027 140724631105487 0
/proc/8381/statm: 2654449 17382 3060 1 0 2643910 0
[pid=8381/tid=8383] ppid=8378 vsize=10617796 CPUtime=1.39 cores=1,3,5,7
/proc/8381/task/8383/stat : 8383 (java) R 8378 8381 5091 0 -1 4202560 7978 0 0 0 136 3 0 0 20 0 16 0 13740021 10872623104 17382 18446744073709551615 4194304 4196468 140724631093984 140687224325240 140686840988831 0 4 1 16800974 0 0 0 -1 5 0 0 8 0 0 6293624 6294260 16994304 140724631101874 140724631102027 140724631102027 140724631105487 0
[pid=8381/tid=8384] ppid=8378 vsize=10617796 CPUtime=0 cores=1,3,5,7
/proc/8381/task/8384/stat : 8384 (java) S 8378 8381 5091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 13740022 10872623104 17382 18446744073709551615 4194304 4196468 140724631093984 140687161125392 140687220098773 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16994304 140724631101874 140724631102027 140724631102027 140724631105487 0
[pid=8381/tid=8385] ppid=8378 vsize=10617796 CPUtime=0 cores=1,3,5,7
/proc/8381/task/8385/stat : 8385 (java) S 8378 8381 5091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 13740022 10872623104 17382 18446744073709551615 4194304 4196468 140724631093984 140687160072848 140687220098773 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16994304 140724631101874 140724631102027 140724631102027 140724631105487 0
[pid=8381/tid=8386] ppid=8378 vsize=10617796 CPUtime=0 cores=1,3,5,7
/proc/8381/task/8386/stat : 8386 (java) S 8378 8381 5091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 13740022 10872623104 17382 18446744073709551615 4194304 4196468 140724631093984 140687159019792 140687220098773 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16994304 140724631101874 140724631102027 140724631102027 140724631105487 0
[pid=8381/tid=8387] ppid=8378 vsize=10617796 CPUtime=0 cores=1,3,5,7
/proc/8381/task/8387/stat : 8387 (java) S 8378 8381 5091 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 16 0 13740022 10872623104 17382 18446744073709551615 4194304 4196468 140724631093984 140687157967248 140687220098773 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16994304 140724631101874 140724631102027 140724631102027 140724631105487 0
[pid=8381/tid=8388] ppid=8378 vsize=10617796 CPUtime=0 cores=1,3,5,7
/proc/8381/task/8388/stat : 8388 (java) S 8378 8381 5091 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 16 0 13740023 10872623104 17382 18446744073709551615 4194304 4196468 140724631093984 140686716050160 140687220099714 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16994304 140724631101874 140724631102027 140724631102027 140724631105487 0
[pid=8381/tid=8389] ppid=8378 vsize=10617796 CPUtime=0 cores=1,3,5,7
/proc/8381/task/8389/stat : 8389 (java) S 8378 8381 5091 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 13740023 10872623104 17382 18446744073709551615 4194304 4196468 140724631093984 140686714996384 140687220098773 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16994304 140724631101874 140724631102027 140724631102027 140724631105487 0
[pid=8381/tid=8390] ppid=8378 vsize=10617796 CPUtime=0 cores=1,3,5,7
/proc/8381/task/8390/stat : 8390 (java) S 8378 8381 5091 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 13740024 10872623104 17382 18446744073709551615 4194304 4196468 140724631093984 140686713943280 140687220098773 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16994304 140724631101874 140724631102027 140724631102027 140724631105487 0
[pid=8381/tid=8391] ppid=8378 vsize=10617796 CPUtime=0 cores=1,3,5,7
/proc/8381/task/8391/stat : 8391 (java) S 8378 8381 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 13740026 10872623104 17382 18446744073709551615 4194304 4196468 140724631093984 140686712891856 140687220107163 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16994304 140724631101874 140724631102027 140724631102027 140724631105487 0
[pid=8381/tid=8392] ppid=8378 vsize=10617796 CPUtime=0.56 cores=1,3,5,7
/proc/8381/task/8392/stat : 8392 (java) S 8378 8381 5091 0 -1 1077944384 2262 0 0 0 56 0 0 0 20 0 16 0 13740026 10872623104 17382 18446744073709551615 4194304 4196468 140724631093984 140686711838960 140687220099714 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16994304 140724631101874 140724631102027 140724631102027 140724631105487 0
[pid=8381/tid=8393] ppid=8378 vsize=10617796 CPUtime=0.56 cores=1,3,5,7
/proc/8381/task/8393/stat : 8393 (java) S 8378 8381 5091 0 -1 1077944384 2406 0 0 0 55 1 0 0 20 0 16 0 13740026 10872623104 17382 18446744073709551615 4194304 4196468 140724631093984 140686710786416 140687220099714 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16994304 140724631101874 140724631102027 140724631102027 140724631105487 0
[pid=8381/tid=8394] ppid=8378 vsize=10617796 CPUtime=0.23 cores=1,3,5,7
/proc/8381/task/8394/stat : 8394 (java) S 8378 8381 5091 0 -1 1077944384 1351 0 0 0 23 0 0 0 20 0 16 0 13740026 10872623104 17382 18446744073709551615 4194304 4196468 140724631093984 140686709733360 140687220099714 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16994304 140724631101874 140724631102027 140724631102027 140724631105487 0
[pid=8381/tid=8395] ppid=8378 vsize=10617796 CPUtime=0 cores=1,3,5,7
/proc/8381/task/8395/stat : 8395 (java) S 8378 8381 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 13740026 10872623104 17382 18446744073709551615 4194304 4196468 140724631093984 140686708681056 140687220098773 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16994304 140724631101874 140724631102027 140724631102027 140724631105487 0
[pid=8381/tid=8396] ppid=8378 vsize=10617796 CPUtime=0 cores=1,3,5,7
/proc/8381/task/8396/stat : 8396 (java) S 8378 8381 5091 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 13740035 10872623104 17382 18446744073709551615 4194304 4196468 140724631093984 140686707629104 140687220099714 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16994304 140724631101874 140724631102027 140724631102027 140724631105487 0
[pid=8381/tid=8397] ppid=8378 vsize=10617796 CPUtime=0 cores=1,3,5,7
/proc/8381/task/8397/stat : 8397 (java) S 8378 8381 5091 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 13740068 10872623104 17382 18446744073709551615 4194304 4196468 140724631093984 140686706574896 140687220099714 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16994304 140724631101874 140724631102027 140724631102027 140724631105487 0
Current children cumulated CPU time (s) 2.78
Current children cumulated vsize (KiB) 10617796
[startup+2.0006 s]
/proc/loadavg: 3.93 4.78 3.88 3/212 8397
/proc/meminfo: memFree=29851516/32770624 swapFree=0/231596
[pid=8381] ppid=8378 vsize=10750924 CPUtime=3.18 cores=1,3,5,7
/proc/8381/stat : 8381 (java) S 8378 8381 5091 0 -1 1077944320 15922 0 0 0 313 5 0 0 20 0 16 0 13740010 11008946176 18970 18446744073709551615 4194304 4196468 140724631093984 140724631076528 140687220088567 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 10 0 0 6293624 6294260 16994304 140724631101874 140724631102027 140724631102027 140724631105487 0
/proc/8381/statm: 2687731 18970 3062 1 0 2677192 0
[pid=8381/tid=8383] ppid=8378 vsize=10750924 CPUtime=1.79 cores=1,3,5,7
/proc/8381/task/8383/stat : 8383 (java) S 8378 8381 5091 0 -1 1077944384 8235 0 0 0 176 3 0 0 20 0 16 0 13740021 11008946176 18970 18446744073709551615 4194304 4196468 140724631093984 140687224329248 140687220098773 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 8 0 0 6293624 6294260 16994304 140724631101874 140724631102027 140724631102027 140724631105487 0
[pid=8381/tid=8384] ppid=8378 vsize=10750924 CPUtime=0 cores=1,3,5,7
/proc/8381/task/8384/stat : 8384 (java) S 8378 8381 5091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 13740022 11008946176 18970 18446744073709551615 4194304 4196468 140724631093984 140687161125392 140687220098773 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16994304 140724631101874 140724631102027 140724631102027 140724631105487 0
[pid=8381/tid=8385] ppid=8378 vsize=10750924 CPUtime=0 cores=1,3,5,7
/proc/8381/task/8385/stat : 8385 (java) S 8378 8381 5091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 13740022 11008946176 18970 18446744073709551615 4194304 4196468 140724631093984 140687160072848 140687220098773 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16994304 140724631101874 140724631102027 140724631102027 140724631105487 0
[pid=8381/tid=8386] ppid=8378 vsize=10750924 CPUtime=0 cores=1,3,5,7
/proc/8381/task/8386/stat : 8386 (java) S 8378 8381 5091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 13740022 11008946176 18970 18446744073709551615 4194304 4196468 140724631093984 140687159019792 140687220098773 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16994304 140724631101874 140724631102027 140724631102027 140724631105487 0
[pid=8381/tid=8387] ppid=8378 vsize=10750924 CPUtime=0 cores=1,3,5,7
/proc/8381/task/8387/stat : 8387 (java) S 8378 8381 5091 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 16 0 13740022 11008946176 18970 18446744073709551615 4194304 4196468 140724631093984 140687157967248 140687220098773 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16994304 140724631101874 140724631102027 140724631102027 140724631105487 0
[pid=8381/tid=8388] ppid=8378 vsize=10750924 CPUtime=0 cores=1,3,5,7
/proc/8381/task/8388/stat : 8388 (java) S 8378 8381 5091 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 16 0 13740023 11008946176 18970 18446744073709551615 4194304 4196468 140724631093984 140686716050160 140687220099714 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16994304 140724631101874 140724631102027 140724631102027 140724631105487 0
[pid=8381/tid=8389] ppid=8378 vsize=10750924 CPUtime=0 cores=1,3,5,7
/proc/8381/task/8389/stat : 8389 (java) S 8378 8381 5091 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 13740023 11008946176 18970 18446744073709551615 4194304 4196468 140724631093984 140686714996384 140687220098773 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16994304 140724631101874 140724631102027 140724631102027 140724631105487 0
[pid=8381/tid=8390] ppid=8378 vsize=10750924 CPUtime=0 cores=1,3,5,7
/proc/8381/task/8390/stat : 8390 (java) S 8378 8381 5091 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 13740024 11008946176 18970 18446744073709551615 4194304 4196468 140724631093984 140686713943280 140687220098773 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16994304 140724631101874 140724631102027 140724631102027 140724631105487 0
[pid=8381/tid=8391] ppid=8378 vsize=10750924 CPUtime=0 cores=1,3,5,7
/proc/8381/task/8391/stat : 8391 (java) S 8378 8381 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 13740026 11008946176 18970 18446744073709551615 4194304 4196468 140724631093984 140686712891856 140687220107163 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16994304 140724631101874 140724631102027 140724631102027 140724631105487 0
[pid=8381/tid=8392] ppid=8378 vsize=10750924 CPUtime=0.57 cores=1,3,5,7
/proc/8381/task/8392/stat : 8392 (java) S 8378 8381 5091 0 -1 1077944384 2262 0 0 0 57 0 0 0 20 0 16 0 13740026 11008946176 18970 18446744073709551615 4194304 4196468 140724631093984 140686711838960 140687220099714 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16994304 140724631101874 140724631102027 140724631102027 140724631105487 0
[pid=8381/tid=8393] ppid=8378 vsize=10750924 CPUtime=0.56 cores=1,3,5,7
/proc/8381/task/8393/stat : 8393 (java) S 8378 8381 5091 0 -1 1077944384 2406 0 0 0 55 1 0 0 20 0 16 0 13740026 11008946176 18970 18446744073709551615 4194304 4196468 140724631093984 140686710786416 140687220099714 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16994304 140724631101874 140724631102027 140724631102027 140724631105487 0
[pid=8381/tid=8394] ppid=8378 vsize=10750924 CPUtime=0.24 cores=1,3,5,7
/proc/8381/task/8394/stat : 8394 (java) S 8378 8381 5091 0 -1 1077944384 1433 0 0 0 24 0 0 0 20 0 16 0 13740026 11008946176 18970 18446744073709551615 4194304 4196468 140724631093984 140686709733360 140687220099714 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16994304 140724631101874 140724631102027 140724631102027 140724631105487 0
[pid=8381/tid=8395] ppid=8378 vsize=10750924 CPUtime=0 cores=1,3,5,7
/proc/8381/task/8395/stat : 8395 (java) S 8378 8381 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 13740026 11008946176 18970 18446744073709551615 4194304 4196468 140724631093984 140686708681056 140687220098773 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16994304 140724631101874 140724631102027 140724631102027 140724631105487 0
[pid=8381/tid=8396] ppid=8378 vsize=10750924 CPUtime=0 cores=1,3,5,7
/proc/8381/task/8396/stat : 8396 (java) S 8378 8381 5091 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 13740035 11008946176 18970 18446744073709551615 4194304 4196468 140724631093984 140686707629104 140687220099714 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16994304 140724631101874 140724631102027 140724631102027 140724631105487 0
Current children cumulated CPU time (s) 3.18
Current children cumulated vsize (KiB) 10750924
[startup+2.1007 s]
/proc/loadavg: 3.93 4.78 3.88 3/212 8397
/proc/meminfo: memFree=29851516/32770624 swapFree=0/231596
[pid=8381] ppid=8378 vsize=10750924 CPUtime=3.18 cores=1,3,5,7
/proc/8381/stat : 8381 (java) S 8378 8381 5091 0 -1 1077944320 15922 0 0 0 313 5 0 0 20 0 16 0 13740010 11008946176 18970 18446744073709551615 4194304 4196468 140724631093984 140724631076528 140687220088567 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 10 0 0 6293624 6294260 16994304 140724631101874 140724631102027 140724631102027 140724631105487 0
/proc/8381/statm: 2687731 18970 3062 1 0 2677192 0
[pid=8381/tid=8383] ppid=8378 vsize=10750924 CPUtime=1.79 cores=1,3,5,7
/proc/8381/task/8383/stat : 8383 (java) S 8378 8381 5091 0 -1 1077944384 8235 0 0 0 176 3 0 0 20 0 16 0 13740021 11008946176 18970 18446744073709551615 4194304 4196468 140724631093984 140687224329248 140687220098773 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 8 0 0 6293624 6294260 16994304 140724631101874 140724631102027 140724631102027 140724631105487 0
[pid=8381/tid=8384] ppid=8378 vsize=10750924 CPUtime=0 cores=1,3,5,7
/proc/8381/task/8384/stat : 8384 (java) S 8378 8381 5091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 13740022 11008946176 18970 18446744073709551615 4194304 4196468 140724631093984 140687161125392 140687220098773 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16994304 140724631101874 140724631102027 140724631102027 140724631105487 0
[pid=8381/tid=8385] ppid=8378 vsize=10750924 CPUtime=0 cores=1,3,5,7
/proc/8381/task/8385/stat : 8385 (java) S 8378 8381 5091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 13740022 11008946176 18970 18446744073709551615 4194304 4196468 140724631093984 140687160072848 140687220098773 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16994304 140724631101874 140724631102027 140724631102027 140724631105487 0
[pid=8381/tid=8386] ppid=8378 vsize=10750924 CPUtime=0 cores=1,3,5,7
/proc/8381/task/8386/stat : 8386 (java) S 8378 8381 5091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 13740022 11008946176 18970 18446744073709551615 4194304 4196468 140724631093984 140687159019792 140687220098773 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16994304 140724631101874 140724631102027 140724631102027 140724631105487 0
[pid=8381/tid=8387] ppid=8378 vsize=10750924 CPUtime=0 cores=1,3,5,7
/proc/8381/task/8387/stat : 8387 (java) S 8378 8381 5091 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 16 0 13740022 11008946176 18970 18446744073709551615 4194304 4196468 140724631093984 140687157967248 140687220098773 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16994304 140724631101874 140724631102027 140724631102027 140724631105487 0
[pid=8381/tid=8388] ppid=8378 vsize=10750924 CPUtime=0 cores=1,3,5,7
/proc/8381/task/8388/stat : 8388 (java) S 8378 8381 5091 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 16 0 13740023 11008946176 18970 18446744073709551615 4194304 4196468 140724631093984 140686716050160 140687220099714 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16994304 140724631101874 140724631102027 140724631102027 140724631105487 0
[pid=8381/tid=8389] ppid=8378 vsize=10750924 CPUtime=0 cores=1,3,5,7
/proc/8381/task/8389/stat : 8389 (java) S 8378 8381 5091 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 13740023 11008946176 18970 18446744073709551615 4194304 4196468 140724631093984 140686714996384 140687220098773 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16994304 140724631101874 140724631102027 140724631102027 140724631105487 0
[pid=8381/tid=8390] ppid=8378 vsize=10750924 CPUtime=0 cores=1,3,5,7
/proc/8381/task/8390/stat : 8390 (java) S 8378 8381 5091 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 13740024 11008946176 18970 18446744073709551615 4194304 4196468 140724631093984 140686713943280 140687220098773 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16994304 140724631101874 140724631102027 140724631102027 140724631105487 0
[pid=8381/tid=8391] ppid=8378 vsize=10750924 CPUtime=0 cores=1,3,5,7
/proc/8381/task/8391/stat : 8391 (java) S 8378 8381 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 13740026 11008946176 18970 18446744073709551615 4194304 4196468 140724631093984 140686712891856 140687220107163 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16994304 140724631101874 140724631102027 140724631102027 140724631105487 0
[pid=8381/tid=8392] ppid=8378 vsize=10750924 CPUtime=0.57 cores=1,3,5,7
/proc/8381/task/8392/stat : 8392 (java) S 8378 8381 5091 0 -1 1077944384 2262 0 0 0 57 0 0 0 20 0 16 0 13740026 11008946176 18970 18446744073709551615 4194304 4196468 140724631093984 140686711838960 140687220099714 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16994304 140724631101874 140724631102027 140724631102027 140724631105487 0
[pid=8381/tid=8393] ppid=8378 vsize=10750924 CPUtime=0.56 cores=1,3,5,7
/proc/8381/task/8393/stat : 8393 (java) S 8378 8381 5091 0 -1 1077944384 2406 0 0 0 55 1 0 0 20 0 16 0 13740026 11008946176 18970 18446744073709551615 4194304 4196468 140724631093984 140686710786416 140687220099714 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16994304 140724631101874 140724631102027 140724631102027 140724631105487 0
[pid=8381/tid=8394] ppid=8378 vsize=10750924 CPUtime=0.24 cores=1,3,5,7
/proc/8381/task/8394/stat : 8394 (java) S 8378 8381 5091 0 -1 1077944384 1433 0 0 0 24 0 0 0 20 0 16 0 13740026 11008946176 18970 18446744073709551615 4194304 4196468 140724631093984 140686709733360 140687220099714 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16994304 140724631101874 140724631102027 140724631102027 140724631105487 0
[pid=8381/tid=8395] ppid=8378 vsize=10750924 CPUtime=0 cores=1,3,5,7
/proc/8381/task/8395/stat : 8395 (java) S 8378 8381 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 13740026 11008946176 18970 18446744073709551615 4194304 4196468 140724631093984 140686708681056 140687220098773 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16994304 140724631101874 140724631102027 140724631102027 140724631105487 0
[pid=8381/tid=8396] ppid=8378 vsize=10750924 CPUtime=0 cores=1,3,5,7
/proc/8381/task/8396/stat : 8396 (java) S 8378 8381 5091 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 13740035 11008946176 18970 18446744073709551615 4194304 4196468 140724631093984 140686707629104 140687220099714 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16994304 140724631101874 140724631102027 140724631102027 140724631105487 0
Current children cumulated CPU time (s) 3.18
Current children cumulated vsize (KiB) 10750924
Child status: 0
Real time (s): 2.20406
CPU time (s): 3.2015
CPU user time (s): 3.14588
CPU system time (s): 0.055616
CPU usage (%): 145.254
Max. virtual memory (cumulated for all children) (KiB): 10750924
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.14588
system time used= 0.055616
maximum resident set size= 78316
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16225
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= 1361
involuntary context switches= 8
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.010496 second user time and 0.018894 second system time
The end