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-4262295-1502478247/watcher-4262295-1502478247 -o /tmp/evaluation-result-4262295-1502478247/solver-4262295-1502478247 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node134-1502411438-1524 --watchdog 2580 bin/concrete HOME/instance-4262295-1502478247.xml
pid=19090
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: 4.47 3.94 2.80 2/203 19093
/proc/meminfo: memFree=26822560/32770624 swapFree=0/576828
[pid=19093] ppid=19090 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/19093/stat : 19093 (runsolver) D 19090 19093 1460 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 95330985 24240128 106 18446744073709551615 4194304 4338465 140725806123072 140725806120712 139956807787223 0 0 1 24578 18446744071580418449 0 0 17 7 0 0 0 0 0 6438912 6441760 39915520 140725806129361 140725806129737 140725806129737 140725806133194 0
/proc/19093/statm: 5918 106 53 36 0 2156 0
[startup+0.100078 s]
/proc/loadavg: 4.47 3.94 2.80 2/203 19093
/proc/meminfo: memFree=26822560/32770624 swapFree=0/576828
[pid=19093] ppid=19090 vsize=9636 CPUtime=0.01 cores=1,3,5,7
/proc/19093/stat : 19093 (bash) S 19090 19093 1460 0 -1 4202496 892 6483 0 0 0 0 0 1 20 0 1 0 95330985 9867264 377 18446744073709551615 4194304 5098028 140737063608624 140737063602632 140312850775040 0 0 5 65536 18446744071580971376 0 0 17 3 0 0 7 0 0 7196144 7232144 14778368 140737063612948 140737063613033 140737063613033 140737063616490 0
/proc/19093/statm: 2409 377 296 221 0 118 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9636
[startup+0.209261 s]
/proc/loadavg: 4.47 3.94 2.80 2/203 19093
/proc/meminfo: memFree=26822560/32770624 swapFree=0/576828
[pid=19093] ppid=19090 vsize=13374796 CPUtime=0.09 cores=1,3,5,7
/proc/19093/stat : 19093 (java) S 19090 19093 1460 0 -1 1077944320 4518 12671 0 0 1 0 6 2 20 0 6 0 95330985 13695791104 3792 18446744073709551615 4194304 4196468 140735946311296 140735946293840 140541849272055 0 0 1 16784584 18446744073709551615 0 0 17 5 0 0 7 0 0 6293624 6294260 29761536 140735946315728 140735946318513 140735946318513 140735946321871 0
/proc/19093/statm: 3343699 3792 1925 1 0 3333196 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13374796
[startup+0.300199 s]
/proc/loadavg: 4.47 3.94 2.80 2/203 19093
/proc/meminfo: memFree=26822560/32770624 swapFree=0/576828
[pid=19093] ppid=19090 vsize=13973936 CPUtime=0.16 cores=1,3,5,7
/proc/19093/stat : 19093 (java) S 19090 19093 1460 0 -1 1077944320 6091 12671 0 0 7 1 6 2 20 0 15 0 95330985 14309310464 6217 18446744073709551615 4194304 4196468 140735946311296 140735946293840 140541849272055 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 7 0 0 6293624 6294260 29761536 140735946315728 140735946318513 140735946318513 140735946321871 0
/proc/19093/statm: 3493484 6217 2671 1 0 3482965 0
Current children cumulated CPU time (s) 0.16
Current children cumulated vsize (KiB) 13973936
[startup+0.700233 s]
/proc/loadavg: 4.47 3.94 2.80 2/203 19093
/proc/meminfo: memFree=26822560/32770624 swapFree=0/576828
[pid=19093] ppid=19090 vsize=13974784 CPUtime=0.71 cores=1,3,5,7
/proc/19093/stat : 19093 (java) S 19090 19093 1460 0 -1 1077944320 13949 12671 0 0 59 4 6 2 20 0 15 0 95330985 14310178816 14869 18446744073709551615 4194304 4196468 140735946311296 140735946293840 140541849272055 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 7 0 0 6293624 6294260 29761536 140735946315728 140735946318513 140735946318513 140735946321871 0
/proc/19093/statm: 3493696 14869 3131 1 0 3482965 0
Current children cumulated CPU time (s) 0.71
Current children cumulated vsize (KiB) 13974784
[startup+1.50431 s]
/proc/loadavg: 4.51 3.95 2.81 4/218 19156
/proc/meminfo: memFree=26726604/32770624 swapFree=0/576916
[pid=19093] ppid=19090 vsize=13985408 CPUtime=1.98 cores=1,3,5,7
/proc/19093/stat : 19093 (java) S 19090 19093 1460 0 -1 1077944320 30115 12671 0 0 182 8 6 2 20 0 15 0 95330985 14321057792 42649 18446744073709551615 4194304 4196468 140735946311296 140735946293840 140541849272055 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 7 0 0 6293624 6294260 29761536 140735946315728 140735946318513 140735946318513 140735946321871 0
/proc/19093/statm: 3496352 42649 3380 1 0 3485525 0
[pid=19093/tid=19143] ppid=19090 vsize=13985408 CPUtime=1.3 cores=1,3,5,7
/proc/19093/task/19143/stat : 19143 (java) R 19090 19093 1460 0 -1 4202560 22585 12671 0 0 117 5 6 2 20 0 15 0 95331004 14321057792 42649 18446744073709551615 4194304 4196468 140735946311296 140541853484576 140541833649168 0 4 1 16800974 0 0 0 -1 7 0 0 4 0 0 6293624 6294260 29761536 140735946315728 140735946318513 140735946318513 140735946321871 0
[pid=19093/tid=19144] ppid=19090 vsize=13985408 CPUtime=0.09 cores=1,3,5,7
/proc/19093/task/19144/stat : 19144 (java) S 19090 19093 1460 0 -1 1077944384 42 12671 0 0 1 0 6 2 20 0 15 0 95331005 14321057792 42649 18446744073709551615 4194304 4196468 140735946311296 140541806238224 140541849282261 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29761536 140735946315728 140735946318513 140735946318513 140735946321871 0
[pid=19093/tid=19145] ppid=19090 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/19093/task/19145/stat : 19145 (java) S 19090 19093 1460 0 -1 1077944384 54 12671 0 0 0 0 6 2 20 0 15 0 95331005 14321057792 42649 18446744073709551615 4194304 4196468 140735946311296 140541805185680 140541849282261 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29761536 140735946315728 140735946318513 140735946318513 140735946321871 0
[pid=19093/tid=19146] ppid=19090 vsize=13985408 CPUtime=0.09 cores=1,3,5,7
/proc/19093/task/19146/stat : 19146 (java) S 19090 19093 1460 0 -1 1077944384 200 12671 0 0 1 0 6 2 20 0 15 0 95331005 14321057792 42649 18446744073709551615 4194304 4196468 140735946311296 140541804132624 140541849282261 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29761536 140735946315728 140735946318513 140735946318513 140735946321871 0
[pid=19093/tid=19147] ppid=19090 vsize=13985408 CPUtime=0.09 cores=1,3,5,7
/proc/19093/task/19147/stat : 19147 (java) S 19090 19093 1460 0 -1 1077944384 71 12671 0 0 1 0 6 2 20 0 15 0 95331005 14321057792 42649 18446744073709551615 4194304 4196468 140735946311296 140541803080080 140541849282261 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29761536 140735946315728 140735946318513 140735946318513 140735946321871 0
[pid=19093/tid=19148] ppid=19090 vsize=13985408 CPUtime=0.09 cores=1,3,5,7
/proc/19093/task/19148/stat : 19148 (java) S 19090 19093 1460 0 -1 1077944384 1680 12671 0 0 1 0 6 2 20 0 15 0 95331006 14321057792 42649 18446744073709551615 4194304 4196468 140735946311296 140541327035120 140541849283202 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29761536 140735946315728 140735946318513 140735946318513 140735946321871 0
[pid=19093/tid=19149] ppid=19090 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/19093/task/19149/stat : 19149 (java) S 19090 19093 1460 0 -1 1077944384 56 12671 0 0 0 0 6 2 20 0 15 0 95331007 14321057792 42649 18446744073709551615 4194304 4196468 140735946311296 140541325981408 140541849282261 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29761536 140735946315728 140735946318513 140735946318513 140735946321871 0
[pid=19093/tid=19150] ppid=19090 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/19093/task/19150/stat : 19150 (java) S 19090 19093 1460 0 -1 1077944384 43 12671 0 0 0 0 6 2 20 0 15 0 95331007 14321057792 42649 18446744073709551615 4194304 4196468 140735946311296 140541324928256 140541849282261 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29761536 140735946315728 140735946318513 140735946318513 140735946321871 0
[pid=19093/tid=19151] ppid=19090 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/19093/task/19151/stat : 19151 (java) S 19090 19093 1460 0 -1 1077944384 3 12671 0 0 0 0 6 2 20 0 15 0 95331010 14321057792 42649 18446744073709551615 4194304 4196468 140735946311296 140541323876816 140541849290651 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29761536 140735946315728 140735946318513 140735946318513 140735946321871 0
[pid=19093/tid=19152] ppid=19090 vsize=13985408 CPUtime=0.24 cores=1,3,5,7
/proc/19093/task/19152/stat : 19152 (java) S 19090 19093 1460 0 -1 1077944384 823 12671 0 0 16 0 6 2 20 0 15 0 95331010 14321057792 42649 18446744073709551615 4194304 4196468 140735946311296 140541322823920 140541849283202 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29761536 140735946315728 140735946318513 140735946318513 140735946321871 0
[pid=19093/tid=19153] ppid=19090 vsize=13985408 CPUtime=0.25 cores=1,3,5,7
/proc/19093/task/19153/stat : 19153 (java) S 19090 19093 1460 0 -1 1077944384 947 12671 0 0 17 0 6 2 20 0 15 0 95331010 14321057792 42649 18446744073709551615 4194304 4196468 140735946311296 140541321771376 140541849283202 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29761536 140735946315728 140735946318513 140735946318513 140735946321871 0
[pid=19093/tid=19154] ppid=19090 vsize=13985408 CPUtime=0.32 cores=1,3,5,7
/proc/19093/task/19154/stat : 19154 (java) S 19090 19093 1460 0 -1 1077944384 1446 12671 0 0 24 0 6 2 20 0 15 0 95331010 14321057792 42649 18446744073709551615 4194304 4196468 140735946311296 140541320718320 140541849283202 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29761536 140735946315728 140735946318513 140735946318513 140735946321871 0
[pid=19093/tid=19155] ppid=19090 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/19093/task/19155/stat : 19155 (java) S 19090 19093 1460 0 -1 1077944384 3 12671 0 0 0 0 6 2 20 0 15 0 95331010 14321057792 42649 18446744073709551615 4194304 4196468 140735946311296 140541319666016 140541849282261 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29761536 140735946315728 140735946318513 140735946318513 140735946321871 0
[pid=19093/tid=19156] ppid=19090 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/19093/task/19156/stat : 19156 (java) S 19090 19093 1460 0 -1 1077944384 10 12671 0 0 0 0 6 2 20 0 15 0 95331014 14321057792 42649 18446744073709551615 4194304 4196468 140735946311296 140541318614064 140541849283202 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29761536 140735946315728 140735946318513 140735946318513 140735946321871 0
Current children cumulated CPU time (s) 1.98
Current children cumulated vsize (KiB) 13985408
[startup+3.11026 s]
/proc/loadavg: 4.51 3.95 2.81 5/218 19156
/proc/meminfo: memFree=26644056/32770624 swapFree=0/576916
[pid=19093] ppid=19090 vsize=13999932 CPUtime=5.62 cores=1,3,5,7
/proc/19093/stat : 19093 (java) S 19090 19093 1460 0 -1 1077944320 51106 12671 0 0 537 17 6 2 20 0 15 0 95330985 14335930368 59300 18446744073709551615 4194304 4196468 140735946311296 140735946293840 140541849272055 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 7 0 0 6293624 6294260 29761536 140735946315728 140735946318513 140735946318513 140735946321871 0
/proc/19093/statm: 3499983 59300 3457 1 0 3488597 0
[pid=19093/tid=19143] ppid=19090 vsize=13999932 CPUtime=2.88 cores=1,3,5,7
/proc/19093/task/19143/stat : 19143 (java) S 19090 19093 1460 0 -1 1077944384 36357 12671 0 0 271 9 6 2 20 0 15 0 95331004 14335930368 59300 18446744073709551615 4194304 4196468 140735946311296 140541853470832 140541849282261 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 4 0 0 6293624 6294260 29761536 140735946315728 140735946318513 140735946318513 140735946321871 0
[pid=19093/tid=19144] ppid=19090 vsize=13999932 CPUtime=0.1 cores=1,3,5,7
/proc/19093/task/19144/stat : 19144 (java) S 19090 19093 1460 0 -1 1077944384 95 12671 0 0 2 0 6 2 20 0 15 0 95331005 14335930368 59300 18446744073709551615 4194304 4196468 140735946311296 140541806238224 140541849282261 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29761536 140735946315728 140735946318513 140735946318513 140735946321871 0
[pid=19093/tid=19145] ppid=19090 vsize=13999932 CPUtime=0.09 cores=1,3,5,7
/proc/19093/task/19145/stat : 19145 (java) S 19090 19093 1460 0 -1 1077944384 85 12671 0 0 1 0 6 2 20 0 15 0 95331005 14335930368 59300 18446744073709551615 4194304 4196468 140735946311296 140541805185680 140541849282261 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29761536 140735946315728 140735946318513 140735946318513 140735946321871 0
[pid=19093/tid=19146] ppid=19090 vsize=13999932 CPUtime=0.09 cores=1,3,5,7
/proc/19093/task/19146/stat : 19146 (java) S 19090 19093 1460 0 -1 1077944384 213 12671 0 0 1 0 6 2 20 0 15 0 95331005 14335930368 59300 18446744073709551615 4194304 4196468 140735946311296 140541804132624 140541849282261 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29761536 140735946315728 140735946318513 140735946318513 140735946321871 0
[pid=19093/tid=19147] ppid=19090 vsize=13999932 CPUtime=0.1 cores=1,3,5,7
/proc/19093/task/19147/stat : 19147 (java) S 19090 19093 1460 0 -1 1077944384 87 12671 0 0 2 0 6 2 20 0 15 0 95331005 14335930368 59300 18446744073709551615 4194304 4196468 140735946311296 140541803080080 140541849282261 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29761536 140735946315728 140735946318513 140735946318513 140735946321871 0
[pid=19093/tid=19148] ppid=19090 vsize=13999932 CPUtime=0.1 cores=1,3,5,7
/proc/19093/task/19148/stat : 19148 (java) R 19090 19093 1460 0 -1 4202560 2155 12671 0 0 2 0 6 2 20 0 15 0 95331006 14335930368 59300 18446744073709551615 4194304 4196468 140735946311296 140541327033296 140541834402032 0 0 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 29761536 140735946315728 140735946318513 140735946318513 140735946321871 0
[pid=19093/tid=19149] ppid=19090 vsize=13999932 CPUtime=0.08 cores=1,3,5,7
/proc/19093/task/19149/stat : 19149 (java) S 19090 19093 1460 0 -1 1077944384 56 12671 0 0 0 0 6 2 20 0 15 0 95331007 14335930368 59300 18446744073709551615 4194304 4196468 140735946311296 140541325981408 140541849282261 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29761536 140735946315728 140735946318513 140735946318513 140735946321871 0
[pid=19093/tid=19150] ppid=19090 vsize=13999932 CPUtime=0.08 cores=1,3,5,7
/proc/19093/task/19150/stat : 19150 (java) S 19090 19093 1460 0 -1 1077944384 43 12671 0 0 0 0 6 2 20 0 15 0 95331007 14335930368 59300 18446744073709551615 4194304 4196468 140735946311296 140541324928256 140541849282261 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29761536 140735946315728 140735946318513 140735946318513 140735946321871 0
[pid=19093/tid=19151] ppid=19090 vsize=13999932 CPUtime=0.08 cores=1,3,5,7
/proc/19093/task/19151/stat : 19151 (java) S 19090 19093 1460 0 -1 1077944384 3 12671 0 0 0 0 6 2 20 0 15 0 95331010 14335930368 59300 18446744073709551615 4194304 4196468 140735946311296 140541323876816 140541849290651 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29761536 140735946315728 140735946318513 140735946318513 140735946321871 0
[pid=19093/tid=19152] ppid=19090 vsize=13999932 CPUtime=1 cores=1,3,5,7
/proc/19093/task/19152/stat : 19152 (java) S 19090 19093 1460 0 -1 1077944384 4399 12671 0 0 91 1 6 2 20 0 15 0 95331010 14335930368 59300 18446744073709551615 4194304 4196468 140735946311296 140541322823920 140541849283202 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29761536 140735946315728 140735946318513 140735946318513 140735946321871 0
[pid=19093/tid=19153] ppid=19090 vsize=13999932 CPUtime=0.82 cores=1,3,5,7
/proc/19093/task/19153/stat : 19153 (java) S 19090 19093 1460 0 -1 1077944384 2271 12671 0 0 73 1 6 2 20 0 15 0 95331010 14335930368 59300 18446744073709551615 4194304 4196468 140735946311296 140541321771376 140541849283202 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29761536 140735946315728 140735946318513 140735946318513 140735946321871 0
[pid=19093/tid=19154] ppid=19090 vsize=13999932 CPUtime=0.97 cores=1,3,5,7
/proc/19093/task/19154/stat : 19154 (java) S 19090 19093 1460 0 -1 1077944384 3176 12671 0 0 88 1 6 2 20 0 15 0 95331010 14335930368 59300 18446744073709551615 4194304 4196468 140735946311296 140541320718320 140541849283202 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29761536 140735946315728 140735946318513 140735946318513 140735946321871 0
[pid=19093/tid=19155] ppid=19090 vsize=13999932 CPUtime=0.08 cores=1,3,5,7
/proc/19093/task/19155/stat : 19155 (java) S 19090 19093 1460 0 -1 1077944384 3 12671 0 0 0 0 6 2 20 0 15 0 95331010 14335930368 59300 18446744073709551615 4194304 4196468 140735946311296 140541319666016 140541849282261 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29761536 140735946315728 140735946318513 140735946318513 140735946321871 0
[pid=19093/tid=19156] ppid=19090 vsize=13999932 CPUtime=0.08 cores=1,3,5,7
/proc/19093/task/19156/stat : 19156 (java) S 19090 19093 1460 0 -1 1077944384 11 12671 0 0 0 0 6 2 20 0 15 0 95331014 14335930368 59300 18446744073709551615 4194304 4196468 140735946311296 140541318614064 140541849283202 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29761536 140735946315728 140735946318513 140735946318513 140735946321871 0
Current children cumulated CPU time (s) 5.62
Current children cumulated vsize (KiB) 13999932
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 19093 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3.2013 s]
/proc/loadavg: 4.51 3.95 2.81 5/218 19156
/proc/meminfo: memFree=26644056/32770624 swapFree=0/576916
[pid=19093] ppid=19090 vsize=13999932 CPUtime=5.88 cores=1,3,5,7
/proc/19093/stat : 19093 (java) S 19090 19093 1460 0 -1 1077944320 51555 12671 0 0 563 17 6 2 20 0 15 0 95330985 14335930368 60742 18446744073709551615 4194304 4196468 140735946311296 140735946293840 140541849272055 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 7 0 0 6293624 6294260 29761536 140735946315728 140735946318513 140735946318513 140735946321871 0
/proc/19093/statm: 3499983 60742 3459 1 0 3488597 0
[pid=19093/tid=19143] ppid=19090 vsize=13999932 CPUtime=2.96 cores=1,3,5,7
/proc/19093/task/19143/stat : 19143 (java) R 19090 19093 1460 0 -1 4202560 36430 12671 0 0 279 9 6 2 20 0 15 0 95331004 14335930368 60742 18446744073709551615 4194304 4196468 140735946311296 140541853504200 140541834638433 0 4 1 16800974 0 0 0 -1 7 0 0 4 0 0 6293624 6294260 29761536 140735946315728 140735946318513 140735946318513 140735946321871 0
[pid=19093/tid=19144] ppid=19090 vsize=13999932 CPUtime=0.1 cores=1,3,5,7
/proc/19093/task/19144/stat : 19144 (java) S 19090 19093 1460 0 -1 1077944384 96 12671 0 0 2 0 6 2 20 0 15 0 95331005 14335930368 60742 18446744073709551615 4194304 4196468 140735946311296 140541806238224 140541849282261 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29761536 140735946315728 140735946318513 140735946318513 140735946321871 0
[pid=19093/tid=19145] ppid=19090 vsize=13999932 CPUtime=0.1 cores=1,3,5,7
/proc/19093/task/19145/stat : 19145 (java) S 19090 19093 1460 0 -1 1077944384 87 12671 0 0 2 0 6 2 20 0 15 0 95331005 14335930368 60742 18446744073709551615 4194304 4196468 140735946311296 140541805185680 140541849282261 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29761536 140735946315728 140735946318513 140735946318513 140735946321871 0
[pid=19093/tid=19146] ppid=19090 vsize=13999932 CPUtime=0.1 cores=1,3,5,7
/proc/19093/task/19146/stat : 19146 (java) S 19090 19093 1460 0 -1 1077944384 213 12671 0 0 2 0 6 2 20 0 15 0 95331005 14335930368 60742 18446744073709551615 4194304 4196468 140735946311296 140541804132624 140541849282261 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29761536 140735946315728 140735946318513 140735946318513 140735946321871 0
[pid=19093/tid=19147] ppid=19090 vsize=13999932 CPUtime=0.11 cores=1,3,5,7
/proc/19093/task/19147/stat : 19147 (java) S 19090 19093 1460 0 -1 1077944384 87 12671 0 0 3 0 6 2 20 0 15 0 95331005 14335930368 60742 18446744073709551615 4194304 4196468 140735946311296 140541803080080 140541849282261 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29761536 140735946315728 140735946318513 140735946318513 140735946321871 0
[pid=19093/tid=19148] ppid=19090 vsize=13999932 CPUtime=0.11 cores=1,3,5,7
/proc/19093/task/19148/stat : 19148 (java) S 19090 19093 1460 0 -1 1077944384 2349 12671 0 0 3 0 6 2 20 0 15 0 95331006 14335930368 60742 18446744073709551615 4194304 4196468 140735946311296 140541327035120 140541849283202 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29761536 140735946315728 140735946318513 140735946318513 140735946321871 0
[pid=19093/tid=19149] ppid=19090 vsize=13999932 CPUtime=0.08 cores=1,3,5,7
/proc/19093/task/19149/stat : 19149 (java) S 19090 19093 1460 0 -1 1077944384 56 12671 0 0 0 0 6 2 20 0 15 0 95331007 14335930368 60742 18446744073709551615 4194304 4196468 140735946311296 140541325981408 140541849282261 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29761536 140735946315728 140735946318513 140735946318513 140735946321871 0
[pid=19093/tid=19150] ppid=19090 vsize=13999932 CPUtime=0.08 cores=1,3,5,7
/proc/19093/task/19150/stat : 19150 (java) S 19090 19093 1460 0 -1 1077944384 43 12671 0 0 0 0 6 2 20 0 15 0 95331007 14335930368 60742 18446744073709551615 4194304 4196468 140735946311296 140541324928256 140541849282261 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29761536 140735946315728 140735946318513 140735946318513 140735946321871 0
[pid=19093/tid=19151] ppid=19090 vsize=13999932 CPUtime=0.08 cores=1,3,5,7
/proc/19093/task/19151/stat : 19151 (java) S 19090 19093 1460 0 -1 1077944384 3 12671 0 0 0 0 6 2 20 0 15 0 95331010 14335930368 60742 18446744073709551615 4194304 4196468 140735946311296 140541323876816 140541849290651 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29761536 140735946315728 140735946318513 140735946318513 140735946321871 0
[pid=19093/tid=19152] ppid=19090 vsize=13999932 CPUtime=1.07 cores=1,3,5,7
/proc/19093/task/19152/stat : 19152 (java) R 19090 19093 1460 0 -1 4202560 4421 12671 0 0 98 1 6 2 20 0 15 0 95331010 14335930368 60742 18446744073709551615 4194304 4196468 140735946311296 140541322823920 140541849293402 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29761536 140735946315728 140735946318513 140735946318513 140735946321871 0
[pid=19093/tid=19153] ppid=19090 vsize=13999932 CPUtime=0.84 cores=1,3,5,7
/proc/19093/task/19153/stat : 19153 (java) S 19090 19093 1460 0 -1 1077944384 2296 12671 0 0 75 1 6 2 20 0 15 0 95331010 14335930368 60742 18446744073709551615 4194304 4196468 140735946311296 140541321771376 140541849283202 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29761536 140735946315728 140735946318513 140735946318513 140735946321871 0
[pid=19093/tid=19154] ppid=19090 vsize=13999932 CPUtime=1.03 cores=1,3,5,7
/proc/19093/task/19154/stat : 19154 (java) R 19090 19093 1460 0 -1 4202560 3308 12671 0 0 94 1 6 2 20 0 15 0 95331010 14335930368 60742 18446744073709551615 4194304 4196468 140735946311296 140541320714048 140541849293402 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29761536 140735946315728 140735946318513 140735946318513 140735946321871 0
[pid=19093/tid=19155] ppid=19090 vsize=13999932 CPUtime=0.08 cores=1,3,5,7
/proc/19093/task/19155/stat : 19155 (java) S 19090 19093 1460 0 -1 1077944384 3 12671 0 0 0 0 6 2 20 0 15 0 95331010 14335930368 60742 18446744073709551615 4194304 4196468 140735946311296 140541319666016 140541849282261 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29761536 140735946315728 140735946318513 140735946318513 140735946321871 0
[pid=19093/tid=19156] ppid=19090 vsize=13999932 CPUtime=0.08 cores=1,3,5,7
/proc/19093/task/19156/stat : 19156 (java) S 19090 19093 1460 0 -1 1077944384 11 12671 0 0 0 0 6 2 20 0 15 0 95331014 14335930368 60742 18446744073709551615 4194304 4196468 140735946311296 140541318614064 140541849283202 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29761536 140735946315728 140735946318513 140735946318513 140735946321871 0
Current children cumulated CPU time (s) 5.88
Current children cumulated vsize (KiB) 13999932
[startup+3.60126 s]
/proc/loadavg: 4.51 3.95 2.81 4/218 19156
/proc/meminfo: memFree=26590408/32770624 swapFree=0/576912
[pid=19093] ppid=19090 vsize=14067516 CPUtime=6.75 cores=1,3,5,7
/proc/19093/stat : 19093 (java) S 19090 19093 1460 0 -1 1077944320 57574 12671 0 0 649 18 6 2 20 0 15 0 95330985 14405136384 66774 18446744073709551615 4194304 4196468 140735946311296 140735946293840 140541849272055 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 7 0 0 6293624 6294260 29761536 140735946315728 140735946318513 140735946318513 140735946321871 0
/proc/19093/statm: 3516879 66774 3459 1 0 3505493 0
[pid=19093/tid=19143] ppid=19090 vsize=14067516 CPUtime=3.21 cores=1,3,5,7
/proc/19093/task/19143/stat : 19143 (java) R 19090 19093 1460 0 -1 4202560 42134 12671 0 0 303 10 6 2 20 0 15 0 95331004 14405136384 66774 18446744073709551615 4194304 4196468 140735946311296 140541853503584 140541480239504 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 29761536 140735946315728 140735946318513 140735946318513 140735946321871 0
[pid=19093/tid=19144] ppid=19090 vsize=14067516 CPUtime=0.18 cores=1,3,5,7
/proc/19093/task/19144/stat : 19144 (java) S 19090 19093 1460 0 -1 1077944384 115 12671 0 0 10 0 6 2 20 0 15 0 95331005 14405136384 66774 18446744073709551615 4194304 4196468 140735946311296 140541806238224 140541849282261 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29761536 140735946315728 140735946318513 140735946318513 140735946321871 0
[pid=19093/tid=19145] ppid=19090 vsize=14067516 CPUtime=0.18 cores=1,3,5,7
/proc/19093/task/19145/stat : 19145 (java) S 19090 19093 1460 0 -1 1077944384 94 12671 0 0 10 0 6 2 20 0 15 0 95331005 14405136384 66774 18446744073709551615 4194304 4196468 140735946311296 140541805185680 140541849282261 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29761536 140735946315728 140735946318513 140735946318513 140735946321871 0
[pid=19093/tid=19146] ppid=19090 vsize=14067516 CPUtime=0.18 cores=1,3,5,7
/proc/19093/task/19146/stat : 19146 (java) S 19090 19093 1460 0 -1 1077944384 215 12671 0 0 10 0 6 2 20 0 15 0 95331005 14405136384 66774 18446744073709551615 4194304 4196468 140735946311296 140541804132624 140541849282261 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29761536 140735946315728 140735946318513 140735946318513 140735946321871 0
[pid=19093/tid=19147] ppid=19090 vsize=14067516 CPUtime=0.19 cores=1,3,5,7
/proc/19093/task/19147/stat : 19147 (java) S 19090 19093 1460 0 -1 1077944384 90 12671 0 0 11 0 6 2 20 0 15 0 95331005 14405136384 66774 18446744073709551615 4194304 4196468 140735946311296 140541803080080 140541849282261 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29761536 140735946315728 140735946318513 140735946318513 140735946321871 0
[pid=19093/tid=19148] ppid=19090 vsize=14067516 CPUtime=0.17 cores=1,3,5,7
/proc/19093/task/19148/stat : 19148 (java) S 19090 19093 1460 0 -1 1077944384 2361 12671 0 0 9 0 6 2 20 0 15 0 95331006 14405136384 66774 18446744073709551615 4194304 4196468 140735946311296 140541327035120 140541849283202 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29761536 140735946315728 140735946318513 140735946318513 140735946321871 0
[pid=19093/tid=19149] ppid=19090 vsize=14067516 CPUtime=0.08 cores=1,3,5,7
/proc/19093/task/19149/stat : 19149 (java) S 19090 19093 1460 0 -1 1077944384 57 12671 0 0 0 0 6 2 20 0 15 0 95331007 14405136384 66774 18446744073709551615 4194304 4196468 140735946311296 140541325981408 140541849282261 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29761536 140735946315728 140735946318513 140735946318513 140735946321871 0
[pid=19093/tid=19150] ppid=19090 vsize=14067516 CPUtime=0.08 cores=1,3,5,7
/proc/19093/task/19150/stat : 19150 (java) S 19090 19093 1460 0 -1 1077944384 44 12671 0 0 0 0 6 2 20 0 15 0 95331007 14405136384 66774 18446744073709551615 4194304 4196468 140735946311296 140541324928256 140541849282261 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29761536 140735946315728 140735946318513 140735946318513 140735946321871 0
[pid=19093/tid=19151] ppid=19090 vsize=14067516 CPUtime=0.08 cores=1,3,5,7
/proc/19093/task/19151/stat : 19151 (java) S 19090 19093 1460 0 -1 1077944384 3 12671 0 0 0 0 6 2 20 0 15 0 95331010 14405136384 66774 18446744073709551615 4194304 4196468 140735946311296 140541323876816 140541849290651 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29761536 140735946315728 140735946318513 140735946318513 140735946321871 0
[pid=19093/tid=19152] ppid=19090 vsize=14067516 CPUtime=1.14 cores=1,3,5,7
/proc/19093/task/19152/stat : 19152 (java) R 19090 19093 1460 0 -1 4202560 4446 12671 0 0 105 1 6 2 20 0 15 0 95331010 14405136384 66774 18446744073709551615 4194304 4196468 140735946311296 140541322809072 140541830792949 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 29761536 140735946315728 140735946318513 140735946318513 140735946321871 0
[pid=19093/tid=19153] ppid=19090 vsize=14067516 CPUtime=0.94 cores=1,3,5,7
/proc/19093/task/19153/stat : 19153 (java) R 19090 19093 1460 0 -1 4202560 2412 12671 0 0 85 1 6 2 20 0 15 0 95331010 14405136384 66774 18446744073709551615 4194304 4196468 140735946311296 140541321761088 140541833175088 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29761536 140735946315728 140735946318513 140735946318513 140735946321871 0
[pid=19093/tid=19154] ppid=19090 vsize=14067516 CPUtime=1.1 cores=1,3,5,7
/proc/19093/task/19154/stat : 19154 (java) R 19090 19093 1460 0 -1 4202560 3439 12671 0 0 101 1 6 2 20 0 15 0 95331010 14405136384 66774 18446744073709551615 4194304 4196468 140735946311296 140541320718320 140541828986860 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29761536 140735946315728 140735946318513 140735946318513 140735946321871 0
[pid=19093/tid=19155] ppid=19090 vsize=14067516 CPUtime=0.08 cores=1,3,5,7
/proc/19093/task/19155/stat : 19155 (java) S 19090 19093 1460 0 -1 1077944384 3 12671 0 0 0 0 6 2 20 0 15 0 95331010 14405136384 66774 18446744073709551615 4194304 4196468 140735946311296 140541319666016 140541849282261 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29761536 140735946315728 140735946318513 140735946318513 140735946321871 0
[pid=19093/tid=19156] ppid=19090 vsize=14067516 CPUtime=0.08 cores=1,3,5,7
/proc/19093/task/19156/stat : 19156 (java) S 19090 19093 1460 0 -1 1077944384 11 12671 0 0 0 0 6 2 20 0 15 0 95331014 14405136384 66774 18446744073709551615 4194304 4196468 140735946311296 140541318614064 140541849283202 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29761536 140735946315728 140735946318513 140735946318513 140735946321871 0
Current children cumulated CPU time (s) 6.75
Current children cumulated vsize (KiB) 14067516
Child status: 0
Real time (s): 3.64202
CPU time (s): 6.87882
CPU user time (s): 6.65657
CPU system time (s): 0.222242
CPU usage (%): 188.874
Max. virtual memory (cumulated for all children) (KiB): 14067516
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 6.65657
system time used= 0.222242
maximum resident set size= 268368
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 70444
page faults= 0
swaps= 0
block input operations= 0
block output operations= 184
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5169
involuntary context switches= 48
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.015931 second user time and 0.02788 second system time
The end