PB'11 competition: WBO track competition: execution trace

Solver Name	Answer	CPU time	Wall clock time
Sat4j Resolution 2011-06-08	MSAT (TO)	1800.17	1798.38
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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-3492938-1307912628/watcher-3492938-1307912628 -o /tmp/evaluation-result-3492938-1307912628/solver-3492938-1307912628 -C 1800 -W 1900 -M 15500 java -Xms10000m -Xmx10000m -jar sat4j-pb.jar Resolution HOME/instance-3492938-1307912628.wbo 

running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 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: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.16 2.04 1.95 2/195 8047
/proc/meminfo: memFree=32322952/32951124 swapFree=67050540/67111528
[pid=8047] ppid=8045 vsize=30528 CPUtime=0 cores=0,2,4,6
/proc/8047/stat : 8047 (java) S 8045 8047 5088 0 -1 4202496 1239 0 0 0 0 0 0 0 25 0 2 0 902865173 31260672 957 33554432000 1073741824 1073778376 140736718741584 18446744073709551615 212447819749 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0
/proc/8047/statm: 7632 957 730 9 0 383 0
[pid=8047/tid=8048] ppid=8045 vsize=30540 CPUtime=0 cores=0,2,4,6
/proc/8047/task/8048/stat : 8048 (java) R 8045 8047 5088 0 -1 4202560 126 0 0 0 0 0 0 0 25 0 2 0 902865174 31272960 960 33554432000 1073741824 1073778376 140736718741584 18446744073709551615 212436016955 0 0 0 16784584 0 0 0 -1 4 0 0 0

[startup+0.0385559 s]
/proc/loadavg: 2.16 2.04 1.95 2/195 8047
/proc/meminfo: memFree=32322952/32951124 swapFree=67050540/67111528
[pid=8047] ppid=8045 vsize=10467480 CPUtime=0.03 cores=0,2,4,6
/proc/8047/stat : 8047 (java) S 8045 8047 5088 0 -1 4202496 11186 0 1 0 2 1 0 0 25 0 13 0 902865173 10718699520 10881 33554432000 1073741824 1073778376 140736718741584 18446744073709551615 212447819749 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0
/proc/8047/statm: 2616870 10881 1659 9 0 2607618 0
[pid=8047/tid=8048] ppid=8045 vsize=10467480 CPUtime=0.02 cores=0,2,4,6
/proc/8047/task/8048/stat : 8048 (java) R 8045 8047 5088 0 -1 4202560 10038 0 1 0 2 0 0 0 25 0 13 0 902865174 10718699520 10882 33554432000 1073741824 1073778376 140736718741584 18446744073709551615 47786329540339 0 4 0 16784584 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 10467480

[startup+0.105546 s]
/proc/loadavg: 2.16 2.04 1.95 2/195 8047
/proc/meminfo: memFree=32322952/32951124 swapFree=67050540/67111528
[pid=8047] ppid=8045 vsize=10539184 CPUtime=0.11 cores=0,2,4,6
/proc/8047/stat : 8047 (java) S 8045 8047 5088 0 -1 4202496 13180 0 1 0 10 1 0 0 25 0 18 0 902865173 10792124416 12853 33554432000 1073741824 1073778376 140736718741584 18446744073709551615 212447819749 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/8047/statm: 2634796 12853 2107 9 0 2625530 0
[pid=8047/tid=8048] ppid=8045 vsize=10539184 CPUtime=0.09 cores=0,2,4,6
/proc/8047/task/8048/stat : 8048 (java) R 8045 8047 5088 0 -1 4202560 11216 0 1 0 8 1 0 0 25 0 18 0 902865174 10792124416 12854 33554432000 1073741824 1073778376 140736718741584 18446744073709551615 47786333398552 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 10539184

[startup+0.300538 s]
/proc/loadavg: 2.16 2.04 1.95 2/195 8047
/proc/meminfo: memFree=32322952/32951124 swapFree=67050540/67111528
[pid=8047] ppid=8045 vsize=10539744 CPUtime=0.48 cores=0,2,4,6
/proc/8047/stat : 8047 (java) S 8045 8047 5088 0 -1 4202496 15802 0 1 0 46 2 0 0 25 0 18 0 902865173 10792697856 15319 33554432000 1073741824 1073778376 140736718741584 18446744073709551615 212447819749 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/8047/statm: 2634936 15319 2201 9 0 2625670 0
[pid=8047/tid=8048] ppid=8045 vsize=10539744 CPUtime=0.28 cores=0,2,4,6
/proc/8047/task/8048/stat : 8048 (java) R 8045 8047 5088 0 -1 4202560 12950 0 1 0 27 1 0 0 25 0 18 0 902865174 10792697856 15320 33554432000 1073741824 1073778376 140736718741584 18446744073709551615 46912505598402 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 10539744

[startup+0.700484 s]
/proc/loadavg: 2.16 2.04 1.95 2/195 8047
/proc/meminfo: memFree=32322952/32951124 swapFree=67050540/67111528
[pid=8047] ppid=8045 vsize=10543240 CPUtime=1.18 cores=0,2,4,6
/proc/8047/stat : 8047 (java) S 8045 8047 5088 0 -1 4202496 53497 0 1 0 110 8 0 0 25 0 18 0 902865173 10796277760 51610 33554432000 1073741824 1073778376 140736718741584 18446744073709551615 212447819749 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/8047/statm: 2635810 51615 2217 9 0 2626544 0
[pid=8047/tid=8048] ppid=8045 vsize=10543240 CPUtime=0.68 cores=0,2,4,6
/proc/8047/task/8048/stat : 8048 (java) R 8045 8047 5088 0 -1 4202560 47838 0 1 0 62 6 0 0 25 0 18 0 902865174 10796277760 51617 33554432000 1073741824 1073778376 140736718741584 18446744073709551615 46912505632602 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.18
Current children cumulated vsize (KiB) 10543240

[startup+1.50134 s]
/proc/loadavg: 2.16 2.04 1.95 3/213 8065
/proc/meminfo: memFree=31987484/32951124 swapFree=67050540/67111528
[pid=8047] ppid=8045 vsize=10543240 CPUtime=1.98 cores=0,2,4,6
/proc/8047/stat : 8047 (java) S 8045 8047 5088 0 -1 4202496 142404 0 1 0 177 21 0 0 25 0 18 0 902865173 10796277760 140515 33554432000 1073741824 1073778376 140736718741584 18446744073709551615 212447819749 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/8047/statm: 2635810 140520 2217 9 0 2626544 0
[pid=8047/tid=8048] ppid=8045 vsize=10543240 CPUtime=1.48 cores=0,2,4,6
/proc/8047/task/8048/stat : 8048 (java) R 8045 8047 5088 0 -1 4202560 136745 0 1 0 129 19 0 0 18 0 18 0 902865174 10796277760 140523 33554432000 1073741824 1073778376 140736718741584 18446744073709551615 46912505644747 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=8047/tid=8050] ppid=8045 vsize=10543240 CPUtime=0 cores=0,2,4,6
/proc/8047/task/8050/stat : 8050 (java) S 8045 8047 5088 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 902865175 10796277760 140526 33554432000 1073741824 1073778376 140736718741584 18446744073709551615 212447832985 0 4 0 16800975 18446604453934029824 0 0 -1 2 0 0 0
[pid=8047/tid=8051] ppid=8045 vsize=10543240 CPUtime=0 cores=0,2,4,6
/proc/8047/task/8051/stat : 8051 (java) S 8045 8047 5088 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 902865175 10796277760 140529 33554432000 1073741824 1073778376 140736718741584 18446744073709551615 212447832985 0 4 0 16800975 18446604453934029824 0 0 -1 4 0 0 0
[pid=8047/tid=8052] ppid=8045 vsize=10543240 CPUtime=0 cores=0,2,4,6
/proc/8047/task/8052/stat : 8052 (java) S 8045 8047 5088 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 902865175 10796277760 140532 33554432000 1073741824 1073778376 140736718741584 18446744073709551615 212447832985 0 4 0 16800975 18446604453934029824 0 0 -1 4 0 0 0
[pid=8047/tid=8053] ppid=8045 vsize=10543240 CPUtime=0 cores=0,2,4,6
/proc/8047/task/8053/stat : 8053 (java) S 8045 8047 5088 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 902865175 10796277760 140535 33554432000 1073741824 1073778376 140736718741584 18446744073709551615 212447832985 0 4 0 16800975 18446604453934029824 0 0 -1 4 0 0 0
[pid=8047/tid=8054] ppid=8045 vsize=10543240 CPUtime=0 cores=0,2,4,6
/proc/8047/task/8054/stat : 8054 (java) S 8045 8047 5088 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 902865175 10796277760 140538 33554432000 1073741824 1073778376 140736718741584 18446744073709551615 212447832985 0 4 0 16800975 18446604453934029824 0 0 -1 2 0 0 0
[pid=8047/tid=8055] ppid=8045 vsize=10543240 CPUtime=0 cores=0,2,4,6
/proc/8047/task/8055/stat : 8055 (java) S 8045 8047 5088 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 902865175 10796277760 140541 33554432000 1073741824 1073778376 140736718741584 18446744073709551615 212447832985 0 4 0 16800975 18446604453934029824 0 0 -1 2 0 0 0
[pid=8047/tid=8056] ppid=8045 vsize=10543240 CPUtime=0 cores=0,2,4,6
/proc/8047/task/8056/stat : 8056 (java) S 8045 8047 5088 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 902865175 10796277760 140544 33554432000 1073741824 1073778376 140736718741584 18446744073709551615 212447832985 0 4 0 16800975 18446604453934029824 0 0 -1 6 0 0 0
[pid=8047/tid=8057] ppid=8045 vsize=10543240 CPUtime=0 cores=0,2,4,6
/proc/8047/task/8057/stat : 8057 (java) S 8045 8047 5088 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 902865175 10796277760 140547 33554432000 1073741824 1073778376 140736718741584 18446744073709551615 212447832985 0 4 0 16800975 18446604453934029824 0 0 -1 6 0 0 0
[pid=8047/tid=8058] ppid=8045 vsize=10543240 CPUtime=0 cores=0,2,4,6
/proc/8047/task/8058/stat : 8058 (java) S 8045 8047 5088 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 18 0 902865176 10796277760 140550 33554432000 1073741824 1073778376 140736718741584 18446744073709551615 212447833600 0 0 0 16800975 18446604453934029824 0 0 -1 4 0 0 0
[pid=8047/tid=8059] ppid=8045 vsize=10543240 CPUtime=0 cores=0,2,4,6
/proc/8047/task/8059/stat : 8059 (java) S 8045 8047 5088 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 902865177 10796277760 140553 33554432000 1073741824 1073778376 140736718741584 18446744073709551615 212447832985 0 4 0 16800975 18446604453934029824 0 0 -1 4 0 0 0
[pid=8047/tid=8060] ppid=8045 vsize=10543240 CPUtime=0 cores=0,2,4,6
/proc/8047/task/8060/stat : 8060 (java) S 8045 8047 5088 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 902865177 10796277760 140556 33554432000 1073741824 1073778376 140736718741584 18446744073709551615 212447832985 0 4 0 16800975 18446604453934029824 0 0 -1 4 0 0 0
[pid=8047/tid=8061] ppid=8045 vsize=10543240 CPUtime=0 cores=0,2,4,6
/proc/8047/task/8061/stat : 8061 (java) S 8045 8047 5088 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 902865179 10796277760 140559 33554432000 1073741824 1073778376 140736718741584 18446744073709551615 212447840689 0 4 0 16800975 18446604453934029824 0 0 -1 4 0 0 0
[pid=8047/tid=8062] ppid=8045 vsize=10543240 CPUtime=0.23 cores=0,2,4,6
/proc/8047/task/8062/stat : 8062 (java) S 8045 8047 5088 0 -1 4202560 2018 0 0 0 23 0 0 0 16 0 18 0 902865179 10796277760 140562 33554432000 1073741824 1073778376 140736718741584 18446744073709551615 212447832985 0 4 0 16800975 18446604453934029824 0 0 -1 2 0 0 0
[pid=8047/tid=8063] ppid=8045 vsize=10543240 CPUtime=0.24 cores=0,2,4,6
/proc/8047/task/8063/stat : 8063 (java) S 8045 8047 5088 0 -1 4202560 2497 0 0 0 24 0 0 0 16 0 18 0 902865179 10796277760 140566 33554432000 1073741824 1073778376 140736718741584 18446744073709551615 212447832985 0 4 0 16800975 18446604453934029824 0 0 -1 4 0 0 0
[pid=8047/tid=8064] ppid=8045 vsize=10543240 CPUtime=0 cores=0,2,4,6
/proc/8047/task/8064/stat : 8064 (java) S 8045 8047 5088 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 902865179 10796277760 140568 33554432000 1073741824 1073778376 140736718741584 18446744073709551615 212447832985 0 4 0 16800975 18446604453934029824 0 0 -1 6 0 0 0
[pid=8047/tid=8065] ppid=8045 vsize=10543240 CPUtime=0 cores=0,2,4,6
/proc/8047/task/8065/stat : 8065 (java) S 8045 8047 5088 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 902865179 10796277760 140571 33554432000 1073741824 1073778376 140736718741584 18446744073709551615 212447833600 0 4 0 16800975 18446604453934029824 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1.98
Current children cumulated vsize (KiB) 10543240

[startup+3.10098 s]
/proc/loadavg: 2.16 2.04 1.95 3/213 8065
/proc/meminfo: memFree=31497324/32951124 swapFree=67050540/67111528
[pid=8047] ppid=8045 vsize=10544232 CPUtime=4.06 cores=0,2,4,6
/proc/8047/stat : 8047 (java) S 8045 8047 5088 0 -1 4202496 245173 0 1 0 371 35 0 0 25 0 19 0 902865173 10797293568 241366 33554432000 1073741824 1073778376 140736718741584 18446744073709551615 212447819749 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/8047/statm: 2636058 241366 2239 9 0 2626792 0
[pid=8047/tid=8048] ppid=8045 vsize=10544232 CPUtime=3.08 cores=0,2,4,6
/proc/8047/task/8048/stat : 8048 (java) R 8045 8047 5088 0 -1 4202560 237069 0 1 0 275 33 0 0 21 0 19 0 902865174 10797293568 241366 33554432000 1073741824 1073778376 140736718741584 18446744073709551615 46912505871554 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=8047/tid=8050] ppid=8045 vsize=10544232 CPUtime=0 cores=0,2,4,6
/proc/8047/task/8050/stat : 8050 (java) S 8045 8047 5088 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902865175 10797293568 241366 33554432000 1073741824 1073778376 140736718741584 18446744073709551615 212447832985 0 4 0 16800975 18446604453934029824 0 0 -1 2 0 0 0
[pid=8047/tid=8051] ppid=8045 vsize=10544232 CPUtime=0 cores=0,2,4,6
/proc/8047/task/8051/stat : 8051 (java) S 8045 8047 5088 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902865175 10797293568 241366 33554432000 1073741824 1073778376 140736718741584 18446744073709551615 212447832985 0 4 0 16800975 18446604453934029824 0 0 -1 4 0 0 0
[pid=8047/tid=8052] ppid=8045 vsize=10544232 CPUtime=0 cores=0,2,4,6
/proc/8047/task/8052/stat : 8052 (java) S 8045 8047 5088 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902865175 10797293568 241366 33554432000 1073741824 1073778376 140736718741584 18446744073709551615 212447832985 0 4 0 16800975 18446604453934029824 0 0 -1 4 0 0 0
[pid=8047/tid=8053] ppid=8045 vsize=10544232 CPUtime=0 cores=0,2,4,6
/proc/8047/task/8053/stat : 8053 (java) S 8045 8047 5088 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902865175 10797293568 241366 33554432000 1073741824 1073778376 140736718741584 18446744073709551615 212447832985 0 4 0 16800975 18446604453934029824 0 0 -1 4 0 0 0
[pid=8047/tid=8054] ppid=8045 vsize=10544232 CPUtime=0 cores=0,2,4,6
/proc/8047/task/8054/stat : 8054 (java) S 8045 8047 5088 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902865175 10797293568 241366 33554432000 1073741824 1073778376 140736718741584 18446744073709551615 212447832985 0 4 0 16800975 18446604453934029824 0 0 -1 2 0 0 0
[pid=8047/tid=8055] ppid=8045 vsize=10544232 CPUtime=0 cores=0,2,4,6
/proc/8047/task/8055/stat : 8055 (java) S 8045 8047 5088 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902865175 10797293568 241366 33554432000 1073741824 1073778376 140736718741584 18446744073709551615 212447832985 0 4 0 16800975 18446604453934029824 0 0 -1 2 0 0 0
[pid=8047/tid=8056] ppid=8045 vsize=10544232 CPUtime=0 cores=0,2,4,6
/proc/8047/task/8056/stat : 8056 (java) S 8045 8047 5088 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902865175 10797293568 241366 33554432000 1073741824 1073778376 140736718741584 18446744073709551615 212447832985 0 4 0 16800975 18446604453934029824 0 0 -1 6 0 0 0
[pid=8047/tid=8057] ppid=8045 vsize=10544232 CPUtime=0 cores=0,2,4,6
/proc/8047/task/8057/stat : 8057 (java) S 8045 8047 5088 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902865175 10797293568 241366 33554432000 1073741824 1073778376 140736718741584 18446744073709551615 212447832985 0 4 0 16800975 18446604453934029824 0 0 -1 6 0 0 0
[pid=8047/tid=8058] ppid=8045 vsize=10544232 CPUtime=0 cores=0,2,4,6
/proc/8047/task/8058/stat : 8058 (java) S 8045 8047 5088 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 902865176 10797293568 241366 33554432000 1073741824 1073778376 140736718741584 18446744073709551615 212447833600 0 0 0 16800975 18446604453934029824 0 0 -1 4 0 0 0
[pid=8047/tid=8059] ppid=8045 vsize=10544232 CPUtime=0 cores=0,2,4,6
/proc/8047/task/8059/stat : 8059 (java) S 8045 8047 5088 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 902865177 10797293568 241366 33554432000 1073741824 1073778376 140736718741584 18446744073709551615 212447832985 0 4 0 16800975 18446604453934029824 0 0 -1 4 0 0 0
[pid=8047/tid=8060] ppid=8045 vsize=10544232 CPUtime=0 cores=0,2,4,6
/proc/8047/task/8060/stat : 8060 (java) S 8045 8047 5088 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 902865177 10797293568 241366 33554432000 1073741824 1073778376 140736718741584 18446744073709551615 212447832985 0 4 0 16800975 18446604453934029824 0 0 -1 4 0 0 0
[pid=8047/tid=8061] ppid=8045 vsize=10544232 CPUtime=0 cores=0,2,4,6
/proc/8047/task/8061/stat : 8061 (java) S 8045 8047 5088 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902865179 10797293568 241366 33554432000 1073741824 1073778376 140736718741584 18446744073709551615 212447840689 0 4 0 16800975 18446604453934029824 0 0 -1 4 0 0 0
[pid=8047/tid=8062] ppid=8045 vsize=10544232 CPUtime=0.51 cores=0,2,4,6
/proc/8047/task/8062/stat : 8062 (java) S 8045 8047 5088 0 -1 4202560 4109 0 0 0 50 1 0 0 15 0 19 0 902865179 10797293568 241366 33554432000 1073741824 1073778376 140736718741584 18446744073709551615 212447832985 0 4 0 16800975 18446604453934029824 0 0 -1 2 0 0 0
[pid=8047/tid=8063] ppid=8045 vsize=10544232 CPUtime=0.45 cores=0,2,4,6
/proc/8047/task/8063/stat : 8063 (java) S 8045 8047 5088 0 -1 4202560 2833 0 0 0 45 0 0 0 15 0 19 0 902865179 10797293568 241366 33554432000 1073741824 1073778376 140736718741584 18446744073709551615 212447832985 0 4 0 16800975 18446604453934029824 0 0 -1 4 0 0 0
[pid=8047/tid=8064] ppid=8045 vsize=10544232 CPUtime=0 cores=0,2,4,6
/proc/8047/task/8064/stat : 8064 (java) S 8045 8047 5088 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902865179 10797293568 241366 33554432000 1073741824 1073778376 140736718741584 18446744073709551615 212447832985 0 4 0 16800975 18446604453934029824 0 0 -1 6 0 0 0
[pid=8047/tid=8065] ppid=8045 vsize=10544232 CPUtime=0 cores=0,2,4,6
/proc/8047/task/8065/stat : 8065 (java) S 8045 8047 5088 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 902865179 10797293568 241366 33554432000 1073741824 1073778376 140736718741584 18446744073709551615 212447833600 0 4 0 16800975 18446604453934029824 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4.06
Current children cumulated vsize (KiB) 10544232

[startup+6.30141 s]
/proc/loadavg: 2.23 2.06 1.95 3/214 8066
/proc/meminfo: memFree=31352860/32951124 swapFree=67050540/67111528
[pid=8047] ppid=8045 vsize=10544428 CPUtime=7.4 cores=0,2,4,6
/proc/8047/stat : 8047 (java) S 8045 8047 5088 0 -1 4202496 248420 0 1 0 704 36 0 0 25 0 19 0 902865173 10797494272 243770 33554432000 1073741824 1073778376 140736718741584 18446744073709551615 212447819749 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/8047/statm: 2636107 243770 2239 9 0 2626841 0
[pid=8047/tid=8048] ppid=8045 vsize=10544428 CPUtime=6.28 cores=0,2,4,6
/proc/8047/task/8048/stat : 8048 (java) R 8045 8047 5088 0 -1 4202560 239400 0 1 0 595 33 0 0 25 0 19 0 902865174 10797494272 243770 33554432000 1073741824 1073778376 140736718741584 18446744073709551615 46912506087918 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=8047/tid=8050] ppid=8045 vsize=10544428 CPUtime=0 cores=0,2,4,6
/proc/8047/task/8050/stat : 8050 (java) S 8045 8047 5088 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902865175 10797494272 243770 33554432000 1073741824 1073778376 140736718741584 18446744073709551615 212447832985 0 4 0 16800975 18446604453934029824 0 0 -1 2 0 0 0
[pid=8047/tid=8051] ppid=8045 vsize=10544428 CPUtime=0 cores=0,2,4,6
/proc/8047/task/8051/stat : 8051 (java) S 8045 8047 5088 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902865175 10797494272 243770 33554432000 1073741824 1073778376 140736718741584 18446744073709551615 212447832985 0 4 0 16800975 18446604453934029824 0 0 -1 4 0 0 0
[pid=8047/tid=8052] ppid=8045 vsize=10544428 CPUtime=0 cores=0,2,4,6
/proc/8047/task/8052/stat : 8052 (java) S 8045 8047 5088 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902865175 10797494272 243770 33554432000 1073741824 1073778376 140736718741584 18446744073709551615 212447832985 0 4 0 16800975 18446604453934029824 0 0 -1 4 0 0 0
[pid=8047/tid=8053] ppid=8045 vsize=10544428 CPUtime=0 cores=0,2,4,6
/proc/8047/task/8053/stat : 8053 (java) S 8045 8047 5088 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902865175 10797494272 243770 33554432000 1073741824 1073778376 140736718741584 18446744073709551615 212447832985 0 4 0 16800975 18446604453934029824 0 0 -1 4 0 0 0
[pid=8047/tid=8054] ppid=8045 vsize=10544428 CPUtime=0 cores=0,2,4,6
/proc/8047/task/8054/stat : 8054 (java) S 8045 8047 5088 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902865175 10797494272 243770 33554432000 1073741824 1073778376 140736718741584 18446744073709551615 212447832985 0 4 0 16800975 18446604453934029824 0 0 -1 2 0 0 0
[pid=8047/tid=8055] ppid=8045 vsize=10544428 CPUtime=0 cores=0,2,4,6
/proc/8047/task/8055/stat : 8055 (java) S 8045 8047 5088 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902865175 10797494272 243770 33554432000 1073741824 1073778376 140736718741584 18446744073709551615 212447832985 0 4 0 16800975 18446604453934029824 0 0 -1 2 0 0 0
[pid=8047/tid=8056] ppid=8045 vsize=10544428 CPUtime=0 cores=0,2,4,6
/proc/8047/task/8056/stat : 8056 (java) S 8045 8047 5088 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902865175 10797494272 243770 33554432000 1073741824 1073778376 140736718741584 18446744073709551615 212447832985 0 4 0 16800975 18446604453934029824 0 0 -1 6 0 0 0
[pid=8047/tid=8057] ppid=8045 vsize=10544428 CPUtime=0 cores=0,2,4,6
/proc/8047/task/8057/stat : 8057 (java) S 8045 8047 5088 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902865175 10797494272 243770 33554432000 1073741824 1073778376 140736718741584 18446744073709551615 212447832985 0 4 0 16800975 18446604453934029824 0 0 -1 6 0 0 0
[pid=8047/tid=8058] ppid=8045 vsize=10544428 CPUtime=0 cores=0,2,4,6
/proc/8047/task/8058/stat : 8058 (java) S 8045 8047 5088 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 902865176 10797494272 243770 33554432000 1073741824 1073778376 140736718741584 18446744073709551615 212447833600 0 0 0 16800975 18446604453934029824 0 0 -1 4 0 0 0
[pid=8047/tid=8059] ppid=8045 vsize=10544428 CPUtime=0 cores=0,2,4,6
/proc/8047/task/8059/stat : 8059 (java) S 8045 8047 5088 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 902865177 10797494272 243770 33554432000 1073741824 1073778376 140736718741584 18446744073709551615 212447832985 0 4 0 16800975 18446604453934029824 0 0 -1 4 0 0 0
[pid=8047/tid=8060] ppid=8045 vsize=10544428 CPUtime=0 cores=0,2,4,6
/proc/8047/task/8060/stat : 8060 (java) S 8045 8047 5088 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 902865177 10797494272 243770 33554432000 1073741824 1073778376 140736718741584 18446744073709551615 212447832985 0 4 0 16800975 18446604453934029824 0 0 -1 4 0 0 0
[pid=8047/tid=8061] ppid=8045 vsize=10544428 CPUtime=0 cores=0,2,4,6
/proc/8047/task/8061/stat : 8061 (java) S 8045 8047 5088 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902865179 10797494272 243770 33554432000 1073741824 1073778376 140736718741584 18446744073709551615 212447840689 0 4 0 16800975 18446604453934029824 0 0 -1 4 0 0 0
[pid=8047/tid=8062] ppid=8045 vsize=10544428 CPUtime=0.55 cores=0,2,4,6
/proc/8047/task/8062/stat : 8062 (java) S 8045 8047 5088 0 -1 4202560 4119 0 0 0 54 1 0 0 15 0 19 0 902865179 10797494272 243770 33554432000 1073741824 1073778376 140736718741584 18446744073709551615 212447832985 0 4 0 16800975 18446604453934029824 0 0 -1 2 0 0 0
[pid=8047/tid=8063] ppid=8045 vsize=10544428 CPUtime=0.53 cores=0,2,4,6
/proc/8047/task/8063/stat : 8063 (java) S 8045 8047 5088 0 -1 4202560 3739 0 0 0 53 0 0 0 15 0 19 0 902865179 10797494272 243770 33554432000 1073741824 1073778376 140736718741584 18446744073709551615 212447832985 0 4 0 16800975 18446604453934029824 0 0 -1 4 0 0 0
[pid=8047/tid=8064] ppid=8045 vsize=10544428 CPUtime=0 cores=0,2,4,6
/proc/8047/task/8064/stat : 8064 (java) S 8045 8047 5088 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902865179 10797494272 243770 33554432000 1073741824 1073778376 140736718741584 18446744073709551615 212447832985 0 4 0 16800975 18446604453934029824 0 0 -1 6 0 0 0
[pid=8047/tid=8065] ppid=8045 vsize=10544428 CPUtime=0 cores=0,2,4,6
/proc/8047/task/8065/stat : 8065 (java) S 8045 8047 5088 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 902865179 10797494272 243770 33554432000 1073741824 1073778376 140736718741584 18446744073709551615 212447833600 0 4 0 16800975 18446604453934029824 0 0 -1 6 0 0 0

################
# More data... #
################

[pid=8047/tid=8055] ppid=8045 vsize=10544428 CPUtime=0.01 cores=0,2,4,6
/proc/8047/task/8055/stat : 8055 (java) S 8045 8047 5088 0 -1 4202560 5 0 0 0 1 0 0 0 15 0 19 0 902865175 10797494272 354404 33554432000 1073741824 1073778376 140736718741584 18446744073709551615 212447832985 0 4 0 16800975 18446604453934029824 0 0 -1 2 0 0 0
[pid=8047/tid=8056] ppid=8045 vsize=10544428 CPUtime=0.13 cores=0,2,4,6
/proc/8047/task/8056/stat : 8056 (java) S 8045 8047 5088 0 -1 4202560 11235 0 0 0 12 1 0 0 18 0 19 0 902865175 10797494272 354404 33554432000 1073741824 1073778376 140736718741584 18446744073709551615 212447832985 0 4 0 16800975 18446604453934029824 0 0 -1 6 0 0 0
[pid=8047/tid=8057] ppid=8045 vsize=10544428 CPUtime=0.15 cores=0,2,4,6
/proc/8047/task/8057/stat : 8057 (java) S 8045 8047 5088 0 -1 4202560 7467 0 0 0 15 0 0 0 18 0 19 0 902865175 10797494272 354404 33554432000 1073741824 1073778376 140736718741584 18446744073709551615 212447832985 0 4 0 16800975 18446604453934029824 0 0 -1 6 0 0 0
[pid=8047/tid=8058] ppid=8045 vsize=10544428 CPUtime=1.08 cores=0,2,4,6
/proc/8047/task/8058/stat : 8058 (java) S 8045 8047 5088 0 -1 4202560 46637 0 0 0 103 5 0 0 15 0 19 0 902865176 10797494272 354404 33554432000 1073741824 1073778376 140736718741584 18446744073709551615 212447833600 0 0 0 16800975 18446604453934029824 0 0 -1 4 0 0 0
[pid=8047/tid=8059] ppid=8045 vsize=10544428 CPUtime=0 cores=0,2,4,6
/proc/8047/task/8059/stat : 8059 (java) S 8045 8047 5088 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 902865177 10797494272 354404 33554432000 1073741824 1073778376 140736718741584 18446744073709551615 212447832985 0 4 0 16800975 18446604453934029824 0 0 -1 2 0 0 0
[pid=8047/tid=8060] ppid=8045 vsize=10544428 CPUtime=0 cores=0,2,4,6
/proc/8047/task/8060/stat : 8060 (java) S 8045 8047 5088 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 902865177 10797494272 354404 33554432000 1073741824 1073778376 140736718741584 18446744073709551615 212447832985 0 4 0 16800975 18446604453934029824 0 0 -1 4 0 0 0
[pid=8047/tid=8061] ppid=8045 vsize=10544428 CPUtime=0 cores=0,2,4,6
/proc/8047/task/8061/stat : 8061 (java) S 8045 8047 5088 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902865179 10797494272 354404 33554432000 1073741824 1073778376 140736718741584 18446744073709551615 212447840689 0 4 0 16800975 18446604453934029824 0 0 -1 4 0 0 0
[pid=8047/tid=8062] ppid=8045 vsize=10544428 CPUtime=0.68 cores=0,2,4,6
/proc/8047/task/8062/stat : 8062 (java) S 8045 8047 5088 0 -1 4202560 4146 0 0 0 67 1 0 0 15 0 19 0 902865179 10797494272 354404 33554432000 1073741824 1073778376 140736718741584 18446744073709551615 212447832985 0 4 0 16800975 18446604453934029824 0 0 -1 2 0 0 0
[pid=8047/tid=8063] ppid=8045 vsize=10544428 CPUtime=0.57 cores=0,2,4,6
/proc/8047/task/8063/stat : 8063 (java) S 8045 8047 5088 0 -1 4202560 3752 0 0 0 57 0 0 0 15 0 19 0 902865179 10797494272 354404 33554432000 1073741824 1073778376 140736718741584 18446744073709551615 212447832985 0 4 0 16800975 18446604453934029824 0 0 -1 4 0 0 0
[pid=8047/tid=8064] ppid=8045 vsize=10544428 CPUtime=0 cores=0,2,4,6
/proc/8047/task/8064/stat : 8064 (java) S 8045 8047 5088 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902865179 10797494272 354404 33554432000 1073741824 1073778376 140736718741584 18446744073709551615 212447832985 0 4 0 16800975 18446604453934029824 0 0 -1 6 0 0 0
[pid=8047/tid=8065] ppid=8045 vsize=10544428 CPUtime=0 cores=0,2,4,6
/proc/8047/task/8065/stat : 8065 (java) S 8045 8047 5088 0 -1 4202560 101 0 0 0 0 0 0 0 15 0 19 0 902865179 10797494272 354404 33554432000 1073741824 1073778376 140736718741584 18446744073709551615 212447833600 0 4 0 16800975 18446604453934029824 0 0 -1 0 0 0 0
[pid=8047/tid=8066] ppid=8045 vsize=10544428 CPUtime=0 cores=0,2,4,6
/proc/8047/task/8066/stat : 8066 (java) S 8045 8047 5088 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 19 0 902865442 10797494272 354404 33554432000 1073741824 1073778376 140736718741584 18446744073709551615 212447833600 0 4 0 16800975 18446604453934029824 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1724.06
Current children cumulated vsize (KiB) 10544428

[startup+1782.3 s]
/proc/loadavg: 2.01 2.01 1.97 2/194 8117
/proc/meminfo: memFree=31046752/32951124 swapFree=67050540/67111528
[pid=8047] ppid=8045 vsize=10544428 CPUtime=1784.06 cores=0,2,4,6
/proc/8047/stat : 8047 (java) S 8045 8047 5088 0 -1 4202496 359862 0 1 0 178356 50 0 0 25 0 19 0 902865173 10797494272 354404 33554432000 1073741824 1073778376 140736718741584 18446744073709551615 212447819749 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/8047/statm: 2636107 354404 2265 9 0 2626841 0
[pid=8047/tid=8048] ppid=8045 vsize=10544428 CPUtime=1781.07 cores=0,2,4,6
/proc/8047/task/8048/stat : 8048 (java) R 8045 8047 5088 0 -1 4202560 263805 0 1 0 178070 37 0 0 25 0 19 0 902865174 10797494272 354404 33554432000 1073741824 1073778376 140736718741584 18446744073709551615 46912506037017 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=8047/tid=8050] ppid=8045 vsize=10544428 CPUtime=0.01 cores=0,2,4,6
/proc/8047/task/8050/stat : 8050 (java) S 8045 8047 5088 0 -1 4202560 1286 0 0 0 1 0 0 0 15 0 19 0 902865175 10797494272 354404 33554432000 1073741824 1073778376 140736718741584 18446744073709551615 212447832985 0 4 0 16800975 18446604453934029824 0 0 -1 2 0 0 0
[pid=8047/tid=8051] ppid=8045 vsize=10544428 CPUtime=0.14 cores=0,2,4,6
/proc/8047/task/8051/stat : 8051 (java) S 8045 8047 5088 0 -1 4202560 10716 0 0 0 13 1 0 0 18 0 19 0 902865175 10797494272 354404 33554432000 1073741824 1073778376 140736718741584 18446744073709551615 212447832985 0 4 0 16800975 18446604453934029824 0 0 -1 0 0 0 0
[pid=8047/tid=8052] ppid=8045 vsize=10544428 CPUtime=0 cores=0,2,4,6
/proc/8047/task/8052/stat : 8052 (java) S 8045 8047 5088 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 902865175 10797494272 354404 33554432000 1073741824 1073778376 140736718741584 18446744073709551615 212447832985 0 4 0 16800975 18446604453934029824 0 0 -1 2 0 0 0
[pid=8047/tid=8053] ppid=8045 vsize=10544428 CPUtime=0 cores=0,2,4,6
/proc/8047/task/8053/stat : 8053 (java) S 8045 8047 5088 0 -1 4202560 116 0 0 0 0 0 0 0 15 0 19 0 902865175 10797494272 354404 33554432000 1073741824 1073778376 140736718741584 18446744073709551615 212447832985 0 4 0 16800975 18446604453934029824 0 0 -1 2 0 0 0
[pid=8047/tid=8054] ppid=8045 vsize=10544428 CPUtime=0.13 cores=0,2,4,6
/proc/8047/task/8054/stat : 8054 (java) S 8045 8047 5088 0 -1 4202560 9442 0 0 0 12 1 0 0 16 0 19 0 902865175 10797494272 354404 33554432000 1073741824 1073778376 140736718741584 18446744073709551615 212447832985 0 4 0 16800975 18446604453934029824 0 0 -1 0 0 0 0
[pid=8047/tid=8055] ppid=8045 vsize=10544428 CPUtime=0.01 cores=0,2,4,6
/proc/8047/task/8055/stat : 8055 (java) S 8045 8047 5088 0 -1 4202560 5 0 0 0 1 0 0 0 15 0 19 0 902865175 10797494272 354404 33554432000 1073741824 1073778376 140736718741584 18446744073709551615 212447832985 0 4 0 16800975 18446604453934029824 0 0 -1 2 0 0 0
[pid=8047/tid=8056] ppid=8045 vsize=10544428 CPUtime=0.13 cores=0,2,4,6
/proc/8047/task/8056/stat : 8056 (java) S 8045 8047 5088 0 -1 4202560 11235 0 0 0 12 1 0 0 18 0 19 0 902865175 10797494272 354404 33554432000 1073741824 1073778376 140736718741584 18446744073709551615 212447832985 0 4 0 16800975 18446604453934029824 0 0 -1 6 0 0 0
[pid=8047/tid=8057] ppid=8045 vsize=10544428 CPUtime=0.15 cores=0,2,4,6
/proc/8047/task/8057/stat : 8057 (java) S 8045 8047 5088 0 -1 4202560 7467 0 0 0 15 0 0 0 18 0 19 0 902865175 10797494272 354404 33554432000 1073741824 1073778376 140736718741584 18446744073709551615 212447832985 0 4 0 16800975 18446604453934029824 0 0 -1 6 0 0 0
[pid=8047/tid=8058] ppid=8045 vsize=10544428 CPUtime=1.08 cores=0,2,4,6
/proc/8047/task/8058/stat : 8058 (java) S 8045 8047 5088 0 -1 4202560 46637 0 0 0 103 5 0 0 15 0 19 0 902865176 10797494272 354404 33554432000 1073741824 1073778376 140736718741584 18446744073709551615 212447833600 0 0 0 16800975 18446604453934029824 0 0 -1 4 0 0 0
[pid=8047/tid=8059] ppid=8045 vsize=10544428 CPUtime=0 cores=0,2,4,6
/proc/8047/task/8059/stat : 8059 (java) S 8045 8047 5088 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 902865177 10797494272 354404 33554432000 1073741824 1073778376 140736718741584 18446744073709551615 212447832985 0 4 0 16800975 18446604453934029824 0 0 -1 2 0 0 0
[pid=8047/tid=8060] ppid=8045 vsize=10544428 CPUtime=0 cores=0,2,4,6
/proc/8047/task/8060/stat : 8060 (java) S 8045 8047 5088 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 902865177 10797494272 354404 33554432000 1073741824 1073778376 140736718741584 18446744073709551615 212447832985 0 4 0 16800975 18446604453934029824 0 0 -1 4 0 0 0
[pid=8047/tid=8061] ppid=8045 vsize=10544428 CPUtime=0 cores=0,2,4,6
/proc/8047/task/8061/stat : 8061 (java) S 8045 8047 5088 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902865179 10797494272 354404 33554432000 1073741824 1073778376 140736718741584 18446744073709551615 212447840689 0 4 0 16800975 18446604453934029824 0 0 -1 4 0 0 0
[pid=8047/tid=8062] ppid=8045 vsize=10544428 CPUtime=0.68 cores=0,2,4,6
/proc/8047/task/8062/stat : 8062 (java) S 8045 8047 5088 0 -1 4202560 4146 0 0 0 67 1 0 0 15 0 19 0 902865179 10797494272 354404 33554432000 1073741824 1073778376 140736718741584 18446744073709551615 212447832985 0 4 0 16800975 18446604453934029824 0 0 -1 2 0 0 0
[pid=8047/tid=8063] ppid=8045 vsize=10544428 CPUtime=0.57 cores=0,2,4,6
/proc/8047/task/8063/stat : 8063 (java) S 8045 8047 5088 0 -1 4202560 3752 0 0 0 57 0 0 0 15 0 19 0 902865179 10797494272 354404 33554432000 1073741824 1073778376 140736718741584 18446744073709551615 212447832985 0 4 0 16800975 18446604453934029824 0 0 -1 4 0 0 0
[pid=8047/tid=8064] ppid=8045 vsize=10544428 CPUtime=0 cores=0,2,4,6
/proc/8047/task/8064/stat : 8064 (java) S 8045 8047 5088 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902865179 10797494272 354404 33554432000 1073741824 1073778376 140736718741584 18446744073709551615 212447832985 0 4 0 16800975 18446604453934029824 0 0 -1 6 0 0 0
[pid=8047/tid=8065] ppid=8045 vsize=10544428 CPUtime=0 cores=0,2,4,6
/proc/8047/task/8065/stat : 8065 (java) S 8045 8047 5088 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 902865179 10797494272 354404 33554432000 1073741824 1073778376 140736718741584 18446744073709551615 212447833600 0 4 0 16800975 18446604453934029824 0 0 -1 0 0 0 0
[pid=8047/tid=8066] ppid=8045 vsize=10544428 CPUtime=0 cores=0,2,4,6
/proc/8047/task/8066/stat : 8066 (java) S 8045 8047 5088 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 19 0 902865442 10797494272 354404 33554432000 1073741824 1073778376 140736718741584 18446744073709551615 212447833600 0 4 0 16800975 18446604453934029824 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1784.06
Current children cumulated vsize (KiB) 10544428



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1798.3 s]
/proc/loadavg: 1.72 1.94 1.95 2/190 8141
/proc/meminfo: memFree=31050880/32951124 swapFree=67050540/67111528
[pid=8047] ppid=8045 vsize=10544428 CPUtime=1800.07 cores=0,2,4,6
/proc/8047/stat : 8047 (java) S 8045 8047 5088 0 -1 4202496 359864 0 1 0 179957 50 0 0 25 0 19 0 902865173 10797494272 354404 33554432000 1073741824 1073778376 140736718741584 18446744073709551615 212447819749 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/8047/statm: 2636107 354404 2265 9 0 2626841 0
[pid=8047/tid=8048] ppid=8045 vsize=10544428 CPUtime=1797.08 cores=0,2,4,6
/proc/8047/task/8048/stat : 8048 (java) R 8045 8047 5088 0 -1 4202560 263805 0 1 0 179671 37 0 0 25 0 19 0 902865174 10797494272 354404 33554432000 1073741824 1073778376 140736718741584 18446744073709551615 46912506037017 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=8047/tid=8050] ppid=8045 vsize=10544428 CPUtime=0.01 cores=0,2,4,6
/proc/8047/task/8050/stat : 8050 (java) S 8045 8047 5088 0 -1 4202560 1286 0 0 0 1 0 0 0 15 0 19 0 902865175 10797494272 354404 33554432000 1073741824 1073778376 140736718741584 18446744073709551615 212447832985 0 4 0 16800975 18446604453934029824 0 0 -1 2 0 0 0
[pid=8047/tid=8051] ppid=8045 vsize=10544428 CPUtime=0.14 cores=0,2,4,6
/proc/8047/task/8051/stat : 8051 (java) S 8045 8047 5088 0 -1 4202560 10716 0 0 0 13 1 0 0 18 0 19 0 902865175 10797494272 354404 33554432000 1073741824 1073778376 140736718741584 18446744073709551615 212447832985 0 4 0 16800975 18446604453934029824 0 0 -1 0 0 0 0
[pid=8047/tid=8052] ppid=8045 vsize=10544428 CPUtime=0 cores=0,2,4,6
/proc/8047/task/8052/stat : 8052 (java) S 8045 8047 5088 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 902865175 10797494272 354404 33554432000 1073741824 1073778376 140736718741584 18446744073709551615 212447832985 0 4 0 16800975 18446604453934029824 0 0 -1 2 0 0 0
[pid=8047/tid=8053] ppid=8045 vsize=10544428 CPUtime=0 cores=0,2,4,6
/proc/8047/task/8053/stat : 8053 (java) S 8045 8047 5088 0 -1 4202560 116 0 0 0 0 0 0 0 15 0 19 0 902865175 10797494272 354404 33554432000 1073741824 1073778376 140736718741584 18446744073709551615 212447832985 0 4 0 16800975 18446604453934029824 0 0 -1 2 0 0 0
[pid=8047/tid=8054] ppid=8045 vsize=10544428 CPUtime=0.13 cores=0,2,4,6
/proc/8047/task/8054/stat : 8054 (java) S 8045 8047 5088 0 -1 4202560 9442 0 0 0 12 1 0 0 16 0 19 0 902865175 10797494272 354404 33554432000 1073741824 1073778376 140736718741584 18446744073709551615 212447832985 0 4 0 16800975 18446604453934029824 0 0 -1 0 0 0 0
[pid=8047/tid=8055] ppid=8045 vsize=10544428 CPUtime=0.01 cores=0,2,4,6
/proc/8047/task/8055/stat : 8055 (java) S 8045 8047 5088 0 -1 4202560 5 0 0 0 1 0 0 0 15 0 19 0 902865175 10797494272 354404 33554432000 1073741824 1073778376 140736718741584 18446744073709551615 212447832985 0 4 0 16800975 18446604453934029824 0 0 -1 2 0 0 0
[pid=8047/tid=8056] ppid=8045 vsize=10544428 CPUtime=0.13 cores=0,2,4,6
/proc/8047/task/8056/stat : 8056 (java) S 8045 8047 5088 0 -1 4202560 11235 0 0 0 12 1 0 0 18 0 19 0 902865175 10797494272 354404 33554432000 1073741824 1073778376 140736718741584 18446744073709551615 212447832985 0 4 0 16800975 18446604453934029824 0 0 -1 6 0 0 0
[pid=8047/tid=8057] ppid=8045 vsize=10544428 CPUtime=0.15 cores=0,2,4,6
/proc/8047/task/8057/stat : 8057 (java) S 8045 8047 5088 0 -1 4202560 7467 0 0 0 15 0 0 0 18 0 19 0 902865175 10797494272 354404 33554432000 1073741824 1073778376 140736718741584 18446744073709551615 212447832985 0 4 0 16800975 18446604453934029824 0 0 -1 6 0 0 0
[pid=8047/tid=8058] ppid=8045 vsize=10544428 CPUtime=1.08 cores=0,2,4,6
/proc/8047/task/8058/stat : 8058 (java) S 8045 8047 5088 0 -1 4202560 46637 0 0 0 103 5 0 0 15 0 19 0 902865176 10797494272 354404 33554432000 1073741824 1073778376 140736718741584 18446744073709551615 212447833600 0 0 0 16800975 18446604453934029824 0 0 -1 4 0 0 0
[pid=8047/tid=8059] ppid=8045 vsize=10544428 CPUtime=0 cores=0,2,4,6
/proc/8047/task/8059/stat : 8059 (java) S 8045 8047 5088 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 902865177 10797494272 354404 33554432000 1073741824 1073778376 140736718741584 18446744073709551615 212447832985 0 4 0 16800975 18446604453934029824 0 0 -1 2 0 0 0
[pid=8047/tid=8060] ppid=8045 vsize=10544428 CPUtime=0 cores=0,2,4,6
/proc/8047/task/8060/stat : 8060 (java) S 8045 8047 5088 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 902865177 10797494272 354404 33554432000 1073741824 1073778376 140736718741584 18446744073709551615 212447832985 0 4 0 16800975 18446604453934029824 0 0 -1 4 0 0 0
[pid=8047/tid=8061] ppid=8045 vsize=10544428 CPUtime=0 cores=0,2,4,6
/proc/8047/task/8061/stat : 8061 (java) S 8045 8047 5088 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902865179 10797494272 354404 33554432000 1073741824 1073778376 140736718741584 18446744073709551615 212447840689 0 4 0 16800975 18446604453934029824 0 0 -1 4 0 0 0
[pid=8047/tid=8062] ppid=8045 vsize=10544428 CPUtime=0.68 cores=0,2,4,6
/proc/8047/task/8062/stat : 8062 (java) S 8045 8047 5088 0 -1 4202560 4146 0 0 0 67 1 0 0 15 0 19 0 902865179 10797494272 354404 33554432000 1073741824 1073778376 140736718741584 18446744073709551615 212447832985 0 4 0 16800975 18446604453934029824 0 0 -1 2 0 0 0
[pid=8047/tid=8063] ppid=8045 vsize=10544428 CPUtime=0.57 cores=0,2,4,6
/proc/8047/task/8063/stat : 8063 (java) S 8045 8047 5088 0 -1 4202560 3752 0 0 0 57 0 0 0 15 0 19 0 902865179 10797494272 354404 33554432000 1073741824 1073778376 140736718741584 18446744073709551615 212447832985 0 4 0 16800975 18446604453934029824 0 0 -1 4 0 0 0
[pid=8047/tid=8064] ppid=8045 vsize=10544428 CPUtime=0 cores=0,2,4,6
/proc/8047/task/8064/stat : 8064 (java) S 8045 8047 5088 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902865179 10797494272 354404 33554432000 1073741824 1073778376 140736718741584 18446744073709551615 212447832985 0 4 0 16800975 18446604453934029824 0 0 -1 6 0 0 0
[pid=8047/tid=8065] ppid=8045 vsize=10544428 CPUtime=0 cores=0,2,4,6
/proc/8047/task/8065/stat : 8065 (java) S 8045 8047 5088 0 -1 4202560 105 0 0 0 0 0 0 0 15 0 19 0 902865179 10797494272 354404 33554432000 1073741824 1073778376 140736718741584 18446744073709551615 212447833600 0 4 0 16800975 18446604453934029824 0 0 -1 0 0 0 0
[pid=8047/tid=8066] ppid=8045 vsize=10544428 CPUtime=0 cores=0,2,4,6
/proc/8047/task/8066/stat : 8066 (java) S 8045 8047 5088 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 19 0 902865442 10797494272 354404 33554432000 1073741824 1073778376 140736718741584 18446744073709551615 212447833600 0 4 0 16800975 18446604453934029824 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 10544428

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended. Dumping a history of the last processes samples

[startup+1798.3 s]
/proc/loadavg: 1.72 1.94 1.95 2/190 8141
/proc/meminfo: memFree=31050880/32951124 swapFree=67050540/67111528
[pid=8047] ppid=8045 vsize=10544428 CPUtime=1800.07 cores=0,2,4,6
/proc/8047/stat : 8047 (java) S 8045 8047 5088 0 -1 4202496 359864 0 1 0 179957 50 0 0 25 0 19 0 902865173 10797494272 354404 33554432000 1073741824 1073778376 140736718741584 18446744073709551615 212447819749 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/8047/statm: 2636107 354404 2265 9 0 2626841 0
[pid=8047/tid=8048] ppid=8045 vsize=10544428 CPUtime=1797.08 cores=0,2,4,6
/proc/8047/task/8048/stat : 8048 (java) R 8045 8047 5088 0 -1 4202560 263805 0 1 0 179671 37 0 0 25 0 19 0 902865174 10797494272 354404 33554432000 1073741824 1073778376 140736718741584 18446744073709551615 46912506037017 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=8047/tid=8050] ppid=8045 vsize=10544428 CPUtime=0.01 cores=0,2,4,6
/proc/8047/task/8050/stat : 8050 (java) S 8045 8047 5088 0 -1 4202560 1286 0 0 0 1 0 0 0 15 0 19 0 902865175 10797494272 354404 33554432000 1073741824 1073778376 140736718741584 18446744073709551615 212447832985 0 4 0 16800975 18446604453934029824 0 0 -1 2 0 0 0
[pid=8047/tid=8051] ppid=8045 vsize=10544428 CPUtime=0.14 cores=0,2,4,6
/proc/8047/task/8051/stat : 8051 (java) S 8045 8047 5088 0 -1 4202560 10716 0 0 0 13 1 0 0 18 0 19 0 902865175 10797494272 354404 33554432000 1073741824 1073778376 140736718741584 18446744073709551615 212447832985 0 4 0 16800975 18446604453934029824 0 0 -1 0 0 0 0
[pid=8047/tid=8052] ppid=8045 vsize=10544428 CPUtime=0 cores=0,2,4,6
/proc/8047/task/8052/stat : 8052 (java) S 8045 8047 5088 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 902865175 10797494272 354404 33554432000 1073741824 1073778376 140736718741584 18446744073709551615 212447832985 0 4 0 16800975 18446604453934029824 0 0 -1 2 0 0 0
[pid=8047/tid=8053] ppid=8045 vsize=10544428 CPUtime=0 cores=0,2,4,6
/proc/8047/task/8053/stat : 8053 (java) S 8045 8047 5088 0 -1 4202560 116 0 0 0 0 0 0 0 15 0 19 0 902865175 10797494272 354404 33554432000 1073741824 1073778376 140736718741584 18446744073709551615 212447832985 0 4 0 16800975 18446604453934029824 0 0 -1 2 0 0 0
[pid=8047/tid=8054] ppid=8045 vsize=10544428 CPUtime=0.13 cores=0,2,4,6
/proc/8047/task/8054/stat : 8054 (java) S 8045 8047 5088 0 -1 4202560 9442 0 0 0 12 1 0 0 16 0 19 0 902865175 10797494272 354404 33554432000 1073741824 1073778376 140736718741584 18446744073709551615 212447832985 0 4 0 16800975 18446604453934029824 0 0 -1 0 0 0 0
[pid=8047/tid=8055] ppid=8045 vsize=10544428 CPUtime=0.01 cores=0,2,4,6
/proc/8047/task/8055/stat : 8055 (java) S 8045 8047 5088 0 -1 4202560 5 0 0 0 1 0 0 0 15 0 19 0 902865175 10797494272 354404 33554432000 1073741824 1073778376 140736718741584 18446744073709551615 212447832985 0 4 0 16800975 18446604453934029824 0 0 -1 2 0 0 0
[pid=8047/tid=8056] ppid=8045 vsize=10544428 CPUtime=0.13 cores=0,2,4,6
/proc/8047/task/8056/stat : 8056 (java) S 8045 8047 5088 0 -1 4202560 11235 0 0 0 12 1 0 0 18 0 19 0 902865175 10797494272 354404 33554432000 1073741824 1073778376 140736718741584 18446744073709551615 212447832985 0 4 0 16800975 18446604453934029824 0 0 -1 6 0 0 0
[pid=8047/tid=8057] ppid=8045 vsize=10544428 CPUtime=0.15 cores=0,2,4,6
/proc/8047/task/8057/stat : 8057 (java) S 8045 8047 5088 0 -1 4202560 7467 0 0 0 15 0 0 0 18 0 19 0 902865175 10797494272 354404 33554432000 1073741824 1073778376 140736718741584 18446744073709551615 212447832985 0 4 0 16800975 18446604453934029824 0 0 -1 6 0 0 0
[pid=8047/tid=8058] ppid=8045 vsize=10544428 CPUtime=1.08 cores=0,2,4,6
/proc/8047/task/8058/stat : 8058 (java) S 8045 8047 5088 0 -1 4202560 46637 0 0 0 103 5 0 0 15 0 19 0 902865176 10797494272 354404 33554432000 1073741824 1073778376 140736718741584 18446744073709551615 212447833600 0 0 0 16800975 18446604453934029824 0 0 -1 4 0 0 0
[pid=8047/tid=8059] ppid=8045 vsize=10544428 CPUtime=0 cores=0,2,4,6
/proc/8047/task/8059/stat : 8059 (java) S 8045 8047 5088 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 902865177 10797494272 354404 33554432000 1073741824 1073778376 140736718741584 18446744073709551615 212447832985 0 4 0 16800975 18446604453934029824 0 0 -1 2 0 0 0
[pid=8047/tid=8060] ppid=8045 vsize=10544428 CPUtime=0 cores=0,2,4,6
/proc/8047/task/8060/stat : 8060 (java) S 8045 8047 5088 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 902865177 10797494272 354404 33554432000 1073741824 1073778376 140736718741584 18446744073709551615 212447832985 0 4 0 16800975 18446604453934029824 0 0 -1 4 0 0 0
[pid=8047/tid=8061] ppid=8045 vsize=10544428 CPUtime=0 cores=0,2,4,6
/proc/8047/task/8061/stat : 8061 (java) S 8045 8047 5088 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902865179 10797494272 354404 33554432000 1073741824 1073778376 140736718741584 18446744073709551615 212447840689 0 4 0 16800975 18446604453934029824 0 0 -1 4 0 0 0
[pid=8047/tid=8062] ppid=8045 vsize=10544428 CPUtime=0.68 cores=0,2,4,6
/proc/8047/task/8062/stat : 8062 (java) S 8045 8047 5088 0 -1 4202560 4146 0 0 0 67 1 0 0 15 0 19 0 902865179 10797494272 354404 33554432000 1073741824 1073778376 140736718741584 18446744073709551615 212447832985 0 4 0 16800975 18446604453934029824 0 0 -1 2 0 0 0
[pid=8047/tid=8063] ppid=8045 vsize=10544428 CPUtime=0.57 cores=0,2,4,6
/proc/8047/task/8063/stat : 8063 (java) S 8045 8047 5088 0 -1 4202560 3752 0 0 0 57 0 0 0 15 0 19 0 902865179 10797494272 354404 33554432000 1073741824 1073778376 140736718741584 18446744073709551615 212447832985 0 4 0 16800975 18446604453934029824 0 0 -1 4 0 0 0
[pid=8047/tid=8064] ppid=8045 vsize=10544428 CPUtime=0 cores=0,2,4,6
/proc/8047/task/8064/stat : 8064 (java) S 8045 8047 5088 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902865179 10797494272 354404 33554432000 1073741824 1073778376 140736718741584 18446744073709551615 212447832985 0 4 0 16800975 18446604453934029824 0 0 -1 6 0 0 0
[pid=8047/tid=8065] ppid=8045 vsize=10544428 CPUtime=0 cores=0,2,4,6
/proc/8047/task/8065/stat : 8065 (java) S 8045 8047 5088 0 -1 4202560 105 0 0 0 0 0 0 0 15 0 19 0 902865179 10797494272 354404 33554432000 1073741824 1073778376 140736718741584 18446744073709551615 212447833600 0 4 0 16800975 18446604453934029824 0 0 -1 0 0 0 0
[pid=8047/tid=8066] ppid=8045 vsize=10544428 CPUtime=0 cores=0,2,4,6
/proc/8047/task/8066/stat : 8066 (java) S 8045 8047 5088 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 19 0 902865442 10797494272 354404 33554432000 1073741824 1073778376 140736718741584 18446744073709551615 212447833600 0 4 0 16800975 18446604453934029824 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 10544428

Child status: 143
Real time (s): 1798.38
CPU time (s): 1800.17
CPU user time (s): 1799.61
CPU system time (s): 0.558915
CPU usage (%): 100.099
Max. virtual memory (cumulated for all children) (KiB): 10544428

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.61
system time used= 0.558915
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 359895
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 36815
involuntary context switches= 23330

runsolver used 3.31849 second user time and 6.31504 second system time

The end
Name	/PARTIAL-BIGINT-LIN/wcsp/celar/ normalized-celar6-sub4_wcsp.wbo
MD5SUM	ca9d0852ab5b196169871de07952f6ec
Bench Category	PARTIAL-BIGINT-LIN (both soft and hard constraints, big integers, linear constraints)
Best result obtained on this benchmark	MSAT TO
Best cost obtained on this benchmark	7418
Best CPU time to get the best result obtained on this benchmark	1800.17
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables	928
Total number of constraints	353054
Number of soft constraints	353032
Number of constraints which are clauses	353032
Number of constraints which are cardinality constraints (but not clauses)	22
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	2
Maximum length of a constraint	44
Top cost	69697
Min constraint cost	1
Max constraint cost	1000
Sum of constraints costs	47779432
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	45
Number of bits of the biggest sum of numbers	6
Number of products (including duplicates)	0
Sum of products size (including duplicates)	0
Number of different products	0
Sum of products size	0
Trace number 3492938

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data
