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-4254288-1501979791/watcher-4254288-1501979791 -o /tmp/evaluation-result-4254288-1501979791/solver-4254288-1501979791 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node132-1501978181-12403 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 2139412753 HOME/instance-4254288-1501979791.xml
pid=13130
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 1.99 1.92 1.90 2/200 13133
/proc/meminfo: memFree=31425856/32770624 swapFree=0/315736
[pid=13133] ppid=13130 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/13133/stat : 13133 (runsolver) D 13130 13133 12039 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 97632296 24240128 108 18446744073709551615 4194304 4338465 140727160467360 140727160465000 139730151301847 0 0 1 24578 18446744071580418449 0 0 17 7 0 0 0 0 0 6438912 6441760 28483584 140727160471650 140727160472140 140727160472140 140727160475594 0
/proc/13133/statm: 5918 108 54 36 0 2156 0
[startup+0.100088 s]
/proc/loadavg: 1.99 1.92 1.90 2/200 13133
/proc/meminfo: memFree=31425856/32770624 swapFree=0/315736
[pid=13133] ppid=13130 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/13133/stat : 13133 (xcsp3-exec) S 13130 13133 12039 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 97632296 9740288 345 18446744073709551615 4194304 5098028 140736672599952 140736672598056 140702999458428 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 9 0 0 7196144 7232144 13950976 140736672604577 140736672604781 140736672604781 140736672608235 0
/proc/13133/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200279 s]
/proc/loadavg: 1.99 1.92 1.90 2/200 13133
/proc/meminfo: memFree=31425856/32770624 swapFree=0/315736
[pid=13133] ppid=13130 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/13133/stat : 13133 (xcsp3-exec) S 13130 13133 12039 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 97632296 9740288 345 18446744073709551615 4194304 5098028 140736672599952 140736672598056 140702999458428 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 9 0 0 7196144 7232144 13950976 140736672604577 140736672604781 140736672604781 140736672608235 0
/proc/13133/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300259 s]
/proc/loadavg: 1.99 1.92 1.90 2/200 13133
/proc/meminfo: memFree=31425856/32770624 swapFree=0/315736
[pid=13133] ppid=13130 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/13133/stat : 13133 (xcsp3-exec) S 13130 13133 12039 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 97632296 9740288 345 18446744073709551615 4194304 5098028 140736672599952 140736672598056 140702999458428 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 9 0 0 7196144 7232144 13950976 140736672604577 140736672604781 140736672604781 140736672608235 0
/proc/13133/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700219 s]
/proc/loadavg: 1.99 1.92 1.90 2/200 13133
/proc/meminfo: memFree=31425856/32770624 swapFree=0/315736
[pid=13133] ppid=13130 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/13133/stat : 13133 (xcsp3-exec) S 13130 13133 12039 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 97632296 9740288 345 18446744073709551615 4194304 5098028 140736672599952 140736672598056 140702999458428 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 9 0 0 7196144 7232144 13950976 140736672604577 140736672604781 140736672604781 140736672608235 0
/proc/13133/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50074 s]
/proc/loadavg: 1.99 1.92 1.90 5/216 13149
/proc/meminfo: memFree=31337264/32770624 swapFree=0/315772
[pid=13133] ppid=13130 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/13133/stat : 13133 (xcsp3-exec) S 13130 13133 12039 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 97632296 9740288 345 18446744073709551615 4194304 5098028 140736672599952 140736672598056 140702999458428 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 9 0 0 7196144 7232144 13950976 140736672604577 140736672604781 140736672604781 140736672608235 0
/proc/13133/statm: 2378 345 289 221 0 87 0
[pid=13135] ppid=13133 vsize=13983528 CPUtime=3.62 cores=1,3,5,7
/proc/13135/stat : 13135 (java) S 13133 13133 12039 0 -1 1077944320 37560 0 0 0 354 8 0 0 20 0 15 0 97632306 14319132672 29382 18446744073709551615 4194304 4196468 140731501959312 140731501941856 140460160589559 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 17436672 140731501965786 140731501965961 140731501965961 140731501969359 0
/proc/13135/statm: 3495882 29382 3188 1 0 3484175 0
[pid=13135/tid=13136] ppid=13133 vsize=13983528 CPUtime=1.32 cores=1,3,5,7
/proc/13135/task/13136/stat : 13136 (java) R 13133 13133 12039 0 -1 4202560 9563 0 0 0 128 4 0 0 20 0 15 0 97632306 14319132672 29382 18446744073709551615 4194304 4196468 140731501959312 140460164825424 140459805307640 0 4 1 16800974 0 0 0 -1 3 0 0 5 0 0 6293624 6294260 17436672 140731501965786 140731501965961 140731501965961 140731501969359 0
[pid=13135/tid=13137] ppid=13133 vsize=13983528 CPUtime=0 cores=1,3,5,7
/proc/13135/task/13137/stat : 13137 (java) S 13133 13133 12039 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97632307 14319132672 29382 18446744073709551615 4194304 4196468 140731501959312 140459760503056 140460160599765 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17436672 140731501965786 140731501965961 140731501965961 140731501969359 0
[pid=13135/tid=13138] ppid=13133 vsize=13983528 CPUtime=0 cores=1,3,5,7
/proc/13135/task/13138/stat : 13138 (java) S 13133 13133 12039 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97632307 14319132672 29382 18446744073709551615 4194304 4196468 140731501959312 140459759450512 140460160599765 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17436672 140731501965786 140731501965961 140731501965961 140731501969359 0
[pid=13135/tid=13139] ppid=13133 vsize=13983528 CPUtime=0 cores=1,3,5,7
/proc/13135/task/13139/stat : 13139 (java) S 13133 13133 12039 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97632307 14319132672 29382 18446744073709551615 4194304 4196468 140731501959312 140459758397968 140460160599765 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17436672 140731501965786 140731501965961 140731501965961 140731501969359 0
[pid=13135/tid=13140] ppid=13133 vsize=13983528 CPUtime=0 cores=1,3,5,7
/proc/13135/task/13140/stat : 13140 (java) S 13133 13133 12039 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 97632307 14319132672 29382 18446744073709551615 4194304 4196468 140731501959312 140459757345424 140460160599765 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17436672 140731501965786 140731501965961 140731501965961 140731501969359 0
[pid=13135/tid=13141] ppid=13133 vsize=13983528 CPUtime=0 cores=1,3,5,7
/proc/13135/task/13141/stat : 13141 (java) S 13133 13133 12039 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 15 0 97632308 14319132672 29382 18446744073709551615 4194304 4196468 140731501959312 140459639060976 140460160600706 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17436672 140731501965786 140731501965961 140731501965961 140731501969359 0
[pid=13135/tid=13142] ppid=13133 vsize=13983528 CPUtime=0 cores=1,3,5,7
/proc/13135/task/13142/stat : 13142 (java) S 13133 13133 12039 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 97632308 14319132672 29382 18446744073709551615 4194304 4196468 140731501959312 140459638007200 140460160599765 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17436672 140731501965786 140731501965961 140731501965961 140731501969359 0
[pid=13135/tid=13143] ppid=13133 vsize=13983528 CPUtime=0 cores=1,3,5,7
/proc/13135/task/13143/stat : 13143 (java) S 13133 13133 12039 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 97632309 14319132672 29382 18446744073709551615 4194304 4196468 140731501959312 140459636954608 140460160599765 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17436672 140731501965786 140731501965961 140731501965961 140731501969359 0
[pid=13135/tid=13144] ppid=13133 vsize=13983528 CPUtime=0 cores=1,3,5,7
/proc/13135/task/13144/stat : 13144 (java) S 13133 13133 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97632311 14319132672 29382 18446744073709551615 4194304 4196468 140731501959312 140459635903184 140460160608155 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17436672 140731501965786 140731501965961 140731501965961 140731501969359 0
[pid=13135/tid=13145] ppid=13133 vsize=13983528 CPUtime=0.91 cores=1,3,5,7
/proc/13135/task/13145/stat : 13145 (java) R 13133 13133 12039 0 -1 4202560 9697 0 0 0 91 0 0 0 20 0 15 0 97632311 14319132672 29382 18446744073709551615 4194304 4196468 140731501959312 140459634835800 140460139846413 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17436672 140731501965786 140731501965961 140731501965961 140731501969359 0
[pid=13135/tid=13146] ppid=13133 vsize=13983528 CPUtime=0.93 cores=1,3,5,7
/proc/13135/task/13146/stat : 13146 (java) R 13133 13133 12039 0 -1 4202560 13561 0 0 0 92 1 0 0 20 0 15 0 97632311 14319132672 29382 18446744073709551615 4194304 4196468 140731501959312 140459633783208 140460144979034 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17436672 140731501965786 140731501965961 140731501965961 140731501969359 0
[pid=13135/tid=13147] ppid=13133 vsize=13983528 CPUtime=0.42 cores=1,3,5,7
/proc/13135/task/13147/stat : 13147 (java) S 13133 13133 12039 0 -1 1077944384 3420 0 0 0 42 0 0 0 20 0 15 0 97632311 14319132672 29382 18446744073709551615 4194304 4196468 140731501959312 140459632744688 140460160600706 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17436672 140731501965786 140731501965961 140731501965961 140731501969359 0
[pid=13135/tid=13148] ppid=13133 vsize=13983528 CPUtime=0 cores=1,3,5,7
/proc/13135/task/13148/stat : 13148 (java) S 13133 13133 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97632311 14319132672 29382 18446744073709551615 4194304 4196468 140731501959312 140459631692384 140460160599765 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17436672 140731501965786 140731501965961 140731501965961 140731501969359 0
[pid=13135/tid=13149] ppid=13133 vsize=13983528 CPUtime=0 cores=1,3,5,7
/proc/13135/task/13149/stat : 13149 (java) S 13133 13133 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97632317 14319132672 29382 18446744073709551615 4194304 4196468 140731501959312 140459630639920 140460160600706 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17436672 140731501965786 140731501965961 140731501965961 140731501969359 0
Current children cumulated CPU time (s) 3.62
Current children cumulated vsize (KiB) 13993040
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 13135 sig 9
??? kill 13133 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1.60091 s]
/proc/loadavg: 1.99 1.92 1.90 5/216 13149
/proc/meminfo: memFree=31337264/32770624 swapFree=0/315772
[pid=13133] ppid=13130 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/13133/stat : 13133 (xcsp3-exec) S 13130 13133 12039 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 97632296 9740288 345 18446744073709551615 4194304 5098028 140736672599952 140736672598056 140702999458428 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 9 0 0 7196144 7232144 13950976 140736672604577 140736672604781 140736672604781 140736672608235 0
/proc/13133/statm: 2378 345 289 221 0 87 0
[pid=13135] ppid=13133 vsize=13980732 CPUtime=3.92 cores=1,3,5,7
/proc/13135/stat : 13135 (java) S 13133 13133 12039 0 -1 1077944320 38822 0 0 0 384 8 0 0 20 0 15 0 97632306 14316269568 29283 18446744073709551615 4194304 4196468 140731501959312 140731501941856 140460160589559 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 17436672 140731501965786 140731501965961 140731501965961 140731501969359 0
/proc/13135/statm: 3495183 29283 3191 1 0 3483476 0
[pid=13135/tid=13136] ppid=13133 vsize=13980732 CPUtime=1.42 cores=1,3,5,7
/proc/13135/task/13136/stat : 13136 (java) R 13133 13133 12039 0 -1 4202560 9685 0 0 0 138 4 0 0 20 0 15 0 97632306 14316269568 29283 18446744073709551615 4194304 4196468 140731501959312 140460164825424 140459805182018 0 4 1 16800974 0 0 0 -1 3 0 0 5 0 0 6293624 6294260 17436672 140731501965786 140731501965961 140731501965961 140731501969359 0
[pid=13135/tid=13137] ppid=13133 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13135/task/13137/stat : 13137 (java) S 13133 13133 12039 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97632307 14316269568 29283 18446744073709551615 4194304 4196468 140731501959312 140459760503056 140460160599765 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17436672 140731501965786 140731501965961 140731501965961 140731501969359 0
[pid=13135/tid=13138] ppid=13133 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13135/task/13138/stat : 13138 (java) S 13133 13133 12039 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97632307 14316269568 29283 18446744073709551615 4194304 4196468 140731501959312 140459759450512 140460160599765 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17436672 140731501965786 140731501965961 140731501965961 140731501969359 0
[pid=13135/tid=13139] ppid=13133 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13135/task/13139/stat : 13139 (java) S 13133 13133 12039 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97632307 14316269568 29283 18446744073709551615 4194304 4196468 140731501959312 140459758397968 140460160599765 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17436672 140731501965786 140731501965961 140731501965961 140731501969359 0
[pid=13135/tid=13140] ppid=13133 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13135/task/13140/stat : 13140 (java) S 13133 13133 12039 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 97632307 14316269568 29283 18446744073709551615 4194304 4196468 140731501959312 140459757345424 140460160599765 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17436672 140731501965786 140731501965961 140731501965961 140731501969359 0
[pid=13135/tid=13141] ppid=13133 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13135/task/13141/stat : 13141 (java) S 13133 13133 12039 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 15 0 97632308 14316269568 29283 18446744073709551615 4194304 4196468 140731501959312 140459639060976 140460160600706 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17436672 140731501965786 140731501965961 140731501965961 140731501969359 0
[pid=13135/tid=13142] ppid=13133 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13135/task/13142/stat : 13142 (java) S 13133 13133 12039 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 97632308 14316269568 29283 18446744073709551615 4194304 4196468 140731501959312 140459638007200 140460160599765 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17436672 140731501965786 140731501965961 140731501965961 140731501969359 0
[pid=13135/tid=13143] ppid=13133 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13135/task/13143/stat : 13143 (java) S 13133 13133 12039 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 97632309 14316269568 29283 18446744073709551615 4194304 4196468 140731501959312 140459636954608 140460160599765 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17436672 140731501965786 140731501965961 140731501965961 140731501969359 0
[pid=13135/tid=13144] ppid=13133 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13135/task/13144/stat : 13144 (java) S 13133 13133 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97632311 14316269568 29283 18446744073709551615 4194304 4196468 140731501959312 140459635903184 140460160608155 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17436672 140731501965786 140731501965961 140731501965961 140731501969359 0
[pid=13135/tid=13145] ppid=13133 vsize=13980732 CPUtime=1.01 cores=1,3,5,7
/proc/13135/task/13145/stat : 13145 (java) R 13133 13133 12039 0 -1 4202560 10667 0 0 0 100 1 0 0 20 0 15 0 97632311 14316269568 29283 18446744073709551615 4194304 4196468 140731501959312 140459634835800 140460152879008 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17436672 140731501965786 140731501965961 140731501965961 140731501969359 0
[pid=13135/tid=13146] ppid=13133 vsize=13980732 CPUtime=1.03 cores=1,3,5,7
/proc/13135/task/13146/stat : 13146 (java) R 13133 13133 12039 0 -1 4202560 13732 0 0 0 102 1 0 0 20 0 15 0 97632311 14316269568 29283 18446744073709551615 4194304 4196468 140731501959312 140459633783208 140460145351380 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17436672 140731501965786 140731501965961 140731501965961 140731501969359 0
[pid=13135/tid=13147] ppid=13133 vsize=13980732 CPUtime=0.43 cores=1,3,5,7
/proc/13135/task/13147/stat : 13147 (java) S 13133 13133 12039 0 -1 1077944384 3434 0 0 0 43 0 0 0 20 0 15 0 97632311 14316269568 29283 18446744073709551615 4194304 4196468 140731501959312 140459632744688 140460160600706 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17436672 140731501965786 140731501965961 140731501965961 140731501969359 0
[pid=13135/tid=13148] ppid=13133 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13135/task/13148/stat : 13148 (java) S 13133 13133 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97632311 14316269568 29283 18446744073709551615 4194304 4196468 140731501959312 140459631692384 140460160599765 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17436672 140731501965786 140731501965961 140731501965961 140731501969359 0
[pid=13135/tid=13149] ppid=13133 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13135/task/13149/stat : 13149 (java) S 13133 13133 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97632317 14316269568 29283 18446744073709551615 4194304 4196468 140731501959312 140459630639920 140460160600706 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17436672 140731501965786 140731501965961 140731501965961 140731501969359 0
Current children cumulated CPU time (s) 3.92
Current children cumulated vsize (KiB) 13990244
[startup+2.00073 s]
/proc/loadavg: 1.99 1.92 1.90 5/216 13149
/proc/meminfo: memFree=31337264/32770624 swapFree=0/315772
[pid=13133] ppid=13130 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/13133/stat : 13133 (xcsp3-exec) S 13130 13133 12039 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 97632296 9740288 345 18446744073709551615 4194304 5098028 140736672599952 140736672598056 140702999458428 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 9 0 0 7196144 7232144 13950976 140736672604577 140736672604781 140736672604781 140736672608235 0
/proc/13133/statm: 2378 345 289 221 0 87 0
[pid=13135] ppid=13133 vsize=13980732 CPUtime=5.13 cores=1,3,5,7
/proc/13135/stat : 13135 (java) S 13133 13133 12039 0 -1 1077944320 40371 0 0 0 505 8 0 0 20 0 15 0 97632306 14316269568 30701 18446744073709551615 4194304 4196468 140731501959312 140731501941856 140460160589559 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 17436672 140731501965786 140731501965961 140731501965961 140731501969359 0
/proc/13135/statm: 3495183 30701 3199 1 0 3483476 0
[pid=13135/tid=13136] ppid=13133 vsize=13980732 CPUtime=1.82 cores=1,3,5,7
/proc/13135/task/13136/stat : 13136 (java) R 13133 13133 12039 0 -1 4202560 9689 0 0 0 178 4 0 0 20 0 15 0 97632306 14316269568 30701 18446744073709551615 4194304 4196468 140731501959312 140460164826480 140459806740759 0 4 1 16800974 0 0 0 -1 3 0 0 5 0 0 6293624 6294260 17436672 140731501965786 140731501965961 140731501965961 140731501969359 0
[pid=13135/tid=13137] ppid=13133 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13135/task/13137/stat : 13137 (java) S 13133 13133 12039 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97632307 14316269568 30701 18446744073709551615 4194304 4196468 140731501959312 140459760503056 140460160599765 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17436672 140731501965786 140731501965961 140731501965961 140731501969359 0
[pid=13135/tid=13138] ppid=13133 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13135/task/13138/stat : 13138 (java) S 13133 13133 12039 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97632307 14316269568 30701 18446744073709551615 4194304 4196468 140731501959312 140459759450512 140460160599765 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17436672 140731501965786 140731501965961 140731501965961 140731501969359 0
[pid=13135/tid=13139] ppid=13133 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13135/task/13139/stat : 13139 (java) S 13133 13133 12039 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97632307 14316269568 30701 18446744073709551615 4194304 4196468 140731501959312 140459758397968 140460160599765 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17436672 140731501965786 140731501965961 140731501965961 140731501969359 0
[pid=13135/tid=13140] ppid=13133 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13135/task/13140/stat : 13140 (java) S 13133 13133 12039 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 97632307 14316269568 30701 18446744073709551615 4194304 4196468 140731501959312 140459757345424 140460160599765 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17436672 140731501965786 140731501965961 140731501965961 140731501969359 0
[pid=13135/tid=13141] ppid=13133 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13135/task/13141/stat : 13141 (java) S 13133 13133 12039 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 15 0 97632308 14316269568 30701 18446744073709551615 4194304 4196468 140731501959312 140459639060976 140460160600706 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17436672 140731501965786 140731501965961 140731501965961 140731501969359 0
[pid=13135/tid=13142] ppid=13133 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13135/task/13142/stat : 13142 (java) S 13133 13133 12039 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 97632308 14316269568 30701 18446744073709551615 4194304 4196468 140731501959312 140459638007200 140460160599765 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17436672 140731501965786 140731501965961 140731501965961 140731501969359 0
[pid=13135/tid=13143] ppid=13133 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13135/task/13143/stat : 13143 (java) S 13133 13133 12039 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 97632309 14316269568 30701 18446744073709551615 4194304 4196468 140731501959312 140459636954608 140460160599765 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17436672 140731501965786 140731501965961 140731501965961 140731501969359 0
[pid=13135/tid=13144] ppid=13133 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13135/task/13144/stat : 13144 (java) S 13133 13133 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97632311 14316269568 30701 18446744073709551615 4194304 4196468 140731501959312 140459635903184 140460160608155 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17436672 140731501965786 140731501965961 140731501965961 140731501969359 0
[pid=13135/tid=13145] ppid=13133 vsize=13980732 CPUtime=1.41 cores=1,3,5,7
/proc/13135/task/13145/stat : 13145 (java) R 13133 13133 12039 0 -1 4202560 11802 0 0 0 140 1 0 0 20 0 15 0 97632311 14316269568 30701 18446744073709551615 4194304 4196468 140731501959312 140459634842968 140460142133793 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17436672 140731501965786 140731501965961 140731501965961 140731501969359 0
[pid=13135/tid=13146] ppid=13133 vsize=13980732 CPUtime=1.43 cores=1,3,5,7
/proc/13135/task/13146/stat : 13146 (java) R 13133 13133 12039 0 -1 4202560 14121 0 0 0 142 1 0 0 20 0 15 0 97632311 14316269568 30701 18446744073709551615 4194304 4196468 140731501959312 140459633787024 140460144000352 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17436672 140731501965786 140731501965961 140731501965961 140731501969359 0
[pid=13135/tid=13147] ppid=13133 vsize=13980732 CPUtime=0.43 cores=1,3,5,7
/proc/13135/task/13147/stat : 13147 (java) S 13133 13133 12039 0 -1 1077944384 3440 0 0 0 43 0 0 0 20 0 15 0 97632311 14316269568 30701 18446744073709551615 4194304 4196468 140731501959312 140459632744688 140460160600706 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17436672 140731501965786 140731501965961 140731501965961 140731501969359 0
[pid=13135/tid=13148] ppid=13133 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13135/task/13148/stat : 13148 (java) S 13133 13133 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97632311 14316269568 30701 18446744073709551615 4194304 4196468 140731501959312 140459631692384 140460160599765 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17436672 140731501965786 140731501965961 140731501965961 140731501969359 0
[pid=13135/tid=13149] ppid=13133 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13135/task/13149/stat : 13149 (java) S 13133 13133 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97632317 14316269568 30701 18446744073709551615 4194304 4196468 140731501959312 140459630639920 140460160600706 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17436672 140731501965786 140731501965961 140731501965961 140731501969359 0
Current children cumulated CPU time (s) 5.13
Current children cumulated vsize (KiB) 13990244
[startup+2.40074 s]
/proc/loadavg: 1.99 1.92 1.90 5/216 13149
/proc/meminfo: memFree=31312208/32770624 swapFree=0/315772
[pid=13133] ppid=13130 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/13133/stat : 13133 (xcsp3-exec) S 13130 13133 12039 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 97632296 9740288 345 18446744073709551615 4194304 5098028 140736672599952 140736672598056 140702999458428 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 9 0 0 7196144 7232144 13950976 140736672604577 140736672604781 140736672604781 140736672608235 0
/proc/13133/statm: 2378 345 289 221 0 87 0
[pid=13135] ppid=13133 vsize=13980732 CPUtime=6.34 cores=1,3,5,7
/proc/13135/stat : 13135 (java) S 13133 13133 12039 0 -1 1077944320 42551 0 0 0 625 9 0 0 20 0 15 0 97632306 14316269568 32366 18446744073709551615 4194304 4196468 140731501959312 140731501941856 140460160589559 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 17436672 140731501965786 140731501965961 140731501965961 140731501969359 0
/proc/13135/statm: 3495183 32366 3199 1 0 3483476 0
[pid=13135/tid=13136] ppid=13133 vsize=13980732 CPUtime=2.22 cores=1,3,5,7
/proc/13135/task/13136/stat : 13136 (java) R 13133 13133 12039 0 -1 4202560 10102 0 0 0 218 4 0 0 20 0 15 0 97632306 14316269568 32366 18446744073709551615 4194304 4196468 140731501959312 140460164826784 140459807210176 0 4 1 16800974 0 0 0 -1 3 0 0 5 0 0 6293624 6294260 17436672 140731501965786 140731501965961 140731501965961 140731501969359 0
[pid=13135/tid=13137] ppid=13133 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13135/task/13137/stat : 13137 (java) S 13133 13133 12039 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97632307 14316269568 32366 18446744073709551615 4194304 4196468 140731501959312 140459760503056 140460160599765 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17436672 140731501965786 140731501965961 140731501965961 140731501969359 0
[pid=13135/tid=13138] ppid=13133 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13135/task/13138/stat : 13138 (java) S 13133 13133 12039 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97632307 14316269568 32366 18446744073709551615 4194304 4196468 140731501959312 140459759450512 140460160599765 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17436672 140731501965786 140731501965961 140731501965961 140731501969359 0
[pid=13135/tid=13139] ppid=13133 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13135/task/13139/stat : 13139 (java) S 13133 13133 12039 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97632307 14316269568 32366 18446744073709551615 4194304 4196468 140731501959312 140459758397968 140460160599765 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17436672 140731501965786 140731501965961 140731501965961 140731501969359 0
[pid=13135/tid=13140] ppid=13133 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13135/task/13140/stat : 13140 (java) S 13133 13133 12039 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 97632307 14316269568 32366 18446744073709551615 4194304 4196468 140731501959312 140459757345424 140460160599765 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17436672 140731501965786 140731501965961 140731501965961 140731501969359 0
[pid=13135/tid=13141] ppid=13133 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13135/task/13141/stat : 13141 (java) S 13133 13133 12039 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 97632308 14316269568 32366 18446744073709551615 4194304 4196468 140731501959312 140459639060976 140460160600706 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17436672 140731501965786 140731501965961 140731501965961 140731501969359 0
[pid=13135/tid=13142] ppid=13133 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13135/task/13142/stat : 13142 (java) S 13133 13133 12039 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 97632308 14316269568 32366 18446744073709551615 4194304 4196468 140731501959312 140459638007200 140460160599765 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17436672 140731501965786 140731501965961 140731501965961 140731501969359 0
[pid=13135/tid=13143] ppid=13133 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13135/task/13143/stat : 13143 (java) S 13133 13133 12039 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 97632309 14316269568 32366 18446744073709551615 4194304 4196468 140731501959312 140459636954608 140460160599765 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17436672 140731501965786 140731501965961 140731501965961 140731501969359 0
[pid=13135/tid=13144] ppid=13133 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13135/task/13144/stat : 13144 (java) S 13133 13133 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97632311 14316269568 32366 18446744073709551615 4194304 4196468 140731501959312 140459635903184 140460160608155 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17436672 140731501965786 140731501965961 140731501965961 140731501969359 0
[pid=13135/tid=13145] ppid=13133 vsize=13980732 CPUtime=1.81 cores=1,3,5,7
/proc/13135/task/13145/stat : 13145 (java) R 13133 13133 12039 0 -1 4202560 12037 0 0 0 180 1 0 0 20 0 15 0 97632311 14316269568 32366 18446744073709551615 4194304 4196468 140731501959312 140459634835936 140460142134190 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17436672 140731501965786 140731501965961 140731501965961 140731501969359 0
[pid=13135/tid=13146] ppid=13133 vsize=13980732 CPUtime=1.83 cores=1,3,5,7
/proc/13135/task/13146/stat : 13146 (java) R 13133 13133 12039 0 -1 4202560 15464 0 0 0 181 2 0 0 20 0 15 0 97632311 14316269568 32366 18446744073709551615 4194304 4196468 140731501959312 140459633787024 140460142134520 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17436672 140731501965786 140731501965961 140731501965961 140731501969359 0
[pid=13135/tid=13147] ppid=13133 vsize=13980732 CPUtime=0.45 cores=1,3,5,7
/proc/13135/task/13147/stat : 13147 (java) S 13133 13133 12039 0 -1 1077944384 3596 0 0 0 44 1 0 0 20 0 15 0 97632311 14316269568 32366 18446744073709551615 4194304 4196468 140731501959312 140459632744688 140460160600706 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17436672 140731501965786 140731501965961 140731501965961 140731501969359 0
[pid=13135/tid=13148] ppid=13133 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13135/task/13148/stat : 13148 (java) S 13133 13133 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97632311 14316269568 32366 18446744073709551615 4194304 4196468 140731501959312 140459631692384 140460160599765 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17436672 140731501965786 140731501965961 140731501965961 140731501969359 0
[pid=13135/tid=13149] ppid=13133 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13135/task/13149/stat : 13149 (java) S 13133 13133 12039 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 15 0 97632317 14316269568 32366 18446744073709551615 4194304 4196468 140731501959312 140459630639920 140460160600706 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17436672 140731501965786 140731501965961 140731501965961 140731501969359 0
Current children cumulated CPU time (s) 6.34
Current children cumulated vsize (KiB) 13990244
[startup+2.50074 s]
/proc/loadavg: 1.99 1.92 1.90 5/216 13149
/proc/meminfo: memFree=31312208/32770624 swapFree=0/315772
[pid=13133] ppid=13130 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/13133/stat : 13133 (xcsp3-exec) S 13130 13133 12039 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 97632296 9740288 345 18446744073709551615 4194304 5098028 140736672599952 140736672598056 140702999458428 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 9 0 0 7196144 7232144 13950976 140736672604577 140736672604781 140736672604781 140736672608235 0
/proc/13133/statm: 2378 345 289 221 0 87 0
[pid=13135] ppid=13133 vsize=13980732 CPUtime=6.65 cores=1,3,5,7
/proc/13135/stat : 13135 (java) S 13133 13133 12039 0 -1 1077944320 43437 0 0 0 656 9 0 0 20 0 15 0 97632306 14316269568 33591 18446744073709551615 4194304 4196468 140731501959312 140731501941856 140460160589559 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 17436672 140731501965786 140731501965961 140731501965961 140731501969359 0
/proc/13135/statm: 3495183 33591 3199 1 0 3483476 0
[pid=13135/tid=13136] ppid=13133 vsize=13980732 CPUtime=2.32 cores=1,3,5,7
/proc/13135/task/13136/stat : 13136 (java) R 13133 13133 12039 0 -1 4202560 10105 0 0 0 228 4 0 0 20 0 15 0 97632306 14316269568 33591 18446744073709551615 4194304 4196468 140731501959312 140460164826784 140459805307844 0 4 1 16800974 0 0 0 -1 3 0 0 5 0 0 6293624 6294260 17436672 140731501965786 140731501965961 140731501965961 140731501969359 0
[pid=13135/tid=13137] ppid=13133 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13135/task/13137/stat : 13137 (java) S 13133 13133 12039 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97632307 14316269568 33591 18446744073709551615 4194304 4196468 140731501959312 140459760503056 140460160599765 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17436672 140731501965786 140731501965961 140731501965961 140731501969359 0
[pid=13135/tid=13138] ppid=13133 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13135/task/13138/stat : 13138 (java) S 13133 13133 12039 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97632307 14316269568 33591 18446744073709551615 4194304 4196468 140731501959312 140459759450512 140460160599765 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17436672 140731501965786 140731501965961 140731501965961 140731501969359 0
[pid=13135/tid=13139] ppid=13133 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13135/task/13139/stat : 13139 (java) S 13133 13133 12039 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97632307 14316269568 33591 18446744073709551615 4194304 4196468 140731501959312 140459758397968 140460160599765 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17436672 140731501965786 140731501965961 140731501965961 140731501969359 0
[pid=13135/tid=13140] ppid=13133 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13135/task/13140/stat : 13140 (java) S 13133 13133 12039 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 97632307 14316269568 33591 18446744073709551615 4194304 4196468 140731501959312 140459757345424 140460160599765 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17436672 140731501965786 140731501965961 140731501965961 140731501969359 0
[pid=13135/tid=13141] ppid=13133 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13135/task/13141/stat : 13141 (java) S 13133 13133 12039 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 97632308 14316269568 33591 18446744073709551615 4194304 4196468 140731501959312 140459639060976 140460160600706 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17436672 140731501965786 140731501965961 140731501965961 140731501969359 0
[pid=13135/tid=13142] ppid=13133 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13135/task/13142/stat : 13142 (java) S 13133 13133 12039 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 97632308 14316269568 33591 18446744073709551615 4194304 4196468 140731501959312 140459638007200 140460160599765 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17436672 140731501965786 140731501965961 140731501965961 140731501969359 0
[pid=13135/tid=13143] ppid=13133 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13135/task/13143/stat : 13143 (java) S 13133 13133 12039 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 97632309 14316269568 33591 18446744073709551615 4194304 4196468 140731501959312 140459636954608 140460160599765 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17436672 140731501965786 140731501965961 140731501965961 140731501969359 0
[pid=13135/tid=13144] ppid=13133 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13135/task/13144/stat : 13144 (java) S 13133 13133 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97632311 14316269568 33591 18446744073709551615 4194304 4196468 140731501959312 140459635903184 140460160608155 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17436672 140731501965786 140731501965961 140731501965961 140731501969359 0
[pid=13135/tid=13145] ppid=13133 vsize=13980732 CPUtime=1.91 cores=1,3,5,7
/proc/13135/task/13145/stat : 13145 (java) R 13133 13133 12039 0 -1 4202560 12230 0 0 0 190 1 0 0 20 0 15 0 97632311 14316269568 33591 18446744073709551615 4194304 4196468 140731501959312 140459634835936 140460141765468 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17436672 140731501965786 140731501965961 140731501965961 140731501969359 0
[pid=13135/tid=13146] ppid=13133 vsize=13980732 CPUtime=1.93 cores=1,3,5,7
/proc/13135/task/13146/stat : 13146 (java) R 13133 13133 12039 0 -1 4202560 16077 0 0 0 191 2 0 0 20 0 15 0 97632311 14316269568 33591 18446744073709551615 4194304 4196468 140731501959312 140459633787024 140460142133793 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17436672 140731501965786 140731501965961 140731501965961 140731501969359 0
[pid=13135/tid=13147] ppid=13133 vsize=13980732 CPUtime=0.45 cores=1,3,5,7
/proc/13135/task/13147/stat : 13147 (java) S 13133 13133 12039 0 -1 1077944384 3660 0 0 0 44 1 0 0 20 0 15 0 97632311 14316269568 33591 18446744073709551615 4194304 4196468 140731501959312 140459632744688 140460160600706 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17436672 140731501965786 140731501965961 140731501965961 140731501969359 0
[pid=13135/tid=13148] ppid=13133 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13135/task/13148/stat : 13148 (java) S 13133 13133 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97632311 14316269568 33591 18446744073709551615 4194304 4196468 140731501959312 140459631692384 140460160599765 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17436672 140731501965786 140731501965961 140731501965961 140731501969359 0
[pid=13135/tid=13149] ppid=13133 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13135/task/13149/stat : 13149 (java) S 13133 13133 12039 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 15 0 97632317 14316269568 33591 18446744073709551615 4194304 4196468 140731501959312 140459630639920 140460160600706 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17436672 140731501965786 140731501965961 140731501965961 140731501969359 0
Current children cumulated CPU time (s) 6.65
Current children cumulated vsize (KiB) 13990244
Child status: 0
Real time (s): 2.57734
CPU time (s): 6.82226
CPU user time (s): 6.72132
CPU system time (s): 0.100938
CPU usage (%): 264.701
Max. virtual memory (cumulated for all children) (KiB): 13993040
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 6.72132
system time used= 0.100938
maximum resident set size= 136896
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 44434
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= 2064
involuntary context switches= 21
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.011644 second user time and 0.02223 second system time
The end