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-4244654-1502012206/watcher-4244654-1502012206 -o /tmp/evaluation-result-4244654-1502012206/solver-4244654-1502012206 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node134-1502009484-25215 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 10000 -tdir HOME -seed 1328512641 HOME/instance-4244654-1502012206.xml
pid=27231
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 8.41 8.54 7.29 6/205 27234
/proc/meminfo: memFree=30757216/32770624 swapFree=0/392984
[pid=27234] ppid=27231 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/27234/stat : 27234 (runsolver) D 27231 27234 25139 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 48726598 24240128 107 18446744073709551615 4194304 4338465 140730993029840 140730993027480 140685453243095 0 0 1 24578 18446744071580418449 0 0 17 4 0 0 0 0 0 6438912 6441760 31408128 140730993037398 140730993037897 140730993037897 140730993041354 0
/proc/27234/statm: 5918 107 54 36 0 2156 0
[startup+0.100175 s]
/proc/loadavg: 8.41 8.54 7.29 6/205 27234
/proc/meminfo: memFree=30757216/32770624 swapFree=0/392984
[pid=27234] ppid=27231 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/27234/stat : 27234 (xcsp3-exec) S 27231 27234 25139 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 48726598 9740288 345 18446744073709551615 4194304 5098028 140737128777840 140737128775944 139956349035132 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 7 0 0 7196144 7232144 23277568 140737128784280 140737128784490 140737128784490 140737128787947 0
/proc/27234/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200328 s]
/proc/loadavg: 8.41 8.54 7.29 6/205 27234
/proc/meminfo: memFree=30757216/32770624 swapFree=0/392984
[pid=27234] ppid=27231 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/27234/stat : 27234 (xcsp3-exec) S 27231 27234 25139 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 48726598 9740288 345 18446744073709551615 4194304 5098028 140737128777840 140737128775944 139956349035132 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 7 0 0 7196144 7232144 23277568 140737128784280 140737128784490 140737128784490 140737128787947 0
/proc/27234/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.302935 s]
/proc/loadavg: 8.41 8.54 7.29 6/205 27234
/proc/meminfo: memFree=30757216/32770624 swapFree=0/392984
[pid=27234] ppid=27231 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/27234/stat : 27234 (xcsp3-exec) S 27231 27234 25139 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 48726598 9740288 345 18446744073709551615 4194304 5098028 140737128777840 140737128775944 139956349035132 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 7 0 0 7196144 7232144 23277568 140737128784280 140737128784490 140737128784490 140737128787947 0
/proc/27234/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.703732 s]
/proc/loadavg: 8.41 8.54 7.29 6/205 27234
/proc/meminfo: memFree=30757216/32770624 swapFree=0/392984
[pid=27234] ppid=27231 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/27234/stat : 27234 (xcsp3-exec) S 27231 27234 25139 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 48726598 9740288 345 18446744073709551615 4194304 5098028 140737128777840 140737128775944 139956349035132 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 7 0 0 7196144 7232144 23277568 140737128784280 140737128784490 140737128784490 140737128787947 0
/proc/27234/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50859 s]
/proc/loadavg: 8.41 8.54 7.29 12/225 27254
/proc/meminfo: memFree=30658812/32770624 swapFree=0/393016
[pid=27234] ppid=27231 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/27234/stat : 27234 (xcsp3-exec) S 27231 27234 25139 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 48726598 9740288 345 18446744073709551615 4194304 5098028 140737128777840 140737128775944 139956349035132 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 7 0 0 7196144 7232144 23277568 140737128784280 140737128784490 140737128784490 140737128787947 0
/proc/27234/statm: 2378 345 289 221 0 87 0
[pid=27236] ppid=27234 vsize=13189796 CPUtime=4.32 cores=0,2,4,6
/proc/27236/stat : 27236 (java) S 27234 27234 25139 0 -1 1077944320 26765 0 0 0 422 10 0 0 20 0 19 0 48726605 13506351104 39202 18446744073709551615 4194304 4196468 140730977464416 140730977446960 140566441098999 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 22212608 140730977472982 140730977473158 140730977473158 140730977476559 0
/proc/27236/statm: 3297449 39202 3188 1 0 3285741 0
[pid=27236/tid=27237] ppid=27234 vsize=13189796 CPUtime=0.74 cores=0,2,4,6
/proc/27236/task/27237/stat : 27237 (java) S 27234 27234 25139 0 -1 1077944384 9117 0 0 0 69 5 0 0 20 0 19 0 48726605 13506351104 39202 18446744073709551615 4194304 4196468 140730977464416 140566445339776 140566441109205 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 2 0 0 6293624 6294260 22212608 140730977472982 140730977473158 140730977473158 140730977476559 0
[pid=27236/tid=27238] ppid=27234 vsize=13189796 CPUtime=0 cores=0,2,4,6
/proc/27236/task/27238/stat : 27238 (java) S 27234 27234 25139 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 48726606 13506351104 39202 18446744073709551615 4194304 4196468 140730977464416 140566363925136 140566441109205 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22212608 140730977472982 140730977473158 140730977473158 140730977476559 0
[pid=27236/tid=27239] ppid=27234 vsize=13189796 CPUtime=0 cores=0,2,4,6
/proc/27236/task/27239/stat : 27239 (java) S 27234 27234 25139 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 48726606 13506351104 39202 18446744073709551615 4194304 4196468 140730977464416 140566362872336 140566441109205 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22212608 140730977472982 140730977473158 140730977473158 140730977476559 0
[pid=27236/tid=27240] ppid=27234 vsize=13189796 CPUtime=0 cores=0,2,4,6
/proc/27236/task/27240/stat : 27240 (java) S 27234 27234 25139 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 48726606 13506351104 39202 18446744073709551615 4194304 4196468 140730977464416 140566361819536 140566441109205 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22212608 140730977472982 140730977473158 140730977473158 140730977476559 0
[pid=27236/tid=27241] ppid=27234 vsize=13189796 CPUtime=0 cores=0,2,4,6
/proc/27236/task/27241/stat : 27241 (java) S 27234 27234 25139 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 48726606 13506351104 39202 18446744073709551615 4194304 4196468 140730977464416 140566041979152 140566441109205 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22212608 140730977472982 140730977473158 140730977473158 140730977476559 0
[pid=27236/tid=27242] ppid=27234 vsize=13189796 CPUtime=0 cores=0,2,4,6
/proc/27236/task/27242/stat : 27242 (java) S 27234 27234 25139 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 48726607 13506351104 39202 18446744073709551615 4194304 4196468 140730977464416 140565924981616 140566441110146 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22212608 140730977472982 140730977473158 140730977473158 140730977476559 0
[pid=27236/tid=27243] ppid=27234 vsize=13189796 CPUtime=0 cores=0,2,4,6
/proc/27236/task/27243/stat : 27243 (java) S 27234 27234 25139 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 48726608 13506351104 39202 18446744073709551615 4194304 4196468 140730977464416 140565923927584 140566441109205 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22212608 140730977472982 140730977473158 140730977473158 140730977476559 0
[pid=27236/tid=27244] ppid=27234 vsize=13189796 CPUtime=0 cores=0,2,4,6
/proc/27236/task/27244/stat : 27244 (java) S 27234 27234 25139 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 48726608 13506351104 39202 18446744073709551615 4194304 4196468 140730977464416 140565922874736 140566441109205 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22212608 140730977472982 140730977473158 140730977473158 140730977476559 0
[pid=27236/tid=27245] ppid=27234 vsize=13189796 CPUtime=0 cores=0,2,4,6
/proc/27236/task/27245/stat : 27245 (java) S 27234 27234 25139 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 48726610 13506351104 39202 18446744073709551615 4194304 4196468 140730977464416 140565921823056 140566441117595 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22212608 140730977472982 140730977473158 140730977473158 140730977476559 0
[pid=27236/tid=27246] ppid=27234 vsize=13189796 CPUtime=0.69 cores=0,2,4,6
/proc/27236/task/27246/stat : 27246 (java) R 27234 27234 25139 0 -1 4202560 6518 0 0 0 68 1 0 0 20 0 19 0 48726610 13506351104 39202 18446744073709551615 4194304 4196468 140730977464416 140565920754936 140566426201413 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 22212608 140730977472982 140730977473158 140730977473158 140730977476559 0
[pid=27236/tid=27247] ppid=27234 vsize=13189796 CPUtime=0.68 cores=0,2,4,6
/proc/27236/task/27247/stat : 27247 (java) R 27234 27234 25139 0 -1 4202560 5541 0 0 0 67 1 0 0 20 0 19 0 48726610 13506351104 39202 18446744073709551615 4194304 4196468 140730977464416 140565919703640 140566424486430 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 22212608 140730977472982 140730977473158 140730977473158 140730977476559 0
[pid=27236/tid=27248] ppid=27234 vsize=13189796 CPUtime=0.67 cores=0,2,4,6
/proc/27236/task/27248/stat : 27248 (java) R 27234 27234 25139 0 -1 4202560 3763 0 0 0 65 2 0 0 20 0 19 0 48726610 13506351104 39202 18446744073709551615 4194304 4196468 140730977464416 140565918661496 140566420000282 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 22212608 140730977472982 140730977473158 140730977473158 140730977476559 0
[pid=27236/tid=27249] ppid=27234 vsize=13189796 CPUtime=0 cores=0,2,4,6
/proc/27236/task/27249/stat : 27249 (java) S 27234 27234 25139 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 48726611 13506351104 39202 18446744073709551615 4194304 4196468 140730977464416 140565917612256 140566441109205 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22212608 140730977472982 140730977473158 140730977473158 140730977476559 0
[pid=27236/tid=27250] ppid=27234 vsize=13189796 CPUtime=0 cores=0,2,4,6
/proc/27236/task/27250/stat : 27250 (java) S 27234 27234 25139 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 48726614 13506351104 39202 18446744073709551615 4194304 4196468 140730977464416 140565916560560 140566441110146 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22212608 140730977472982 140730977473158 140730977473158 140730977476559 0
[pid=27236/tid=27251] ppid=27234 vsize=13189796 CPUtime=0.46 cores=0,2,4,6
/proc/27236/task/27251/stat : 27251 (java) R 27234 27234 25139 0 -1 4202560 323 0 0 0 46 0 0 0 20 0 19 0 48726684 13506351104 39202 18446744073709551615 4194304 4196468 140730977464416 140565908544904 140566047401223 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 22212608 140730977472982 140730977473158 140730977473158 140730977476559 0
[pid=27236/tid=27252] ppid=27234 vsize=13189796 CPUtime=0.32 cores=0,2,4,6
/proc/27236/task/27252/stat : 27252 (java) R 27234 27234 25139 0 -1 4202560 91 0 0 0 32 0 0 0 20 0 19 0 48726684 13506351104 39202 18446744073709551615 4194304 4196468 140730977464416 140565907495064 140566047943900 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 22212608 140730977472982 140730977473158 140730977473158 140730977476559 0
[pid=27236/tid=27253] ppid=27234 vsize=13189796 CPUtime=0.35 cores=0,2,4,6
/proc/27236/task/27253/stat : 27253 (java) R 27234 27234 25139 0 -1 4202560 41 0 0 0 35 0 0 0 20 0 19 0 48726684 13506351104 39202 18446744073709551615 4194304 4196468 140730977464416 140565906440760 140566048440929 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 22212608 140730977472982 140730977473158 140730977473158 140730977476559 0
[pid=27236/tid=27254] ppid=27234 vsize=13189796 CPUtime=0.36 cores=0,2,4,6
/proc/27236/task/27254/stat : 27254 (java) R 27234 27234 25139 0 -1 4202560 64 0 0 0 36 0 0 0 20 0 19 0 48726684 13506351104 39202 18446744073709551615 4194304 4196468 140730977464416 140565905389480 140566048087783 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22212608 140730977472982 140730977473158 140730977473158 140730977476559 0
Current children cumulated CPU time (s) 4.32
Current children cumulated vsize (KiB) 13199308
[startup+3.10159 s]
/proc/loadavg: 8.54 8.57 7.30 12/225 27254
/proc/meminfo: memFree=30581604/32770624 swapFree=0/393016
[pid=27234] ppid=27231 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/27234/stat : 27234 (xcsp3-exec) S 27231 27234 25139 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 48726598 9740288 345 18446744073709551615 4194304 5098028 140737128777840 140737128775944 139956349035132 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 7 0 0 7196144 7232144 23277568 140737128784280 140737128784490 140737128784490 140737128787947 0
/proc/27234/statm: 2378 345 289 221 0 87 0
[pid=27236] ppid=27234 vsize=13187632 CPUtime=10.67 cores=0,2,4,6
/proc/27236/stat : 27236 (java) S 27234 27234 25139 0 -1 1077944320 46519 0 0 0 1056 11 0 0 20 0 19 0 48726605 13504135168 54426 18446744073709551615 4194304 4196468 140730977464416 140730977446960 140566441098999 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 22212608 140730977472982 140730977473158 140730977473158 140730977476559 0
/proc/27236/statm: 3296908 54426 3193 1 0 3285200 0
[pid=27236/tid=27237] ppid=27234 vsize=13187632 CPUtime=0.74 cores=0,2,4,6
/proc/27236/task/27237/stat : 27237 (java) S 27234 27234 25139 0 -1 1077944384 9117 0 0 0 69 5 0 0 20 0 19 0 48726605 13504135168 54426 18446744073709551615 4194304 4196468 140730977464416 140566445339776 140566441109205 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 2 0 0 6293624 6294260 22212608 140730977472982 140730977473158 140730977473158 140730977476559 0
[pid=27236/tid=27238] ppid=27234 vsize=13187632 CPUtime=0 cores=0,2,4,6
/proc/27236/task/27238/stat : 27238 (java) S 27234 27234 25139 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 48726606 13504135168 54426 18446744073709551615 4194304 4196468 140730977464416 140566363925136 140566441109205 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22212608 140730977472982 140730977473158 140730977473158 140730977476559 0
[pid=27236/tid=27239] ppid=27234 vsize=13187632 CPUtime=0 cores=0,2,4,6
/proc/27236/task/27239/stat : 27239 (java) S 27234 27234 25139 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 48726606 13504135168 54426 18446744073709551615 4194304 4196468 140730977464416 140566362872336 140566441109205 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22212608 140730977472982 140730977473158 140730977473158 140730977476559 0
[pid=27236/tid=27240] ppid=27234 vsize=13187632 CPUtime=0 cores=0,2,4,6
/proc/27236/task/27240/stat : 27240 (java) S 27234 27234 25139 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 48726606 13504135168 54426 18446744073709551615 4194304 4196468 140730977464416 140566361819536 140566441109205 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22212608 140730977472982 140730977473158 140730977473158 140730977476559 0
[pid=27236/tid=27241] ppid=27234 vsize=13187632 CPUtime=0 cores=0,2,4,6
/proc/27236/task/27241/stat : 27241 (java) S 27234 27234 25139 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 48726606 13504135168 54426 18446744073709551615 4194304 4196468 140730977464416 140566041979152 140566441109205 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22212608 140730977472982 140730977473158 140730977473158 140730977476559 0
[pid=27236/tid=27242] ppid=27234 vsize=13187632 CPUtime=0 cores=0,2,4,6
/proc/27236/task/27242/stat : 27242 (java) S 27234 27234 25139 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 19 0 48726607 13504135168 54426 18446744073709551615 4194304 4196468 140730977464416 140565924981616 140566441110146 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22212608 140730977472982 140730977473158 140730977473158 140730977476559 0
[pid=27236/tid=27243] ppid=27234 vsize=13187632 CPUtime=0 cores=0,2,4,6
/proc/27236/task/27243/stat : 27243 (java) S 27234 27234 25139 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 48726608 13504135168 54426 18446744073709551615 4194304 4196468 140730977464416 140565923927584 140566441109205 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22212608 140730977472982 140730977473158 140730977473158 140730977476559 0
[pid=27236/tid=27244] ppid=27234 vsize=13187632 CPUtime=0 cores=0,2,4,6
/proc/27236/task/27244/stat : 27244 (java) S 27234 27234 25139 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 48726608 13504135168 54426 18446744073709551615 4194304 4196468 140730977464416 140565922874736 140566441109205 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22212608 140730977472982 140730977473158 140730977473158 140730977476559 0
[pid=27236/tid=27245] ppid=27234 vsize=13187632 CPUtime=0 cores=0,2,4,6
/proc/27236/task/27245/stat : 27245 (java) S 27234 27234 25139 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 48726610 13504135168 54426 18446744073709551615 4194304 4196468 140730977464416 140565921823056 140566441117595 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22212608 140730977472982 140730977473158 140730977473158 140730977476559 0
[pid=27236/tid=27246] ppid=27234 vsize=13187632 CPUtime=1.74 cores=0,2,4,6
/proc/27236/task/27246/stat : 27246 (java) R 27234 27234 25139 0 -1 4202560 17004 0 0 0 173 1 0 0 20 0 19 0 48726610 13504135168 54426 18446744073709551615 4194304 4196468 140730977464416 140565920762904 140566425488848 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 22212608 140730977472982 140730977473158 140730977473158 140730977476559 0
[pid=27236/tid=27247] ppid=27234 vsize=13187632 CPUtime=1.67 cores=0,2,4,6
/proc/27236/task/27247/stat : 27247 (java) R 27234 27234 25139 0 -1 4202560 13187 0 0 0 166 1 0 0 20 0 19 0 48726610 13504135168 54426 18446744073709551615 4194304 4196468 140730977464416 140565919703640 140566424599109 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 22212608 140730977472982 140730977473158 140730977473158 140730977476559 0
[pid=27236/tid=27248] ppid=27234 vsize=13187632 CPUtime=0.73 cores=0,2,4,6
/proc/27236/task/27248/stat : 27248 (java) S 27234 27234 25139 0 -1 1077944384 4848 0 0 0 71 2 0 0 20 0 19 0 48726610 13504135168 54426 18446744073709551615 4194304 4196468 140730977464416 140565918664816 140566441110146 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22212608 140730977472982 140730977473158 140730977473158 140730977476559 0
[pid=27236/tid=27249] ppid=27234 vsize=13187632 CPUtime=0 cores=0,2,4,6
/proc/27236/task/27249/stat : 27249 (java) S 27234 27234 25139 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 48726611 13504135168 54426 18446744073709551615 4194304 4196468 140730977464416 140565917612256 140566441109205 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22212608 140730977472982 140730977473158 140730977473158 140730977476559 0
[pid=27236/tid=27250] ppid=27234 vsize=13187632 CPUtime=0 cores=0,2,4,6
/proc/27236/task/27250/stat : 27250 (java) S 27234 27234 25139 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 48726614 13504135168 54426 18446744073709551615 4194304 4196468 140730977464416 140565916560560 140566441110146 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22212608 140730977472982 140730977473158 140730977473158 140730977476559 0
[pid=27236/tid=27251] ppid=27234 vsize=13187632 CPUtime=1.51 cores=0,2,4,6
/proc/27236/task/27251/stat : 27251 (java) R 27234 27234 25139 0 -1 4202560 493 0 0 0 151 0 0 0 20 0 19 0 48726684 13504135168 54426 18446744073709551615 4194304 4196468 140730977464416 140565908545288 140566048440929 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 22212608 140730977472982 140730977473158 140730977473158 140730977476559 0
[pid=27236/tid=27252] ppid=27234 vsize=13187632 CPUtime=1.19 cores=0,2,4,6
/proc/27236/task/27252/stat : 27252 (java) R 27234 27234 25139 0 -1 4202560 232 0 0 0 119 0 0 0 20 0 19 0 48726684 13504135168 54426 18446744073709551615 4194304 4196468 140730977464416 140565907492952 140566047579697 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 22212608 140730977472982 140730977473158 140730977473158 140730977476559 0
[pid=27236/tid=27253] ppid=27234 vsize=13187632 CPUtime=1.58 cores=0,2,4,6
/proc/27236/task/27253/stat : 27253 (java) R 27234 27234 25139 0 -1 4202560 90 0 0 0 158 0 0 0 20 0 19 0 48726684 13504135168 54426 18446744073709551615 4194304 4196468 140730977464416 140565906440808 140566048441427 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22212608 140730977472982 140730977473158 140730977473158 140730977476559 0
[pid=27236/tid=27254] ppid=27234 vsize=13187632 CPUtime=1.44 cores=0,2,4,6
/proc/27236/task/27254/stat : 27254 (java) R 27234 27234 25139 0 -1 4202560 218 0 0 0 144 0 0 0 20 0 19 0 48726684 13504135168 54426 18446744073709551615 4194304 4196468 140730977464416 140565905387192 140566047565323 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 22212608 140730977472982 140730977473158 140730977473158 140730977476559 0
Current children cumulated CPU time (s) 10.67
Current children cumulated vsize (KiB) 13197144
[startup+6.31059 s]
/proc/loadavg: 8.54 8.57 7.30 11/225 27254
/proc/meminfo: memFree=30504180/32770624 swapFree=0/393028
[pid=27234] ppid=27231 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/27234/stat : 27234 (xcsp3-exec) S 27231 27234 25139 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 48726598 9740288 345 18446744073709551615 4194304 5098028 140737128777840 140737128775944 139956349035132 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 7 0 0 7196144 7232144 23277568 140737128784280 140737128784490 140737128784490 140737128787947 0
/proc/27234/statm: 2378 345 289 221 0 87 0
[pid=27236] ppid=27234 vsize=13187632 CPUtime=23.44 cores=0,2,4,6
/proc/27236/stat : 27236 (java) S 27234 27234 25139 0 -1 1077944320 52310 0 0 0 2329 15 0 0 20 0 19 0 48726605 13504135168 69922 18446744073709551615 4194304 4196468 140730977464416 140730977446960 140566441098999 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 22212608 140730977472982 140730977473158 140730977473158 140730977476559 0
/proc/27236/statm: 3296908 69922 3240 1 0 3285200 0
[pid=27236/tid=27237] ppid=27234 vsize=13187632 CPUtime=0.74 cores=0,2,4,6
/proc/27236/task/27237/stat : 27237 (java) S 27234 27234 25139 0 -1 1077944384 9117 0 0 0 69 5 0 0 20 0 19 0 48726605 13504135168 69922 18446744073709551615 4194304 4196468 140730977464416 140566445339776 140566441109205 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 2 0 0 6293624 6294260 22212608 140730977472982 140730977473158 140730977473158 140730977476559 0
[pid=27236/tid=27238] ppid=27234 vsize=13187632 CPUtime=0 cores=0,2,4,6
/proc/27236/task/27238/stat : 27238 (java) S 27234 27234 25139 0 -1 1077944384 401 0 0 0 0 0 0 0 20 0 19 0 48726606 13504135168 69922 18446744073709551615 4194304 4196468 140730977464416 140566363925136 140566441109205 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22212608 140730977472982 140730977473158 140730977473158 140730977476559 0
[pid=27236/tid=27239] ppid=27234 vsize=13187632 CPUtime=0.01 cores=0,2,4,6
/proc/27236/task/27239/stat : 27239 (java) S 27234 27234 25139 0 -1 1077944384 29 0 0 0 1 0 0 0 20 0 19 0 48726606 13504135168 69922 18446744073709551615 4194304 4196468 140730977464416 140566362872336 140566441109205 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22212608 140730977472982 140730977473158 140730977473158 140730977476559 0
[pid=27236/tid=27240] ppid=27234 vsize=13187632 CPUtime=0.01 cores=0,2,4,6
/proc/27236/task/27240/stat : 27240 (java) S 27234 27234 25139 0 -1 1077944384 113 0 0 0 1 0 0 0 20 0 19 0 48726606 13504135168 69922 18446744073709551615 4194304 4196468 140730977464416 140566361819536 140566441109205 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22212608 140730977472982 140730977473158 140730977473158 140730977476559 0
[pid=27236/tid=27241] ppid=27234 vsize=13187632 CPUtime=0 cores=0,2,4,6
/proc/27236/task/27241/stat : 27241 (java) S 27234 27234 25139 0 -1 1077944384 815 0 0 0 0 0 0 0 20 0 19 0 48726606 13504135168 69922 18446744073709551615 4194304 4196468 140730977464416 140566041979152 140566441109205 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22212608 140730977472982 140730977473158 140730977473158 140730977476559 0
[pid=27236/tid=27242] ppid=27234 vsize=13187632 CPUtime=0 cores=0,2,4,6
/proc/27236/task/27242/stat : 27242 (java) S 27234 27234 25139 0 -1 1077944384 235 0 0 0 0 0 0 0 20 0 19 0 48726607 13504135168 69922 18446744073709551615 4194304 4196468 140730977464416 140565924981616 140566441110146 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22212608 140730977472982 140730977473158 140730977473158 140730977476559 0
[pid=27236/tid=27243] ppid=27234 vsize=13187632 CPUtime=0 cores=0,2,4,6
/proc/27236/task/27243/stat : 27243 (java) S 27234 27234 25139 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 19 0 48726608 13504135168 69922 18446744073709551615 4194304 4196468 140730977464416 140565923927584 140566441109205 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22212608 140730977472982 140730977473158 140730977473158 140730977476559 0
[pid=27236/tid=27244] ppid=27234 vsize=13187632 CPUtime=0 cores=0,2,4,6
/proc/27236/task/27244/stat : 27244 (java) S 27234 27234 25139 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 19 0 48726608 13504135168 69922 18446744073709551615 4194304 4196468 140730977464416 140565922874736 140566441109205 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22212608 140730977472982 140730977473158 140730977473158 140730977476559 0
[pid=27236/tid=27245] ppid=27234 vsize=13187632 CPUtime=0 cores=0,2,4,6
/proc/27236/task/27245/stat : 27245 (java) S 27234 27234 25139 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 48726610 13504135168 69922 18446744073709551615 4194304 4196468 140730977464416 140565921823056 140566441117595 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22212608 140730977472982 140730977473158 140730977473158 140730977476559 0
[pid=27236/tid=27246] ppid=27234 vsize=13187632 CPUtime=3.64 cores=0,2,4,6
/proc/27236/task/27246/stat : 27246 (java) R 27234 27234 25139 0 -1 4202560 18181 0 0 0 363 1 0 0 20 0 19 0 48726610 13504135168 69922 18446744073709551615 4194304 4196468 140730977464416 140565920756984 140566424627696 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 22212608 140730977472982 140730977473158 140730977473158 140730977476559 0
[pid=27236/tid=27247] ppid=27234 vsize=13187632 CPUtime=3.63 cores=0,2,4,6
/proc/27236/task/27247/stat : 27247 (java) R 27234 27234 25139 0 -1 4202560 14181 0 0 0 362 1 0 0 20 0 19 0 48726610 13504135168 69922 18446744073709551615 4194304 4196468 140730977464416 140565919713984 140566420342825 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 22212608 140730977472982 140730977473158 140730977473158 140730977476559 0
[pid=27236/tid=27248] ppid=27234 vsize=13187632 CPUtime=0.77 cores=0,2,4,6
/proc/27236/task/27248/stat : 27248 (java) S 27234 27234 25139 0 -1 1077944384 5791 0 0 0 75 2 0 0 20 0 19 0 48726610 13504135168 69922 18446744073709551615 4194304 4196468 140730977464416 140565918664816 140566441110146 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22212608 140730977472982 140730977473158 140730977473158 140730977476559 0
[pid=27236/tid=27249] ppid=27234 vsize=13187632 CPUtime=0 cores=0,2,4,6
/proc/27236/task/27249/stat : 27249 (java) S 27234 27234 25139 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 48726611 13504135168 69922 18446744073709551615 4194304 4196468 140730977464416 140565917612256 140566441109205 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22212608 140730977472982 140730977473158 140730977473158 140730977476559 0
[pid=27236/tid=27250] ppid=27234 vsize=13187632 CPUtime=0 cores=0,2,4,6
/proc/27236/task/27250/stat : 27250 (java) S 27234 27234 25139 0 -1 1077944384 353 0 0 0 0 0 0 0 20 0 19 0 48726614 13504135168 69922 18446744073709551615 4194304 4196468 140730977464416 140565916560560 140566441110146 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22212608 140730977472982 140730977473158 140730977473158 140730977476559 0
[pid=27236/tid=27251] ppid=27234 vsize=13187632 CPUtime=3.77 cores=0,2,4,6
/proc/27236/task/27251/stat : 27251 (java) R 27234 27234 25139 0 -1 4202560 831 0 0 0 377 0 0 0 20 0 19 0 48726684 13504135168 69922 18446744073709551615 4194304 4196468 140730977464416 140565908545144 140566043029944 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 22212608 140730977472982 140730977473158 140730977473158 140730977476559 0
################
# More data... #
################
[pid=27236] ppid=27234 vsize=13187632 CPUtime=1993.72 cores=0,2,4,6
/proc/27236/stat : 27236 (java) S 27234 27234 25139 0 -1 1077944320 283242 0 0 0 199181 191 0 0 20 0 19 0 48726605 13504135168 122035 18446744073709551615 4194304 4196468 140730977464416 140730977446960 140566441098999 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 22212608 140730977472982 140730977473158 140730977473158 140730977476559 0
/proc/27236/statm: 3296908 122035 3263 1 0 3285200 0
[pid=27236/tid=27237] ppid=27234 vsize=13187632 CPUtime=0.77 cores=0,2,4,6
/proc/27236/task/27237/stat : 27237 (java) S 27234 27234 25139 0 -1 1077944384 15751 0 0 0 72 5 0 0 20 0 19 0 48726605 13504135168 122035 18446744073709551615 4194304 4196468 140730977464416 140566445339776 140566441109205 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 2 0 0 6293624 6294260 22212608 140730977472982 140730977473158 140730977473158 140730977476559 0
[pid=27236/tid=27238] ppid=27234 vsize=13187632 CPUtime=0.76 cores=0,2,4,6
/proc/27236/task/27238/stat : 27238 (java) S 27234 27234 25139 0 -1 1077944384 13381 0 0 0 59 17 0 0 20 0 19 0 48726606 13504135168 122035 18446744073709551615 4194304 4196468 140730977464416 140566363925136 140566441109205 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22212608 140730977472982 140730977473158 140730977473158 140730977476559 0
[pid=27236/tid=27239] ppid=27234 vsize=13187632 CPUtime=0.77 cores=0,2,4,6
/proc/27236/task/27239/stat : 27239 (java) S 27234 27234 25139 0 -1 1077944384 15589 0 0 0 60 17 0 0 20 0 19 0 48726606 13504135168 122035 18446744073709551615 4194304 4196468 140730977464416 140566362872336 140566441109205 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22212608 140730977472982 140730977473158 140730977473158 140730977476559 0
[pid=27236/tid=27240] ppid=27234 vsize=13187632 CPUtime=0.76 cores=0,2,4,6
/proc/27236/task/27240/stat : 27240 (java) S 27234 27234 25139 0 -1 1077944384 10377 0 0 0 60 16 0 0 20 0 19 0 48726606 13504135168 122035 18446744073709551615 4194304 4196468 140730977464416 140566361819536 140566441109205 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22212608 140730977472982 140730977473158 140730977473158 140730977476559 0
[pid=27236/tid=27241] ppid=27234 vsize=13187632 CPUtime=0.76 cores=0,2,4,6
/proc/27236/task/27241/stat : 27241 (java) S 27234 27234 25139 0 -1 1077944384 15409 0 0 0 59 17 0 0 20 0 19 0 48726606 13504135168 122035 18446744073709551615 4194304 4196468 140730977464416 140566041979152 140566441109205 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22212608 140730977472982 140730977473158 140730977473158 140730977476559 0
[pid=27236/tid=27242] ppid=27234 vsize=13187632 CPUtime=1.28 cores=0,2,4,6
/proc/27236/task/27242/stat : 27242 (java) S 27234 27234 25139 0 -1 1077944384 21712 0 0 0 37 91 0 0 20 0 19 0 48726607 13504135168 122035 18446744073709551615 4194304 4196468 140730977464416 140565924981616 140566441110146 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22212608 140730977472982 140730977473158 140730977473158 140730977476559 0
[pid=27236/tid=27243] ppid=27234 vsize=13187632 CPUtime=0 cores=0,2,4,6
/proc/27236/task/27243/stat : 27243 (java) S 27234 27234 25139 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 19 0 48726608 13504135168 122035 18446744073709551615 4194304 4196468 140730977464416 140565923927648 140566441109205 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22212608 140730977472982 140730977473158 140730977473158 140730977476559 0
[pid=27236/tid=27244] ppid=27234 vsize=13187632 CPUtime=0 cores=0,2,4,6
/proc/27236/task/27244/stat : 27244 (java) S 27234 27234 25139 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 19 0 48726608 13504135168 122035 18446744073709551615 4194304 4196468 140730977464416 140565922874752 140566441109205 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22212608 140730977472982 140730977473158 140730977473158 140730977476559 0
[pid=27236/tid=27245] ppid=27234 vsize=13187632 CPUtime=0 cores=0,2,4,6
/proc/27236/task/27245/stat : 27245 (java) S 27234 27234 25139 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 48726610 13504135168 122035 18446744073709551615 4194304 4196468 140730977464416 140565921823056 140566441117595 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22212608 140730977472982 140730977473158 140730977473158 140730977476559 0
[pid=27236/tid=27246] ppid=27234 vsize=13187632 CPUtime=5.11 cores=0,2,4,6
/proc/27236/task/27246/stat : 27246 (java) S 27234 27234 25139 0 -1 1077944384 32748 0 0 0 508 3 0 0 20 0 19 0 48726610 13504135168 122035 18446744073709551615 4194304 4196468 140730977464416 140565920770416 140566441110146 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22212608 140730977472982 140730977473158 140730977473158 140730977476559 0
[pid=27236/tid=27247] ppid=27234 vsize=13187632 CPUtime=5.3 cores=0,2,4,6
/proc/27236/task/27247/stat : 27247 (java) S 27234 27234 25139 0 -1 1077944384 25781 0 0 0 527 3 0 0 20 0 19 0 48726610 13504135168 122035 18446744073709551615 4194304 4196468 140730977464416 140565919717616 140566441110146 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22212608 140730977472982 140730977473158 140730977473158 140730977476559 0
[pid=27236/tid=27248] ppid=27234 vsize=13187632 CPUtime=0.94 cores=0,2,4,6
/proc/27236/task/27248/stat : 27248 (java) S 27234 27234 25139 0 -1 1077944384 26699 0 0 0 91 3 0 0 20 0 19 0 48726610 13504135168 122035 18446744073709551615 4194304 4196468 140730977464416 140565918664816 140566441110146 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22212608 140730977472982 140730977473158 140730977473158 140730977476559 0
[pid=27236/tid=27249] ppid=27234 vsize=13187632 CPUtime=0 cores=0,2,4,6
/proc/27236/task/27249/stat : 27249 (java) S 27234 27234 25139 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 48726611 13504135168 122035 18446744073709551615 4194304 4196468 140730977464416 140565917612256 140566441109205 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22212608 140730977472982 140730977473158 140730977473158 140730977476559 0
[pid=27236/tid=27250] ppid=27234 vsize=13187632 CPUtime=0.17 cores=0,2,4,6
/proc/27236/task/27250/stat : 27250 (java) S 27234 27234 25139 0 -1 1077944384 3838 0 0 0 8 9 0 0 20 0 19 0 48726614 13504135168 122035 18446744073709551615 4194304 4196468 140730977464416 140565916560560 140566441110146 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22212608 140730977472982 140730977473158 140730977473158 140730977476559 0
[pid=27236/tid=27412] ppid=27234 vsize=13187632 CPUtime=75.33 cores=0,2,4,6
/proc/27236/task/27412/stat : 27412 (java) R 27234 27234 25139 0 -1 4202560 820 0 0 0 7533 0 0 0 20 0 19 0 48771215 13504135168 122035 18446744073709551615 4194304 4196468 140730977464416 140565908544656 140566051861389 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22212608 140730977472982 140730977473158 140730977473158 140730977476559 0
[pid=27236/tid=27413] ppid=27234 vsize=13187632 CPUtime=75.2 cores=0,2,4,6
/proc/27236/task/27413/stat : 27413 (java) R 27234 27234 25139 0 -1 4202560 2643 0 0 0 7520 0 0 0 20 0 19 0 48771215 13504135168 122035 18446744073709551615 4194304 4196468 140730977464416 140565907495856 140566050743494 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 22212608 140730977472982 140730977473158 140730977473158 140730977476559 0
[pid=27236/tid=27414] ppid=27234 vsize=13187632 CPUtime=75.31 cores=0,2,4,6
/proc/27236/task/27414/stat : 27414 (java) R 27234 27234 25139 0 -1 4202560 903 0 0 0 7531 0 0 0 20 0 19 0 48771215 13504135168 122035 18446744073709551615 4194304 4196468 140730977464416 140565906440080 140566051861531 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 22212608 140730977472982 140730977473158 140730977473158 140730977476559 0
[pid=27236/tid=27415] ppid=27234 vsize=13187632 CPUtime=75.01 cores=0,2,4,6
/proc/27236/task/27415/stat : 27415 (java) R 27234 27234 25139 0 -1 4202560 2755 0 0 0 7501 0 0 0 20 0 19 0 48771215 13504135168 122035 18446744073709551615 4194304 4196468 140730977464416 140565905387152 140566045760335 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 22212608 140730977472982 140730977473158 140730977473158 140730977476559 0
Current children cumulated CPU time (s) 1993.72
Current children cumulated vsize (KiB) 13197144
[startup+582.302 s]
/proc/loadavg: 8.45 8.28 7.72 11/224 27611
/proc/meminfo: memFree=30901452/32770624 swapFree=0/393492
[pid=27234] ppid=27231 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/27234/stat : 27234 (xcsp3-exec) S 27231 27234 25139 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 48726598 9740288 345 18446744073709551615 4194304 5098028 140737128777840 140737128775944 139956349035132 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 7 0 0 7196144 7232144 23277568 140737128784280 140737128784490 140737128784490 140737128787947 0
/proc/27234/statm: 2378 345 289 221 0 87 0
[pid=27236] ppid=27234 vsize=13187632 CPUtime=2231.85 cores=0,2,4,6
/proc/27236/stat : 27236 (java) S 27234 27234 25139 0 -1 1077944320 290678 0 0 0 222957 228 0 0 20 0 19 0 48726605 13504135168 94733 18446744073709551615 4194304 4196468 140730977464416 140730977446960 140566441098999 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 22212608 140730977472982 140730977473158 140730977473158 140730977476559 0
/proc/27236/statm: 3296908 94733 3279 1 0 3285200 0
[pid=27236/tid=27237] ppid=27234 vsize=13187632 CPUtime=0.77 cores=0,2,4,6
/proc/27236/task/27237/stat : 27237 (java) S 27234 27234 25139 0 -1 1077944384 15751 0 0 0 72 5 0 0 20 0 19 0 48726605 13504135168 94733 18446744073709551615 4194304 4196468 140730977464416 140566445339776 140566441109205 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 2 0 0 6293624 6294260 22212608 140730977472982 140730977473158 140730977473158 140730977476559 0
[pid=27236/tid=27238] ppid=27234 vsize=13187632 CPUtime=0.94 cores=0,2,4,6
/proc/27236/task/27238/stat : 27238 (java) S 27234 27234 25139 0 -1 1077944384 14092 0 0 0 76 18 0 0 20 0 19 0 48726606 13504135168 94733 18446744073709551615 4194304 4196468 140730977464416 140566363925136 140566441109205 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22212608 140730977472982 140730977473158 140730977473158 140730977476559 0
[pid=27236/tid=27239] ppid=27234 vsize=13187632 CPUtime=0.94 cores=0,2,4,6
/proc/27236/task/27239/stat : 27239 (java) S 27234 27234 25139 0 -1 1077944384 16058 0 0 0 77 17 0 0 20 0 19 0 48726606 13504135168 94733 18446744073709551615 4194304 4196468 140730977464416 140566362872336 140566441109205 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22212608 140730977472982 140730977473158 140730977473158 140730977476559 0
[pid=27236/tid=27240] ppid=27234 vsize=13187632 CPUtime=0.94 cores=0,2,4,6
/proc/27236/task/27240/stat : 27240 (java) S 27234 27234 25139 0 -1 1077944384 10722 0 0 0 77 17 0 0 20 0 19 0 48726606 13504135168 94733 18446744073709551615 4194304 4196468 140730977464416 140566361819536 140566441109205 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22212608 140730977472982 140730977473158 140730977473158 140730977476559 0
[pid=27236/tid=27241] ppid=27234 vsize=13187632 CPUtime=0.95 cores=0,2,4,6
/proc/27236/task/27241/stat : 27241 (java) S 27234 27234 25139 0 -1 1077944384 15781 0 0 0 76 19 0 0 20 0 19 0 48726606 13504135168 94733 18446744073709551615 4194304 4196468 140730977464416 140566041979152 140566441109205 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22212608 140730977472982 140730977473158 140730977473158 140730977476559 0
[pid=27236/tid=27242] ppid=27234 vsize=13187632 CPUtime=1.78 cores=0,2,4,6
/proc/27236/task/27242/stat : 27242 (java) S 27234 27234 25139 0 -1 1077944384 25968 0 0 0 53 125 0 0 20 0 19 0 48726607 13504135168 94733 18446744073709551615 4194304 4196468 140730977464416 140565924981616 140566441110146 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22212608 140730977472982 140730977473158 140730977473158 140730977476559 0
[pid=27236/tid=27243] ppid=27234 vsize=13187632 CPUtime=0 cores=0,2,4,6
/proc/27236/task/27243/stat : 27243 (java) S 27234 27234 25139 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 19 0 48726608 13504135168 94733 18446744073709551615 4194304 4196468 140730977464416 140565923927648 140566441109205 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22212608 140730977472982 140730977473158 140730977473158 140730977476559 0
[pid=27236/tid=27244] ppid=27234 vsize=13187632 CPUtime=0 cores=0,2,4,6
/proc/27236/task/27244/stat : 27244 (java) S 27234 27234 25139 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 19 0 48726608 13504135168 94733 18446744073709551615 4194304 4196468 140730977464416 140565922874752 140566441109205 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22212608 140730977472982 140730977473158 140730977473158 140730977476559 0
[pid=27236/tid=27245] ppid=27234 vsize=13187632 CPUtime=0 cores=0,2,4,6
/proc/27236/task/27245/stat : 27245 (java) S 27234 27234 25139 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 48726610 13504135168 94733 18446744073709551615 4194304 4196468 140730977464416 140565921823056 140566441117595 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22212608 140730977472982 140730977473158 140730977473158 140730977476559 0
[pid=27236/tid=27246] ppid=27234 vsize=13187632 CPUtime=5.11 cores=0,2,4,6
/proc/27236/task/27246/stat : 27246 (java) S 27234 27234 25139 0 -1 1077944384 32750 0 0 0 508 3 0 0 20 0 19 0 48726610 13504135168 94733 18446744073709551615 4194304 4196468 140730977464416 140565920770416 140566441110146 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22212608 140730977472982 140730977473158 140730977473158 140730977476559 0
[pid=27236/tid=27247] ppid=27234 vsize=13187632 CPUtime=5.3 cores=0,2,4,6
/proc/27236/task/27247/stat : 27247 (java) S 27234 27234 25139 0 -1 1077944384 25783 0 0 0 527 3 0 0 20 0 19 0 48726610 13504135168 94733 18446744073709551615 4194304 4196468 140730977464416 140565919717616 140566441110146 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22212608 140730977472982 140730977473158 140730977473158 140730977476559 0
[pid=27236/tid=27248] ppid=27234 vsize=13187632 CPUtime=0.94 cores=0,2,4,6
/proc/27236/task/27248/stat : 27248 (java) S 27234 27234 25139 0 -1 1077944384 26701 0 0 0 91 3 0 0 20 0 19 0 48726610 13504135168 94733 18446744073709551615 4194304 4196468 140730977464416 140565918664816 140566441110146 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22212608 140730977472982 140730977473158 140730977473158 140730977476559 0
[pid=27236/tid=27249] ppid=27234 vsize=13187632 CPUtime=0 cores=0,2,4,6
/proc/27236/task/27249/stat : 27249 (java) S 27234 27234 25139 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 48726611 13504135168 94733 18446744073709551615 4194304 4196468 140730977464416 140565917612256 140566441109205 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22212608 140730977472982 140730977473158 140730977473158 140730977476559 0
[pid=27236/tid=27250] ppid=27234 vsize=13187632 CPUtime=0.19 cores=0,2,4,6
/proc/27236/task/27250/stat : 27250 (java) S 27234 27234 25139 0 -1 1077944384 3867 0 0 0 8 11 0 0 20 0 19 0 48726614 13504135168 94733 18446744073709551615 4194304 4196468 140730977464416 140565916560560 140566441110146 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22212608 140730977472982 140730977473158 140730977473158 140730977476559 0
[pid=27236/tid=27412] ppid=27234 vsize=13187632 CPUtime=134.62 cores=0,2,4,6
/proc/27236/task/27412/stat : 27412 (java) R 27234 27234 25139 0 -1 4202560 920 0 0 0 13462 0 0 0 20 0 19 0 48771215 13504135168 94733 18446744073709551615 4194304 4196468 140730977464416 140565908547520 140566051860977 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 22212608 140730977472982 140730977473158 140730977473158 140730977476559 0
[pid=27236/tid=27413] ppid=27234 vsize=13187632 CPUtime=134.34 cores=0,2,4,6
/proc/27236/task/27413/stat : 27413 (java) R 27234 27234 25139 0 -1 4202560 3155 0 0 0 13434 0 0 0 20 0 19 0 48771215 13504135168 94733 18446744073709551615 4194304 4196468 140730977464416 140565907492880 140566051861386 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22212608 140730977472982 140730977473158 140730977473158 140730977476559 0
[pid=27236/tid=27414] ppid=27234 vsize=13187632 CPUtime=134.67 cores=0,2,4,6
/proc/27236/task/27414/stat : 27414 (java) R 27234 27234 25139 0 -1 4202560 1071 0 0 0 13467 0 0 0 20 0 19 0 48771215 13504135168 94733 18446744073709551615 4194304 4196468 140730977464416 140565906440856 140566051861376 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 22212608 140730977472982 140730977473158 140730977473158 140730977476559 0
[pid=27236/tid=27415] ppid=27234 vsize=13187632 CPUtime=134.13 cores=0,2,4,6
/proc/27236/task/27415/stat : 27415 (java) R 27234 27234 25139 0 -1 4202560 3223 0 0 0 13413 0 0 0 20 0 19 0 48771215 13504135168 94733 18446744073709551615 4194304 4196468 140730977464416 140565905387560 140566050464030 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 22212608 140730977472982 140730977473158 140730977473158 140730977476559 0
Current children cumulated CPU time (s) 2231.85
Current children cumulated vsize (KiB) 13197144
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+624.802 s]
/proc/loadavg: 8.28 8.26 7.74 9/225 27656
/proc/meminfo: memFree=30881672/32770624 swapFree=0/393504
[pid=27234] ppid=27231 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/27234/stat : 27234 (xcsp3-exec) S 27231 27234 25139 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 48726598 9740288 345 18446744073709551615 4194304 5098028 140737128777840 140737128775944 139956349035132 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 7 0 0 7196144 7232144 23277568 140737128784280 140737128784490 140737128784490 140737128787947 0
/proc/27234/statm: 2378 345 289 221 0 87 0
[pid=27236] ppid=27234 vsize=13187632 CPUtime=2400.07 cores=0,2,4,6
/proc/27236/stat : 27236 (java) S 27234 27234 25139 0 -1 1077944320 296617 0 0 0 239744 263 0 0 20 0 19 0 48726605 13504135168 95286 18446744073709551615 4194304 4196468 140730977464416 140730977446960 140566441098999 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 22212608 140730977472982 140730977473158 140730977473158 140730977476559 0
/proc/27236/statm: 3296908 95286 3279 1 0 3285200 0
[pid=27236/tid=27237] ppid=27234 vsize=13187632 CPUtime=0.77 cores=0,2,4,6
/proc/27236/task/27237/stat : 27237 (java) S 27234 27234 25139 0 -1 1077944384 15751 0 0 0 72 5 0 0 20 0 19 0 48726605 13504135168 95286 18446744073709551615 4194304 4196468 140730977464416 140566445339776 140566441109205 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 2 0 0 6293624 6294260 22212608 140730977472982 140730977473158 140730977473158 140730977476559 0
[pid=27236/tid=27238] ppid=27234 vsize=13187632 CPUtime=1.11 cores=0,2,4,6
/proc/27236/task/27238/stat : 27238 (java) S 27234 27234 25139 0 -1 1077944384 14786 0 0 0 92 19 0 0 20 0 19 0 48726606 13504135168 95286 18446744073709551615 4194304 4196468 140730977464416 140566363925136 140566441109205 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22212608 140730977472982 140730977473158 140730977473158 140730977476559 0
[pid=27236/tid=27239] ppid=27234 vsize=13187632 CPUtime=1.11 cores=0,2,4,6
/proc/27236/task/27239/stat : 27239 (java) S 27234 27234 25139 0 -1 1077944384 16261 0 0 0 93 18 0 0 20 0 19 0 48726606 13504135168 95286 18446744073709551615 4194304 4196468 140730977464416 140566362872336 140566441109205 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22212608 140730977472982 140730977473158 140730977473158 140730977476559 0
[pid=27236/tid=27240] ppid=27234 vsize=13187632 CPUtime=1.11 cores=0,2,4,6
/proc/27236/task/27240/stat : 27240 (java) S 27234 27234 25139 0 -1 1077944384 10839 0 0 0 93 18 0 0 20 0 19 0 48726606 13504135168 95286 18446744073709551615 4194304 4196468 140730977464416 140566361819536 140566441109205 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22212608 140730977472982 140730977473158 140730977473158 140730977476559 0
[pid=27236/tid=27241] ppid=27234 vsize=13187632 CPUtime=1.11 cores=0,2,4,6
/proc/27236/task/27241/stat : 27241 (java) S 27234 27234 25139 0 -1 1077944384 16034 0 0 0 92 19 0 0 20 0 19 0 48726606 13504135168 95286 18446744073709551615 4194304 4196468 140730977464416 140566041979152 140566441109205 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22212608 140730977472982 140730977473158 140730977473158 140730977476559 0
[pid=27236/tid=27242] ppid=27234 vsize=13187632 CPUtime=2.25 cores=0,2,4,6
/proc/27236/task/27242/stat : 27242 (java) S 27234 27234 25139 0 -1 1077944384 30033 0 0 0 66 159 0 0 20 0 19 0 48726607 13504135168 95286 18446744073709551615 4194304 4196468 140730977464416 140565924981616 140566441110146 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22212608 140730977472982 140730977473158 140730977473158 140730977476559 0
[pid=27236/tid=27243] ppid=27234 vsize=13187632 CPUtime=0 cores=0,2,4,6
/proc/27236/task/27243/stat : 27243 (java) S 27234 27234 25139 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 19 0 48726608 13504135168 95286 18446744073709551615 4194304 4196468 140730977464416 140565923927648 140566441109205 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22212608 140730977472982 140730977473158 140730977473158 140730977476559 0
[pid=27236/tid=27244] ppid=27234 vsize=13187632 CPUtime=0 cores=0,2,4,6
/proc/27236/task/27244/stat : 27244 (java) S 27234 27234 25139 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 19 0 48726608 13504135168 95286 18446744073709551615 4194304 4196468 140730977464416 140565922874752 140566441109205 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22212608 140730977472982 140730977473158 140730977473158 140730977476559 0
[pid=27236/tid=27245] ppid=27234 vsize=13187632 CPUtime=0 cores=0,2,4,6
/proc/27236/task/27245/stat : 27245 (java) S 27234 27234 25139 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 48726610 13504135168 95286 18446744073709551615 4194304 4196468 140730977464416 140565921823056 140566441117595 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22212608 140730977472982 140730977473158 140730977473158 140730977476559 0
[pid=27236/tid=27246] ppid=27234 vsize=13187632 CPUtime=5.12 cores=0,2,4,6
/proc/27236/task/27246/stat : 27246 (java) S 27234 27234 25139 0 -1 1077944384 32753 0 0 0 509 3 0 0 20 0 19 0 48726610 13504135168 95286 18446744073709551615 4194304 4196468 140730977464416 140565920770416 140566441110146 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22212608 140730977472982 140730977473158 140730977473158 140730977476559 0
[pid=27236/tid=27247] ppid=27234 vsize=13187632 CPUtime=5.3 cores=0,2,4,6
/proc/27236/task/27247/stat : 27247 (java) S 27234 27234 25139 0 -1 1077944384 25785 0 0 0 527 3 0 0 20 0 19 0 48726610 13504135168 95286 18446744073709551615 4194304 4196468 140730977464416 140565919717616 140566441110146 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22212608 140730977472982 140730977473158 140730977473158 140730977476559 0
[pid=27236/tid=27248] ppid=27234 vsize=13187632 CPUtime=0.94 cores=0,2,4,6
/proc/27236/task/27248/stat : 27248 (java) S 27234 27234 25139 0 -1 1077944384 26703 0 0 0 91 3 0 0 20 0 19 0 48726610 13504135168 95286 18446744073709551615 4194304 4196468 140730977464416 140565918664816 140566441110146 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22212608 140730977472982 140730977473158 140730977473158 140730977476559 0
[pid=27236/tid=27249] ppid=27234 vsize=13187632 CPUtime=0 cores=0,2,4,6
/proc/27236/task/27249/stat : 27249 (java) S 27234 27234 25139 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 48726611 13504135168 95286 18446744073709551615 4194304 4196468 140730977464416 140565917612256 140566441109205 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22212608 140730977472982 140730977473158 140730977473158 140730977476559 0
[pid=27236/tid=27250] ppid=27234 vsize=13187632 CPUtime=0.2 cores=0,2,4,6
/proc/27236/task/27250/stat : 27250 (java) S 27234 27234 25139 0 -1 1077944384 3887 0 0 0 9 11 0 0 20 0 19 0 48726614 13504135168 95286 18446744073709551615 4194304 4196468 140730977464416 140565916560560 140566441110146 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22212608 140730977472982 140730977473158 140730977473158 140730977476559 0
[pid=27236/tid=27412] ppid=27234 vsize=13187632 CPUtime=176.44 cores=0,2,4,6
/proc/27236/task/27412/stat : 27412 (java) R 27234 27234 25139 0 -1 4202560 950 0 0 0 17644 0 0 0 20 0 19 0 48771215 13504135168 95286 18446744073709551615 4194304 4196468 140730977464416 140565908544792 140566051861448 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 22212608 140730977472982 140730977473158 140730977473158 140730977476559 0
[pid=27236/tid=27413] ppid=27234 vsize=13187632 CPUtime=176.15 cores=0,2,4,6
/proc/27236/task/27413/stat : 27413 (java) R 27234 27234 25139 0 -1 4202560 3282 0 0 0 17614 1 0 0 20 0 19 0 48771215 13504135168 95286 18446744073709551615 4194304 4196468 140730977464416 140565907492776 140566042323825 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 22212608 140730977472982 140730977473158 140730977473158 140730977476559 0
[pid=27236/tid=27414] ppid=27234 vsize=13187632 CPUtime=176.48 cores=0,2,4,6
/proc/27236/task/27414/stat : 27414 (java) R 27234 27234 25139 0 -1 4202560 1121 0 0 0 17648 0 0 0 20 0 19 0 48771215 13504135168 95286 18446744073709551615 4194304 4196468 140730977464416 140565906440080 140566051861531 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 22212608 140730977472982 140730977473158 140730977473158 140730977476559 0
[pid=27236/tid=27415] ppid=27234 vsize=13187632 CPUtime=175.74 cores=0,2,4,6
/proc/27236/task/27415/stat : 27415 (java) R 27234 27234 25139 0 -1 4202560 3596 0 0 0 17574 0 0 0 20 0 19 0 48771215 13504135168 95286 18446744073709551615 4194304 4196468 140730977464416 140565905389872 140566047896730 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22212608 140730977472982 140730977473158 140730977473158 140730977476559 0
Current children cumulated CPU time (s) 2400.07
Current children cumulated vsize (KiB) 13197144
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 27236 sig 9
??? kill 27234 sig 9
??? kill -27234 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 27234 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=1718
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=119
# CPU time returned by wait4() is 0.001837
# while last known CPU time is 2400.07
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 624.839
CPU time (s): 2400.07
CPU user time (s): 2397.44
CPU system time (s): 2.63
CPU usage (%): 384.11
Max. virtual memory (cumulated for all children) (KiB): 13202492
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.001718
system time used= 0.000119
maximum resident set size= 1384
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 509
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3
involuntary context switches= 1
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.08813 second user time and 4.58508 second system time
The end