2017 XCSP3 competition: main track (CSP and COP, sequential and parallel solvers) competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
R1: sat4j-CSP 2017-07-05	?		1482.41	403.047
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-4243996-1502096961/watcher-4243996-1502096961 -o /tmp/evaluation-result-4243996-1502096961/solver-4243996-1502096961 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node135-1502041652-17604 --watchdog 2560 java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar HOME/instance-4243996-1502096961.xml 

pid=29572
running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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: 6.52 6.47 5.55 5/199 29575
/proc/meminfo: memFree=23242700/32770624 swapFree=0/364152
[pid=29575] ppid=29572 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/29575/stat : 29575 (runsolver) D 29572 29575 12906 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 51607030 24240128 106 18446744073709551615 4194304 4338465 140730842518432 140730842516072 139814095246039 0 0 1 24578 18446744071580418449 0 0 17 6 0 0 0 0 0 6438912 6441760 10420224 140730842525831 140730842526281 140730842526281 140730842529738 0
/proc/29575/statm: 5918 106 53 36 0 2156 0

[startup+0.100104 s]
/proc/loadavg: 6.52 6.47 5.55 5/199 29575
/proc/meminfo: memFree=23242700/32770624 swapFree=0/364152
[pid=29575] ppid=29572 vsize=356952 CPUtime=0 cores=0,2,4,6
/proc/29575/stat : 29575 (java) S 29572 29575 12906 0 -1 1077944320 1738 0 0 0 0 0 0 0 20 0 2 0 51607030 365518848 1899 18446744073709551615 4194304 4196468 140722495647440 140722495629984 139661464977143 0 0 1 16784584 18446744073709551615 0 0 17 0 0 0 9 0 0 6293624 6294260 15233024 140722495648181 140722495648334 140722495648334 140722495651791 0
/proc/29575/statm: 89238 1899 1052 1 0 79208 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 356952

[startup+0.204527 s]
/proc/loadavg: 6.52 6.47 5.55 5/199 29575
/proc/meminfo: memFree=23242700/32770624 swapFree=0/364152
[pid=29575] ppid=29572 vsize=10551156 CPUtime=0.07 cores=0,2,4,6
/proc/29575/stat : 29575 (java) S 29572 29575 12906 0 -1 1077944320 4980 0 0 0 7 0 0 0 20 0 15 0 51607030 10804383744 5961 18446744073709551615 4194304 4196468 140722495647440 140722495629984 139661464977143 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 9 0 0 6293624 6294260 15233024 140722495648181 140722495648334 140722495648334 140722495651791 0
/proc/29575/statm: 2637789 5961 2614 1 0 2627261 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 10551156

[startup+0.300209 s]
/proc/loadavg: 6.52 6.47 5.55 5/199 29575
/proc/meminfo: memFree=23242700/32770624 swapFree=0/364152
[pid=29575] ppid=29572 vsize=10551156 CPUtime=0.22 cores=0,2,4,6
/proc/29575/stat : 29575 (java) S 29572 29575 12906 0 -1 1077944320 8219 0 0 0 20 2 0 0 20 0 15 0 51607030 10804383744 8911 18446744073709551615 4194304 4196468 140722495647440 140722495629984 139661464977143 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 9 0 0 6293624 6294260 15233024 140722495648181 140722495648334 140722495648334 140722495651791 0
/proc/29575/statm: 2637789 8911 2853 1 0 2627261 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 10551156

[startup+0.701161 s]
/proc/loadavg: 6.52 6.47 5.55 5/199 29575
/proc/meminfo: memFree=23242700/32770624 swapFree=0/364152
[pid=29575] ppid=29572 vsize=10551232 CPUtime=1.41 cores=0,2,4,6
/proc/29575/stat : 29575 (java) S 29572 29575 12906 0 -1 1077944320 12797 0 0 0 136 5 0 0 20 0 15 0 51607030 10804461568 25184 18446744073709551615 4194304 4196468 140722495647440 140722495629984 139661464977143 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 9 0 0 6293624 6294260 15233024 140722495648181 140722495648334 140722495648334 140722495651791 0
/proc/29575/statm: 2637808 25184 3056 1 0 2627261 0
Current children cumulated CPU time (s) 1.41
Current children cumulated vsize (KiB) 10551232

[startup+1.50064 s]
/proc/loadavg: 6.52 6.47 5.55 8/214 29590
/proc/meminfo: memFree=23024664/32770624 swapFree=0/364204
[pid=29575] ppid=29572 vsize=10551232 CPUtime=3.53 cores=0,2,4,6
/proc/29575/stat : 29575 (java) S 29572 29575 12906 0 -1 1077944320 15780 0 0 0 320 33 0 0 20 0 15 0 51607030 10804461568 172542 18446744073709551615 4194304 4196468 140722495647440 140722495629984 139661464977143 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 9 0 0 6293624 6294260 15233024 140722495648181 140722495648334 140722495648334 140722495651791 0
/proc/29575/statm: 2637808 172542 3096 1 0 2627261 0
[pid=29575/tid=29577] ppid=29572 vsize=10551232 CPUtime=1.15 cores=0,2,4,6
/proc/29575/task/29577/stat : 29577 (java) R 29572 29575 12906 0 -1 4202560 7865 0 0 0 106 9 0 0 20 0 15 0 51607039 10804461568 172542 18446744073709551615 4194304 4196468 140722495647440 139661469214336 139661451045268 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 15233024 140722495648181 140722495648334 140722495648334 140722495651791 0
[pid=29575/tid=29578] ppid=29572 vsize=10551232 CPUtime=0.17 cores=0,2,4,6
/proc/29575/task/29578/stat : 29578 (java) S 29572 29575 12906 0 -1 1077944384 229 0 0 0 12 5 0 0 20 0 15 0 51607040 10804461568 172542 18446744073709551615 4194304 4196468 140722495647440 139661406013712 139661464987349 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15233024 140722495648181 140722495648334 140722495648334 140722495651791 0
[pid=29575/tid=29579] ppid=29572 vsize=10551232 CPUtime=0.16 cores=0,2,4,6
/proc/29575/task/29579/stat : 29579 (java) S 29572 29575 12906 0 -1 1077944384 165 0 0 0 11 5 0 0 20 0 15 0 51607040 10804461568 172542 18446744073709551615 4194304 4196468 140722495647440 139661404961168 139661464987349 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15233024 140722495648181 140722495648334 140722495648334 140722495651791 0
[pid=29575/tid=29580] ppid=29572 vsize=10551232 CPUtime=0.16 cores=0,2,4,6
/proc/29575/task/29580/stat : 29580 (java) S 29572 29575 12906 0 -1 1077944384 226 0 0 0 11 5 0 0 20 0 15 0 51607040 10804461568 172542 18446744073709551615 4194304 4196468 140722495647440 139661403908624 139661464987349 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15233024 140722495648181 140722495648334 140722495648334 140722495651791 0
[pid=29575/tid=29581] ppid=29572 vsize=10551232 CPUtime=0.16 cores=0,2,4,6
/proc/29575/task/29581/stat : 29581 (java) S 29572 29575 12906 0 -1 1077944384 408 0 0 0 11 5 0 0 20 0 15 0 51607040 10804461568 172542 18446744073709551615 4194304 4196468 140722495647440 139661402856080 139661464987349 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15233024 140722495648181 140722495648334 140722495648334 140722495651791 0
[pid=29575/tid=29582] ppid=29572 vsize=10551232 CPUtime=0 cores=0,2,4,6
/proc/29575/task/29582/stat : 29582 (java) S 29572 29575 12906 0 -1 1077944384 502 0 0 0 0 0 0 0 20 0 15 0 51607041 10804461568 172542 18446744073709551615 4194304 4196468 140722495647440 139660960221680 139661464988290 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15233024 140722495648181 140722495648334 140722495648334 140722495651791 0
[pid=29575/tid=29583] ppid=29572 vsize=10551232 CPUtime=0 cores=0,2,4,6
/proc/29575/task/29583/stat : 29583 (java) S 29572 29575 12906 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 51607042 10804461568 172542 18446744073709551615 4194304 4196468 140722495647440 139660959167968 139661464987349 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15233024 140722495648181 140722495648334 140722495648334 140722495651791 0
[pid=29575/tid=29584] ppid=29572 vsize=10551232 CPUtime=0 cores=0,2,4,6
/proc/29575/task/29584/stat : 29584 (java) S 29572 29575 12906 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 51607042 10804461568 172542 18446744073709551615 4194304 4196468 140722495647440 139660958115328 139661464987349 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15233024 140722495648181 140722495648334 140722495648334 140722495651791 0
[pid=29575/tid=29585] ppid=29572 vsize=10551232 CPUtime=0 cores=0,2,4,6
/proc/29575/task/29585/stat : 29585 (java) S 29572 29575 12906 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 51607044 10804461568 172542 18446744073709551615 4194304 4196468 140722495647440 139660957063888 139661464995739 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15233024 140722495648181 140722495648334 140722495648334 140722495651791 0
[pid=29575/tid=29586] ppid=29572 vsize=10551232 CPUtime=0.66 cores=0,2,4,6
/proc/29575/task/29586/stat : 29586 (java) S 29572 29575 12906 0 -1 1077944384 2008 0 0 0 66 0 0 0 20 0 15 0 51607044 10804461568 172542 18446744073709551615 4194304 4196468 140722495647440 139660956010480 139661464988290 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15233024 140722495648181 140722495648334 140722495648334 140722495651791 0
[pid=29575/tid=29587] ppid=29572 vsize=10551232 CPUtime=0.68 cores=0,2,4,6
/proc/29575/task/29587/stat : 29587 (java) S 29572 29575 12906 0 -1 1077944384 1458 0 0 0 68 0 0 0 20 0 15 0 51607044 10804461568 172542 18446744073709551615 4194304 4196468 140722495647440 139660954957936 139661464988290 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15233024 140722495648181 140722495648334 140722495648334 140722495651791 0
[pid=29575/tid=29588] ppid=29572 vsize=10551232 CPUtime=0.3 cores=0,2,4,6
/proc/29575/task/29588/stat : 29588 (java) S 29572 29575 12906 0 -1 1077944384 1562 0 0 0 30 0 0 0 20 0 15 0 51607044 10804461568 172542 18446744073709551615 4194304 4196468 140722495647440 139660953905392 139661464988290 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15233024 140722495648181 140722495648334 140722495648334 140722495651791 0
[pid=29575/tid=29589] ppid=29572 vsize=10551232 CPUtime=0 cores=0,2,4,6
/proc/29575/task/29589/stat : 29589 (java) S 29572 29575 12906 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 51607045 10804461568 172542 18446744073709551615 4194304 4196468 140722495647440 139660952853088 139661464987349 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15233024 140722495648181 140722495648334 140722495648334 140722495651791 0
[pid=29575/tid=29590] ppid=29572 vsize=10551232 CPUtime=0 cores=0,2,4,6
/proc/29575/task/29590/stat : 29590 (java) S 29572 29575 12906 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 51607049 10804461568 172542 18446744073709551615 4194304 4196468 140722495647440 139660951800624 139661464988290 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 15233024 140722495648181 140722495648334 140722495648334 140722495651791 0
Current children cumulated CPU time (s) 3.53
Current children cumulated vsize (KiB) 10551232

[startup+3.10116 s]
/proc/loadavg: 6.52 6.47 5.55 6/214 29590
/proc/meminfo: memFree=21884436/32770624 swapFree=0/364196
[pid=29575] ppid=29572 vsize=10551232 CPUtime=6.18 cores=0,2,4,6
/proc/29575/stat : 29575 (java) S 29572 29575 12906 0 -1 1077944320 19227 0 0 0 522 96 0 0 20 0 15 0 51607030 10804461568 630624 18446744073709551615 4194304 4196468 140722495647440 140722495629984 139661464977143 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 9 0 0 6293624 6294260 15233024 140722495648181 140722495648334 140722495648334 140722495651791 0
/proc/29575/statm: 2637808 630624 3096 1 0 2627261 0
[pid=29575/tid=29577] ppid=29572 vsize=10551232 CPUtime=2.4 cores=0,2,4,6
/proc/29575/task/29577/stat : 29577 (java) S 29572 29575 12906 0 -1 1077944384 9469 0 0 0 208 32 0 0 20 0 15 0 51607039 10804461568 630624 18446744073709551615 4194304 4196468 140722495647440 139661469214256 139661464987349 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 3 0 0 6293624 6294260 15233024 140722495648181 140722495648334 140722495648334 140722495651791 0
[pid=29575/tid=29578] ppid=29572 vsize=10551232 CPUtime=0.51 cores=0,2,4,6
/proc/29575/task/29578/stat : 29578 (java) R 29572 29575 12906 0 -1 4202560 516 0 0 0 36 15 0 0 20 0 15 0 51607040 10804461568 630624 18446744073709551615 4194304 4196468 140722495647440 139661406013712 139661450004880 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15233024 140722495648181 140722495648334 140722495648334 140722495651791 0
[pid=29575/tid=29579] ppid=29572 vsize=10551232 CPUtime=0.51 cores=0,2,4,6
/proc/29575/task/29579/stat : 29579 (java) R 29572 29575 12906 0 -1 4202560 454 0 0 0 36 15 0 0 20 0 15 0 51607040 10804461568 630624 18446744073709551615 4194304 4196468 140722495647440 139661404961168 139661450003975 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15233024 140722495648181 140722495648334 140722495648334 140722495651791 0
[pid=29575/tid=29580] ppid=29572 vsize=10551232 CPUtime=0.51 cores=0,2,4,6
/proc/29575/task/29580/stat : 29580 (java) R 29572 29575 12906 0 -1 4202560 495 0 0 0 35 16 0 0 20 0 15 0 51607040 10804461568 630624 18446744073709551615 4194304 4196468 140722495647440 139661403908512 139661450000846 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 15233024 140722495648181 140722495648334 140722495648334 140722495651791 0
[pid=29575/tid=29581] ppid=29572 vsize=10551232 CPUtime=0.51 cores=0,2,4,6
/proc/29575/task/29581/stat : 29581 (java) R 29572 29575 12906 0 -1 4202560 661 0 0 0 37 14 0 0 20 0 15 0 51607040 10804461568 630624 18446744073709551615 4194304 4196468 140722495647440 139661402856280 139661446603416 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15233024 140722495648181 140722495648334 140722495648334 140722495651791 0
[pid=29575/tid=29582] ppid=29572 vsize=10551232 CPUtime=0.01 cores=0,2,4,6
/proc/29575/task/29582/stat : 29582 (java) S 29572 29575 12906 0 -1 1077944384 1239 0 0 0 1 0 0 0 20 0 15 0 51607041 10804461568 630624 18446744073709551615 4194304 4196468 140722495647440 139660960220192 139661464987349 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15233024 140722495648181 140722495648334 140722495648334 140722495651791 0
[pid=29575/tid=29583] ppid=29572 vsize=10551232 CPUtime=0 cores=0,2,4,6
/proc/29575/task/29583/stat : 29583 (java) S 29572 29575 12906 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 51607042 10804461568 630624 18446744073709551615 4194304 4196468 140722495647440 139660959167968 139661464987349 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15233024 140722495648181 140722495648334 140722495648334 140722495651791 0
[pid=29575/tid=29584] ppid=29572 vsize=10551232 CPUtime=0 cores=0,2,4,6
/proc/29575/task/29584/stat : 29584 (java) S 29572 29575 12906 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 51607042 10804461568 630624 18446744073709551615 4194304 4196468 140722495647440 139660958115328 139661464987349 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15233024 140722495648181 140722495648334 140722495648334 140722495651791 0
[pid=29575/tid=29585] ppid=29572 vsize=10551232 CPUtime=0 cores=0,2,4,6
/proc/29575/task/29585/stat : 29585 (java) S 29572 29575 12906 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 51607044 10804461568 630624 18446744073709551615 4194304 4196468 140722495647440 139660957063888 139661464995739 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15233024 140722495648181 140722495648334 140722495648334 140722495651791 0
[pid=29575/tid=29586] ppid=29572 vsize=10551232 CPUtime=0.66 cores=0,2,4,6
/proc/29575/task/29586/stat : 29586 (java) S 29572 29575 12906 0 -1 1077944384 2008 0 0 0 66 0 0 0 20 0 15 0 51607044 10804461568 630624 18446744073709551615 4194304 4196468 140722495647440 139660956010480 139661464988290 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15233024 140722495648181 140722495648334 140722495648334 140722495651791 0
[pid=29575/tid=29587] ppid=29572 vsize=10551232 CPUtime=0.68 cores=0,2,4,6
/proc/29575/task/29587/stat : 29587 (java) S 29572 29575 12906 0 -1 1077944384 1458 0 0 0 68 0 0 0 20 0 15 0 51607044 10804461568 630624 18446744073709551615 4194304 4196468 140722495647440 139660954957936 139661464988290 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15233024 140722495648181 140722495648334 140722495648334 140722495651791 0
[pid=29575/tid=29588] ppid=29572 vsize=10551232 CPUtime=0.31 cores=0,2,4,6
/proc/29575/task/29588/stat : 29588 (java) S 29572 29575 12906 0 -1 1077944384 1570 0 0 0 31 0 0 0 20 0 15 0 51607044 10804461568 630624 18446744073709551615 4194304 4196468 140722495647440 139660953905392 139661464988290 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15233024 140722495648181 140722495648334 140722495648334 140722495651791 0
[pid=29575/tid=29589] ppid=29572 vsize=10551232 CPUtime=0 cores=0,2,4,6
/proc/29575/task/29589/stat : 29589 (java) S 29572 29575 12906 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 51607045 10804461568 630624 18446744073709551615 4194304 4196468 140722495647440 139660952853088 139661464987349 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15233024 140722495648181 140722495648334 140722495648334 140722495651791 0
[pid=29575/tid=29590] ppid=29572 vsize=10551232 CPUtime=0 cores=0,2,4,6
/proc/29575/task/29590/stat : 29590 (java) S 29572 29575 12906 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 51607049 10804461568 630624 18446744073709551615 4194304 4196468 140722495647440 139660951800624 139661464988290 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 15233024 140722495648181 140722495648334 140722495648334 140722495651791 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 10551232

[startup+6.30066 s]
/proc/loadavg: 6.39 6.45 5.55 6/214 29590
/proc/meminfo: memFree=20249120/32770624 swapFree=0/364200
[pid=29575] ppid=29572 vsize=10551232 CPUtime=12.14 cores=0,2,4,6
/proc/29575/stat : 29575 (java) S 29572 29575 12906 0 -1 1077944320 24291 0 0 0 1100 114 0 0 20 0 15 0 51607030 10804461568 750212 18446744073709551615 4194304 4196468 140722495647440 140722495629984 139661464977143 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 9 0 0 6293624 6294260 15233024 140722495648181 140722495648334 140722495648334 140722495651791 0
/proc/29575/statm: 2637808 750212 3107 1 0 2627261 0
[pid=29575/tid=29577] ppid=29572 vsize=10551232 CPUtime=4.43 cores=0,2,4,6
/proc/29575/task/29577/stat : 29577 (java) R 29572 29575 12906 0 -1 4202560 10782 0 0 0 408 35 0 0 20 0 15 0 51607039 10804461568 750212 18446744073709551615 4194304 4196468 140722495647440 139661469205376 139661083145242 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 15233024 140722495648181 140722495648334 140722495648334 140722495651791 0
[pid=29575/tid=29578] ppid=29572 vsize=10551232 CPUtime=1.29 cores=0,2,4,6
/proc/29575/task/29578/stat : 29578 (java) S 29572 29575 12906 0 -1 1077944384 1909 0 0 0 110 19 0 0 20 0 15 0 51607040 10804461568 750212 18446744073709551615 4194304 4196468 140722495647440 139661406013712 139661464987349 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15233024 140722495648181 140722495648334 140722495648334 140722495651791 0
[pid=29575/tid=29579] ppid=29572 vsize=10551232 CPUtime=1.31 cores=0,2,4,6
/proc/29575/task/29579/stat : 29579 (java) S 29572 29575 12906 0 -1 1077944384 1148 0 0 0 112 19 0 0 20 0 15 0 51607040 10804461568 750212 18446744073709551615 4194304 4196468 140722495647440 139661404961168 139661464987349 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15233024 140722495648181 140722495648334 140722495648334 140722495651791 0
[pid=29575/tid=29580] ppid=29572 vsize=10551232 CPUtime=1.29 cores=0,2,4,6
/proc/29575/task/29580/stat : 29580 (java) S 29572 29575 12906 0 -1 1077944384 643 0 0 0 110 19 0 0 20 0 15 0 51607040 10804461568 750212 18446744073709551615 4194304 4196468 140722495647440 139661403908624 139661464987349 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15233024 140722495648181 140722495648334 140722495648334 140722495651791 0
[pid=29575/tid=29581] ppid=29572 vsize=10551232 CPUtime=1.3 cores=0,2,4,6
/proc/29575/task/29581/stat : 29581 (java) S 29572 29575 12906 0 -1 1077944384 1745 0 0 0 113 17 0 0 20 0 15 0 51607040 10804461568 750212 18446744073709551615 4194304 4196468 140722495647440 139661402856080 139661464987349 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15233024 140722495648181 140722495648334 140722495648334 140722495651791 0
[pid=29575/tid=29582] ppid=29572 vsize=10551232 CPUtime=0.38 cores=0,2,4,6
/proc/29575/task/29582/stat : 29582 (java) S 29572 29575 12906 0 -1 1077944384 1570 0 0 0 38 0 0 0 20 0 15 0 51607041 10804461568 750212 18446744073709551615 4194304 4196468 140722495647440 139660960221680 139661464988290 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15233024 140722495648181 140722495648334 140722495648334 140722495651791 0
[pid=29575/tid=29583] ppid=29572 vsize=10551232 CPUtime=0 cores=0,2,4,6
/proc/29575/task/29583/stat : 29583 (java) S 29572 29575 12906 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 51607042 10804461568 750212 18446744073709551615 4194304 4196468 140722495647440 139660959167968 139661464987349 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15233024 140722495648181 140722495648334 140722495648334 140722495651791 0
[pid=29575/tid=29584] ppid=29572 vsize=10551232 CPUtime=0 cores=0,2,4,6
/proc/29575/task/29584/stat : 29584 (java) S 29572 29575 12906 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 51607042 10804461568 750212 18446744073709551615 4194304 4196468 140722495647440 139660958115328 139661464987349 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15233024 140722495648181 140722495648334 140722495648334 140722495651791 0
[pid=29575/tid=29585] ppid=29572 vsize=10551232 CPUtime=0 cores=0,2,4,6
/proc/29575/task/29585/stat : 29585 (java) S 29572 29575 12906 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 51607044 10804461568 750212 18446744073709551615 4194304 4196468 140722495647440 139660957063888 139661464995739 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15233024 140722495648181 140722495648334 140722495648334 140722495651791 0
[pid=29575/tid=29586] ppid=29572 vsize=10551232 CPUtime=0.85 cores=0,2,4,6
/proc/29575/task/29586/stat : 29586 (java) S 29572 29575 12906 0 -1 1077944384 2037 0 0 0 85 0 0 0 20 0 15 0 51607044 10804461568 750212 18446744073709551615 4194304 4196468 140722495647440 139660956010480 139661464988290 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15233024 140722495648181 140722495648334 140722495648334 140722495651791 0
[pid=29575/tid=29587] ppid=29572 vsize=10551232 CPUtime=0.88 cores=0,2,4,6
/proc/29575/task/29587/stat : 29587 (java) S 29572 29575 12906 0 -1 1077944384 1499 0 0 0 88 0 0 0 20 0 15 0 51607044 10804461568 750212 18446744073709551615 4194304 4196468 140722495647440 139660954957936 139661464988290 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15233024 140722495648181 140722495648334 140722495648334 140722495651791 0
[pid=29575/tid=29588] ppid=29572 vsize=10551232 CPUtime=0.33 cores=0,2,4,6
/proc/29575/task/29588/stat : 29588 (java) S 29572 29575 12906 0 -1 1077944384 1601 0 0 0 33 0 0 0 20 0 15 0 51607044 10804461568 750212 18446744073709551615 4194304 4196468 140722495647440 139660953905392 139661464988290 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15233024 140722495648181 140722495648334 140722495648334 140722495651791 0
[pid=29575/tid=29589] ppid=29572 vsize=10551232 CPUtime=0 cores=0,2,4,6
/proc/29575/task/29589/stat : 29589 (java) S 29572 29575 12906 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 51607045 10804461568 750212 18446744073709551615 4194304 4196468 140722495647440 139660952853088 139661464987349 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15233024 140722495648181 140722495648334 140722495648334 140722495651791 0
[pid=29575/tid=29590] ppid=29572 vsize=10551232 CPUtime=0 cores=0,2,4,6
/proc/29575/task/29590/stat : 29590 (java) S 29572 29575 12906 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 51607049 10804461568 750212 18446744073709551615 4194304 4196468 140722495647440 139660951800624 139661464988290 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 15233024 140722495648181 140722495648334 140722495648334 140722495651791 0
Current children cumulated CPU time (s) 12.14
Current children cumulated vsize (KiB) 10551232

[startup+12.7007 s]
/proc/loadavg: 6.44 6.46 5.56 10/214 29590
/proc/meminfo: memFree=19310392/32770624 swapFree=0/364208
[pid=29575] ppid=29572 vsize=10551232 CPUtime=33.6 cores=0,2,4,6
/proc/29575/stat : 29575 (java) S 29572 29575 12906 0 -1 1077944320 315535 0 0 0 3171 189 0 0 20 0 15 0 51607030 10804461568 984440 18446744073709551615 4194304 4196468 140722495647440 140722495629984 139661464977143 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 9 0 0 6293624 6294260 15233024 140722495648181 140722495648334 140722495648334 140722495651791 0
/proc/29575/statm: 2637808 984440 3113 1 0 2627261 0
[pid=29575/tid=29577] ppid=29572 vsize=10551232 CPUtime=5.65 cores=0,2,4,6
/proc/29575/task/29577/stat : 29577 (java) S 29572 29575 12906 0 -1 1077944384 13449 0 0 0 530 35 0 0 20 0 15 0 51607039 10804461568 984440 18446744073709551615 4194304 4196468 140722495647440 139661469209984 139661464987349 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 3 0 0 6293624 6294260 15233024 140722495648181 140722495648334 140722495648334 140722495651791 0
[pid=29575/tid=29578] ppid=29572 vsize=10551232 CPUtime=6.3 cores=0,2,4,6
/proc/29575/task/29578/stat : 29578 (java) S 29572 29575 12906 0 -1 1077944384 71220 0 0 0 592 38 0 0 20 0 15 0 51607040 10804461568 984440 18446744073709551615 4194304 4196468 140722495647440 139661406013712 139661464987349 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15233024 140722495648181 140722495648334 140722495648334 140722495651791 0
[pid=29575/tid=29579] ppid=29572 vsize=10551232 CPUtime=6.31 cores=0,2,4,6
/proc/29575/task/29579/stat : 29579 (java) S 29572 29575 12906 0 -1 1077944384 79634 0 0 0 594 37 0 0 20 0 15 0 51607040 10804461568 984440 18446744073709551615 4194304 4196468 140722495647440 139661404961168 139661464987349 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15233024 140722495648181 140722495648334 140722495648334 140722495651791 0
[pid=29575/tid=29580] ppid=29572 vsize=10551232 CPUtime=6.31 cores=0,2,4,6
/proc/29575/task/29580/stat : 29580 (java) S 29572 29575 12906 0 -1 1077944384 74041 0 0 0 592 39 0 0 20 0 15 0 51607040 10804461568 984440 18446744073709551615 4194304 4196468 140722495647440 139661403908624 139661464987349 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15233024 140722495648181 140722495648334 140722495648334 140722495651791 0
[pid=29575/tid=29581] ppid=29572 vsize=10551232 CPUtime=6.3 cores=0,2,4,6
/proc/29575/task/29581/stat : 29581 (java) S 29572 29575 12906 0 -1 1077944384 65436 0 0 0 595 35 0 0 20 0 15 0 51607040 10804461568 984440 18446744073709551615 4194304 4196468 140722495647440 139661402856080 139661464987349 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15233024 140722495648181 140722495648334 140722495648334 140722495651791 0
[pid=29575/tid=29582] ppid=29572 vsize=10551232 CPUtime=0.5 cores=0,2,4,6
/proc/29575/task/29582/stat : 29582 (java) R 29572 29575 12906 0 -1 4202560 3908 0 0 0 50 0 0 0 20 0 15 0 51607041 10804461568 984440 18446744073709551615 4194304 4196468 140722495647440 139660960220224 139661449980231 0 0 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15233024 140722495648181 140722495648334 140722495648334 140722495651791 0
[pid=29575/tid=29583] ppid=29572 vsize=10551232 CPUtime=0 cores=0,2,4,6
/proc/29575/task/29583/stat : 29583 (java) S 29572 29575 12906 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 51607042 10804461568 984440 18446744073709551615 4194304 4196468 140722495647440 139660959167968 139661464987349 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15233024 140722495648181 140722495648334 140722495648334 140722495651791 0
[pid=29575/tid=29584] ppid=29572 vsize=10551232 CPUtime=0 cores=0,2,4,6
/proc/29575/task/29584/stat : 29584 (java) S 29572 29575 12906 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 51607042 10804461568 984440 18446744073709551615 4194304 4196468 140722495647440 139660958115328 139661464987349 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15233024 140722495648181 140722495648334 140722495648334 140722495651791 0
[pid=29575/tid=29585] ppid=29572 vsize=10551232 CPUtime=0 cores=0,2,4,6
/proc/29575/task/29585/stat : 29585 (java) S 29572 29575 12906 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 51607044 10804461568 984440 18446744073709551615 4194304 4196468 140722495647440 139660957063888 139661464995739 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15233024 140722495648181 140722495648334 140722495648334 140722495651791 0

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

[pid=29575/tid=29579] ppid=29572 vsize=10551232 CPUtime=304.48 cores=0,2,4,6
/proc/29575/task/29579/stat : 29579 (java) R 29572 29575 12906 0 -1 4202560 597214 0 0 0 30292 156 0 0 20 0 15 0 51607040 10804461568 2077865 18446744073709551615 4194304 4196468 140722495647440 139661404961368 139661446573839 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15233024 140722495648181 140722495648334 140722495648334 140722495651791 0
[pid=29575/tid=29580] ppid=29572 vsize=10551232 CPUtime=304.24 cores=0,2,4,6
/proc/29575/task/29580/stat : 29580 (java) R 29572 29575 12906 0 -1 4202560 627160 0 0 0 30250 174 0 0 20 0 15 0 51607040 10804461568 2077865 18446744073709551615 4194304 4196468 140722495647440 139661403908512 139661449674895 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 15233024 140722495648181 140722495648334 140722495648334 140722495651791 0
[pid=29575/tid=29581] ppid=29572 vsize=10551232 CPUtime=304.69 cores=0,2,4,6
/proc/29575/task/29581/stat : 29581 (java) R 29572 29575 12906 0 -1 4202560 594566 0 0 0 30315 154 0 0 20 0 15 0 51607040 10804461568 2077865 18446744073709551615 4194304 4196468 140722495647440 139661402856280 139661449962439 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15233024 140722495648181 140722495648334 140722495648334 140722495651791 0
[pid=29575/tid=29582] ppid=29572 vsize=10551232 CPUtime=18.29 cores=0,2,4,6
/proc/29575/task/29582/stat : 29582 (java) S 29572 29575 12906 0 -1 1077944384 75820 0 0 0 1824 5 0 0 20 0 15 0 51607041 10804461568 2077865 18446744073709551615 4194304 4196468 140722495647440 139660960220000 139661464987349 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15233024 140722495648181 140722495648334 140722495648334 140722495651791 0
[pid=29575/tid=29583] ppid=29572 vsize=10551232 CPUtime=0 cores=0,2,4,6
/proc/29575/task/29583/stat : 29583 (java) S 29572 29575 12906 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 51607042 10804461568 2077865 18446744073709551615 4194304 4196468 140722495647440 139660959167968 139661464987349 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15233024 140722495648181 140722495648334 140722495648334 140722495651791 0
[pid=29575/tid=29584] ppid=29572 vsize=10551232 CPUtime=0 cores=0,2,4,6
/proc/29575/task/29584/stat : 29584 (java) S 29572 29575 12906 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 15 0 51607042 10804461568 2077865 18446744073709551615 4194304 4196468 140722495647440 139660958115328 139661464987349 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15233024 140722495648181 140722495648334 140722495648334 140722495651791 0
[pid=29575/tid=29585] ppid=29572 vsize=10551232 CPUtime=0 cores=0,2,4,6
/proc/29575/task/29585/stat : 29585 (java) S 29572 29575 12906 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 51607044 10804461568 2077865 18446744073709551615 4194304 4196468 140722495647440 139660957063888 139661464995739 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15233024 140722495648181 140722495648334 140722495648334 140722495651791 0
[pid=29575/tid=29586] ppid=29572 vsize=10551232 CPUtime=0.97 cores=0,2,4,6
/proc/29575/task/29586/stat : 29586 (java) S 29572 29575 12906 0 -1 1077944384 4127 0 0 0 97 0 0 0 20 0 15 0 51607044 10804461568 2077865 18446744073709551615 4194304 4196468 140722495647440 139660956010480 139661464988290 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15233024 140722495648181 140722495648334 140722495648334 140722495651791 0
[pid=29575/tid=29587] ppid=29572 vsize=10551232 CPUtime=1.02 cores=0,2,4,6
/proc/29575/task/29587/stat : 29587 (java) S 29572 29575 12906 0 -1 1077944384 4047 0 0 0 101 1 0 0 20 0 15 0 51607044 10804461568 2077865 18446744073709551615 4194304 4196468 140722495647440 139660954957936 139661464988290 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15233024 140722495648181 140722495648334 140722495648334 140722495651791 0
[pid=29575/tid=29588] ppid=29572 vsize=10551232 CPUtime=0.37 cores=0,2,4,6
/proc/29575/task/29588/stat : 29588 (java) S 29572 29575 12906 0 -1 1077944384 3651 0 0 0 36 1 0 0 20 0 15 0 51607044 10804461568 2077865 18446744073709551615 4194304 4196468 140722495647440 139660953905392 139661464988290 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15233024 140722495648181 140722495648334 140722495648334 140722495651791 0
[pid=29575/tid=29589] ppid=29572 vsize=10551232 CPUtime=0 cores=0,2,4,6
/proc/29575/task/29589/stat : 29589 (java) S 29572 29575 12906 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 51607045 10804461568 2077865 18446744073709551615 4194304 4196468 140722495647440 139660952853088 139661464987349 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15233024 140722495648181 140722495648334 140722495648334 140722495651791 0
[pid=29575/tid=29590] ppid=29572 vsize=10551232 CPUtime=0.17 cores=0,2,4,6
/proc/29575/task/29590/stat : 29590 (java) S 29572 29575 12906 0 -1 1077944384 460 0 0 0 12 5 0 0 20 0 15 0 51607049 10804461568 2077865 18446744073709551615 4194304 4196468 140722495647440 139660951800624 139661464988290 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 15233024 140722495648181 140722495648334 140722495648334 140722495651791 0
Current children cumulated CPU time (s) 1255.17
Current children cumulated vsize (KiB) 10551232

[startup+402.301 s]
/proc/loadavg: 5.31 6.41 5.93 6/221 29880
/proc/meminfo: memFree=23009340/32770624 swapFree=0/364416
[pid=29575] ppid=29572 vsize=10684512 CPUtime=1481.65 cores=0,2,4,6
/proc/29575/stat : 29575 (java) S 29572 29575 12906 0 -1 1077944320 3181200 0 0 0 147395 770 0 0 20 0 17 0 51607030 10940940288 2078103 18446744073709551615 4194304 4196468 140722495647440 140722495629984 139661464977143 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 9 0 0 6293624 6294260 15233024 140722495648181 140722495648334 140722495648334 140722495651791 0
/proc/29575/statm: 2671128 2078103 3161 1 0 2660543 0
[pid=29575/tid=29577] ppid=29572 vsize=10684512 CPUtime=16.47 cores=0,2,4,6
/proc/29575/task/29577/stat : 29577 (java) S 29572 29575 12906 0 -1 1077944384 42386 0 0 0 1610 37 0 0 20 0 17 0 51607039 10940940288 2078103 18446744073709551615 4194304 4196468 140722495647440 139661469217824 139661464987349 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 3 0 0 6293624 6294260 15233024 140722495648181 140722495648334 140722495648334 140722495651791 0
[pid=29575/tid=29578] ppid=29572 vsize=10684512 CPUtime=360.17 cores=0,2,4,6
/proc/29575/task/29578/stat : 29578 (java) S 29572 29575 12906 0 -1 1077944384 985708 0 0 0 35823 194 0 0 20 0 17 0 51607040 10940940288 2078103 18446744073709551615 4194304 4196468 140722495647440 139661406013712 139661464987349 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15233024 140722495648181 140722495648334 140722495648334 140722495651791 0
[pid=29575/tid=29579] ppid=29572 vsize=10684512 CPUtime=360.26 cores=0,2,4,6
/proc/29575/task/29579/stat : 29579 (java) S 29572 29575 12906 0 -1 1077944384 670608 0 0 0 35854 172 0 0 20 0 17 0 51607040 10940940288 2078103 18446744073709551615 4194304 4196468 140722495647440 139661404961168 139661464987349 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15233024 140722495648181 140722495648334 140722495648334 140722495651791 0
[pid=29575/tid=29580] ppid=29572 vsize=10684512 CPUtime=359.82 cores=0,2,4,6
/proc/29575/task/29580/stat : 29580 (java) S 29572 29575 12906 0 -1 1077944384 650001 0 0 0 35794 188 0 0 20 0 17 0 51607040 10940940288 2078103 18446744073709551615 4194304 4196468 140722495647440 139661403908624 139661464987349 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15233024 140722495648181 140722495648334 140722495648334 140722495651791 0
[pid=29575/tid=29581] ppid=29572 vsize=10684512 CPUtime=360.82 cores=0,2,4,6
/proc/29575/task/29581/stat : 29581 (java) S 29572 29575 12906 0 -1 1077944384 732098 0 0 0 35916 166 0 0 20 0 17 0 51607040 10940940288 2078103 18446744073709551615 4194304 4196468 140722495647440 139661402856080 139661464987349 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15233024 140722495648181 140722495648334 140722495648334 140722495651791 0
[pid=29575/tid=29582] ppid=29572 vsize=10684512 CPUtime=21.45 cores=0,2,4,6
/proc/29575/task/29582/stat : 29582 (java) R 29572 29575 12906 0 -1 4202560 85941 0 0 0 2140 5 0 0 20 0 17 0 51607041 10940940288 2078103 18446744073709551615 4194304 4196468 140722495647440 139660960220224 139661449973544 0 0 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15233024 140722495648181 140722495648334 140722495648334 140722495651791 0
[pid=29575/tid=29583] ppid=29572 vsize=10684512 CPUtime=0 cores=0,2,4,6
/proc/29575/task/29583/stat : 29583 (java) S 29572 29575 12906 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 17 0 51607042 10940940288 2078103 18446744073709551615 4194304 4196468 140722495647440 139660959167968 139661464987349 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15233024 140722495648181 140722495648334 140722495648334 140722495651791 0
[pid=29575/tid=29584] ppid=29572 vsize=10684512 CPUtime=0 cores=0,2,4,6
/proc/29575/task/29584/stat : 29584 (java) S 29572 29575 12906 0 -1 1077944384 94 0 0 0 0 0 0 0 20 0 17 0 51607042 10940940288 2078103 18446744073709551615 4194304 4196468 140722495647440 139660958115328 139661464987349 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15233024 140722495648181 140722495648334 140722495648334 140722495651791 0
[pid=29575/tid=29585] ppid=29572 vsize=10684512 CPUtime=0 cores=0,2,4,6
/proc/29575/task/29585/stat : 29585 (java) S 29572 29575 12906 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 51607044 10940940288 2078103 18446744073709551615 4194304 4196468 140722495647440 139660957063888 139661464995739 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15233024 140722495648181 140722495648334 140722495648334 140722495651791 0
[pid=29575/tid=29586] ppid=29572 vsize=10684512 CPUtime=0.97 cores=0,2,4,6
/proc/29575/task/29586/stat : 29586 (java) S 29572 29575 12906 0 -1 1077944384 4132 0 0 0 97 0 0 0 20 0 17 0 51607044 10940940288 2078103 18446744073709551615 4194304 4196468 140722495647440 139660956010528 139661464987349 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15233024 140722495648181 140722495648334 140722495648334 140722495651791 0
[pid=29575/tid=29587] ppid=29572 vsize=10684512 CPUtime=1.02 cores=0,2,4,6
/proc/29575/task/29587/stat : 29587 (java) S 29572 29575 12906 0 -1 1077944384 4136 0 0 0 101 1 0 0 20 0 17 0 51607044 10940940288 2078103 18446744073709551615 4194304 4196468 140722495647440 139660954957696 139661464987349 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15233024 140722495648181 140722495648334 140722495648334 140722495651791 0
[pid=29575/tid=29588] ppid=29572 vsize=10684512 CPUtime=0.38 cores=0,2,4,6
/proc/29575/task/29588/stat : 29588 (java) S 29572 29575 12906 0 -1 1077944384 4192 0 0 0 37 1 0 0 20 0 17 0 51607044 10940940288 2078103 18446744073709551615 4194304 4196468 140722495647440 139660953905440 139661464987349 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15233024 140722495648181 140722495648334 140722495648334 140722495651791 0
[pid=29575/tid=29589] ppid=29572 vsize=10684512 CPUtime=0 cores=0,2,4,6
/proc/29575/task/29589/stat : 29589 (java) S 29572 29575 12906 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 51607045 10940940288 2078103 18446744073709551615 4194304 4196468 140722495647440 139660952853088 139661464987349 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15233024 140722495648181 140722495648334 140722495648334 140722495651791 0
[pid=29575/tid=29590] ppid=29572 vsize=10684512 CPUtime=0.21 cores=0,2,4,6
/proc/29575/task/29590/stat : 29590 (java) S 29572 29575 12906 0 -1 1077944384 499 0 0 0 13 8 0 0 20 0 17 0 51607049 10940940288 2078103 18446744073709551615 4194304 4196468 140722495647440 139660951800624 139661464988290 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 15233024 140722495648181 140722495648334 140722495648334 140722495651791 0
[pid=29575/tid=29877] ppid=29572 vsize=10684512 CPUtime=0 cores=0,2,4,6
/proc/29575/task/29877/stat : 29877 (java) S 29572 29575 12906 0 -1 1077944384 31 0 0 0 0 0 0 0 20 0 17 0 51644268 10940940288 2078103 18446744073709551615 4194304 4196468 140722495647440 139660950741072 139661464987349 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15233024 140722495648181 140722495648334 140722495648334 140722495651791 0
[pid=29575/tid=29878] ppid=29572 vsize=10684512 CPUtime=0 cores=0,2,4,6
/proc/29575/task/29878/stat : 29878 (java) S 29572 29575 12906 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 17 0 51644268 10940940288 2078103 18446744073709551615 4194304 4196468 140722495647440 139660949692944 139661464987349 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15233024 140722495648181 140722495648334 140722495648334 140722495651791 0
Current children cumulated CPU time (s) 1481.65
Current children cumulated vsize (KiB) 10684512

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 29575 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+402.401 s]
/proc/loadavg: 5.31 6.41 5.93 6/221 29880
/proc/meminfo: memFree=23009340/32770624 swapFree=0/364416
[pid=29575] ppid=29572 vsize=10684512 CPUtime=1481.75 cores=0,2,4,6
/proc/29575/stat : 29575 (java) S 29572 29575 12906 0 -1 1077944320 3181200 0 0 0 147405 770 0 0 20 0 17 0 51607030 10940940288 2078103 18446744073709551615 4194304 4196468 140722495647440 140722495629984 139661464977143 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 9 0 0 6293624 6294260 15233024 140722495648181 140722495648334 140722495648334 140722495651791 0
/proc/29575/statm: 2671128 2078103 3161 1 0 2660543 0
[pid=29575/tid=29577] ppid=29572 vsize=10684512 CPUtime=16.47 cores=0,2,4,6
/proc/29575/task/29577/stat : 29577 (java) S 29572 29575 12906 0 -1 1077944384 42386 0 0 0 1610 37 0 0 20 0 17 0 51607039 10940940288 2078103 18446744073709551615 4194304 4196468 140722495647440 139661469217824 139661464987349 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 3 0 0 6293624 6294260 15233024 140722495648181 140722495648334 140722495648334 140722495651791 0
[pid=29575/tid=29578] ppid=29572 vsize=10684512 CPUtime=360.17 cores=0,2,4,6
/proc/29575/task/29578/stat : 29578 (java) S 29572 29575 12906 0 -1 1077944384 985708 0 0 0 35823 194 0 0 20 0 17 0 51607040 10940940288 2078103 18446744073709551615 4194304 4196468 140722495647440 139661406013712 139661464987349 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15233024 140722495648181 140722495648334 140722495648334 140722495651791 0
[pid=29575/tid=29579] ppid=29572 vsize=10684512 CPUtime=360.26 cores=0,2,4,6
/proc/29575/task/29579/stat : 29579 (java) S 29572 29575 12906 0 -1 1077944384 670608 0 0 0 35854 172 0 0 20 0 17 0 51607040 10940940288 2078103 18446744073709551615 4194304 4196468 140722495647440 139661404961168 139661464987349 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15233024 140722495648181 140722495648334 140722495648334 140722495651791 0
[pid=29575/tid=29580] ppid=29572 vsize=10684512 CPUtime=359.82 cores=0,2,4,6
/proc/29575/task/29580/stat : 29580 (java) S 29572 29575 12906 0 -1 1077944384 650001 0 0 0 35794 188 0 0 20 0 17 0 51607040 10940940288 2078103 18446744073709551615 4194304 4196468 140722495647440 139661403908624 139661464987349 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15233024 140722495648181 140722495648334 140722495648334 140722495651791 0
[pid=29575/tid=29581] ppid=29572 vsize=10684512 CPUtime=360.82 cores=0,2,4,6
/proc/29575/task/29581/stat : 29581 (java) S 29572 29575 12906 0 -1 1077944384 732098 0 0 0 35916 166 0 0 20 0 17 0 51607040 10940940288 2078103 18446744073709551615 4194304 4196468 140722495647440 139661402856080 139661464987349 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15233024 140722495648181 140722495648334 140722495648334 140722495651791 0
[pid=29575/tid=29582] ppid=29572 vsize=10684512 CPUtime=21.55 cores=0,2,4,6
/proc/29575/task/29582/stat : 29582 (java) R 29572 29575 12906 0 -1 4202560 85941 0 0 0 2150 5 0 0 20 0 17 0 51607041 10940940288 2078103 18446744073709551615 4194304 4196468 140722495647440 139660960220112 139661449973550 0 0 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15233024 140722495648181 140722495648334 140722495648334 140722495651791 0
[pid=29575/tid=29583] ppid=29572 vsize=10684512 CPUtime=0 cores=0,2,4,6
/proc/29575/task/29583/stat : 29583 (java) S 29572 29575 12906 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 17 0 51607042 10940940288 2078103 18446744073709551615 4194304 4196468 140722495647440 139660959167968 139661464987349 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15233024 140722495648181 140722495648334 140722495648334 140722495651791 0
[pid=29575/tid=29584] ppid=29572 vsize=10684512 CPUtime=0 cores=0,2,4,6
/proc/29575/task/29584/stat : 29584 (java) S 29572 29575 12906 0 -1 1077944384 94 0 0 0 0 0 0 0 20 0 17 0 51607042 10940940288 2078103 18446744073709551615 4194304 4196468 140722495647440 139660958115328 139661464987349 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15233024 140722495648181 140722495648334 140722495648334 140722495651791 0
[pid=29575/tid=29585] ppid=29572 vsize=10684512 CPUtime=0 cores=0,2,4,6
/proc/29575/task/29585/stat : 29585 (java) S 29572 29575 12906 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 51607044 10940940288 2078103 18446744073709551615 4194304 4196468 140722495647440 139660957063888 139661464995739 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15233024 140722495648181 140722495648334 140722495648334 140722495651791 0
[pid=29575/tid=29586] ppid=29572 vsize=10684512 CPUtime=0.97 cores=0,2,4,6
/proc/29575/task/29586/stat : 29586 (java) S 29572 29575 12906 0 -1 1077944384 4132 0 0 0 97 0 0 0 20 0 17 0 51607044 10940940288 2078103 18446744073709551615 4194304 4196468 140722495647440 139660956010528 139661464987349 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15233024 140722495648181 140722495648334 140722495648334 140722495651791 0
[pid=29575/tid=29587] ppid=29572 vsize=10684512 CPUtime=1.02 cores=0,2,4,6
/proc/29575/task/29587/stat : 29587 (java) S 29572 29575 12906 0 -1 1077944384 4136 0 0 0 101 1 0 0 20 0 17 0 51607044 10940940288 2078103 18446744073709551615 4194304 4196468 140722495647440 139660954957696 139661464987349 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15233024 140722495648181 140722495648334 140722495648334 140722495651791 0
[pid=29575/tid=29588] ppid=29572 vsize=10684512 CPUtime=0.38 cores=0,2,4,6
/proc/29575/task/29588/stat : 29588 (java) S 29572 29575 12906 0 -1 1077944384 4192 0 0 0 37 1 0 0 20 0 17 0 51607044 10940940288 2078103 18446744073709551615 4194304 4196468 140722495647440 139660953905440 139661464987349 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15233024 140722495648181 140722495648334 140722495648334 140722495651791 0
[pid=29575/tid=29589] ppid=29572 vsize=10684512 CPUtime=0 cores=0,2,4,6
/proc/29575/task/29589/stat : 29589 (java) S 29572 29575 12906 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 51607045 10940940288 2078103 18446744073709551615 4194304 4196468 140722495647440 139660952853088 139661464987349 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15233024 140722495648181 140722495648334 140722495648334 140722495651791 0
[pid=29575/tid=29590] ppid=29572 vsize=10684512 CPUtime=0.21 cores=0,2,4,6
/proc/29575/task/29590/stat : 29590 (java) S 29572 29575 12906 0 -1 1077944384 499 0 0 0 13 8 0 0 20 0 17 0 51607049 10940940288 2078103 18446744073709551615 4194304 4196468 140722495647440 139660951800624 139661464988290 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 15233024 140722495648181 140722495648334 140722495648334 140722495651791 0
[pid=29575/tid=29877] ppid=29572 vsize=10684512 CPUtime=0 cores=0,2,4,6
/proc/29575/task/29877/stat : 29877 (java) S 29572 29575 12906 0 -1 1077944384 31 0 0 0 0 0 0 0 20 0 17 0 51644268 10940940288 2078103 18446744073709551615 4194304 4196468 140722495647440 139660950741072 139661464987349 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15233024 140722495648181 140722495648334 140722495648334 140722495651791 0
[pid=29575/tid=29878] ppid=29572 vsize=10684512 CPUtime=0 cores=0,2,4,6
/proc/29575/task/29878/stat : 29878 (java) S 29572 29575 12906 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 17 0 51644268 10940940288 2078103 18446744073709551615 4194304 4196468 140722495647440 139660949692944 139661464987349 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15233024 140722495648181 140722495648334 140722495648334 140722495651791 0
Current children cumulated CPU time (s) 1481.75
Current children cumulated vsize (KiB) 10684512

[startup+402.801 s]
/proc/loadavg: 5.31 6.41 5.93 3/221 29880
/proc/meminfo: memFree=23009340/32770624 swapFree=0/364416
[pid=29575] ppid=29572 vsize=10684512 CPUtime=1482.15 cores=0,2,4,6
/proc/29575/stat : 29575 (java) S 29572 29575 12906 0 -1 1077944320 3181200 0 0 0 147445 770 0 0 20 0 17 0 51607030 10940940288 2078103 18446744073709551615 4194304 4196468 140722495647440 140722495629984 139661464977143 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 9 0 0 6293624 6294260 15233024 140722495648181 140722495648334 140722495648334 140722495651791 0
/proc/29575/statm: 2671128 2078103 3161 1 0 2660543 0
[pid=29575/tid=29577] ppid=29572 vsize=10684512 CPUtime=16.47 cores=0,2,4,6
/proc/29575/task/29577/stat : 29577 (java) S 29572 29575 12906 0 -1 1077944384 42386 0 0 0 1610 37 0 0 20 0 17 0 51607039 10940940288 2078103 18446744073709551615 4194304 4196468 140722495647440 139661469217824 139661464987349 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 3 0 0 6293624 6294260 15233024 140722495648181 140722495648334 140722495648334 140722495651791 0
[pid=29575/tid=29578] ppid=29572 vsize=10684512 CPUtime=360.17 cores=0,2,4,6
/proc/29575/task/29578/stat : 29578 (java) S 29572 29575 12906 0 -1 1077944384 985708 0 0 0 35823 194 0 0 20 0 17 0 51607040 10940940288 2078103 18446744073709551615 4194304 4196468 140722495647440 139661406013712 139661464987349 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15233024 140722495648181 140722495648334 140722495648334 140722495651791 0
[pid=29575/tid=29579] ppid=29572 vsize=10684512 CPUtime=360.26 cores=0,2,4,6
/proc/29575/task/29579/stat : 29579 (java) S 29572 29575 12906 0 -1 1077944384 670608 0 0 0 35854 172 0 0 20 0 17 0 51607040 10940940288 2078103 18446744073709551615 4194304 4196468 140722495647440 139661404961168 139661464987349 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15233024 140722495648181 140722495648334 140722495648334 140722495651791 0
[pid=29575/tid=29580] ppid=29572 vsize=10684512 CPUtime=359.82 cores=0,2,4,6
/proc/29575/task/29580/stat : 29580 (java) S 29572 29575 12906 0 -1 1077944384 650001 0 0 0 35794 188 0 0 20 0 17 0 51607040 10940940288 2078103 18446744073709551615 4194304 4196468 140722495647440 139661403908624 139661464987349 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15233024 140722495648181 140722495648334 140722495648334 140722495651791 0
[pid=29575/tid=29581] ppid=29572 vsize=10684512 CPUtime=360.82 cores=0,2,4,6
/proc/29575/task/29581/stat : 29581 (java) S 29572 29575 12906 0 -1 1077944384 732098 0 0 0 35916 166 0 0 20 0 17 0 51607040 10940940288 2078103 18446744073709551615 4194304 4196468 140722495647440 139661402856080 139661464987349 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15233024 140722495648181 140722495648334 140722495648334 140722495651791 0
[pid=29575/tid=29582] ppid=29572 vsize=10684512 CPUtime=21.95 cores=0,2,4,6
/proc/29575/task/29582/stat : 29582 (java) R 29572 29575 12906 0 -1 4202560 85941 0 0 0 2190 5 0 0 20 0 17 0 51607041 10940940288 2078103 18446744073709551615 4194304 4196468 140722495647440 139660960220112 139661449973495 0 0 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15233024 140722495648181 140722495648334 140722495648334 140722495651791 0
[pid=29575/tid=29583] ppid=29572 vsize=10684512 CPUtime=0 cores=0,2,4,6
/proc/29575/task/29583/stat : 29583 (java) S 29572 29575 12906 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 17 0 51607042 10940940288 2078103 18446744073709551615 4194304 4196468 140722495647440 139660959167968 139661464987349 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15233024 140722495648181 140722495648334 140722495648334 140722495651791 0
[pid=29575/tid=29584] ppid=29572 vsize=10684512 CPUtime=0 cores=0,2,4,6
/proc/29575/task/29584/stat : 29584 (java) S 29572 29575 12906 0 -1 1077944384 94 0 0 0 0 0 0 0 20 0 17 0 51607042 10940940288 2078103 18446744073709551615 4194304 4196468 140722495647440 139660958115328 139661464987349 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15233024 140722495648181 140722495648334 140722495648334 140722495651791 0
[pid=29575/tid=29585] ppid=29572 vsize=10684512 CPUtime=0 cores=0,2,4,6
/proc/29575/task/29585/stat : 29585 (java) S 29572 29575 12906 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 51607044 10940940288 2078103 18446744073709551615 4194304 4196468 140722495647440 139660957063888 139661464995739 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15233024 140722495648181 140722495648334 140722495648334 140722495651791 0
[pid=29575/tid=29586] ppid=29572 vsize=10684512 CPUtime=0.97 cores=0,2,4,6
/proc/29575/task/29586/stat : 29586 (java) S 29572 29575 12906 0 -1 1077944384 4132 0 0 0 97 0 0 0 20 0 17 0 51607044 10940940288 2078103 18446744073709551615 4194304 4196468 140722495647440 139660956010528 139661464987349 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15233024 140722495648181 140722495648334 140722495648334 140722495651791 0
[pid=29575/tid=29587] ppid=29572 vsize=10684512 CPUtime=1.02 cores=0,2,4,6
/proc/29575/task/29587/stat : 29587 (java) S 29572 29575 12906 0 -1 1077944384 4136 0 0 0 101 1 0 0 20 0 17 0 51607044 10940940288 2078103 18446744073709551615 4194304 4196468 140722495647440 139660954957696 139661464987349 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15233024 140722495648181 140722495648334 140722495648334 140722495651791 0
[pid=29575/tid=29588] ppid=29572 vsize=10684512 CPUtime=0.38 cores=0,2,4,6
/proc/29575/task/29588/stat : 29588 (java) S 29572 29575 12906 0 -1 1077944384 4192 0 0 0 37 1 0 0 20 0 17 0 51607044 10940940288 2078103 18446744073709551615 4194304 4196468 140722495647440 139660953905440 139661464987349 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15233024 140722495648181 140722495648334 140722495648334 140722495651791 0
[pid=29575/tid=29589] ppid=29572 vsize=10684512 CPUtime=0 cores=0,2,4,6
/proc/29575/task/29589/stat : 29589 (java) S 29572 29575 12906 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 51607045 10940940288 2078103 18446744073709551615 4194304 4196468 140722495647440 139660952853088 139661464987349 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15233024 140722495648181 140722495648334 140722495648334 140722495651791 0
[pid=29575/tid=29590] ppid=29572 vsize=10684512 CPUtime=0.21 cores=0,2,4,6
/proc/29575/task/29590/stat : 29590 (java) S 29572 29575 12906 0 -1 1077944384 499 0 0 0 13 8 0 0 20 0 17 0 51607049 10940940288 2078103 18446744073709551615 4194304 4196468 140722495647440 139660951800624 139661464988290 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 15233024 140722495648181 140722495648334 140722495648334 140722495651791 0
[pid=29575/tid=29877] ppid=29572 vsize=10684512 CPUtime=0 cores=0,2,4,6
/proc/29575/task/29877/stat : 29877 (java) S 29572 29575 12906 0 -1 1077944384 31 0 0 0 0 0 0 0 20 0 17 0 51644268 10940940288 2078103 18446744073709551615 4194304 4196468 140722495647440 139660950741072 139661464987349 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15233024 140722495648181 140722495648334 140722495648334 140722495651791 0
[pid=29575/tid=29878] ppid=29572 vsize=10684512 CPUtime=0 cores=0,2,4,6
/proc/29575/task/29878/stat : 29878 (java) S 29572 29575 12906 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 17 0 51644268 10940940288 2078103 18446744073709551615 4194304 4196468 140722495647440 139660949692944 139661464987349 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15233024 140722495648181 140722495648334 140722495648334 140722495651791 0
Current children cumulated CPU time (s) 1482.15
Current children cumulated vsize (KiB) 10684512

[startup+403.001 s]
/proc/loadavg: 5.31 6.41 5.93 3/221 29880
/proc/meminfo: memFree=23009340/32770624 swapFree=0/364416
[pid=29575] ppid=29572 vsize=0 CPUtime=1482.35 cores=0,2,4,6
/proc/29575/stat : 29575 (java) Z 29572 29575 12906 0 -1 4227084 3181325 0 0 0 147459 776 0 0 20 0 2 0 51607030 0 0 18446744073709551615 0 0 0 0 0 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 9 0 0 0 0 0 0 0 0 0 0
/proc/29575/statm: 0 0 0 0 0 0 0
[pid=29575/tid=29579] ppid=29572 vsize=0 CPUtime=360.32 cores=0,2,4,6
/proc/29575/task/29579/stat : 29579 (java) R 29572 29575 12906 0 -1 4203588 670608 0 0 0 35854 178 0 0 20 0 2 0 51607040 0 0 18446744073709551615 0 0 0 0 0 0 4 1 16800974 18446744073709551615 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1482.35
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 403.047
CPU time (s): 1482.41
CPU user time (s): 1474.6
CPU system time (s): 7.81302
CPU usage (%): 367.801
Max. virtual memory (cumulated for all children) (KiB): 10684512

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1474.6
system time used= 7.81302
maximum resident set size= 8312676
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3181325
page faults= 0
swaps= 0
block input operations= 0
block output operations= 568
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 25992
involuntary context switches= 26048

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.89647 second user time and 2.63289 second system time

The end
Name	Ramsey/Ramsey-int-s1/ Ramsey-int-49.xml
MD5SUM	f189c1eeae9c695eff92bc09b1867153
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	SAT TO
Best value of the objective obtained on this benchmark	4
Best CPU time to get the best result obtained on this benchmark	2400.1299
Satisfiable
(Un)Satisfiability was proved
Number of variables	2401
Number of constraints	18424
Number of domains	1
Minimum domain size	1176
Maximum domain size	1176
Distribution of domain sizes	[{"size":1176,"count":1176}]
Minimum variable degree	0
Maximum variable degree	48
Distribution of variable degrees	[{"degree":0,"count":1225},{"degree":48,"count":1176}]
Minimum constraint arity	3
Maximum constraint arity	3
Distribution of constraint arities	[{"arity":3,"count":18424}]
Number of extensional constraints	0
Number of intensional constraints	18424
Distribution of constraint types	[{"type":"intension","count":18424}]
Optimization problem	YES
Type of objective	min MAXIMUM
Trace number 4243996

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data
