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-4257944-1501995346/watcher-4257944-1501995346 -o /tmp/evaluation-result-4257944-1501995346/solver-4257944-1501995346 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node127-1501992487-9584 --watchdog 300 java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar HOME/instance-4257944-1501995346.xml
pid=12192
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 5.19 4.21 3.33 6/196 12195
/proc/meminfo: memFree=23546828/32770624 swapFree=0/294640
[pid=12195] ppid=12192 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/12195/stat : 12195 (runsolver) D 12192 12195 2450 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 1728397 24240128 108 18446744073709551615 4194304 4338465 140737409376096 140737409373736 139983209624279 0 0 1 24578 18446744071580418449 0 0 17 4 0 0 0 0 0 6438912 6441760 16998400 140737409380497 140737409380943 140737409380943 140737409384394 0
/proc/12195/statm: 5918 108 54 36 0 2156 0
[startup+0.100112 s]
/proc/loadavg: 5.19 4.21 3.33 6/196 12195
/proc/meminfo: memFree=23546828/32770624 swapFree=0/294640
[pid=12195] ppid=12192 vsize=8335132 CPUtime=0 cores=0,2,4,6
/proc/12195/stat : 12195 (java) S 12192 12195 2450 0 -1 1077944320 1878 0 0 0 0 0 0 0 20 0 2 0 1728397 8535175168 2096 18446744073709551615 4194304 4196468 140726325737280 140726325719824 139906120908535 0 0 1 16784584 18446744073709551615 0 0 17 6 0 0 9 0 0 6293624 6294260 36765696 140726325739963 140726325740116 140726325740116 140726325743567 0
/proc/12195/statm: 2083783 2096 1159 1 0 2073753 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8335132
[startup+0.2037 s]
/proc/loadavg: 5.19 4.21 3.33 6/196 12195
/proc/meminfo: memFree=23546828/32770624 swapFree=0/294640
[pid=12195] ppid=12192 vsize=10551156 CPUtime=0.07 cores=0,2,4,6
/proc/12195/stat : 12195 (java) S 12192 12195 2450 0 -1 1077944320 5072 0 0 0 6 1 0 0 20 0 15 0 1728397 10804383744 6567 18446744073709551615 4194304 4196468 140726325737280 140726325719824 139906120908535 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 9 0 0 6293624 6294260 36765696 140726325739963 140726325740116 140726325740116 140726325743567 0
/proc/12195/statm: 2637789 6567 2610 1 0 2627261 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 10551156
[startup+0.300305 s]
/proc/loadavg: 5.19 4.21 3.33 6/196 12195
/proc/meminfo: memFree=23546828/32770624 swapFree=0/294640
[pid=12195] ppid=12192 vsize=10551156 CPUtime=0.22 cores=0,2,4,6
/proc/12195/stat : 12195 (java) S 12192 12195 2450 0 -1 1077944320 8271 0 0 0 19 3 0 0 20 0 15 0 1728397 10804383744 9009 18446744073709551615 4194304 4196468 140726325737280 140726325719824 139906120908535 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 9 0 0 6293624 6294260 36765696 140726325739963 140726325740116 140726325740116 140726325743567 0
/proc/12195/statm: 2637789 9009 2874 1 0 2627261 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 10551156
[startup+0.709066 s]
/proc/loadavg: 5.19 4.21 3.33 6/196 12195
/proc/meminfo: memFree=23546828/32770624 swapFree=0/294640
[pid=12195] ppid=12192 vsize=10551232 CPUtime=1.34 cores=0,2,4,6
/proc/12195/stat : 12195 (java) S 12192 12195 2450 0 -1 1077944320 12774 0 0 0 128 6 0 0 20 0 15 0 1728397 10804461568 29305 18446744073709551615 4194304 4196468 140726325737280 140726325719824 139906120908535 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 9 0 0 6293624 6294260 36765696 140726325739963 140726325740116 140726325740116 140726325743567 0
/proc/12195/statm: 2637808 29305 3060 1 0 2627261 0
Current children cumulated CPU time (s) 1.34
Current children cumulated vsize (KiB) 10551232
[startup+1.50075 s]
/proc/loadavg: 5.19 4.21 3.33 6/212 12211
/proc/meminfo: memFree=23428252/32770624 swapFree=0/294664
[pid=12195] ppid=12192 vsize=10617796 CPUtime=3.11 cores=0,2,4,6
/proc/12195/stat : 12195 (java) S 12192 12195 2450 0 -1 1077944320 19030 0 0 0 304 7 0 0 20 0 16 0 1728397 10872623104 34679 18446744073709551615 4194304 4196468 140726325737280 140726325719824 139906120908535 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 9 0 0 6293624 6294260 36765696 140726325739963 140726325740116 140726325740116 140726325743567 0
/proc/12195/statm: 2654449 34679 3076 1 0 2643902 0
[pid=12195/tid=12197] ppid=12192 vsize=10617796 CPUtime=1.34 cores=0,2,4,6
/proc/12195/task/12197/stat : 12197 (java) R 12192 12195 2450 0 -1 4202560 8365 0 0 0 130 4 0 0 20 0 16 0 1728406 10872623104 34679 18446744073709551615 4194304 4196468 140726325737280 139906125147408 139905761416839 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 36765696 140726325739963 140726325740116 140726325740116 140726325743567 0
[pid=12195/tid=12198] ppid=12192 vsize=10617796 CPUtime=0 cores=0,2,4,6
/proc/12195/task/12198/stat : 12198 (java) S 12192 12195 2450 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 1728407 10872623104 34679 18446744073709551615 4194304 4196468 140726325737280 139906077874960 139906120918741 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36765696 140726325739963 140726325740116 140726325740116 140726325743567 0
[pid=12195/tid=12199] ppid=12192 vsize=10617796 CPUtime=0 cores=0,2,4,6
/proc/12195/task/12199/stat : 12199 (java) S 12192 12195 2450 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 1728407 10872623104 34679 18446744073709551615 4194304 4196468 140726325737280 139905731320720 139906120918741 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36765696 140726325739963 140726325740116 140726325740116 140726325743567 0
[pid=12195/tid=12200] ppid=12192 vsize=10617796 CPUtime=0 cores=0,2,4,6
/proc/12195/task/12200/stat : 12200 (java) S 12192 12195 2450 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 1728407 10872623104 34679 18446744073709551615 4194304 4196468 140726325737280 139905730268176 139906120918741 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36765696 140726325739963 140726325740116 140726325740116 140726325743567 0
[pid=12195/tid=12201] ppid=12192 vsize=10617796 CPUtime=0 cores=0,2,4,6
/proc/12195/task/12201/stat : 12201 (java) S 12192 12195 2450 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 16 0 1728407 10872623104 34679 18446744073709551615 4194304 4196468 140726325737280 139905729215632 139906120918741 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36765696 140726325739963 140726325740116 140726325740116 140726325743567 0
[pid=12195/tid=12202] ppid=12192 vsize=10617796 CPUtime=0 cores=0,2,4,6
/proc/12195/task/12202/stat : 12202 (java) S 12192 12195 2450 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 16 0 1728409 10872623104 34679 18446744073709551615 4194304 4196468 140726325737280 139905684940784 139906120919682 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36765696 140726325739963 140726325740116 140726325740116 140726325743567 0
[pid=12195/tid=12203] ppid=12192 vsize=10617796 CPUtime=0 cores=0,2,4,6
/proc/12195/task/12203/stat : 12203 (java) S 12192 12195 2450 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 1728409 10872623104 34679 18446744073709551615 4194304 4196468 140726325737280 139905683887008 139906120918741 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36765696 140726325739963 140726325740116 140726325740116 140726325743567 0
[pid=12195/tid=12204] ppid=12192 vsize=10617796 CPUtime=0 cores=0,2,4,6
/proc/12195/task/12204/stat : 12204 (java) S 12192 12195 2450 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 1728409 10872623104 34679 18446744073709551615 4194304 4196468 140726325737280 139905682834416 139906120918741 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36765696 140726325739963 140726325740116 140726325740116 140726325743567 0
[pid=12195/tid=12205] ppid=12192 vsize=10617796 CPUtime=0 cores=0,2,4,6
/proc/12195/task/12205/stat : 12205 (java) S 12192 12195 2450 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 1728412 10872623104 34679 18446744073709551615 4194304 4196468 140726325737280 139905681782992 139906120927131 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36765696 140726325739963 140726325740116 140726325740116 140726325743567 0
[pid=12195/tid=12206] ppid=12192 vsize=10617796 CPUtime=0.7 cores=0,2,4,6
/proc/12195/task/12206/stat : 12206 (java) S 12192 12195 2450 0 -1 1077944384 3316 0 0 0 70 0 0 0 20 0 16 0 1728412 10872623104 34679 18446744073709551615 4194304 4196468 140726325737280 139905680730608 139906120919682 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36765696 140726325739963 140726325740116 140726325740116 140726325743567 0
[pid=12195/tid=12207] ppid=12192 vsize=10617796 CPUtime=0.7 cores=0,2,4,6
/proc/12195/task/12207/stat : 12207 (java) S 12192 12195 2450 0 -1 1077944384 3583 0 0 0 70 0 0 0 20 0 16 0 1728412 10872623104 34679 18446744073709551615 4194304 4196468 140726325737280 139905679678064 139906120919682 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36765696 140726325739963 140726325740116 140726325740116 140726325743567 0
[pid=12195/tid=12208] ppid=12192 vsize=10617796 CPUtime=0.32 cores=0,2,4,6
/proc/12195/task/12208/stat : 12208 (java) S 12192 12195 2450 0 -1 1077944384 2358 0 0 0 32 0 0 0 20 0 16 0 1728412 10872623104 34679 18446744073709551615 4194304 4196468 140726325737280 139905678625520 139906120919682 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36765696 140726325739963 140726325740116 140726325740116 140726325743567 0
[pid=12195/tid=12209] ppid=12192 vsize=10617796 CPUtime=0 cores=0,2,4,6
/proc/12195/task/12209/stat : 12209 (java) S 12192 12195 2450 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 1728412 10872623104 34679 18446744073709551615 4194304 4196468 140726325737280 139905677573216 139906120918741 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36765696 140726325739963 140726325740116 140726325740116 140726325743567 0
[pid=12195/tid=12210] ppid=12192 vsize=10617796 CPUtime=0 cores=0,2,4,6
/proc/12195/task/12210/stat : 12210 (java) S 12192 12195 2450 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 1728416 10872623104 34679 18446744073709551615 4194304 4196468 140726325737280 139905676519728 139906120919682 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36765696 140726325739963 140726325740116 140726325740116 140726325743567 0
[pid=12195/tid=12211] ppid=12192 vsize=10617796 CPUtime=0 cores=0,2,4,6
/proc/12195/task/12211/stat : 12211 (java) S 12192 12195 2450 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 1728471 10872623104 34679 18446744073709551615 4194304 4196468 140726325737280 139905675465520 139906120919682 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36765696 140726325739963 140726325740116 140726325740116 140726325743567 0
Current children cumulated CPU time (s) 3.11
Current children cumulated vsize (KiB) 10617796
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 12195 sig 9
??? kill -12195 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1.60707 s]
/proc/loadavg: 5.19 4.21 3.33 6/212 12211
/proc/meminfo: memFree=23428252/32770624 swapFree=0/294664
[pid=12195] ppid=12192 vsize=10617796 CPUtime=3.3 cores=0,2,4,6
/proc/12195/stat : 12195 (java) S 12192 12195 2450 0 -1 1077944320 19093 0 0 0 323 7 0 0 20 0 16 0 1728397 10872623104 34703 18446744073709551615 4194304 4196468 140726325737280 140726325719824 139906120908535 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 9 0 0 6293624 6294260 36765696 140726325739963 140726325740116 140726325740116 140726325743567 0
/proc/12195/statm: 2654449 34703 3076 1 0 2643902 0
[pid=12195/tid=12197] ppid=12192 vsize=10617796 CPUtime=1.45 cores=0,2,4,6
/proc/12195/task/12197/stat : 12197 (java) R 12192 12195 2450 0 -1 4202560 8366 0 0 0 141 4 0 0 20 0 16 0 1728406 10872623104 34703 18446744073709551615 4194304 4196468 140726325737280 139906125147408 139905762042239 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 36765696 140726325739963 140726325740116 140726325740116 140726325743567 0
[pid=12195/tid=12198] ppid=12192 vsize=10617796 CPUtime=0 cores=0,2,4,6
/proc/12195/task/12198/stat : 12198 (java) S 12192 12195 2450 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 1728407 10872623104 34703 18446744073709551615 4194304 4196468 140726325737280 139906077874960 139906120918741 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36765696 140726325739963 140726325740116 140726325740116 140726325743567 0
[pid=12195/tid=12199] ppid=12192 vsize=10617796 CPUtime=0 cores=0,2,4,6
/proc/12195/task/12199/stat : 12199 (java) S 12192 12195 2450 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 1728407 10872623104 34703 18446744073709551615 4194304 4196468 140726325737280 139905731320720 139906120918741 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36765696 140726325739963 140726325740116 140726325740116 140726325743567 0
[pid=12195/tid=12200] ppid=12192 vsize=10617796 CPUtime=0 cores=0,2,4,6
/proc/12195/task/12200/stat : 12200 (java) S 12192 12195 2450 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 1728407 10872623104 34703 18446744073709551615 4194304 4196468 140726325737280 139905730268176 139906120918741 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36765696 140726325739963 140726325740116 140726325740116 140726325743567 0
[pid=12195/tid=12201] ppid=12192 vsize=10617796 CPUtime=0 cores=0,2,4,6
/proc/12195/task/12201/stat : 12201 (java) S 12192 12195 2450 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 16 0 1728407 10872623104 34703 18446744073709551615 4194304 4196468 140726325737280 139905729215632 139906120918741 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36765696 140726325739963 140726325740116 140726325740116 140726325743567 0
[pid=12195/tid=12202] ppid=12192 vsize=10617796 CPUtime=0 cores=0,2,4,6
/proc/12195/task/12202/stat : 12202 (java) S 12192 12195 2450 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 16 0 1728409 10872623104 34703 18446744073709551615 4194304 4196468 140726325737280 139905684940784 139906120919682 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36765696 140726325739963 140726325740116 140726325740116 140726325743567 0
[pid=12195/tid=12203] ppid=12192 vsize=10617796 CPUtime=0 cores=0,2,4,6
/proc/12195/task/12203/stat : 12203 (java) S 12192 12195 2450 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 1728409 10872623104 34703 18446744073709551615 4194304 4196468 140726325737280 139905683887008 139906120918741 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36765696 140726325739963 140726325740116 140726325740116 140726325743567 0
[pid=12195/tid=12204] ppid=12192 vsize=10617796 CPUtime=0 cores=0,2,4,6
/proc/12195/task/12204/stat : 12204 (java) S 12192 12195 2450 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 1728409 10872623104 34703 18446744073709551615 4194304 4196468 140726325737280 139905682834416 139906120918741 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36765696 140726325739963 140726325740116 140726325740116 140726325743567 0
[pid=12195/tid=12205] ppid=12192 vsize=10617796 CPUtime=0 cores=0,2,4,6
/proc/12195/task/12205/stat : 12205 (java) S 12192 12195 2450 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 1728412 10872623104 34703 18446744073709551615 4194304 4196468 140726325737280 139905681782992 139906120927131 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36765696 140726325739963 140726325740116 140726325740116 140726325743567 0
[pid=12195/tid=12206] ppid=12192 vsize=10617796 CPUtime=0.71 cores=0,2,4,6
/proc/12195/task/12206/stat : 12206 (java) R 12192 12195 2450 0 -1 4202560 3317 0 0 0 71 0 0 0 20 0 16 0 1728412 10872623104 34703 18446744073709551615 4194304 4196468 140726325737280 139905680730904 139906120922384 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 36765696 140726325739963 140726325740116 140726325740116 140726325743567 0
[pid=12195/tid=12207] ppid=12192 vsize=10617796 CPUtime=0.77 cores=0,2,4,6
/proc/12195/task/12207/stat : 12207 (java) S 12192 12195 2450 0 -1 1077944384 3620 0 0 0 77 0 0 0 20 0 16 0 1728412 10872623104 34703 18446744073709551615 4194304 4196468 140726325737280 139905679678064 139906120919682 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36765696 140726325739963 140726325740116 140726325740116 140726325743567 0
[pid=12195/tid=12208] ppid=12192 vsize=10617796 CPUtime=0.32 cores=0,2,4,6
/proc/12195/task/12208/stat : 12208 (java) S 12192 12195 2450 0 -1 1077944384 2382 0 0 0 32 0 0 0 20 0 16 0 1728412 10872623104 34703 18446744073709551615 4194304 4196468 140726325737280 139905678625520 139906120919682 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36765696 140726325739963 140726325740116 140726325740116 140726325743567 0
[pid=12195/tid=12209] ppid=12192 vsize=10617796 CPUtime=0 cores=0,2,4,6
/proc/12195/task/12209/stat : 12209 (java) S 12192 12195 2450 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 1728412 10872623104 34703 18446744073709551615 4194304 4196468 140726325737280 139905677573216 139906120918741 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36765696 140726325739963 140726325740116 140726325740116 140726325743567 0
[pid=12195/tid=12210] ppid=12192 vsize=10617796 CPUtime=0 cores=0,2,4,6
/proc/12195/task/12210/stat : 12210 (java) S 12192 12195 2450 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 1728416 10872623104 34703 18446744073709551615 4194304 4196468 140726325737280 139905676519728 139906120919682 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36765696 140726325739963 140726325740116 140726325740116 140726325743567 0
[pid=12195/tid=12211] ppid=12192 vsize=10617796 CPUtime=0 cores=0,2,4,6
/proc/12195/task/12211/stat : 12211 (java) S 12192 12195 2450 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 1728471 10872623104 34703 18446744073709551615 4194304 4196468 140726325737280 139905675465520 139906120919682 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36765696 140726325739963 140726325740116 140726325740116 140726325743567 0
Current children cumulated CPU time (s) 3.3
Current children cumulated vsize (KiB) 10617796
[startup+2.00075 s]
/proc/loadavg: 5.19 4.21 3.33 6/212 12211
/proc/meminfo: memFree=23428252/32770624 swapFree=0/294664
[pid=12195] ppid=12192 vsize=10617796 CPUtime=3.96 cores=0,2,4,6
/proc/12195/stat : 12195 (java) S 12192 12195 2450 0 -1 1077944320 19318 0 0 0 389 7 0 0 20 0 16 0 1728397 10872623104 35864 18446744073709551615 4194304 4196468 140726325737280 140726325719824 139906120908535 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 9 0 0 6293624 6294260 36765696 140726325739963 140726325740116 140726325740116 140726325743567 0
/proc/12195/statm: 2654449 35864 3079 1 0 2643902 0
[pid=12195/tid=12197] ppid=12192 vsize=10617796 CPUtime=1.85 cores=0,2,4,6
/proc/12195/task/12197/stat : 12197 (java) R 12192 12195 2450 0 -1 4202560 8373 0 0 0 180 5 0 0 20 0 16 0 1728406 10872623104 35864 18446744073709551615 4194304 4196468 140726325737280 139906125144496 139905761650476 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 36765696 140726325739963 140726325740116 140726325740116 140726325743567 0
[pid=12195/tid=12198] ppid=12192 vsize=10617796 CPUtime=0 cores=0,2,4,6
/proc/12195/task/12198/stat : 12198 (java) S 12192 12195 2450 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 1728407 10872623104 35864 18446744073709551615 4194304 4196468 140726325737280 139906077874960 139906120918741 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36765696 140726325739963 140726325740116 140726325740116 140726325743567 0
[pid=12195/tid=12199] ppid=12192 vsize=10617796 CPUtime=0 cores=0,2,4,6
/proc/12195/task/12199/stat : 12199 (java) S 12192 12195 2450 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 1728407 10872623104 35864 18446744073709551615 4194304 4196468 140726325737280 139905731320720 139906120918741 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36765696 140726325739963 140726325740116 140726325740116 140726325743567 0
[pid=12195/tid=12200] ppid=12192 vsize=10617796 CPUtime=0 cores=0,2,4,6
/proc/12195/task/12200/stat : 12200 (java) S 12192 12195 2450 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 1728407 10872623104 35864 18446744073709551615 4194304 4196468 140726325737280 139905730268176 139906120918741 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36765696 140726325739963 140726325740116 140726325740116 140726325743567 0
[pid=12195/tid=12201] ppid=12192 vsize=10617796 CPUtime=0 cores=0,2,4,6
/proc/12195/task/12201/stat : 12201 (java) S 12192 12195 2450 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 16 0 1728407 10872623104 35864 18446744073709551615 4194304 4196468 140726325737280 139905729215632 139906120918741 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36765696 140726325739963 140726325740116 140726325740116 140726325743567 0
[pid=12195/tid=12202] ppid=12192 vsize=10617796 CPUtime=0 cores=0,2,4,6
/proc/12195/task/12202/stat : 12202 (java) S 12192 12195 2450 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 16 0 1728409 10872623104 35864 18446744073709551615 4194304 4196468 140726325737280 139905684940784 139906120919682 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36765696 140726325739963 140726325740116 140726325740116 140726325743567 0
[pid=12195/tid=12203] ppid=12192 vsize=10617796 CPUtime=0 cores=0,2,4,6
/proc/12195/task/12203/stat : 12203 (java) S 12192 12195 2450 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 1728409 10872623104 35864 18446744073709551615 4194304 4196468 140726325737280 139905683887008 139906120918741 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36765696 140726325739963 140726325740116 140726325740116 140726325743567 0
[pid=12195/tid=12204] ppid=12192 vsize=10617796 CPUtime=0 cores=0,2,4,6
/proc/12195/task/12204/stat : 12204 (java) S 12192 12195 2450 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 1728409 10872623104 35864 18446744073709551615 4194304 4196468 140726325737280 139905682834416 139906120918741 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36765696 140726325739963 140726325740116 140726325740116 140726325743567 0
[pid=12195/tid=12205] ppid=12192 vsize=10617796 CPUtime=0 cores=0,2,4,6
/proc/12195/task/12205/stat : 12205 (java) S 12192 12195 2450 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 1728412 10872623104 35864 18446744073709551615 4194304 4196468 140726325737280 139905681782992 139906120927131 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36765696 140726325739963 140726325740116 140726325740116 140726325743567 0
[pid=12195/tid=12206] ppid=12192 vsize=10617796 CPUtime=0.84 cores=0,2,4,6
/proc/12195/task/12206/stat : 12206 (java) S 12192 12195 2450 0 -1 1077944384 3349 0 0 0 84 0 0 0 20 0 16 0 1728412 10872623104 35864 18446744073709551615 4194304 4196468 140726325737280 139905680730608 139906120919682 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36765696 140726325739963 140726325740116 140726325740116 140726325743567 0
[pid=12195/tid=12207] ppid=12192 vsize=10617796 CPUtime=0.89 cores=0,2,4,6
/proc/12195/task/12207/stat : 12207 (java) R 12192 12195 2450 0 -1 4202560 3740 0 0 0 89 0 0 0 20 0 16 0 1728412 10872623104 35864 18446744073709551615 4194304 4196468 140726325737280 139905679678064 139906100287089 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36765696 140726325739963 140726325740116 140726325740116 140726325743567 0
[pid=12195/tid=12208] ppid=12192 vsize=10617796 CPUtime=0.34 cores=0,2,4,6
/proc/12195/task/12208/stat : 12208 (java) S 12192 12195 2450 0 -1 1077944384 2412 0 0 0 34 0 0 0 20 0 16 0 1728412 10872623104 35864 18446744073709551615 4194304 4196468 140726325737280 139905678625520 139906120919682 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36765696 140726325739963 140726325740116 140726325740116 140726325743567 0
[pid=12195/tid=12209] ppid=12192 vsize=10617796 CPUtime=0 cores=0,2,4,6
/proc/12195/task/12209/stat : 12209 (java) S 12192 12195 2450 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 1728412 10872623104 35864 18446744073709551615 4194304 4196468 140726325737280 139905677573216 139906120918741 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36765696 140726325739963 140726325740116 140726325740116 140726325743567 0
[pid=12195/tid=12210] ppid=12192 vsize=10617796 CPUtime=0 cores=0,2,4,6
/proc/12195/task/12210/stat : 12210 (java) S 12192 12195 2450 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 16 0 1728416 10872623104 35864 18446744073709551615 4194304 4196468 140726325737280 139905676519728 139906120919682 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36765696 140726325739963 140726325740116 140726325740116 140726325743567 0
[pid=12195/tid=12211] ppid=12192 vsize=10617796 CPUtime=0 cores=0,2,4,6
/proc/12195/task/12211/stat : 12211 (java) S 12192 12195 2450 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 1728471 10872623104 35864 18446744073709551615 4194304 4196468 140726325737280 139905675465520 139906120919682 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36765696 140726325739963 140726325740116 140726325740116 140726325743567 0
Current children cumulated CPU time (s) 3.96
Current children cumulated vsize (KiB) 10617796
[startup+2.20069 s]
/proc/loadavg: 5.19 4.21 3.33 5/212 12213
/proc/meminfo: memFree=23411296/32770624 swapFree=0/294664
[pid=12195] ppid=12192 vsize=10750924 CPUtime=4.04 cores=0,2,4,6
/proc/12195/stat : 12195 (java) S 12192 12195 2450 0 -1 1077944320 19741 0 0 0 397 7 0 0 20 0 16 0 1728397 11008946176 36918 18446744073709551615 4194304 4196468 140726325737280 140726325719824 139906120908535 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 9 0 0 6293624 6294260 36765696 140726325739963 140726325740116 140726325740116 140726325743567 0
/proc/12195/statm: 2687731 36918 3081 1 0 2677184 0
[pid=12195/tid=12197] ppid=12192 vsize=10750924 CPUtime=1.9 cores=0,2,4,6
/proc/12195/task/12197/stat : 12197 (java) S 12192 12195 2450 0 -1 1077944384 8652 0 0 0 185 5 0 0 20 0 16 0 1728406 11008946176 36918 18446744073709551615 4194304 4196468 140726325737280 139906125149216 139906120918741 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 3 0 0 6293624 6294260 36765696 140726325739963 140726325740116 140726325740116 140726325743567 0
[pid=12195/tid=12198] ppid=12192 vsize=10750924 CPUtime=0 cores=0,2,4,6
/proc/12195/task/12198/stat : 12198 (java) S 12192 12195 2450 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 1728407 11008946176 36918 18446744073709551615 4194304 4196468 140726325737280 139906077874960 139906120918741 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36765696 140726325739963 140726325740116 140726325740116 140726325743567 0
[pid=12195/tid=12199] ppid=12192 vsize=10750924 CPUtime=0 cores=0,2,4,6
/proc/12195/task/12199/stat : 12199 (java) S 12192 12195 2450 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 1728407 11008946176 36918 18446744073709551615 4194304 4196468 140726325737280 139905731320720 139906120918741 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36765696 140726325739963 140726325740116 140726325740116 140726325743567 0
[pid=12195/tid=12200] ppid=12192 vsize=10750924 CPUtime=0 cores=0,2,4,6
/proc/12195/task/12200/stat : 12200 (java) S 12192 12195 2450 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 1728407 11008946176 36918 18446744073709551615 4194304 4196468 140726325737280 139905730268176 139906120918741 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36765696 140726325739963 140726325740116 140726325740116 140726325743567 0
[pid=12195/tid=12201] ppid=12192 vsize=10750924 CPUtime=0 cores=0,2,4,6
/proc/12195/task/12201/stat : 12201 (java) S 12192 12195 2450 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 16 0 1728407 11008946176 36918 18446744073709551615 4194304 4196468 140726325737280 139905729215632 139906120918741 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36765696 140726325739963 140726325740116 140726325740116 140726325743567 0
[pid=12195/tid=12202] ppid=12192 vsize=10750924 CPUtime=0 cores=0,2,4,6
/proc/12195/task/12202/stat : 12202 (java) S 12192 12195 2450 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 16 0 1728409 11008946176 36918 18446744073709551615 4194304 4196468 140726325737280 139905684940784 139906120919682 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36765696 140726325739963 140726325740116 140726325740116 140726325743567 0
[pid=12195/tid=12203] ppid=12192 vsize=10750924 CPUtime=0 cores=0,2,4,6
/proc/12195/task/12203/stat : 12203 (java) S 12192 12195 2450 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 1728409 11008946176 36918 18446744073709551615 4194304 4196468 140726325737280 139905683887008 139906120918741 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36765696 140726325739963 140726325740116 140726325740116 140726325743567 0
[pid=12195/tid=12204] ppid=12192 vsize=10750924 CPUtime=0 cores=0,2,4,6
/proc/12195/task/12204/stat : 12204 (java) S 12192 12195 2450 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 1728409 11008946176 36918 18446744073709551615 4194304 4196468 140726325737280 139905682834416 139906120918741 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36765696 140726325739963 140726325740116 140726325740116 140726325743567 0
[pid=12195/tid=12205] ppid=12192 vsize=10750924 CPUtime=0 cores=0,2,4,6
/proc/12195/task/12205/stat : 12205 (java) S 12192 12195 2450 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 1728412 11008946176 36918 18446744073709551615 4194304 4196468 140726325737280 139905681782992 139906120927131 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36765696 140726325739963 140726325740116 140726325740116 140726325743567 0
[pid=12195/tid=12206] ppid=12192 vsize=10750924 CPUtime=0.84 cores=0,2,4,6
/proc/12195/task/12206/stat : 12206 (java) S 12192 12195 2450 0 -1 1077944384 3357 0 0 0 84 0 0 0 20 0 16 0 1728412 11008946176 36918 18446744073709551615 4194304 4196468 140726325737280 139905680730608 139906120919682 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36765696 140726325739963 140726325740116 140726325740116 140726325743567 0
[pid=12195/tid=12207] ppid=12192 vsize=10750924 CPUtime=0.92 cores=0,2,4,6
/proc/12195/task/12207/stat : 12207 (java) S 12192 12195 2450 0 -1 1077944384 3745 0 0 0 92 0 0 0 20 0 16 0 1728412 11008946176 36918 18446744073709551615 4194304 4196468 140726325737280 139905679678064 139906120919682 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36765696 140726325739963 140726325740116 140726325740116 140726325743567 0
[pid=12195/tid=12208] ppid=12192 vsize=10750924 CPUtime=0.34 cores=0,2,4,6
/proc/12195/task/12208/stat : 12208 (java) S 12192 12195 2450 0 -1 1077944384 2424 0 0 0 34 0 0 0 20 0 16 0 1728412 11008946176 36918 18446744073709551615 4194304 4196468 140726325737280 139905678625520 139906120919682 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36765696 140726325739963 140726325740116 140726325740116 140726325743567 0
[pid=12195/tid=12209] ppid=12192 vsize=10750924 CPUtime=0 cores=0,2,4,6
/proc/12195/task/12209/stat : 12209 (java) S 12192 12195 2450 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 1728412 11008946176 36918 18446744073709551615 4194304 4196468 140726325737280 139905677573216 139906120918741 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36765696 140726325739963 140726325740116 140726325740116 140726325743567 0
[pid=12195/tid=12210] ppid=12192 vsize=10750924 CPUtime=0 cores=0,2,4,6
/proc/12195/task/12210/stat : 12210 (java) S 12192 12195 2450 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 16 0 1728416 11008946176 36918 18446744073709551615 4194304 4196468 140726325737280 139905676519728 139906120919682 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36765696 140726325739963 140726325740116 140726325740116 140726325743567 0
[pid=12195/tid=12212] ppid=12192 vsize=10750924 CPUtime=0 cores=0,2,4,6
/proc/12195/task/12212/stat : 12212 (java) S 12192 12195 2450 0 -1 1077944384 30 0 0 0 0 0 0 0 20 0 16 0 1728601 11008946176 36918 18446744073709551615 4194304 4196468 140726325737280 139905217848464 139906120919682 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36765696 140726325739963 140726325740116 140726325740116 140726325743567 0
Current children cumulated CPU time (s) 4.04
Current children cumulated vsize (KiB) 10750924
Child status: 0
Real time (s): 2.25202
CPU time (s): 4.058
CPU user time (s): 3.97568
CPU system time (s): 0.082318
CPU usage (%): 180.193
Max. virtual memory (cumulated for all children) (KiB): 10750924
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.97568
system time used= 0.082318
maximum resident set size= 150188
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 20140
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1737
involuntary context switches= 10
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.01528 second user time and 0.016372 second system time
The end