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-4254941-1501623336/watcher-4254941-1501623336 -o /tmp/evaluation-result-4254941-1501623336/solver-4254941-1501623336 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node135-1501617024-9378 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 784617405 HOME/instance-4254941-1501623336.xml
pid=17020
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.39 1.49 1.63 4/199 17023
/proc/meminfo: memFree=31655380/32770624 swapFree=0/173680
[pid=17023] ppid=17020 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/17023/stat : 17023 (runsolver) D 17020 17023 3187 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 4244258 24240128 107 18446744073709551615 4194304 4338465 140734649763152 140734649760792 139741396976343 0 0 1 24578 18446744071580418449 0 0 17 1 0 0 0 0 0 6438912 6441760 26505216 140734649765983 140734649766471 140734649766471 140734649769930 0
/proc/17023/statm: 5918 107 54 36 0 2156 0
[startup+0.100141 s]
/proc/loadavg: 1.39 1.49 1.63 4/199 17023
/proc/meminfo: memFree=31655380/32770624 swapFree=0/173680
[pid=17023] ppid=17020 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/17023/stat : 17023 (xcsp3-exec) S 17020 17023 3187 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 4244258 9740288 344 18446744073709551615 4194304 5098028 140735982136144 140735982134248 140639102620284 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 8 0 0 7196144 7232144 23207936 140735982141853 140735982142056 140735982142056 140735982145515 0
/proc/17023/statm: 2378 344 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200305 s]
/proc/loadavg: 1.39 1.49 1.63 4/199 17023
/proc/meminfo: memFree=31655380/32770624 swapFree=0/173680
[pid=17023] ppid=17020 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/17023/stat : 17023 (xcsp3-exec) S 17020 17023 3187 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 4244258 9740288 344 18446744073709551615 4194304 5098028 140735982136144 140735982134248 140639102620284 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 8 0 0 7196144 7232144 23207936 140735982141853 140735982142056 140735982142056 140735982145515 0
/proc/17023/statm: 2378 344 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.301184 s]
/proc/loadavg: 1.39 1.49 1.63 4/199 17023
/proc/meminfo: memFree=31655380/32770624 swapFree=0/173680
[pid=17023] ppid=17020 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/17023/stat : 17023 (xcsp3-exec) S 17020 17023 3187 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 4244258 9740288 344 18446744073709551615 4194304 5098028 140735982136144 140735982134248 140639102620284 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 8 0 0 7196144 7232144 23207936 140735982141853 140735982142056 140735982142056 140735982145515 0
/proc/17023/statm: 2378 344 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.70037 s]
/proc/loadavg: 1.39 1.49 1.63 4/199 17023
/proc/meminfo: memFree=31655380/32770624 swapFree=0/173680
[pid=17023] ppid=17020 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/17023/stat : 17023 (xcsp3-exec) S 17020 17023 3187 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 4244258 9740288 344 18446744073709551615 4194304 5098028 140735982136144 140735982134248 140639102620284 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 8 0 0 7196144 7232144 23207936 140735982141853 140735982142056 140735982142056 140735982145515 0
/proc/17023/statm: 2378 344 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50072 s]
/proc/loadavg: 1.36 1.48 1.63 7/215 17040
/proc/meminfo: memFree=30579628/32770624 swapFree=0/173676
[pid=17023] ppid=17020 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/17023/stat : 17023 (xcsp3-exec) S 17020 17023 3187 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 4244258 9740288 344 18446744073709551615 4194304 5098028 140735982136144 140735982134248 140639102620284 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 8 0 0 7196144 7232144 23207936 140735982141853 140735982142056 140735982142056 140735982145515 0
/proc/17023/statm: 2378 344 289 221 0 87 0
[pid=17025] ppid=17023 vsize=13978684 CPUtime=2.87 cores=1,3,5,7
/proc/17025/stat : 17025 (java) S 17023 17023 3187 0 -1 1077944320 15475 0 0 0 250 37 0 0 20 0 15 0 4244266 14314172416 282638 18446744073709551615 4194304 4196468 140722204886288 140722204868832 140411246006007 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 37613568 140722204893653 140722204893828 140722204893828 140722204897231 0
/proc/17025/statm: 3494671 282638 3189 1 0 3482972 0
[pid=17025/tid=17026] ppid=17023 vsize=13978684 CPUtime=1.1 cores=1,3,5,7
/proc/17025/task/17026/stat : 17026 (java) R 17023 17023 3187 0 -1 4202560 8815 0 0 0 91 19 0 0 20 0 15 0 4244267 14314172416 282638 18446744073709551615 4194304 4196468 140722204886288 140411250243616 140410889184508 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 37613568 140722204893653 140722204893828 140722204893828 140722204897231 0
[pid=17025/tid=17027] ppid=17023 vsize=13978684 CPUtime=0.23 cores=1,3,5,7
/proc/17025/task/17027/stat : 17027 (java) S 17023 17023 3187 0 -1 1077944384 129 0 0 0 19 4 0 0 20 0 15 0 4244267 14314172416 282638 18446744073709551615 4194304 4196468 140722204886288 140411206904848 140411246016213 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37613568 140722204893653 140722204893828 140722204893828 140722204897231 0
[pid=17025/tid=17028] ppid=17023 vsize=13978684 CPUtime=0.22 cores=1,3,5,7
/proc/17025/task/17028/stat : 17028 (java) S 17023 17023 3187 0 -1 1077944384 69 0 0 0 19 3 0 0 20 0 15 0 4244267 14314172416 282638 18446744073709551615 4194304 4196468 140722204886288 140410844802192 140411246016213 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37613568 140722204893653 140722204893828 140722204893828 140722204897231 0
[pid=17025/tid=17029] ppid=17023 vsize=13978684 CPUtime=0.23 cores=1,3,5,7
/proc/17025/task/17029/stat : 17029 (java) S 17023 17023 3187 0 -1 1077944384 86 0 0 0 20 3 0 0 20 0 15 0 4244267 14314172416 282638 18446744073709551615 4194304 4196468 140722204886288 140410843749136 140411246016213 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37613568 140722204893653 140722204893828 140722204893828 140722204897231 0
[pid=17025/tid=17030] ppid=17023 vsize=13978684 CPUtime=0.23 cores=1,3,5,7
/proc/17025/task/17030/stat : 17030 (java) S 17023 17023 3187 0 -1 1077944384 872 0 0 0 20 3 0 0 20 0 15 0 4244267 14314172416 282638 18446744073709551615 4194304 4196468 140722204886288 140410842696592 140411246016213 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37613568 140722204893653 140722204893828 140722204893828 140722204897231 0
[pid=17025/tid=17031] ppid=17023 vsize=13978684 CPUtime=0.01 cores=1,3,5,7
/proc/17025/task/17031/stat : 17031 (java) S 17023 17023 3187 0 -1 1077944384 310 0 0 0 1 0 0 0 20 0 15 0 4244269 14314172416 282638 18446744073709551615 4194304 4196468 140722204886288 140410724493552 140411246017154 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37613568 140722204893653 140722204893828 140722204893828 140722204897231 0
[pid=17025/tid=17032] ppid=17023 vsize=13978684 CPUtime=0 cores=1,3,5,7
/proc/17025/task/17032/stat : 17032 (java) S 17023 17023 3187 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 4244269 14314172416 282638 18446744073709551615 4194304 4196468 140722204886288 140410723439840 140411246016213 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37613568 140722204893653 140722204893828 140722204893828 140722204897231 0
[pid=17025/tid=17033] ppid=17023 vsize=13978684 CPUtime=0 cores=1,3,5,7
/proc/17025/task/17033/stat : 17033 (java) S 17023 17023 3187 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 4244269 14314172416 282638 18446744073709551615 4194304 4196468 140722204886288 140410722386688 140411246016213 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37613568 140722204893653 140722204893828 140722204893828 140722204897231 0
[pid=17025/tid=17034] ppid=17023 vsize=13978684 CPUtime=0 cores=1,3,5,7
/proc/17025/task/17034/stat : 17034 (java) S 17023 17023 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 4244272 14314172416 282638 18446744073709551615 4194304 4196468 140722204886288 140410721335248 140411246024603 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37613568 140722204893653 140722204893828 140722204893828 140722204897231 0
[pid=17025/tid=17035] ppid=17023 vsize=13978684 CPUtime=0.29 cores=1,3,5,7
/proc/17025/task/17035/stat : 17035 (java) S 17023 17023 3187 0 -1 1077944384 1577 0 0 0 29 0 0 0 20 0 15 0 4244272 14314172416 282638 18446744073709551615 4194304 4196468 140722204886288 140410720283376 140411246017154 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37613568 140722204893653 140722204893828 140722204893828 140722204897231 0
[pid=17025/tid=17036] ppid=17023 vsize=13978684 CPUtime=0.26 cores=1,3,5,7
/proc/17025/task/17036/stat : 17036 (java) S 17023 17023 3187 0 -1 1077944384 1049 0 0 0 26 0 0 0 20 0 15 0 4244272 14314172416 282638 18446744073709551615 4194304 4196468 140722204886288 140410719230832 140411246017154 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37613568 140722204893653 140722204893828 140722204893828 140722204897231 0
[pid=17025/tid=17037] ppid=17023 vsize=13978684 CPUtime=0.22 cores=1,3,5,7
/proc/17025/task/17037/stat : 17037 (java) S 17023 17023 3187 0 -1 1077944384 1270 0 0 0 22 0 0 0 20 0 15 0 4244272 14314172416 282638 18446744073709551615 4194304 4196468 140722204886288 140410718177776 140411246017154 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37613568 140722204893653 140722204893828 140722204893828 140722204897231 0
[pid=17025/tid=17038] ppid=17023 vsize=13978684 CPUtime=0 cores=1,3,5,7
/proc/17025/task/17038/stat : 17038 (java) S 17023 17023 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 4244272 14314172416 282638 18446744073709551615 4194304 4196468 140722204886288 140410717125472 140411246016213 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37613568 140722204893653 140722204893828 140722204893828 140722204897231 0
[pid=17025/tid=17039] ppid=17023 vsize=13978684 CPUtime=0 cores=1,3,5,7
/proc/17025/task/17039/stat : 17039 (java) S 17023 17023 3187 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 4244276 14314172416 282638 18446744073709551615 4194304 4196468 140722204886288 140410716072496 140411246017154 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37613568 140722204893653 140722204893828 140722204893828 140722204897231 0
Current children cumulated CPU time (s) 2.87
Current children cumulated vsize (KiB) 13988196
[startup+3.10073 s]
/proc/loadavg: 1.36 1.48 1.63 3/215 17040
/proc/meminfo: memFree=30417024/32770624 swapFree=0/173676
[pid=17023] ppid=17020 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/17023/stat : 17023 (xcsp3-exec) S 17020 17023 3187 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 4244258 9740288 344 18446744073709551615 4194304 5098028 140735982136144 140735982134248 140639102620284 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 8 0 0 7196144 7232144 23207936 140735982141853 140735982142056 140735982142056 140735982145515 0
/proc/17023/statm: 2378 344 289 221 0 87 0
[pid=17025] ppid=17023 vsize=13978684 CPUtime=4.97 cores=1,3,5,7
/proc/17025/stat : 17025 (java) S 17023 17023 3187 0 -1 1077944320 20199 0 0 0 441 56 0 0 20 0 15 0 4244266 14314172416 352414 18446744073709551615 4194304 4196468 140722204886288 140722204868832 140411246006007 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 37613568 140722204893653 140722204893828 140722204893828 140722204897231 0
/proc/17025/statm: 3494671 352414 3200 1 0 3482972 0
[pid=17025/tid=17026] ppid=17023 vsize=13978684 CPUtime=2.53 cores=1,3,5,7
/proc/17025/task/17026/stat : 17026 (java) R 17023 17023 3187 0 -1 4202560 9627 0 0 0 232 21 0 0 20 0 15 0 4244267 14314172416 352414 18446744073709551615 4194304 4196468 140722204886288 140411250244080 140410889387012 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 37613568 140722204893653 140722204893828 140722204893828 140722204897231 0
[pid=17025/tid=17027] ppid=17023 vsize=13978684 CPUtime=0.39 cores=1,3,5,7
/proc/17025/task/17027/stat : 17027 (java) S 17023 17023 3187 0 -1 1077944384 651 0 0 0 31 8 0 0 20 0 15 0 4244267 14314172416 352414 18446744073709551615 4194304 4196468 140722204886288 140411206904848 140411246016213 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37613568 140722204893653 140722204893828 140722204893828 140722204897231 0
[pid=17025/tid=17028] ppid=17023 vsize=13978684 CPUtime=0.38 cores=1,3,5,7
/proc/17025/task/17028/stat : 17028 (java) S 17023 17023 3187 0 -1 1077944384 1071 0 0 0 31 7 0 0 20 0 15 0 4244267 14314172416 352414 18446744073709551615 4194304 4196468 140722204886288 140410844802192 140411246016213 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37613568 140722204893653 140722204893828 140722204893828 140722204897231 0
[pid=17025/tid=17029] ppid=17023 vsize=13978684 CPUtime=0.39 cores=1,3,5,7
/proc/17025/task/17029/stat : 17029 (java) S 17023 17023 3187 0 -1 1077944384 431 0 0 0 31 8 0 0 20 0 15 0 4244267 14314172416 352414 18446744073709551615 4194304 4196468 140722204886288 140410843749136 140411246016213 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37613568 140722204893653 140722204893828 140722204893828 140722204897231 0
[pid=17025/tid=17030] ppid=17023 vsize=13978684 CPUtime=0.38 cores=1,3,5,7
/proc/17025/task/17030/stat : 17030 (java) S 17023 17023 3187 0 -1 1077944384 1575 0 0 0 31 7 0 0 20 0 15 0 4244267 14314172416 352414 18446744073709551615 4194304 4196468 140722204886288 140410842696592 140411246016213 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37613568 140722204893653 140722204893828 140722204893828 140722204897231 0
[pid=17025/tid=17031] ppid=17023 vsize=13978684 CPUtime=0.01 cores=1,3,5,7
/proc/17025/task/17031/stat : 17031 (java) S 17023 17023 3187 0 -1 1077944384 728 0 0 0 1 0 0 0 20 0 15 0 4244269 14314172416 352414 18446744073709551615 4194304 4196468 140722204886288 140410724493552 140411246017154 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37613568 140722204893653 140722204893828 140722204893828 140722204897231 0
[pid=17025/tid=17032] ppid=17023 vsize=13978684 CPUtime=0 cores=1,3,5,7
/proc/17025/task/17032/stat : 17032 (java) S 17023 17023 3187 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 4244269 14314172416 352414 18446744073709551615 4194304 4196468 140722204886288 140410723439840 140411246016213 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37613568 140722204893653 140722204893828 140722204893828 140722204897231 0
[pid=17025/tid=17033] ppid=17023 vsize=13978684 CPUtime=0 cores=1,3,5,7
/proc/17025/task/17033/stat : 17033 (java) S 17023 17023 3187 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 4244269 14314172416 352414 18446744073709551615 4194304 4196468 140722204886288 140410722386688 140411246016213 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37613568 140722204893653 140722204893828 140722204893828 140722204897231 0
[pid=17025/tid=17034] ppid=17023 vsize=13978684 CPUtime=0 cores=1,3,5,7
/proc/17025/task/17034/stat : 17034 (java) S 17023 17023 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 4244272 14314172416 352414 18446744073709551615 4194304 4196468 140722204886288 140410721335248 140411246024603 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37613568 140722204893653 140722204893828 140722204893828 140722204897231 0
[pid=17025/tid=17035] ppid=17023 vsize=13978684 CPUtime=0.31 cores=1,3,5,7
/proc/17025/task/17035/stat : 17035 (java) S 17023 17023 3187 0 -1 1077944384 2067 0 0 0 31 0 0 0 20 0 15 0 4244272 14314172416 352414 18446744073709551615 4194304 4196468 140722204886288 140410720283376 140411246017154 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37613568 140722204893653 140722204893828 140722204893828 140722204897231 0
[pid=17025/tid=17036] ppid=17023 vsize=13978684 CPUtime=0.27 cores=1,3,5,7
/proc/17025/task/17036/stat : 17036 (java) S 17023 17023 3187 0 -1 1077944384 1387 0 0 0 27 0 0 0 20 0 15 0 4244272 14314172416 352414 18446744073709551615 4194304 4196468 140722204886288 140410719230832 140411246017154 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37613568 140722204893653 140722204893828 140722204893828 140722204897231 0
[pid=17025/tid=17037] ppid=17023 vsize=13978684 CPUtime=0.22 cores=1,3,5,7
/proc/17025/task/17037/stat : 17037 (java) S 17023 17023 3187 0 -1 1077944384 1357 0 0 0 22 0 0 0 20 0 15 0 4244272 14314172416 352414 18446744073709551615 4194304 4196468 140722204886288 140410718177776 140411246017154 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37613568 140722204893653 140722204893828 140722204893828 140722204897231 0
[pid=17025/tid=17038] ppid=17023 vsize=13978684 CPUtime=0 cores=1,3,5,7
/proc/17025/task/17038/stat : 17038 (java) S 17023 17023 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 4244272 14314172416 352414 18446744073709551615 4194304 4196468 140722204886288 140410717125472 140411246016213 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37613568 140722204893653 140722204893828 140722204893828 140722204897231 0
[pid=17025/tid=17039] ppid=17023 vsize=13978684 CPUtime=0 cores=1,3,5,7
/proc/17025/task/17039/stat : 17039 (java) S 17023 17023 3187 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 15 0 4244276 14314172416 352414 18446744073709551615 4194304 4196468 140722204886288 140410716072496 140411246017154 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37613568 140722204893653 140722204893828 140722204893828 140722204897231 0
Current children cumulated CPU time (s) 4.97
Current children cumulated vsize (KiB) 13988196
[startup+6.30073 s]
/proc/loadavg: 1.36 1.48 1.63 3/215 17040
/proc/meminfo: memFree=29877232/32770624 swapFree=0/173688
[pid=17023] ppid=17020 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/17023/stat : 17023 (xcsp3-exec) S 17020 17023 3187 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 4244258 9740288 344 18446744073709551615 4194304 5098028 140735982136144 140735982134248 140639102620284 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 8 0 0 7196144 7232144 23207936 140735982141853 140735982142056 140735982142056 140735982145515 0
/proc/17023/statm: 2378 344 289 221 0 87 0
[pid=17025] ppid=17023 vsize=13978684 CPUtime=9.35 cores=1,3,5,7
/proc/17025/stat : 17025 (java) S 17023 17023 3187 0 -1 1077944320 23877 0 0 0 831 104 0 0 20 0 15 0 4244266 14314172416 472207 18446744073709551615 4194304 4196468 140722204886288 140722204868832 140411246006007 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 37613568 140722204893653 140722204893828 140722204893828 140722204897231 0
/proc/17025/statm: 3494671 472207 3203 1 0 3482972 0
[pid=17025/tid=17026] ppid=17023 vsize=13978684 CPUtime=5.34 cores=1,3,5,7
/proc/17025/task/17026/stat : 17026 (java) R 17023 17023 3187 0 -1 4202560 10593 0 0 0 510 24 0 0 20 0 15 0 4244267 14314172416 472207 18446744073709551615 4194304 4196468 140722204886288 140411250236704 140411223230160 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 37613568 140722204893653 140722204893828 140722204893828 140722204897231 0
[pid=17025/tid=17027] ppid=17023 vsize=13978684 CPUtime=0.77 cores=1,3,5,7
/proc/17025/task/17027/stat : 17027 (java) S 17023 17023 3187 0 -1 1077944384 1062 0 0 0 57 20 0 0 20 0 15 0 4244267 14314172416 472207 18446744073709551615 4194304 4196468 140722204886288 140411206904848 140411246016213 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37613568 140722204893653 140722204893828 140722204893828 140722204897231 0
[pid=17025/tid=17028] ppid=17023 vsize=13978684 CPUtime=0.77 cores=1,3,5,7
/proc/17025/task/17028/stat : 17028 (java) S 17023 17023 3187 0 -1 1077944384 1463 0 0 0 58 19 0 0 20 0 15 0 4244267 14314172416 472207 18446744073709551615 4194304 4196468 140722204886288 140410844802192 140411246016213 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37613568 140722204893653 140722204893828 140722204893828 140722204897231 0
[pid=17025/tid=17029] ppid=17023 vsize=13978684 CPUtime=0.76 cores=1,3,5,7
/proc/17025/task/17029/stat : 17029 (java) S 17023 17023 3187 0 -1 1077944384 874 0 0 0 58 18 0 0 20 0 15 0 4244267 14314172416 472207 18446744073709551615 4194304 4196468 140722204886288 140410843749136 140411246016213 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37613568 140722204893653 140722204893828 140722204893828 140722204897231 0
[pid=17025/tid=17030] ppid=17023 vsize=13978684 CPUtime=0.76 cores=1,3,5,7
/proc/17025/task/17030/stat : 17030 (java) S 17023 17023 3187 0 -1 1077944384 1972 0 0 0 58 18 0 0 20 0 15 0 4244267 14314172416 472207 18446744073709551615 4194304 4196468 140722204886288 140410842696592 140411246016213 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37613568 140722204893653 140722204893828 140722204893828 140722204897231 0
[pid=17025/tid=17031] ppid=17023 vsize=13978684 CPUtime=0.01 cores=1,3,5,7
/proc/17025/task/17031/stat : 17031 (java) S 17023 17023 3187 0 -1 1077944384 993 0 0 0 1 0 0 0 20 0 15 0 4244269 14314172416 472207 18446744073709551615 4194304 4196468 140722204886288 140410724493552 140411246017154 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37613568 140722204893653 140722204893828 140722204893828 140722204897231 0
[pid=17025/tid=17032] ppid=17023 vsize=13978684 CPUtime=0 cores=1,3,5,7
/proc/17025/task/17032/stat : 17032 (java) S 17023 17023 3187 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 4244269 14314172416 472207 18446744073709551615 4194304 4196468 140722204886288 140410723439840 140411246016213 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37613568 140722204893653 140722204893828 140722204893828 140722204897231 0
[pid=17025/tid=17033] ppid=17023 vsize=13978684 CPUtime=0 cores=1,3,5,7
/proc/17025/task/17033/stat : 17033 (java) S 17023 17023 3187 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 4244269 14314172416 472207 18446744073709551615 4194304 4196468 140722204886288 140410722386688 140411246016213 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37613568 140722204893653 140722204893828 140722204893828 140722204897231 0
[pid=17025/tid=17034] ppid=17023 vsize=13978684 CPUtime=0 cores=1,3,5,7
/proc/17025/task/17034/stat : 17034 (java) S 17023 17023 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 4244272 14314172416 472207 18446744073709551615 4194304 4196468 140722204886288 140410721335248 140411246024603 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37613568 140722204893653 140722204893828 140722204893828 140722204897231 0
[pid=17025/tid=17035] ppid=17023 vsize=13978684 CPUtime=0.34 cores=1,3,5,7
/proc/17025/task/17035/stat : 17035 (java) S 17023 17023 3187 0 -1 1077944384 2337 0 0 0 34 0 0 0 20 0 15 0 4244272 14314172416 472207 18446744073709551615 4194304 4196468 140722204886288 140410720283376 140411246017154 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37613568 140722204893653 140722204893828 140722204893828 140722204897231 0
[pid=17025/tid=17036] ppid=17023 vsize=13978684 CPUtime=0.28 cores=1,3,5,7
/proc/17025/task/17036/stat : 17036 (java) S 17023 17023 3187 0 -1 1077944384 1489 0 0 0 28 0 0 0 20 0 15 0 4244272 14314172416 472207 18446744073709551615 4194304 4196468 140722204886288 140410719230832 140411246017154 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37613568 140722204893653 140722204893828 140722204893828 140722204897231 0
[pid=17025/tid=17037] ppid=17023 vsize=13978684 CPUtime=0.22 cores=1,3,5,7
/proc/17025/task/17037/stat : 17037 (java) S 17023 17023 3187 0 -1 1077944384 1670 0 0 0 22 0 0 0 20 0 15 0 4244272 14314172416 472207 18446744073709551615 4194304 4196468 140722204886288 140410718177776 140411246017154 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37613568 140722204893653 140722204893828 140722204893828 140722204897231 0
[pid=17025/tid=17038] ppid=17023 vsize=13978684 CPUtime=0 cores=1,3,5,7
/proc/17025/task/17038/stat : 17038 (java) S 17023 17023 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 4244272 14314172416 472207 18446744073709551615 4194304 4196468 140722204886288 140410717125472 140411246016213 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37613568 140722204893653 140722204893828 140722204893828 140722204897231 0
[pid=17025/tid=17039] ppid=17023 vsize=13978684 CPUtime=0 cores=1,3,5,7
/proc/17025/task/17039/stat : 17039 (java) S 17023 17023 3187 0 -1 1077944384 127 0 0 0 0 0 0 0 20 0 15 0 4244276 14314172416 472207 18446744073709551615 4194304 4196468 140722204886288 140410716072496 140411246017154 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37613568 140722204893653 140722204893828 140722204893828 140722204897231 0
Current children cumulated CPU time (s) 9.35
Current children cumulated vsize (KiB) 13988196
[startup+12.701 s]
/proc/loadavg: 1.30 1.46 1.62 6/215 17040
/proc/meminfo: memFree=29728676/32770624 swapFree=0/173692
[pid=17023] ppid=17020 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/17023/stat : 17023 (xcsp3-exec) S 17020 17023 3187 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 4244258 9740288 344 18446744073709551615 4194304 5098028 140735982136144 140735982134248 140639102620284 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 8 0 0 7196144 7232144 23207936 140735982141853 140735982142056 140735982142056 140735982145515 0
/proc/17023/statm: 2378 344 289 221 0 87 0
[pid=17025] ppid=17023 vsize=13978684 CPUtime=16.68 cores=1,3,5,7
/proc/17025/stat : 17025 (java) S 17023 17023 3187 0 -1 1077944320 33515 0 0 0 1547 121 0 0 20 0 15 0 4244266 14314172416 519606 18446744073709551615 4194304 4196468 140722204886288 140722204868832 140411246006007 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 37613568 140722204893653 140722204893828 140722204893828 140722204897231 0
/proc/17025/statm: 3494671 519606 3206 1 0 3482972 0
[pid=17025/tid=17026] ppid=17023 vsize=13978684 CPUtime=11.52 cores=1,3,5,7
/proc/17025/task/17026/stat : 17026 (java) S 17023 17023 3187 0 -1 1077944384 15108 0 0 0 1128 24 0 0 20 0 15 0 4244267 14314172416 519606 18446744073709551615 4194304 4196468 140722204886288 140411250243728 140411246016213 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 3 0 0 6293624 6294260 37613568 140722204893653 140722204893828 140722204893828 140722204897231 0
[pid=17025/tid=17027] ppid=17023 vsize=13978684 CPUtime=0.98 cores=1,3,5,7
/proc/17025/task/17027/stat : 17027 (java) R 17023 17023 3187 0 -1 4202560 1359 0 0 0 74 24 0 0 20 0 15 0 4244267 14314172416 519606 18446744073709551615 4194304 4196468 140722204886288 140411206905048 140411231028102 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37613568 140722204893653 140722204893828 140722204893828 140722204897231 0
[pid=17025/tid=17028] ppid=17023 vsize=13978684 CPUtime=0.99 cores=1,3,5,7
/proc/17025/task/17028/stat : 17028 (java) R 17023 17023 3187 0 -1 4202560 1867 0 0 0 76 23 0 0 20 0 15 0 4244267 14314172416 519606 18446744073709551615 4194304 4196468 140722204886288 140410844802192 140411231029710 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37613568 140722204893653 140722204893828 140722204893828 140722204897231 0
################
# More data... #
################
[pid=17025] ppid=17023 vsize=13980732 CPUtime=144.02 cores=1,3,5,7
/proc/17025/stat : 17025 (java) S 17023 17023 3187 0 -1 1077944320 182445 0 0 0 13199 1203 0 0 20 0 15 0 4244266 14316269568 2930464 18446744073709551615 4194304 4196468 140722204886288 140722204868832 140411246006007 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 37613568 140722204893653 140722204893828 140722204893828 140722204897231 0
/proc/17025/statm: 3495183 2930464 3210 1 0 3483484 0
[pid=17025/tid=17026] ppid=17023 vsize=13980732 CPUtime=81.75 cores=1,3,5,7
/proc/17025/task/17026/stat : 17026 (java) S 17023 17023 3187 0 -1 1077944384 19024 0 0 0 8150 25 0 0 20 0 15 0 4244267 14316269568 2930464 18446744073709551615 4194304 4196468 140722204886288 140411250244224 140411246016213 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 3 0 0 6293624 6294260 37613568 140722204893653 140722204893828 140722204893828 140722204897231 0
[pid=17025/tid=17027] ppid=17023 vsize=13980732 CPUtime=14.49 cores=1,3,5,7
/proc/17025/task/17027/stat : 17027 (java) R 17023 17023 3187 0 -1 4202560 32349 0 0 0 1159 290 0 0 20 0 15 0 4244267 14316269568 2930464 18446744073709551615 4194304 4196468 140722204886288 140411206904744 140411238634215 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 37613568 140722204893653 140722204893828 140722204893828 140722204897231 0
[pid=17025/tid=17028] ppid=17023 vsize=13980732 CPUtime=14.59 cores=1,3,5,7
/proc/17025/task/17028/stat : 17028 (java) R 17023 17023 3187 0 -1 4202560 36696 0 0 0 1139 320 0 0 20 0 15 0 4244267 14316269568 2930464 18446744073709551615 4194304 4196468 140722204886288 140410844802192 140411230703793 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37613568 140722204893653 140722204893828 140722204893828 140722204897231 0
[pid=17025/tid=17029] ppid=17023 vsize=13980732 CPUtime=14.6 cores=1,3,5,7
/proc/17025/task/17029/stat : 17029 (java) R 17023 17023 3187 0 -1 4202560 35879 0 0 0 1147 313 0 0 20 0 15 0 4244267 14316269568 2930464 18446744073709551615 4194304 4196468 140722204886288 140410843749032 140411238634215 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37613568 140722204893653 140722204893828 140722204893828 140722204897231 0
[pid=17025/tid=17030] ppid=17023 vsize=13980732 CPUtime=14.56 cores=1,3,5,7
/proc/17025/task/17030/stat : 17030 (java) R 17023 17023 3187 0 -1 4202560 32715 0 0 0 1213 243 0 0 20 0 15 0 4244267 14316269568 2930464 18446744073709551615 4194304 4196468 140722204886288 140410842696176 140411238634215 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37613568 140722204893653 140722204893828 140722204893828 140722204897231 0
[pid=17025/tid=17031] ppid=17023 vsize=13980732 CPUtime=2.61 cores=1,3,5,7
/proc/17025/task/17031/stat : 17031 (java) S 17023 17023 3187 0 -1 1077944384 14655 0 0 0 257 4 0 0 20 0 15 0 4244269 14316269568 2930464 18446744073709551615 4194304 4196468 140722204886288 140410724491888 140411246016213 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37613568 140722204893653 140722204893828 140722204893828 140722204897231 0
[pid=17025/tid=17032] ppid=17023 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/17025/task/17032/stat : 17032 (java) S 17023 17023 3187 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 15 0 4244269 14316269568 2930464 18446744073709551615 4194304 4196468 140722204886288 140410723439840 140411246016213 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37613568 140722204893653 140722204893828 140722204893828 140722204897231 0
[pid=17025/tid=17033] ppid=17023 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/17025/task/17033/stat : 17033 (java) S 17023 17023 3187 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 15 0 4244269 14316269568 2930464 18446744073709551615 4194304 4196468 140722204886288 140410722386688 140411246016213 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37613568 140722204893653 140722204893828 140722204893828 140722204897231 0
[pid=17025/tid=17034] ppid=17023 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/17025/task/17034/stat : 17034 (java) S 17023 17023 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 4244272 14316269568 2930464 18446744073709551615 4194304 4196468 140722204886288 140410721335248 140411246024603 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37613568 140722204893653 140722204893828 140722204893828 140722204897231 0
[pid=17025/tid=17035] ppid=17023 vsize=13980732 CPUtime=0.5 cores=1,3,5,7
/proc/17025/task/17035/stat : 17035 (java) S 17023 17023 3187 0 -1 1077944384 3254 0 0 0 50 0 0 0 20 0 15 0 4244272 14316269568 2930464 18446744073709551615 4194304 4196468 140722204886288 140410720283376 140411246017154 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37613568 140722204893653 140722204893828 140722204893828 140722204897231 0
[pid=17025/tid=17036] ppid=17023 vsize=13980732 CPUtime=0.45 cores=1,3,5,7
/proc/17025/task/17036/stat : 17036 (java) S 17023 17023 3187 0 -1 1077944384 2935 0 0 0 45 0 0 0 20 0 15 0 4244272 14316269568 2930464 18446744073709551615 4194304 4196468 140722204886288 140410719230832 140411246017154 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37613568 140722204893653 140722204893828 140722204893828 140722204897231 0
[pid=17025/tid=17037] ppid=17023 vsize=13980732 CPUtime=0.3 cores=1,3,5,7
/proc/17025/task/17037/stat : 17037 (java) S 17023 17023 3187 0 -1 1077944384 3115 0 0 0 30 0 0 0 20 0 15 0 4244272 14316269568 2930464 18446744073709551615 4194304 4196468 140722204886288 140410718177776 140411246017154 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37613568 140722204893653 140722204893828 140722204893828 140722204897231 0
[pid=17025/tid=17038] ppid=17023 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/17025/task/17038/stat : 17038 (java) S 17023 17023 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 4244272 14316269568 2930464 18446744073709551615 4194304 4196468 140722204886288 140410717125472 140411246016213 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37613568 140722204893653 140722204893828 140722204893828 140722204897231 0
[pid=17025/tid=17039] ppid=17023 vsize=13980732 CPUtime=0.06 cores=1,3,5,7
/proc/17025/task/17039/stat : 17039 (java) S 17023 17023 3187 0 -1 1077944384 473 0 0 0 3 3 0 0 20 0 15 0 4244276 14316269568 2930464 18446744073709551615 4194304 4196468 140722204886288 140410716072496 140411246017154 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37613568 140722204893653 140722204893828 140722204893828 140722204897231 0
Current children cumulated CPU time (s) 144.02
Current children cumulated vsize (KiB) 13990244
[startup+100.001 s]
/proc/loadavg: 2.29 1.72 1.70 6/215 17277
/proc/meminfo: memFree=19771536/32770624 swapFree=0/173880
[pid=17023] ppid=17020 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/17023/stat : 17023 (xcsp3-exec) S 17020 17023 3187 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 4244258 9740288 344 18446744073709551615 4194304 5098028 140735982136144 140735982134248 140639102620284 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 8 0 0 7196144 7232144 23207936 140735982141853 140735982142056 140735982142056 140735982145515 0
/proc/17023/statm: 2378 344 289 221 0 87 0
[pid=17025] ppid=17023 vsize=13980732 CPUtime=147.1 cores=1,3,5,7
/proc/17025/stat : 17025 (java) S 17023 17023 3187 0 -1 1077944320 277082 0 0 0 13502 1208 0 0 20 0 15 0 4244266 14316269568 2930464 18446744073709551615 4194304 4196468 140722204886288 140722204868832 140411246006007 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 37613568 140722204893653 140722204893828 140722204893828 140722204897231 0
/proc/17025/statm: 3495183 2930464 3210 1 0 3483484 0
[pid=17025/tid=17026] ppid=17023 vsize=13980732 CPUtime=81.75 cores=1,3,5,7
/proc/17025/task/17026/stat : 17026 (java) S 17023 17023 3187 0 -1 1077944384 19024 0 0 0 8150 25 0 0 20 0 15 0 4244267 14316269568 2930464 18446744073709551615 4194304 4196468 140722204886288 140411250244224 140411246016213 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 3 0 0 6293624 6294260 37613568 140722204893653 140722204893828 140722204893828 140722204897231 0
[pid=17025/tid=17027] ppid=17023 vsize=13980732 CPUtime=15.25 cores=1,3,5,7
/proc/17025/task/17027/stat : 17027 (java) R 17023 17023 3187 0 -1 4202560 32349 0 0 0 1234 291 0 0 20 0 15 0 4244267 14316269568 2930464 18446744073709551615 4194304 4196468 140722204886288 140411206904968 140411238634215 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 37613568 140722204893653 140722204893828 140722204893828 140722204897231 0
[pid=17025/tid=17028] ppid=17023 vsize=13980732 CPUtime=15.37 cores=1,3,5,7
/proc/17025/task/17028/stat : 17028 (java) R 17023 17023 3187 0 -1 4202560 124828 0 0 0 1214 323 0 0 20 0 15 0 4244267 14316269568 2930464 18446744073709551615 4194304 4196468 140722204886288 140410844802192 140411239108993 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37613568 140722204893653 140722204893828 140722204893828 140722204897231 0
[pid=17025/tid=17029] ppid=17023 vsize=13980732 CPUtime=15.37 cores=1,3,5,7
/proc/17025/task/17029/stat : 17029 (java) R 17023 17023 3187 0 -1 4202560 36281 0 0 0 1224 313 0 0 20 0 15 0 4244267 14316269568 2930464 18446744073709551615 4194304 4196468 140722204886288 140410843748944 140411238634215 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37613568 140722204893653 140722204893828 140722204893828 140722204897231 0
[pid=17025/tid=17030] ppid=17023 vsize=13980732 CPUtime=15.32 cores=1,3,5,7
/proc/17025/task/17030/stat : 17030 (java) S 17023 17023 3187 0 -1 1077944384 32715 0 0 0 1289 243 0 0 20 0 15 0 4244267 14316269568 2930464 18446744073709551615 4194304 4196468 140722204886288 140410842696400 140411246017154 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37613568 140722204893653 140722204893828 140722204893828 140722204897231 0
[pid=17025/tid=17031] ppid=17023 vsize=13980732 CPUtime=2.62 cores=1,3,5,7
/proc/17025/task/17031/stat : 17031 (java) S 17023 17023 3187 0 -1 1077944384 20758 0 0 0 258 4 0 0 20 0 15 0 4244269 14316269568 2930464 18446744073709551615 4194304 4196468 140722204886288 140410724492112 140411246016213 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37613568 140722204893653 140722204893828 140722204893828 140722204897231 0
[pid=17025/tid=17032] ppid=17023 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/17025/task/17032/stat : 17032 (java) S 17023 17023 3187 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 15 0 4244269 14316269568 2930464 18446744073709551615 4194304 4196468 140722204886288 140410723439840 140411246016213 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37613568 140722204893653 140722204893828 140722204893828 140722204897231 0
[pid=17025/tid=17033] ppid=17023 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/17025/task/17033/stat : 17033 (java) S 17023 17023 3187 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 15 0 4244269 14316269568 2930464 18446744073709551615 4194304 4196468 140722204886288 140410722386688 140411246016213 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37613568 140722204893653 140722204893828 140722204893828 140722204897231 0
[pid=17025/tid=17034] ppid=17023 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/17025/task/17034/stat : 17034 (java) S 17023 17023 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 4244272 14316269568 2930464 18446744073709551615 4194304 4196468 140722204886288 140410721335248 140411246024603 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37613568 140722204893653 140722204893828 140722204893828 140722204897231 0
[pid=17025/tid=17035] ppid=17023 vsize=13980732 CPUtime=0.5 cores=1,3,5,7
/proc/17025/task/17035/stat : 17035 (java) S 17023 17023 3187 0 -1 1077944384 3254 0 0 0 50 0 0 0 20 0 15 0 4244272 14316269568 2930464 18446744073709551615 4194304 4196468 140722204886288 140410720283376 140411246017154 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37613568 140722204893653 140722204893828 140722204893828 140722204897231 0
[pid=17025/tid=17036] ppid=17023 vsize=13980732 CPUtime=0.45 cores=1,3,5,7
/proc/17025/task/17036/stat : 17036 (java) S 17023 17023 3187 0 -1 1077944384 2935 0 0 0 45 0 0 0 20 0 15 0 4244272 14316269568 2930464 18446744073709551615 4194304 4196468 140722204886288 140410719230832 140411246017154 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37613568 140722204893653 140722204893828 140722204893828 140722204897231 0
[pid=17025/tid=17037] ppid=17023 vsize=13980732 CPUtime=0.3 cores=1,3,5,7
/proc/17025/task/17037/stat : 17037 (java) S 17023 17023 3187 0 -1 1077944384 3115 0 0 0 30 0 0 0 20 0 15 0 4244272 14316269568 2930464 18446744073709551615 4194304 4196468 140722204886288 140410718177776 140411246017154 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37613568 140722204893653 140722204893828 140722204893828 140722204897231 0
[pid=17025/tid=17038] ppid=17023 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/17025/task/17038/stat : 17038 (java) S 17023 17023 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 4244272 14316269568 2930464 18446744073709551615 4194304 4196468 140722204886288 140410717125472 140411246016213 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37613568 140722204893653 140722204893828 140722204893828 140722204897231 0
[pid=17025/tid=17039] ppid=17023 vsize=13980732 CPUtime=0.06 cores=1,3,5,7
/proc/17025/task/17039/stat : 17039 (java) S 17023 17023 3187 0 -1 1077944384 473 0 0 0 3 3 0 0 20 0 15 0 4244276 14316269568 2930464 18446744073709551615 4194304 4196468 140722204886288 140410716072496 140411246017154 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37613568 140722204893653 140722204893828 140722204893828 140722204897231 0
Current children cumulated CPU time (s) 147.1
Current children cumulated vsize (KiB) 13990244
[startup+100.801 s]
/proc/loadavg: 2.29 1.72 1.70 6/215 17277
/proc/meminfo: memFree=19771412/32770624 swapFree=0/173880
[pid=17023] ppid=17020 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/17023/stat : 17023 (xcsp3-exec) S 17020 17023 3187 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 4244258 9740288 344 18446744073709551615 4194304 5098028 140735982136144 140735982134248 140639102620284 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 8 0 0 7196144 7232144 23207936 140735982141853 140735982142056 140735982142056 140735982145515 0
/proc/17023/statm: 2378 344 289 221 0 87 0
[pid=17025] ppid=17023 vsize=13980732 CPUtime=150.22 cores=1,3,5,7
/proc/17025/stat : 17025 (java) S 17023 17023 3187 0 -1 1077944320 277890 0 0 0 13813 1209 0 0 20 0 15 0 4244266 14316269568 2930464 18446744073709551615 4194304 4196468 140722204886288 140722204868832 140411246006007 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 37613568 140722204893653 140722204893828 140722204893828 140722204897231 0
/proc/17025/statm: 3495183 2930464 3210 1 0 3483484 0
[pid=17025/tid=17026] ppid=17023 vsize=13980732 CPUtime=81.75 cores=1,3,5,7
/proc/17025/task/17026/stat : 17026 (java) S 17023 17023 3187 0 -1 1077944384 19024 0 0 0 8150 25 0 0 20 0 15 0 4244267 14316269568 2930464 18446744073709551615 4194304 4196468 140722204886288 140411250244224 140411246016213 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 3 0 0 6293624 6294260 37613568 140722204893653 140722204893828 140722204893828 140722204897231 0
[pid=17025/tid=17027] ppid=17023 vsize=13980732 CPUtime=16.01 cores=1,3,5,7
/proc/17025/task/17027/stat : 17027 (java) R 17023 17023 3187 0 -1 4202560 32349 0 0 0 1310 291 0 0 20 0 15 0 4244267 14316269568 2930464 18446744073709551615 4194304 4196468 140722204886288 140411206904968 140411238634215 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 37613568 140722204893653 140722204893828 140722204893828 140722204897231 0
[pid=17025/tid=17028] ppid=17023 vsize=13980732 CPUtime=16.18 cores=1,3,5,7
/proc/17025/task/17028/stat : 17028 (java) R 17023 17023 3187 0 -1 4202560 125635 0 0 0 1294 324 0 0 20 0 15 0 4244267 14316269568 2930464 18446744073709551615 4194304 4196468 140722204886288 140410844802392 140411239108993 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37613568 140722204893653 140722204893828 140722204893828 140722204897231 0
[pid=17025/tid=17029] ppid=17023 vsize=13980732 CPUtime=16.14 cores=1,3,5,7
/proc/17025/task/17029/stat : 17029 (java) R 17023 17023 3187 0 -1 4202560 36281 0 0 0 1301 313 0 0 20 0 15 0 4244267 14316269568 2930464 18446744073709551615 4194304 4196468 140722204886288 140410843748944 140411238634215 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37613568 140722204893653 140722204893828 140722204893828 140722204897231 0
[pid=17025/tid=17030] ppid=17023 vsize=13980732 CPUtime=16.1 cores=1,3,5,7
/proc/17025/task/17030/stat : 17030 (java) R 17023 17023 3187 0 -1 4202560 32715 0 0 0 1366 244 0 0 20 0 15 0 4244267 14316269568 2930464 18446744073709551615 4194304 4196468 140722204886288 140410842696400 140411238634215 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37613568 140722204893653 140722204893828 140722204893828 140722204897231 0
[pid=17025/tid=17031] ppid=17023 vsize=13980732 CPUtime=2.62 cores=1,3,5,7
/proc/17025/task/17031/stat : 17031 (java) S 17023 17023 3187 0 -1 1077944384 20758 0 0 0 258 4 0 0 20 0 15 0 4244269 14316269568 2930464 18446744073709551615 4194304 4196468 140722204886288 140410724492112 140411246016213 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37613568 140722204893653 140722204893828 140722204893828 140722204897231 0
[pid=17025/tid=17032] ppid=17023 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/17025/task/17032/stat : 17032 (java) S 17023 17023 3187 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 15 0 4244269 14316269568 2930464 18446744073709551615 4194304 4196468 140722204886288 140410723439840 140411246016213 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37613568 140722204893653 140722204893828 140722204893828 140722204897231 0
[pid=17025/tid=17033] ppid=17023 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/17025/task/17033/stat : 17033 (java) S 17023 17023 3187 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 15 0 4244269 14316269568 2930464 18446744073709551615 4194304 4196468 140722204886288 140410722386688 140411246016213 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37613568 140722204893653 140722204893828 140722204893828 140722204897231 0
[pid=17025/tid=17034] ppid=17023 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/17025/task/17034/stat : 17034 (java) S 17023 17023 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 4244272 14316269568 2930464 18446744073709551615 4194304 4196468 140722204886288 140410721335248 140411246024603 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37613568 140722204893653 140722204893828 140722204893828 140722204897231 0
[pid=17025/tid=17035] ppid=17023 vsize=13980732 CPUtime=0.5 cores=1,3,5,7
/proc/17025/task/17035/stat : 17035 (java) S 17023 17023 3187 0 -1 1077944384 3254 0 0 0 50 0 0 0 20 0 15 0 4244272 14316269568 2930464 18446744073709551615 4194304 4196468 140722204886288 140410720283376 140411246017154 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37613568 140722204893653 140722204893828 140722204893828 140722204897231 0
[pid=17025/tid=17036] ppid=17023 vsize=13980732 CPUtime=0.45 cores=1,3,5,7
/proc/17025/task/17036/stat : 17036 (java) S 17023 17023 3187 0 -1 1077944384 2935 0 0 0 45 0 0 0 20 0 15 0 4244272 14316269568 2930464 18446744073709551615 4194304 4196468 140722204886288 140410719230832 140411246017154 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37613568 140722204893653 140722204893828 140722204893828 140722204897231 0
[pid=17025/tid=17037] ppid=17023 vsize=13980732 CPUtime=0.3 cores=1,3,5,7
/proc/17025/task/17037/stat : 17037 (java) S 17023 17023 3187 0 -1 1077944384 3115 0 0 0 30 0 0 0 20 0 15 0 4244272 14316269568 2930464 18446744073709551615 4194304 4196468 140722204886288 140410718177776 140411246017154 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37613568 140722204893653 140722204893828 140722204893828 140722204897231 0
[pid=17025/tid=17038] ppid=17023 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/17025/task/17038/stat : 17038 (java) S 17023 17023 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 4244272 14316269568 2930464 18446744073709551615 4194304 4196468 140722204886288 140410717125472 140411246016213 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37613568 140722204893653 140722204893828 140722204893828 140722204897231 0
[pid=17025/tid=17039] ppid=17023 vsize=13980732 CPUtime=0.06 cores=1,3,5,7
/proc/17025/task/17039/stat : 17039 (java) S 17023 17023 3187 0 -1 1077944384 474 0 0 0 3 3 0 0 20 0 15 0 4244276 14316269568 2930464 18446744073709551615 4194304 4196468 140722204886288 140410716072496 140411246017154 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37613568 140722204893653 140722204893828 140722204893828 140722204897231 0
Current children cumulated CPU time (s) 150.22
Current children cumulated vsize (KiB) 13990244
[startup+101.201 s]
/proc/loadavg: 2.26 1.72 1.70 3/215 17277
/proc/meminfo: memFree=19771412/32770624 swapFree=0/173888
[pid=17023] ppid=17020 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/17023/stat : 17023 (xcsp3-exec) S 17020 17023 3187 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 4244258 9740288 344 18446744073709551615 4194304 5098028 140735982136144 140735982134248 140639102620284 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 8 0 0 7196144 7232144 23207936 140735982141853 140735982142056 140735982142056 140735982145515 0
/proc/17023/statm: 2378 344 289 221 0 87 0
[pid=17025] ppid=17023 vsize=13980732 CPUtime=150.65 cores=1,3,5,7
/proc/17025/stat : 17025 (java) S 17023 17023 3187 0 -1 1077944320 278604 0 0 0 13856 1209 0 0 20 0 15 0 4244266 14316269568 2930464 18446744073709551615 4194304 4196468 140722204886288 140722204868832 140411246006007 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 37613568 140722204893653 140722204893828 140722204893828 140722204897231 0
/proc/17025/statm: 3495183 2930464 3210 1 0 3483484 0
[pid=17025/tid=17026] ppid=17023 vsize=13980732 CPUtime=81.75 cores=1,3,5,7
/proc/17025/task/17026/stat : 17026 (java) S 17023 17023 3187 0 -1 1077944384 19024 0 0 0 8150 25 0 0 20 0 15 0 4244267 14316269568 2930464 18446744073709551615 4194304 4196468 140722204886288 140411250244224 140411246016213 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 3 0 0 6293624 6294260 37613568 140722204893653 140722204893828 140722204893828 140722204897231 0
[pid=17025/tid=17027] ppid=17023 vsize=13980732 CPUtime=16.02 cores=1,3,5,7
/proc/17025/task/17027/stat : 17027 (java) S 17023 17023 3187 0 -1 1077944384 32349 0 0 0 1311 291 0 0 20 0 15 0 4244267 14316269568 2930464 18446744073709551615 4194304 4196468 140722204886288 140411206904848 140411246016213 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37613568 140722204893653 140722204893828 140722204893828 140722204897231 0
[pid=17025/tid=17028] ppid=17023 vsize=13980732 CPUtime=16.19 cores=1,3,5,7
/proc/17025/task/17028/stat : 17028 (java) S 17023 17023 3187 0 -1 1077944384 125775 0 0 0 1295 324 0 0 20 0 15 0 4244267 14316269568 2930464 18446744073709551615 4194304 4196468 140722204886288 140410844802192 140411246016213 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37613568 140722204893653 140722204893828 140722204893828 140722204897231 0
[pid=17025/tid=17029] ppid=17023 vsize=13980732 CPUtime=16.15 cores=1,3,5,7
/proc/17025/task/17029/stat : 17029 (java) S 17023 17023 3187 0 -1 1077944384 36281 0 0 0 1302 313 0 0 20 0 15 0 4244267 14316269568 2930464 18446744073709551615 4194304 4196468 140722204886288 140410843749136 140411246016213 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37613568 140722204893653 140722204893828 140722204893828 140722204897231 0
[pid=17025/tid=17030] ppid=17023 vsize=13980732 CPUtime=16.11 cores=1,3,5,7
/proc/17025/task/17030/stat : 17030 (java) S 17023 17023 3187 0 -1 1077944384 32715 0 0 0 1367 244 0 0 20 0 15 0 4244267 14316269568 2930464 18446744073709551615 4194304 4196468 140722204886288 140410842696592 140411246016213 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37613568 140722204893653 140722204893828 140722204893828 140722204897231 0
[pid=17025/tid=17031] ppid=17023 vsize=13980732 CPUtime=3.02 cores=1,3,5,7
/proc/17025/task/17031/stat : 17031 (java) R 17023 17023 3187 0 -1 4202560 21332 0 0 0 298 4 0 0 20 0 15 0 4244269 14316269568 2930464 18446744073709551615 4194304 4196468 140722204886288 140410724492112 140411231002414 0 0 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37613568 140722204893653 140722204893828 140722204893828 140722204897231 0
[pid=17025/tid=17032] ppid=17023 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/17025/task/17032/stat : 17032 (java) S 17023 17023 3187 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 15 0 4244269 14316269568 2930464 18446744073709551615 4194304 4196468 140722204886288 140410723439840 140411246016213 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37613568 140722204893653 140722204893828 140722204893828 140722204897231 0
[pid=17025/tid=17033] ppid=17023 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/17025/task/17033/stat : 17033 (java) S 17023 17023 3187 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 15 0 4244269 14316269568 2930464 18446744073709551615 4194304 4196468 140722204886288 140410722386688 140411246016213 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37613568 140722204893653 140722204893828 140722204893828 140722204897231 0
[pid=17025/tid=17034] ppid=17023 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/17025/task/17034/stat : 17034 (java) S 17023 17023 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 4244272 14316269568 2930464 18446744073709551615 4194304 4196468 140722204886288 140410721335248 140411246024603 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37613568 140722204893653 140722204893828 140722204893828 140722204897231 0
[pid=17025/tid=17035] ppid=17023 vsize=13980732 CPUtime=0.5 cores=1,3,5,7
/proc/17025/task/17035/stat : 17035 (java) S 17023 17023 3187 0 -1 1077944384 3254 0 0 0 50 0 0 0 20 0 15 0 4244272 14316269568 2930464 18446744073709551615 4194304 4196468 140722204886288 140410720283376 140411246017154 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37613568 140722204893653 140722204893828 140722204893828 140722204897231 0
[pid=17025/tid=17036] ppid=17023 vsize=13980732 CPUtime=0.45 cores=1,3,5,7
/proc/17025/task/17036/stat : 17036 (java) S 17023 17023 3187 0 -1 1077944384 2935 0 0 0 45 0 0 0 20 0 15 0 4244272 14316269568 2930464 18446744073709551615 4194304 4196468 140722204886288 140410719230832 140411246017154 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37613568 140722204893653 140722204893828 140722204893828 140722204897231 0
[pid=17025/tid=17037] ppid=17023 vsize=13980732 CPUtime=0.3 cores=1,3,5,7
/proc/17025/task/17037/stat : 17037 (java) S 17023 17023 3187 0 -1 1077944384 3115 0 0 0 30 0 0 0 20 0 15 0 4244272 14316269568 2930464 18446744073709551615 4194304 4196468 140722204886288 140410718177776 140411246017154 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37613568 140722204893653 140722204893828 140722204893828 140722204897231 0
[pid=17025/tid=17038] ppid=17023 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/17025/task/17038/stat : 17038 (java) S 17023 17023 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 4244272 14316269568 2930464 18446744073709551615 4194304 4196468 140722204886288 140410717125472 140411246016213 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37613568 140722204893653 140722204893828 140722204893828 140722204897231 0
[pid=17025/tid=17039] ppid=17023 vsize=13980732 CPUtime=0.06 cores=1,3,5,7
/proc/17025/task/17039/stat : 17039 (java) S 17023 17023 3187 0 -1 1077944384 474 0 0 0 3 3 0 0 20 0 15 0 4244276 14316269568 2930464 18446744073709551615 4194304 4196468 140722204886288 140410716072496 140411246017154 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37613568 140722204893653 140722204893828 140722204893828 140722204897231 0
Current children cumulated CPU time (s) 150.65
Current children cumulated vsize (KiB) 13990244
[startup+101.306 s]
/proc/loadavg: 2.26 1.72 1.70 3/215 17277
/proc/meminfo: memFree=19771412/32770624 swapFree=0/173888
[pid=17023] ppid=17020 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/17023/stat : 17023 (xcsp3-exec) S 17020 17023 3187 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 4244258 9740288 344 18446744073709551615 4194304 5098028 140735982136144 140735982134248 140639102620284 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 8 0 0 7196144 7232144 23207936 140735982141853 140735982142056 140735982142056 140735982145515 0
/proc/17023/statm: 2378 344 289 221 0 87 0
[pid=17025] ppid=17023 vsize=0 CPUtime=150.73 cores=1,3,5,7
/proc/17025/stat : 17025 (java) Z 17023 17023 3187 0 -1 4227084 282085 0 0 0 13864 1209 0 0 20 0 2 0 4244266 0 0 18446744073709551615 0 0 0 0 0 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 0 0 0 0 0 0 0 0
/proc/17025/statm: 0 0 0 0 0 0 0
[pid=17025/tid=17030] ppid=17023 vsize=0 CPUtime=16.11 cores=1,3,5,7
/proc/17025/task/17030/stat : 17030 (java) R 17023 17023 3187 0 -1 4203588 32715 0 0 0 1367 244 0 0 20 0 2 0 4244267 0 0 18446744073709551615 0 0 0 0 0 0 4 1 16800974 18446744073709551615 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 150.73
Current children cumulated vsize (KiB) 9512
Child status: 1
Real time (s): 101.368
CPU time (s): 150.803
CPU user time (s): 138.645
CPU system time (s): 12.1577
CPU usage (%): 148.768
Max. virtual memory (cumulated for all children) (KiB): 13990244
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 138.645
system time used= 12.1577
maximum resident set size= 11722316
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 282606
page faults= 0
swaps= 0
block input operations= 8
block output operations= 8
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8918
involuntary context switches= 786
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.471335 second user time and 0.728816 second system time
The end