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-4263887-1502318952/watcher-4263887-1502318952 -o /tmp/evaluation-result-4263887-1502318952/solver-4263887-1502318952 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node124-1502258094-11417 --watchdog 2580 java -jar HOME/AbsCon-basic.jar HOME/instance-4263887-1502318952.xml
pid=23889
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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.03 2.01 2.04 3/196 23892
/proc/meminfo: memFree=31535504/32770624 swapFree=0/338864
[pid=23892] ppid=23889 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/23892/stat : 23892 (runsolver) D 23889 23892 6971 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 20235938 24240128 106 18446744073709551615 4194304 4338465 140722066871856 140722066869496 140193301926615 0 0 1 24578 18446744071580418449 0 0 17 1 0 0 0 0 0 6438912 6441760 7983104 140722066878624 140722066879050 140722066879050 140722066882506 0
/proc/23892/statm: 5918 106 53 36 0 2156 0
[startup+0.100139 s]
/proc/loadavg: 2.03 2.01 2.04 3/196 23892
/proc/meminfo: memFree=31535504/32770624 swapFree=0/338864
[pid=23892] ppid=23889 vsize=101832 CPUtime=0 cores=1,3,5,7
/proc/23892/stat : 23892 (java) S 23889 23892 6971 0 -1 1077944320 1423 0 0 0 0 0 0 0 20 0 2 0 20235938 104275968 1197 18446744073709551615 4194304 4196468 140725066579392 140725066561936 140557656919799 0 0 1 0 18446744073709551615 0 0 17 5 0 0 9 0 0 6293624 6294260 13520896 140725066580430 140725066580559 140725066580559 140725066584015 0
/proc/23892/statm: 25458 1197 895 1 0 17056 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 101832
[startup+0.200319 s]
/proc/loadavg: 2.03 2.01 2.04 3/196 23892
/proc/meminfo: memFree=31535504/32770624 swapFree=0/338864
[pid=23892] ppid=23889 vsize=10484492 CPUtime=0.05 cores=1,3,5,7
/proc/23892/stat : 23892 (java) S 23889 23892 6971 0 -1 1077944320 4791 0 0 0 5 0 0 0 20 0 14 0 20235938 10736119808 5834 18446744073709551615 4194304 4196468 140725066579392 140725066561936 140557656919799 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 9 0 0 6293624 6294260 13520896 140725066580430 140725066580559 140725066580559 140725066584015 0
/proc/23892/statm: 2621123 5834 2579 1 0 2610620 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 10484492
[startup+0.300815 s]
/proc/loadavg: 2.03 2.01 2.04 3/196 23892
/proc/meminfo: memFree=31535504/32770624 swapFree=0/338864
[pid=23892] ppid=23889 vsize=10551180 CPUtime=0.2 cores=1,3,5,7
/proc/23892/stat : 23892 (java) S 23889 23892 6971 0 -1 1077944320 6237 0 0 0 18 2 0 0 20 0 15 0 20235938 10804408320 8222 18446744073709551615 4194304 4196468 140725066579392 140725066561936 140557656919799 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 9 0 0 6293624 6294260 13520896 140725066580430 140725066580559 140725066580559 140725066584015 0
/proc/23892/statm: 2638051 8222 2892 1 0 2627517 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 10551180
[startup+0.705293 s]
/proc/loadavg: 2.03 2.01 2.04 3/196 23892
/proc/meminfo: memFree=31535504/32770624 swapFree=0/338864
[pid=23892] ppid=23889 vsize=10621952 CPUtime=1.13 cores=1,3,5,7
/proc/23892/stat : 23892 (java) S 23889 23892 6971 0 -1 1077944320 12987 0 0 0 108 5 0 0 20 0 16 0 20235938 10876878848 19225 18446744073709551615 4194304 4196468 140725066579392 140725066561936 140557656919799 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 9 0 0 6293624 6294260 13520896 140725066580430 140725066580559 140725066580559 140725066584015 0
/proc/23892/statm: 2655488 19225 3068 1 0 2644414 0
Current children cumulated CPU time (s) 1.13
Current children cumulated vsize (KiB) 10621952
[startup+1.50068 s]
/proc/loadavg: 2.19 2.05 2.05 5/212 23908
/proc/meminfo: memFree=31429128/32770624 swapFree=0/338920
[pid=23892] ppid=23889 vsize=10624000 CPUtime=3.59 cores=1,3,5,7
/proc/23892/stat : 23892 (java) S 23889 23892 6971 0 -1 1077944320 20619 0 0 0 351 8 0 0 20 0 16 0 20235938 10878976000 31550 18446744073709551615 4194304 4196468 140725066579392 140725066561936 140557656919799 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 9 0 0 6293624 6294260 13520896 140725066580430 140725066580559 140725066580559 140725066584015 0
/proc/23892/statm: 2656000 31550 3106 1 0 2644926 0
[pid=23892/tid=23894] ppid=23889 vsize=10624000 CPUtime=0.21 cores=1,3,5,7
/proc/23892/task/23894/stat : 23894 (java) S 23889 23892 6971 0 -1 1077944384 6188 0 0 0 19 2 0 0 20 0 16 0 20235948 10878976000 31550 18446744073709551615 4194304 4196468 140725066579392 140557661162672 140557656930005 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 6 0 0 6293624 6294260 13520896 140725066580430 140725066580559 140725066580559 140725066584015 0
[pid=23892/tid=23895] ppid=23889 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/23892/task/23895/stat : 23895 (java) S 23889 23892 6971 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 20235949 10878976000 31550 18446744073709551615 4194304 4196468 140725066579392 140557587339920 140557656930005 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13520896 140725066580430 140725066580559 140725066580559 140725066584015 0
[pid=23892/tid=23896] ppid=23889 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/23892/task/23896/stat : 23896 (java) S 23889 23892 6971 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 16 0 20235949 10878976000 31550 18446744073709551615 4194304 4196468 140725066579392 140557586287120 140557656930005 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13520896 140725066580430 140725066580559 140725066580559 140725066584015 0
[pid=23892/tid=23897] ppid=23889 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/23892/task/23897/stat : 23897 (java) S 23889 23892 6971 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 20235949 10878976000 31550 18446744073709551615 4194304 4196468 140725066579392 140557585234320 140557656930005 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13520896 140725066580430 140725066580559 140725066580559 140725066584015 0
[pid=23892/tid=23898] ppid=23889 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/23892/task/23898/stat : 23898 (java) S 23889 23892 6971 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 16 0 20235949 10878976000 31550 18446744073709551615 4194304 4196468 140725066579392 140557584181520 140557656930005 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13520896 140725066580430 140725066580559 140725066580559 140725066584015 0
[pid=23892/tid=23899] ppid=23889 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/23892/task/23899/stat : 23899 (java) S 23889 23892 6971 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 16 0 20235950 10878976000 31550 18446744073709551615 4194304 4196468 140725066579392 140556898397040 140557656930946 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13520896 140725066580430 140725066580559 140725066580559 140725066584015 0
[pid=23892/tid=23900] ppid=23889 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/23892/task/23900/stat : 23900 (java) S 23889 23892 6971 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 20235951 10878976000 31550 18446744073709551615 4194304 4196468 140725066579392 140556897343008 140557656930005 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13520896 140725066580430 140725066580559 140725066580559 140725066584015 0
[pid=23892/tid=23901] ppid=23889 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/23892/task/23901/stat : 23901 (java) S 23889 23892 6971 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 20235951 10878976000 31550 18446744073709551615 4194304 4196468 140725066579392 140556896290160 140557656930005 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13520896 140725066580430 140725066580559 140725066580559 140725066584015 0
[pid=23892/tid=23902] ppid=23889 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/23892/task/23902/stat : 23902 (java) S 23889 23892 6971 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 20235953 10878976000 31550 18446744073709551615 4194304 4196468 140725066579392 140556895238480 140557656938395 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13520896 140725066580430 140725066580559 140725066580559 140725066584015 0
[pid=23892/tid=23903] ppid=23889 vsize=10624000 CPUtime=0.82 cores=1,3,5,7
/proc/23892/task/23903/stat : 23903 (java) S 23889 23892 6971 0 -1 1077944384 2976 0 0 0 82 0 0 0 20 0 16 0 20235953 10878976000 31550 18446744073709551615 4194304 4196468 140725066579392 140556894185840 140557656930946 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13520896 140725066580430 140725066580559 140725066580559 140725066584015 0
[pid=23892/tid=23904] ppid=23889 vsize=10624000 CPUtime=0.84 cores=1,3,5,7
/proc/23892/task/23904/stat : 23904 (java) S 23889 23892 6971 0 -1 1077944384 2444 0 0 0 84 0 0 0 20 0 16 0 20235953 10878976000 31550 18446744073709551615 4194304 4196468 140725066579392 140556893133040 140557656930946 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13520896 140725066580430 140725066580559 140725066580559 140725066584015 0
[pid=23892/tid=23905] ppid=23889 vsize=10624000 CPUtime=0.58 cores=1,3,5,7
/proc/23892/task/23905/stat : 23905 (java) S 23889 23892 6971 0 -1 1077944384 2388 0 0 0 57 1 0 0 20 0 16 0 20235953 10878976000 31550 18446744073709551615 4194304 4196468 140725066579392 140556892080240 140557656930946 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13520896 140725066580430 140725066580559 140725066580559 140725066584015 0
[pid=23892/tid=23906] ppid=23889 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/23892/task/23906/stat : 23906 (java) S 23889 23892 6971 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 20235954 10878976000 31550 18446744073709551615 4194304 4196468 140725066579392 140556891027680 140557656930005 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13520896 140725066580430 140725066580559 140725066580559 140725066584015 0
[pid=23892/tid=23907] ppid=23889 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/23892/task/23907/stat : 23907 (java) S 23889 23892 6971 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 20235961 10878976000 31550 18446744073709551615 4194304 4196468 140725066579392 140556889975984 140557656930946 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13520896 140725066580430 140725066580559 140725066580559 140725066584015 0
[pid=23892/tid=23908] ppid=23889 vsize=10624000 CPUtime=1.1 cores=1,3,5,7
/proc/23892/task/23908/stat : 23908 (java) R 23889 23892 6971 0 -1 4202560 5253 0 0 0 107 3 0 0 20 0 16 0 20235977 10878976000 31550 18446744073709551615 4194304 4196468 140725066579392 140556886771184 140557257410929 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13520896 140725066580430 140725066580559 140725066580559 140725066584015 0
Current children cumulated CPU time (s) 3.59
Current children cumulated vsize (KiB) 10624000
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 23892 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1.60082 s]
/proc/loadavg: 2.19 2.05 2.05 5/212 23908
/proc/meminfo: memFree=31429128/32770624 swapFree=0/338920
[pid=23892] ppid=23889 vsize=10624000 CPUtime=3.7 cores=1,3,5,7
/proc/23892/stat : 23892 (java) S 23889 23892 6971 0 -1 1077944320 20633 0 0 0 362 8 0 0 20 0 16 0 20235938 10878976000 31550 18446744073709551615 4194304 4196468 140725066579392 140725066561936 140557656919799 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 9 0 0 6293624 6294260 13520896 140725066580430 140725066580559 140725066580559 140725066584015 0
/proc/23892/statm: 2656000 31550 3106 1 0 2644926 0
[pid=23892/tid=23894] ppid=23889 vsize=10624000 CPUtime=0.21 cores=1,3,5,7
/proc/23892/task/23894/stat : 23894 (java) S 23889 23892 6971 0 -1 1077944384 6188 0 0 0 19 2 0 0 20 0 16 0 20235948 10878976000 31550 18446744073709551615 4194304 4196468 140725066579392 140557661162672 140557656930005 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 6 0 0 6293624 6294260 13520896 140725066580430 140725066580559 140725066580559 140725066584015 0
[pid=23892/tid=23895] ppid=23889 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/23892/task/23895/stat : 23895 (java) S 23889 23892 6971 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 20235949 10878976000 31550 18446744073709551615 4194304 4196468 140725066579392 140557587339920 140557656930005 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13520896 140725066580430 140725066580559 140725066580559 140725066584015 0
[pid=23892/tid=23896] ppid=23889 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/23892/task/23896/stat : 23896 (java) S 23889 23892 6971 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 16 0 20235949 10878976000 31550 18446744073709551615 4194304 4196468 140725066579392 140557586287120 140557656930005 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13520896 140725066580430 140725066580559 140725066580559 140725066584015 0
[pid=23892/tid=23897] ppid=23889 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/23892/task/23897/stat : 23897 (java) S 23889 23892 6971 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 20235949 10878976000 31550 18446744073709551615 4194304 4196468 140725066579392 140557585234320 140557656930005 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13520896 140725066580430 140725066580559 140725066580559 140725066584015 0
[pid=23892/tid=23898] ppid=23889 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/23892/task/23898/stat : 23898 (java) S 23889 23892 6971 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 16 0 20235949 10878976000 31550 18446744073709551615 4194304 4196468 140725066579392 140557584181520 140557656930005 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13520896 140725066580430 140725066580559 140725066580559 140725066584015 0
[pid=23892/tid=23899] ppid=23889 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/23892/task/23899/stat : 23899 (java) S 23889 23892 6971 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 16 0 20235950 10878976000 31550 18446744073709551615 4194304 4196468 140725066579392 140556898397040 140557656930946 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13520896 140725066580430 140725066580559 140725066580559 140725066584015 0
[pid=23892/tid=23900] ppid=23889 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/23892/task/23900/stat : 23900 (java) S 23889 23892 6971 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 20235951 10878976000 31550 18446744073709551615 4194304 4196468 140725066579392 140556897343008 140557656930005 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13520896 140725066580430 140725066580559 140725066580559 140725066584015 0
[pid=23892/tid=23901] ppid=23889 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/23892/task/23901/stat : 23901 (java) S 23889 23892 6971 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 20235951 10878976000 31550 18446744073709551615 4194304 4196468 140725066579392 140556896290160 140557656930005 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13520896 140725066580430 140725066580559 140725066580559 140725066584015 0
[pid=23892/tid=23902] ppid=23889 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/23892/task/23902/stat : 23902 (java) S 23889 23892 6971 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 20235953 10878976000 31550 18446744073709551615 4194304 4196468 140725066579392 140556895238480 140557656938395 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13520896 140725066580430 140725066580559 140725066580559 140725066584015 0
[pid=23892/tid=23903] ppid=23889 vsize=10624000 CPUtime=0.83 cores=1,3,5,7
/proc/23892/task/23903/stat : 23903 (java) S 23889 23892 6971 0 -1 1077944384 2980 0 0 0 83 0 0 0 20 0 16 0 20235953 10878976000 31550 18446744073709551615 4194304 4196468 140725066579392 140556894185840 140557656930946 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13520896 140725066580430 140725066580559 140725066580559 140725066584015 0
[pid=23892/tid=23904] ppid=23889 vsize=10624000 CPUtime=0.84 cores=1,3,5,7
/proc/23892/task/23904/stat : 23904 (java) S 23889 23892 6971 0 -1 1077944384 2444 0 0 0 84 0 0 0 20 0 16 0 20235953 10878976000 31550 18446744073709551615 4194304 4196468 140725066579392 140556893133040 140557656930946 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13520896 140725066580430 140725066580559 140725066580559 140725066584015 0
[pid=23892/tid=23905] ppid=23889 vsize=10624000 CPUtime=0.58 cores=1,3,5,7
/proc/23892/task/23905/stat : 23905 (java) S 23889 23892 6971 0 -1 1077944384 2396 0 0 0 57 1 0 0 20 0 16 0 20235953 10878976000 31550 18446744073709551615 4194304 4196468 140725066579392 140556892080240 140557656930946 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13520896 140725066580430 140725066580559 140725066580559 140725066584015 0
[pid=23892/tid=23906] ppid=23889 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/23892/task/23906/stat : 23906 (java) S 23889 23892 6971 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 20235954 10878976000 31550 18446744073709551615 4194304 4196468 140725066579392 140556891027680 140557656930005 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13520896 140725066580430 140725066580559 140725066580559 140725066584015 0
[pid=23892/tid=23907] ppid=23889 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/23892/task/23907/stat : 23907 (java) S 23889 23892 6971 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 20235961 10878976000 31550 18446744073709551615 4194304 4196468 140725066579392 140556889975984 140557656930946 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13520896 140725066580430 140725066580559 140725066580559 140725066584015 0
[pid=23892/tid=23908] ppid=23889 vsize=10624000 CPUtime=1.2 cores=1,3,5,7
/proc/23892/task/23908/stat : 23908 (java) R 23889 23892 6971 0 -1 4202560 5255 0 0 0 117 3 0 0 20 0 16 0 20235977 10878976000 31550 18446744073709551615 4194304 4196468 140725066579392 140556886771184 140725066803138 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13520896 140725066580430 140725066580559 140725066580559 140725066584015 0
Current children cumulated CPU time (s) 3.7
Current children cumulated vsize (KiB) 10624000
[startup+1.80063 s]
/proc/loadavg: 2.19 2.05 2.05 5/212 23908
/proc/meminfo: memFree=31429128/32770624 swapFree=0/338920
[pid=23892] ppid=23889 vsize=10624000 CPUtime=3.91 cores=1,3,5,7
/proc/23892/stat : 23892 (java) S 23889 23892 6971 0 -1 1077944320 20664 0 0 0 383 8 0 0 20 0 16 0 20235938 10878976000 32066 18446744073709551615 4194304 4196468 140725066579392 140725066561936 140557656919799 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 9 0 0 6293624 6294260 13520896 140725066580430 140725066580559 140725066580559 140725066584015 0
/proc/23892/statm: 2656000 32066 3106 1 0 2644926 0
[pid=23892/tid=23894] ppid=23889 vsize=10624000 CPUtime=0.21 cores=1,3,5,7
/proc/23892/task/23894/stat : 23894 (java) S 23889 23892 6971 0 -1 1077944384 6188 0 0 0 19 2 0 0 20 0 16 0 20235948 10878976000 32066 18446744073709551615 4194304 4196468 140725066579392 140557661162672 140557656930005 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 6 0 0 6293624 6294260 13520896 140725066580430 140725066580559 140725066580559 140725066584015 0
[pid=23892/tid=23895] ppid=23889 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/23892/task/23895/stat : 23895 (java) S 23889 23892 6971 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 20235949 10878976000 32066 18446744073709551615 4194304 4196468 140725066579392 140557587339920 140557656930005 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13520896 140725066580430 140725066580559 140725066580559 140725066584015 0
[pid=23892/tid=23896] ppid=23889 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/23892/task/23896/stat : 23896 (java) S 23889 23892 6971 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 16 0 20235949 10878976000 32066 18446744073709551615 4194304 4196468 140725066579392 140557586287120 140557656930005 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13520896 140725066580430 140725066580559 140725066580559 140725066584015 0
[pid=23892/tid=23897] ppid=23889 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/23892/task/23897/stat : 23897 (java) S 23889 23892 6971 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 20235949 10878976000 32066 18446744073709551615 4194304 4196468 140725066579392 140557585234320 140557656930005 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13520896 140725066580430 140725066580559 140725066580559 140725066584015 0
[pid=23892/tid=23898] ppid=23889 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/23892/task/23898/stat : 23898 (java) S 23889 23892 6971 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 16 0 20235949 10878976000 32066 18446744073709551615 4194304 4196468 140725066579392 140557584181520 140557656930005 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13520896 140725066580430 140725066580559 140725066580559 140725066584015 0
[pid=23892/tid=23899] ppid=23889 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/23892/task/23899/stat : 23899 (java) S 23889 23892 6971 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 16 0 20235950 10878976000 32066 18446744073709551615 4194304 4196468 140725066579392 140556898397040 140557656930946 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13520896 140725066580430 140725066580559 140725066580559 140725066584015 0
[pid=23892/tid=23900] ppid=23889 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/23892/task/23900/stat : 23900 (java) S 23889 23892 6971 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 20235951 10878976000 32066 18446744073709551615 4194304 4196468 140725066579392 140556897343008 140557656930005 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13520896 140725066580430 140725066580559 140725066580559 140725066584015 0
[pid=23892/tid=23901] ppid=23889 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/23892/task/23901/stat : 23901 (java) S 23889 23892 6971 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 20235951 10878976000 32066 18446744073709551615 4194304 4196468 140725066579392 140556896290160 140557656930005 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13520896 140725066580430 140725066580559 140725066580559 140725066584015 0
[pid=23892/tid=23902] ppid=23889 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/23892/task/23902/stat : 23902 (java) S 23889 23892 6971 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 20235953 10878976000 32066 18446744073709551615 4194304 4196468 140725066579392 140556895238480 140557656938395 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13520896 140725066580430 140725066580559 140725066580559 140725066584015 0
[pid=23892/tid=23903] ppid=23889 vsize=10624000 CPUtime=0.83 cores=1,3,5,7
/proc/23892/task/23903/stat : 23903 (java) S 23889 23892 6971 0 -1 1077944384 2980 0 0 0 83 0 0 0 20 0 16 0 20235953 10878976000 32066 18446744073709551615 4194304 4196468 140725066579392 140556894185840 140557656930946 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13520896 140725066580430 140725066580559 140725066580559 140725066584015 0
[pid=23892/tid=23904] ppid=23889 vsize=10624000 CPUtime=0.85 cores=1,3,5,7
/proc/23892/task/23904/stat : 23904 (java) S 23889 23892 6971 0 -1 1077944384 2457 0 0 0 85 0 0 0 20 0 16 0 20235953 10878976000 32066 18446744073709551615 4194304 4196468 140725066579392 140556893133040 140557656930946 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13520896 140725066580430 140725066580559 140725066580559 140725066584015 0
[pid=23892/tid=23905] ppid=23889 vsize=10624000 CPUtime=0.58 cores=1,3,5,7
/proc/23892/task/23905/stat : 23905 (java) S 23889 23892 6971 0 -1 1077944384 2407 0 0 0 57 1 0 0 20 0 16 0 20235953 10878976000 32066 18446744073709551615 4194304 4196468 140725066579392 140556892080240 140557656930946 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13520896 140725066580430 140725066580559 140725066580559 140725066584015 0
[pid=23892/tid=23906] ppid=23889 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/23892/task/23906/stat : 23906 (java) S 23889 23892 6971 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 20235954 10878976000 32066 18446744073709551615 4194304 4196468 140725066579392 140556891027680 140557656930005 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13520896 140725066580430 140725066580559 140725066580559 140725066584015 0
[pid=23892/tid=23907] ppid=23889 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/23892/task/23907/stat : 23907 (java) S 23889 23892 6971 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 20235961 10878976000 32066 18446744073709551615 4194304 4196468 140725066579392 140556889975984 140557656930946 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13520896 140725066580430 140725066580559 140725066580559 140725066584015 0
[pid=23892/tid=23908] ppid=23889 vsize=10624000 CPUtime=1.39 cores=1,3,5,7
/proc/23892/task/23908/stat : 23908 (java) R 23889 23892 6971 0 -1 4202560 5262 0 0 0 136 3 0 0 20 0 16 0 20235977 10878976000 32066 18446744073709551615 4194304 4196468 140725066579392 140556886771184 140557257410848 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13520896 140725066580430 140725066580559 140725066580559 140725066584015 0
Current children cumulated CPU time (s) 3.91
Current children cumulated vsize (KiB) 10624000
Child status: 0
Real time (s): 1.84694
CPU time (s): 3.9614
CPU user time (s): 3.87081
CPU system time (s): 0.090581
CPU usage (%): 214.484
Max. virtual memory (cumulated for all children) (KiB): 10625024
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.87081
system time used= 0.090581
maximum resident set size= 130540
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 20813
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= 2066
involuntary context switches= 15
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.009453 second user time and 0.01418 second system time
The end