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-4247000-1502064792/watcher-4247000-1502064792 -o /tmp/evaluation-result-4247000-1502064792/solver-4247000-1502064792 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node134-1502043430-5272 --watchdog 2560 java -jar HOME/AbsCon-basic.jar HOME/instance-4247000-1502064792.xml
pid=9369
running on 4 cores: 1,3,5,7
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: 2.05 2.04 1.97 3/199 9372
/proc/meminfo: memFree=31138896/32770624 swapFree=0/419052
[pid=9372] ppid=9369 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/9372/stat : 9372 (runsolver) D 9369 9372 25139 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 53985232 24240128 106 18446744073709551615 4194304 4338465 140725674740768 140725674738408 139832333193943 0 0 1 24578 18446744071580418449 0 0 17 5 0 0 0 0 0 6438912 6441760 18841600 140725674741920 140725674742345 140725674742345 140725674745802 0
/proc/9372/statm: 5918 106 53 36 0 2156 0
[startup+0.100156 s]
/proc/loadavg: 2.05 2.04 1.97 3/199 9372
/proc/meminfo: memFree=31138896/32770624 swapFree=0/419052
[pid=9372] ppid=9369 vsize=10151672 CPUtime=0.03 cores=1,3,5,7
/proc/9372/stat : 9372 (java) S 9369 9372 25139 0 -1 1077944320 4048 0 0 0 3 0 0 0 20 0 9 0 53985232 10395312128 5186 18446744073709551615 4194304 4196468 140722891777632 140722891760176 140261193096951 0 0 1 16800970 18446744073709551615 0 0 17 7 0 0 5 0 0 6293624 6294260 27856896 140722891780557 140722891780686 140722891780686 140722891784143 0
/proc/9372/statm: 2537918 5186 2155 1 0 2527415 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 10151672
[startup+0.200224 s]
/proc/loadavg: 2.05 2.04 1.97 3/199 9372
/proc/meminfo: memFree=31138896/32770624 swapFree=0/419052
[pid=9372] ppid=9369 vsize=10551180 CPUtime=0.15 cores=1,3,5,7
/proc/9372/stat : 9372 (java) S 9369 9372 25139 0 -1 1077944320 5500 0 0 0 14 1 0 0 20 0 15 0 53985232 10804408320 6981 18446744073709551615 4194304 4196468 140722891777632 140722891760176 140261193096951 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 5 0 0 6293624 6294260 27856896 140722891780557 140722891780686 140722891780686 140722891784143 0
/proc/9372/statm: 2637795 6981 2834 1 0 2627261 0
Current children cumulated CPU time (s) 0.15
Current children cumulated vsize (KiB) 10551180
[startup+0.301413 s]
/proc/loadavg: 2.05 2.04 1.97 3/199 9372
/proc/meminfo: memFree=31138896/32770624 swapFree=0/419052
[pid=9372] ppid=9369 vsize=10553264 CPUtime=0.35 cores=1,3,5,7
/proc/9372/stat : 9372 (java) S 9369 9372 25139 0 -1 1077944320 9128 0 0 0 33 2 0 0 20 0 15 0 53985232 10806542336 11041 18446744073709551615 4194304 4196468 140722891777632 140722891760176 140261193096951 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 5 0 0 6293624 6294260 27856896 140722891780557 140722891780686 140722891780686 140722891784143 0
/proc/9372/statm: 2638316 11041 2985 1 0 2627261 0
Current children cumulated CPU time (s) 0.35
Current children cumulated vsize (KiB) 10553264
[startup+0.700418 s]
/proc/loadavg: 2.05 2.04 1.97 3/199 9372
/proc/meminfo: memFree=31138896/32770624 swapFree=0/419052
[pid=9372] ppid=9369 vsize=10621952 CPUtime=1.39 cores=1,3,5,7
/proc/9372/stat : 9372 (java) S 9369 9372 25139 0 -1 1077944320 15057 0 0 0 135 4 0 0 20 0 16 0 53985232 10876878848 22839 18446744073709551615 4194304 4196468 140722891777632 140722891760176 140261193096951 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 5 0 0 6293624 6294260 27856896 140722891780557 140722891780686 140722891780686 140722891784143 0
/proc/9372/statm: 2655488 22839 3075 1 0 2644414 0
Current children cumulated CPU time (s) 1.39
Current children cumulated vsize (KiB) 10621952
[startup+1.50061 s]
/proc/loadavg: 2.13 2.05 1.98 5/215 9388
/proc/meminfo: memFree=31025668/32770624 swapFree=0/419332
[pid=9372] ppid=9369 vsize=10624000 CPUtime=3.9 cores=1,3,5,7
/proc/9372/stat : 9372 (java) S 9369 9372 25139 0 -1 1077944320 23501 0 0 0 383 7 0 0 20 0 16 0 53985232 10878976000 31861 18446744073709551615 4194304 4196468 140722891777632 140722891760176 140261193096951 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 5 0 0 6293624 6294260 27856896 140722891780557 140722891780686 140722891780686 140722891784143 0
/proc/9372/statm: 2656000 31861 3109 1 0 2644926 0
[pid=9372/tid=9374] ppid=9369 vsize=10624000 CPUtime=0.21 cores=1,3,5,7
/proc/9372/task/9374/stat : 9374 (java) S 9369 9372 25139 0 -1 1077944384 6176 0 0 0 19 2 0 0 20 0 16 0 53985238 10878976000 31861 18446744073709551615 4194304 4196468 140722891777632 140261197339824 140261193107157 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 3 0 0 6293624 6294260 27856896 140722891780557 140722891780686 140722891780686 140722891784143 0
[pid=9372/tid=9375] ppid=9369 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/9372/task/9375/stat : 9375 (java) S 9369 9372 25139 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 53985238 10878976000 31861 18446744073709551615 4194304 4196468 140722891777632 140260804319888 140261193107157 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27856896 140722891780557 140722891780686 140722891780686 140722891784143 0
[pid=9372/tid=9376] ppid=9369 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/9372/task/9376/stat : 9376 (java) S 9369 9372 25139 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 53985238 10878976000 31861 18446744073709551615 4194304 4196468 140722891777632 140260803267088 140261193107157 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27856896 140722891780557 140722891780686 140722891780686 140722891784143 0
[pid=9372/tid=9377] ppid=9369 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/9372/task/9377/stat : 9377 (java) S 9369 9372 25139 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 53985238 10878976000 31861 18446744073709551615 4194304 4196468 140722891777632 140260802214288 140261193107157 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27856896 140722891780557 140722891780686 140722891780686 140722891784143 0
[pid=9372/tid=9378] ppid=9369 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/9372/task/9378/stat : 9378 (java) S 9369 9372 25139 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 16 0 53985238 10878976000 31861 18446744073709551615 4194304 4196468 140722891777632 140260801161488 140261193107157 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27856896 140722891780557 140722891780686 140722891780686 140722891784143 0
[pid=9372/tid=9379] ppid=9369 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/9372/task/9379/stat : 9379 (java) S 9369 9372 25139 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 16 0 53985240 10878976000 31861 18446744073709551615 4194304 4196468 140722891777632 140260757261168 140261193108098 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27856896 140722891780557 140722891780686 140722891780686 140722891784143 0
[pid=9372/tid=9380] ppid=9369 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/9372/task/9380/stat : 9380 (java) S 9369 9372 25139 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 53985240 10878976000 31861 18446744073709551615 4194304 4196468 140722891777632 140260756207136 140261193107157 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27856896 140722891780557 140722891780686 140722891780686 140722891784143 0
[pid=9372/tid=9381] ppid=9369 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/9372/task/9381/stat : 9381 (java) S 9369 9372 25139 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 53985240 10878976000 31861 18446744073709551615 4194304 4196468 140722891777632 140260755154288 140261193107157 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27856896 140722891780557 140722891780686 140722891780686 140722891784143 0
[pid=9372/tid=9382] ppid=9369 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/9372/task/9382/stat : 9382 (java) S 9369 9372 25139 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 53985243 10878976000 31861 18446744073709551615 4194304 4196468 140722891777632 140260754102608 140261193115547 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27856896 140722891780557 140722891780686 140722891780686 140722891784143 0
[pid=9372/tid=9383] ppid=9369 vsize=10624000 CPUtime=0.94 cores=1,3,5,7
/proc/9372/task/9383/stat : 9383 (java) R 9369 9372 25139 0 -1 4202560 3285 0 0 0 94 0 0 0 20 0 16 0 53985243 10878976000 31861 18446744073709551615 4194304 4196468 140722891777632 140260753049968 140261173316977 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27856896 140722891780557 140722891780686 140722891780686 140722891784143 0
[pid=9372/tid=9384] ppid=9369 vsize=10624000 CPUtime=1.01 cores=1,3,5,7
/proc/9372/task/9384/stat : 9384 (java) S 9369 9372 25139 0 -1 1077944384 3452 0 0 0 101 0 0 0 20 0 16 0 53985243 10878976000 31861 18446744073709551615 4194304 4196468 140722891777632 140260751997168 140261193108098 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27856896 140722891780557 140722891780686 140722891780686 140722891784143 0
[pid=9372/tid=9385] ppid=9369 vsize=10624000 CPUtime=0.53 cores=1,3,5,7
/proc/9372/task/9385/stat : 9385 (java) R 9369 9372 25139 0 -1 1077944384 3421 0 0 0 53 0 0 0 20 0 16 0 53985243 10878976000 31861 18446744073709551615 4194304 4196468 140722891777632 140260750944464 140261193107157 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 27856896 140722891780557 140722891780686 140722891780686 140722891784143 0
[pid=9372/tid=9386] ppid=9369 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/9372/task/9386/stat : 9386 (java) S 9369 9372 25139 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 53985243 10878976000 31861 18446744073709551615 4194304 4196468 140722891777632 140260749891808 140261193107157 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27856896 140722891780557 140722891780686 140722891780686 140722891784143 0
[pid=9372/tid=9387] ppid=9369 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/9372/task/9387/stat : 9387 (java) S 9369 9372 25139 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 16 0 53985247 10878976000 31861 18446744073709551615 4194304 4196468 140722891777632 140260748840112 140261193108098 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27856896 140722891780557 140722891780686 140722891780686 140722891784143 0
[pid=9372/tid=9388] ppid=9369 vsize=10624000 CPUtime=1.17 cores=1,3,5,7
/proc/9372/task/9388/stat : 9388 (java) R 9369 9372 25139 0 -1 4202560 5796 0 0 0 114 3 0 0 20 0 16 0 53985263 10878976000 31861 18446744073709551615 4194304 4196468 140722891777632 140260677728688 140261193108886 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27856896 140722891780557 140722891780686 140722891780686 140722891784143 0
Current children cumulated CPU time (s) 3.9
Current children cumulated vsize (KiB) 10624000
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 9372 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1.60117 s]
/proc/loadavg: 2.13 2.05 1.98 5/215 9388
/proc/meminfo: memFree=31025668/32770624 swapFree=0/419332
[pid=9372] ppid=9369 vsize=10624000 CPUtime=4.03 cores=1,3,5,7
/proc/9372/stat : 9372 (java) S 9369 9372 25139 0 -1 1077944320 23560 0 0 0 396 7 0 0 20 0 16 0 53985232 10878976000 31872 18446744073709551615 4194304 4196468 140722891777632 140722891760176 140261193096951 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 5 0 0 6293624 6294260 27856896 140722891780557 140722891780686 140722891780686 140722891784143 0
/proc/9372/statm: 2656000 31872 3109 1 0 2644926 0
[pid=9372/tid=9374] ppid=9369 vsize=10624000 CPUtime=0.21 cores=1,3,5,7
/proc/9372/task/9374/stat : 9374 (java) S 9369 9372 25139 0 -1 1077944384 6176 0 0 0 19 2 0 0 20 0 16 0 53985238 10878976000 31872 18446744073709551615 4194304 4196468 140722891777632 140261197339824 140261193107157 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 3 0 0 6293624 6294260 27856896 140722891780557 140722891780686 140722891780686 140722891784143 0
[pid=9372/tid=9375] ppid=9369 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/9372/task/9375/stat : 9375 (java) S 9369 9372 25139 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 53985238 10878976000 31872 18446744073709551615 4194304 4196468 140722891777632 140260804319888 140261193107157 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27856896 140722891780557 140722891780686 140722891780686 140722891784143 0
[pid=9372/tid=9376] ppid=9369 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/9372/task/9376/stat : 9376 (java) S 9369 9372 25139 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 53985238 10878976000 31872 18446744073709551615 4194304 4196468 140722891777632 140260803267088 140261193107157 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27856896 140722891780557 140722891780686 140722891780686 140722891784143 0
[pid=9372/tid=9377] ppid=9369 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/9372/task/9377/stat : 9377 (java) S 9369 9372 25139 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 53985238 10878976000 31872 18446744073709551615 4194304 4196468 140722891777632 140260802214288 140261193107157 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27856896 140722891780557 140722891780686 140722891780686 140722891784143 0
[pid=9372/tid=9378] ppid=9369 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/9372/task/9378/stat : 9378 (java) S 9369 9372 25139 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 16 0 53985238 10878976000 31872 18446744073709551615 4194304 4196468 140722891777632 140260801161488 140261193107157 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27856896 140722891780557 140722891780686 140722891780686 140722891784143 0
[pid=9372/tid=9379] ppid=9369 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/9372/task/9379/stat : 9379 (java) S 9369 9372 25139 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 16 0 53985240 10878976000 31872 18446744073709551615 4194304 4196468 140722891777632 140260757261168 140261193108098 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27856896 140722891780557 140722891780686 140722891780686 140722891784143 0
[pid=9372/tid=9380] ppid=9369 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/9372/task/9380/stat : 9380 (java) S 9369 9372 25139 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 53985240 10878976000 31872 18446744073709551615 4194304 4196468 140722891777632 140260756207136 140261193107157 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27856896 140722891780557 140722891780686 140722891780686 140722891784143 0
[pid=9372/tid=9381] ppid=9369 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/9372/task/9381/stat : 9381 (java) S 9369 9372 25139 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 53985240 10878976000 31872 18446744073709551615 4194304 4196468 140722891777632 140260755154288 140261193107157 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27856896 140722891780557 140722891780686 140722891780686 140722891784143 0
[pid=9372/tid=9382] ppid=9369 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/9372/task/9382/stat : 9382 (java) S 9369 9372 25139 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 53985243 10878976000 31872 18446744073709551615 4194304 4196468 140722891777632 140260754102608 140261193115547 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27856896 140722891780557 140722891780686 140722891780686 140722891784143 0
[pid=9372/tid=9383] ppid=9369 vsize=10624000 CPUtime=0.95 cores=1,3,5,7
/proc/9372/task/9383/stat : 9383 (java) S 9369 9372 25139 0 -1 1077944384 3299 0 0 0 95 0 0 0 20 0 16 0 53985243 10878976000 31872 18446744073709551615 4194304 4196468 140722891777632 140260753049968 140261193108098 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27856896 140722891780557 140722891780686 140722891780686 140722891784143 0
[pid=9372/tid=9384] ppid=9369 vsize=10624000 CPUtime=1.02 cores=1,3,5,7
/proc/9372/task/9384/stat : 9384 (java) S 9369 9372 25139 0 -1 1077944384 3462 0 0 0 102 0 0 0 20 0 16 0 53985243 10878976000 31872 18446744073709551615 4194304 4196468 140722891777632 140260751997168 140261193108098 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27856896 140722891780557 140722891780686 140722891780686 140722891784143 0
[pid=9372/tid=9385] ppid=9369 vsize=10624000 CPUtime=0.54 cores=1,3,5,7
/proc/9372/task/9385/stat : 9385 (java) S 9369 9372 25139 0 -1 1077944384 3455 0 0 0 54 0 0 0 20 0 16 0 53985243 10878976000 31872 18446744073709551615 4194304 4196468 140722891777632 140260750944368 140261193108098 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27856896 140722891780557 140722891780686 140722891780686 140722891784143 0
[pid=9372/tid=9386] ppid=9369 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/9372/task/9386/stat : 9386 (java) S 9369 9372 25139 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 53985243 10878976000 31872 18446744073709551615 4194304 4196468 140722891777632 140260749891808 140261193107157 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27856896 140722891780557 140722891780686 140722891780686 140722891784143 0
[pid=9372/tid=9387] ppid=9369 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/9372/task/9387/stat : 9387 (java) S 9369 9372 25139 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 16 0 53985247 10878976000 31872 18446744073709551615 4194304 4196468 140722891777632 140260748840112 140261193108098 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27856896 140722891780557 140722891780686 140722891780686 140722891784143 0
[pid=9372/tid=9388] ppid=9369 vsize=10624000 CPUtime=1.27 cores=1,3,5,7
/proc/9372/task/9388/stat : 9388 (java) R 9369 9372 25139 0 -1 4202560 5797 0 0 0 124 3 0 0 20 0 16 0 53985263 10878976000 31872 18446744073709551615 4194304 4196468 140722891777632 140260677728688 140260836079335 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27856896 140722891780557 140722891780686 140722891780686 140722891784143 0
Current children cumulated CPU time (s) 4.03
Current children cumulated vsize (KiB) 10624000
[startup+2.00062 s]
/proc/loadavg: 2.13 2.05 1.98 5/215 9388
/proc/meminfo: memFree=31025668/32770624 swapFree=0/419332
[pid=9372] ppid=9369 vsize=10624000 CPUtime=4.48 cores=1,3,5,7
/proc/9372/stat : 9372 (java) S 9369 9372 25139 0 -1 1077944320 23668 0 0 0 441 7 0 0 20 0 16 0 53985232 10878976000 32418 18446744073709551615 4194304 4196468 140722891777632 140722891760176 140261193096951 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 5 0 0 6293624 6294260 27856896 140722891780557 140722891780686 140722891780686 140722891784143 0
/proc/9372/statm: 2656000 32418 3109 1 0 2644926 0
[pid=9372/tid=9374] ppid=9369 vsize=10624000 CPUtime=0.21 cores=1,3,5,7
/proc/9372/task/9374/stat : 9374 (java) S 9369 9372 25139 0 -1 1077944384 6176 0 0 0 19 2 0 0 20 0 16 0 53985238 10878976000 32418 18446744073709551615 4194304 4196468 140722891777632 140261197339824 140261193107157 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 3 0 0 6293624 6294260 27856896 140722891780557 140722891780686 140722891780686 140722891784143 0
[pid=9372/tid=9375] ppid=9369 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/9372/task/9375/stat : 9375 (java) S 9369 9372 25139 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 53985238 10878976000 32418 18446744073709551615 4194304 4196468 140722891777632 140260804319888 140261193107157 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27856896 140722891780557 140722891780686 140722891780686 140722891784143 0
[pid=9372/tid=9376] ppid=9369 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/9372/task/9376/stat : 9376 (java) S 9369 9372 25139 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 53985238 10878976000 32418 18446744073709551615 4194304 4196468 140722891777632 140260803267088 140261193107157 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27856896 140722891780557 140722891780686 140722891780686 140722891784143 0
[pid=9372/tid=9377] ppid=9369 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/9372/task/9377/stat : 9377 (java) S 9369 9372 25139 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 53985238 10878976000 32418 18446744073709551615 4194304 4196468 140722891777632 140260802214288 140261193107157 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27856896 140722891780557 140722891780686 140722891780686 140722891784143 0
[pid=9372/tid=9378] ppid=9369 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/9372/task/9378/stat : 9378 (java) S 9369 9372 25139 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 16 0 53985238 10878976000 32418 18446744073709551615 4194304 4196468 140722891777632 140260801161488 140261193107157 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27856896 140722891780557 140722891780686 140722891780686 140722891784143 0
[pid=9372/tid=9379] ppid=9369 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/9372/task/9379/stat : 9379 (java) S 9369 9372 25139 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 16 0 53985240 10878976000 32418 18446744073709551615 4194304 4196468 140722891777632 140260757261168 140261193108098 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27856896 140722891780557 140722891780686 140722891780686 140722891784143 0
[pid=9372/tid=9380] ppid=9369 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/9372/task/9380/stat : 9380 (java) S 9369 9372 25139 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 53985240 10878976000 32418 18446744073709551615 4194304 4196468 140722891777632 140260756207136 140261193107157 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27856896 140722891780557 140722891780686 140722891780686 140722891784143 0
[pid=9372/tid=9381] ppid=9369 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/9372/task/9381/stat : 9381 (java) S 9369 9372 25139 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 53985240 10878976000 32418 18446744073709551615 4194304 4196468 140722891777632 140260755154288 140261193107157 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27856896 140722891780557 140722891780686 140722891780686 140722891784143 0
[pid=9372/tid=9382] ppid=9369 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/9372/task/9382/stat : 9382 (java) S 9369 9372 25139 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 53985243 10878976000 32418 18446744073709551615 4194304 4196468 140722891777632 140260754102608 140261193115547 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27856896 140722891780557 140722891780686 140722891780686 140722891784143 0
[pid=9372/tid=9383] ppid=9369 vsize=10624000 CPUtime=0.96 cores=1,3,5,7
/proc/9372/task/9383/stat : 9383 (java) S 9369 9372 25139 0 -1 1077944384 3305 0 0 0 96 0 0 0 20 0 16 0 53985243 10878976000 32418 18446744073709551615 4194304 4196468 140722891777632 140260753049968 140261193108098 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27856896 140722891780557 140722891780686 140722891780686 140722891784143 0
[pid=9372/tid=9384] ppid=9369 vsize=10624000 CPUtime=1.04 cores=1,3,5,7
/proc/9372/task/9384/stat : 9384 (java) S 9369 9372 25139 0 -1 1077944384 3471 0 0 0 104 0 0 0 20 0 16 0 53985243 10878976000 32418 18446744073709551615 4194304 4196468 140722891777632 140260751997168 140261193108098 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27856896 140722891780557 140722891780686 140722891780686 140722891784143 0
[pid=9372/tid=9385] ppid=9369 vsize=10624000 CPUtime=0.55 cores=1,3,5,7
/proc/9372/task/9385/stat : 9385 (java) S 9369 9372 25139 0 -1 1077944384 3532 0 0 0 55 0 0 0 20 0 16 0 53985243 10878976000 32418 18446744073709551615 4194304 4196468 140722891777632 140260750944368 140261193108098 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27856896 140722891780557 140722891780686 140722891780686 140722891784143 0
[pid=9372/tid=9386] ppid=9369 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/9372/task/9386/stat : 9386 (java) S 9369 9372 25139 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 53985243 10878976000 32418 18446744073709551615 4194304 4196468 140722891777632 140260749891808 140261193107157 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27856896 140722891780557 140722891780686 140722891780686 140722891784143 0
[pid=9372/tid=9387] ppid=9369 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/9372/task/9387/stat : 9387 (java) S 9369 9372 25139 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 16 0 53985247 10878976000 32418 18446744073709551615 4194304 4196468 140722891777632 140260748840112 140261193108098 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27856896 140722891780557 140722891780686 140722891780686 140722891784143 0
[pid=9372/tid=9388] ppid=9369 vsize=10624000 CPUtime=1.67 cores=1,3,5,7
/proc/9372/task/9388/stat : 9388 (java) R 9369 9372 25139 0 -1 4202560 5813 0 0 0 164 3 0 0 20 0 16 0 53985263 10878976000 32418 18446744073709551615 4194304 4196468 140722891777632 140260677728688 140260836570874 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27856896 140722891780557 140722891780686 140722891780686 140722891784143 0
Current children cumulated CPU time (s) 4.48
Current children cumulated vsize (KiB) 10624000
[startup+2.10067 s]
/proc/loadavg: 2.13 2.05 1.98 5/215 9388
/proc/meminfo: memFree=31025668/32770624 swapFree=0/419332
[pid=9372] ppid=9369 vsize=10624000 CPUtime=4.58 cores=1,3,5,7
/proc/9372/stat : 9372 (java) S 9369 9372 25139 0 -1 1077944320 23834 0 0 0 451 7 0 0 20 0 16 0 53985232 10878976000 32418 18446744073709551615 4194304 4196468 140722891777632 140722891760176 140261193096951 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 5 0 0 6293624 6294260 27856896 140722891780557 140722891780686 140722891780686 140722891784143 0
/proc/9372/statm: 2656000 32418 3109 1 0 2644926 0
[pid=9372/tid=9374] ppid=9369 vsize=10624000 CPUtime=0.21 cores=1,3,5,7
/proc/9372/task/9374/stat : 9374 (java) S 9369 9372 25139 0 -1 1077944384 6176 0 0 0 19 2 0 0 20 0 16 0 53985238 10878976000 32418 18446744073709551615 4194304 4196468 140722891777632 140261197339824 140261193107157 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 3 0 0 6293624 6294260 27856896 140722891780557 140722891780686 140722891780686 140722891784143 0
[pid=9372/tid=9375] ppid=9369 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/9372/task/9375/stat : 9375 (java) S 9369 9372 25139 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 53985238 10878976000 32418 18446744073709551615 4194304 4196468 140722891777632 140260804319888 140261193107157 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27856896 140722891780557 140722891780686 140722891780686 140722891784143 0
[pid=9372/tid=9376] ppid=9369 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/9372/task/9376/stat : 9376 (java) S 9369 9372 25139 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 53985238 10878976000 32418 18446744073709551615 4194304 4196468 140722891777632 140260803267088 140261193107157 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27856896 140722891780557 140722891780686 140722891780686 140722891784143 0
[pid=9372/tid=9377] ppid=9369 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/9372/task/9377/stat : 9377 (java) S 9369 9372 25139 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 53985238 10878976000 32418 18446744073709551615 4194304 4196468 140722891777632 140260802214288 140261193107157 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27856896 140722891780557 140722891780686 140722891780686 140722891784143 0
[pid=9372/tid=9378] ppid=9369 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/9372/task/9378/stat : 9378 (java) S 9369 9372 25139 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 16 0 53985238 10878976000 32418 18446744073709551615 4194304 4196468 140722891777632 140260801161488 140261193107157 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27856896 140722891780557 140722891780686 140722891780686 140722891784143 0
[pid=9372/tid=9379] ppid=9369 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/9372/task/9379/stat : 9379 (java) S 9369 9372 25139 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 16 0 53985240 10878976000 32418 18446744073709551615 4194304 4196468 140722891777632 140260757261168 140261193108098 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27856896 140722891780557 140722891780686 140722891780686 140722891784143 0
[pid=9372/tid=9380] ppid=9369 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/9372/task/9380/stat : 9380 (java) S 9369 9372 25139 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 53985240 10878976000 32418 18446744073709551615 4194304 4196468 140722891777632 140260756207136 140261193107157 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27856896 140722891780557 140722891780686 140722891780686 140722891784143 0
[pid=9372/tid=9381] ppid=9369 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/9372/task/9381/stat : 9381 (java) S 9369 9372 25139 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 53985240 10878976000 32418 18446744073709551615 4194304 4196468 140722891777632 140260755154288 140261193107157 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27856896 140722891780557 140722891780686 140722891780686 140722891784143 0
[pid=9372/tid=9382] ppid=9369 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/9372/task/9382/stat : 9382 (java) S 9369 9372 25139 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 53985243 10878976000 32418 18446744073709551615 4194304 4196468 140722891777632 140260754102608 140261193115547 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27856896 140722891780557 140722891780686 140722891780686 140722891784143 0
[pid=9372/tid=9383] ppid=9369 vsize=10624000 CPUtime=0.96 cores=1,3,5,7
/proc/9372/task/9383/stat : 9383 (java) S 9369 9372 25139 0 -1 1077944384 3310 0 0 0 96 0 0 0 20 0 16 0 53985243 10878976000 32389 18446744073709551615 4194304 4196468 140722891777632 140260753049968 140261193108098 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27856896 140722891780557 140722891780686 140722891780686 140722891784143 0
[pid=9372/tid=9384] ppid=9369 vsize=10624000 CPUtime=1.05 cores=1,3,5,7
/proc/9372/task/9384/stat : 9384 (java) S 9369 9372 25139 0 -1 1077944384 3473 0 0 0 105 0 0 0 20 0 16 0 53985243 10878976000 32389 18446744073709551615 4194304 4196468 140722891777632 140260751997168 140261193108098 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27856896 140722891780557 140722891780686 140722891780686 140722891784143 0
[pid=9372/tid=9385] ppid=9369 vsize=10624000 CPUtime=0.56 cores=1,3,5,7
/proc/9372/task/9385/stat : 9385 (java) S 9369 9372 25139 0 -1 1077944384 3542 0 0 0 56 0 0 0 20 0 15 0 53985243 10878976000 32389 18446744073709551615 4194304 4196468 140722891777632 140260750944368 140261193108098 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27856896 140722891780557 140722891780686 140722891780686 140722891784143 0
[pid=9372/tid=9386] ppid=9369 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/9372/task/9386/stat : 9386 (java) S 9369 9372 25139 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53985243 10878976000 32389 18446744073709551615 4194304 4196468 140722891777632 140260749891808 140261193107157 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27856896 140722891780557 140722891780686 140722891780686 140722891784143 0
[pid=9372/tid=9387] ppid=9369 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/9372/task/9387/stat : 9387 (java) S 9369 9372 25139 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 53985247 10878976000 32389 18446744073709551615 4194304 4196468 140722891777632 140260748840112 140261193108098 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27856896 140722891780557 140722891780686 140722891780686 140722891784143 0
Current children cumulated CPU time (s) 4.58
Current children cumulated vsize (KiB) 10624000
Child status: 0
Real time (s): 2.10695
CPU time (s): 4.59981
CPU user time (s): 4.52078
CPU system time (s): 0.079027
CPU usage (%): 218.316
Max. virtual memory (cumulated for all children) (KiB): 10624000
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4.52078
system time used= 0.079027
maximum resident set size= 132092
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 24064
page faults= 0
swaps= 0
block input operations= 0
block output operations= 72
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2151
involuntary context switches= 14
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.011827 second user time and 0.018291 second system time
The end