runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
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.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (14951 MiB free)
memory of node 1: 16384 MiB (11898 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4272450-1502714602/watcher-4272450-1502714602 -o /tmp/evaluation-result-4272450-1502714602/solver-4272450-1502714602 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node125-1502662595-11628 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 1175477086 HOME/instance-4272450-1502714602.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=19281, runsolver pid=19278
[startup+0.100089 s]*
/proc/loadavg: 2.31 1.86 1.79 3/202 19288
/proc/meminfo: memFree=27486064/32770624 swapFree=67108860/67108860
[pid=19281] ppid=19278 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/19281/stat : 19281 (xcsp3-exec) S 19278 19281 897 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 73680824 9740288 345 18446744073709551615 4194304 5098028 140735175919904 140735175918008 139628849201788 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 8 0 0 7196144 7232144 36200448 140735175926136 140735175926341 140735175926341 140735175929835 0
/proc/19281/statm: 2378 345 289 221 0 87 0
[pid=19283] ppid=19281 vsize=13441356 memory=16940 CPUtime=0.01 cores=0,2,4,6
/proc/19283/stat : 19283 (java) S 19281 19281 897 0 -1 1077944320 3535 0 0 0 1 0 0 0 20 0 7 0 73680832 13763948544 4235 18446744073709551615 4194304 4196468 140729007160912 140729007143456 140529022205687 0 0 1 16784584 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 17850368 140729007165873 140729007166049 140729007166049 140729007169487 0
/proc/19283/statm: 3360339 4235 1977 1 0 3349836 0
[pid=19283/tid=19284] ppid=19281 vsize=13441356 memory=7311146985107750967 CPUtime=0.01 cores=0,2,4,6
/proc/19283/task/19284/stat : 19284 (java) R 19281 19281 897 0 -1 4202560 2292 0 0 0 1 0 0 0 20 0 7 0 73680832 13763948544 4235 18446744073709551615 4194304 4196468 140729007160912 140529026448144 140529006286174 0 4 1 16784584 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17850368 140729007165873 140729007166049 140729007166049 140729007169487 0
[pid=19283/tid=19285] ppid=19281 vsize=13441356 memory=12619 CPUtime=0 cores=0,2,4,6
/proc/19283/task/19285/stat : 19285 (java) S 19281 19281 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 7 0 73680833 13763948544 4301 18446744073709551615 4194304 4196468 140729007160912 140528983104272 140529022215893 0 4 1 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17850368 140729007165873 140729007166049 140729007166049 140729007169487 0
[pid=19283/tid=19286] ppid=19281 vsize=13441356 memory=139716395863962 CPUtime=0 cores=0,2,4,6
/proc/19283/task/19286/stat : 19286 (java) S 19281 19281 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 7 0 73680833 13763948544 4301 18446744073709551615 4194304 4196468 140729007160912 140528620858256 140529022215893 0 4 1 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17850368 140729007165873 140729007166049 140729007166049 140729007169487 0
[pid=19283/tid=19287] ppid=19281 vsize=13441356 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19283/task/19287/stat : 19287 (java) S 19281 19281 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 7 0 73680833 13763948544 4301 18446744073709551615 4194304 4196468 140729007160912 140528619805712 140529022215893 0 4 1 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17850368 140729007165873 140729007166049 140729007166049 140729007169487 0
[pid=19283/tid=19288] ppid=19281 vsize=13441356 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/19283/task/19288/stat : 19288 (java) S 19281 19281 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 7 0 73680833 13763948544 4301 18446744073709551615 4194304 4196468 140729007160912 140528618753168 140529022215893 0 4 1 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17850368 140729007165873 140729007166049 140729007166049 140729007169487 0
[pid=19283/tid=19289] ppid=19281 vsize=13441356 memory=139716395845248 CPUtime=0 cores=0,2,4,6
/proc/19283/task/19289/stat : 19289 (java) S 19281 19281 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 7 0 73680834 13763948544 4301 18446744073709551615 4194304 4196468 140729007160912 140528500684784 140529022216834 0 0 1 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17850368 140729007165873 140729007166049 140729007166049 140729007169487 0
Current children cumulated CPU time: 0.01 s
Current children cumulated vsize: 13450868 KiB
Current children cumulated memory: 18320 KiB
[startup+0.209757 s]*
/proc/loadavg: 2.31 1.86 1.79 3/211 19297
/proc/meminfo: memFree=27483856/32770624 swapFree=67108860/67108860
[pid=19281] ppid=19278 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/19281/stat : 19281 (xcsp3-exec) S 19278 19281 897 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 73680824 9740288 345 18446744073709551615 4194304 5098028 140735175919904 140735175918008 139628849201788 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 8 0 0 7196144 7232144 36200448 140735175926136 140735175926341 140735175926341 140735175929835 0
/proc/19281/statm: 2378 345 289 221 0 87 0
[pid=19283] ppid=19281 vsize=13974352 memory=22028 CPUtime=0.07 cores=0,2,4,6
/proc/19283/stat : 19283 (java) S 19281 19281 897 0 -1 1077944320 4908 0 0 0 6 1 0 0 20 0 15 0 73680832 14309736448 5507 18446744073709551615 4194304 4196468 140729007160912 140729007143456 140529022205687 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 17850368 140729007165873 140729007166049 140729007166049 140729007169487 0
/proc/19283/statm: 3493588 5507 2723 1 0 3482964 0
[pid=19283/tid=19284] ppid=19281 vsize=13974352 memory=7311146985107750967 CPUtime=0.06 cores=0,2,4,6
/proc/19283/task/19284/stat : 19284 (java) R 19281 19281 897 0 -1 4202560 3078 0 0 0 5 1 0 0 20 0 15 0 73680832 14309736448 5507 18446744073709551615 4194304 4196468 140729007160912 140529026431376 140529022227613 0 4 1 16800974 0 0 0 -1 0 0 0 6 0 0 6293624 6294260 17850368 140729007165873 140729007166049 140729007166049 140729007169487 0
[pid=19283/tid=19285] ppid=19281 vsize=13974352 memory=12619 CPUtime=0 cores=0,2,4,6
/proc/19283/task/19285/stat : 19285 (java) S 19281 19281 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73680833 14309736448 5507 18446744073709551615 4194304 4196468 140729007160912 140528983104272 140529022215893 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17850368 140729007165873 140729007166049 140729007166049 140729007169487 0
[pid=19283/tid=19286] ppid=19281 vsize=13974352 memory=139716395863962 CPUtime=0 cores=0,2,4,6
/proc/19283/task/19286/stat : 19286 (java) S 19281 19281 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73680833 14309736448 5507 18446744073709551615 4194304 4196468 140729007160912 140528620858256 140529022215893 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17850368 140729007165873 140729007166049 140729007166049 140729007169487 0
[pid=19283/tid=19287] ppid=19281 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19283/task/19287/stat : 19287 (java) S 19281 19281 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73680833 14309736448 5507 18446744073709551615 4194304 4196468 140729007160912 140528619805712 140529022215893 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17850368 140729007165873 140729007166049 140729007166049 140729007169487 0
[pid=19283/tid=19288] ppid=19281 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/19283/task/19288/stat : 19288 (java) S 19281 19281 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73680833 14309736448 5507 18446744073709551615 4194304 4196468 140729007160912 140528618753168 140529022215893 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17850368 140729007165873 140729007166049 140729007166049 140729007169487 0
[pid=19283/tid=19289] ppid=19281 vsize=13974352 memory=139716395845248 CPUtime=0 cores=0,2,4,6
/proc/19283/task/19289/stat : 19289 (java) S 19281 19281 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73680834 14309736448 5507 18446744073709551615 4194304 4196468 140729007160912 140528500684784 140529022216834 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17850368 140729007165873 140729007166049 140729007166049 140729007169487 0
[pid=19283/tid=19290] ppid=19281 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/19283/task/19290/stat : 19290 (java) S 19281 19281 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 73680835 14309736448 5507 18446744073709551615 4194304 4196468 140729007160912 140528499631008 140529022215893 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17850368 140729007165873 140729007166049 140729007166049 140729007169487 0
[pid=19283/tid=19291] ppid=19281 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19283/task/19291/stat : 19291 (java) S 19281 19281 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 73680835 14309736448 5507 18446744073709551615 4194304 4196468 140729007160912 140528498578416 140529022215893 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17850368 140729007165873 140729007166049 140729007166049 140729007169487 0
[pid=19283/tid=19292] ppid=19281 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19283/task/19292/stat : 19292 (java) S 19281 19281 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73680837 14309736448 5507 18446744073709551615 4194304 4196468 140729007160912 140528497526992 140529022224283 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17850368 140729007165873 140729007166049 140729007166049 140729007169487 0
[pid=19283/tid=19293] ppid=19281 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19283/task/19293/stat : 19293 (java) S 19281 19281 897 0 -1 1077944384 303 0 0 0 0 0 0 0 20 0 15 0 73680837 14309736448 5507 18446744073709551615 4194304 4196468 140729007160912 140528496474608 140529022216834 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17850368 140729007165873 140729007166049 140729007166049 140729007169487 0
[pid=19283/tid=19294] ppid=19281 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/19283/task/19294/stat : 19294 (java) S 19281 19281 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73680837 14309736448 5507 18446744073709551615 4194304 4196468 140729007160912 140528495422064 140529022216834 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17850368 140729007165873 140729007166049 140729007166049 140729007169487 0
[pid=19283/tid=19295] ppid=19281 vsize=13974352 memory=139716395845248 CPUtime=0 cores=0,2,4,6
/proc/19283/task/19295/stat : 19295 (java) S 19281 19281 897 0 -1 1077944384 223 0 0 0 0 0 0 0 20 0 15 0 73680837 14309736448 5507 18446744073709551615 4194304 4196468 140729007160912 140528494369520 140529022216834 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17850368 140729007165873 140729007166049 140729007166049 140729007169487 0
[pid=19283/tid=19296] ppid=19281 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/19283/task/19296/stat : 19296 (java) S 19281 19281 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73680838 14309736448 5507 18446744073709551615 4194304 4196468 140729007160912 140528493317216 140529022215893 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17850368 140729007165873 140729007166049 140729007166049 140729007169487 0
[pid=19283/tid=19297] ppid=19281 vsize=13974352 memory=139716395845248 CPUtime=0 cores=0,2,4,6
/proc/19283/task/19297/stat : 19297 (java) S 19281 19281 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73680844 14309736448 5507 18446744073709551615 4194304 4196468 140729007160912 140528492263728 140529022216834 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17850368 140729007165873 140729007166049 140729007166049 140729007169487 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 23408 KiB
[startup+0.310138 s]*
/proc/loadavg: 2.31 1.86 1.79 3/211 19297
/proc/meminfo: memFree=27466976/32770624 swapFree=67108860/67108860
[pid=19281] ppid=19278 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/19281/stat : 19281 (xcsp3-exec) S 19278 19281 897 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 73680824 9740288 345 18446744073709551615 4194304 5098028 140735175919904 140735175918008 139628849201788 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 8 0 0 7196144 7232144 36200448 140735175926136 140735175926341 140735175926341 140735175929835 0
/proc/19281/statm: 2378 345 289 221 0 87 0
[pid=19283] ppid=19281 vsize=13974352 memory=36276 CPUtime=0.24 cores=0,2,4,6
/proc/19283/stat : 19283 (java) S 19281 19281 897 0 -1 1077944320 8680 0 0 0 22 2 0 0 20 0 15 0 73680832 14309736448 9069 18446744073709551615 4194304 4196468 140729007160912 140729007143456 140529022205687 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 17850368 140729007165873 140729007166049 140729007166049 140729007169487 0
/proc/19283/statm: 3493588 9069 2968 1 0 3482964 0
[pid=19283/tid=19284] ppid=19281 vsize=13974352 memory=-8774313645642428999 CPUtime=0.16 cores=0,2,4,6
/proc/19283/task/19284/stat : 19284 (java) R 19281 19281 897 0 -1 4202560 5978 0 0 0 14 2 0 0 20 0 15 0 73680832 14309736448 9069 18446744073709551615 4194304 4196468 140729007160912 140529026419872 140529006286174 0 4 1 16800974 0 0 0 -1 2 0 0 6 0 0 6293624 6294260 17850368 140729007165873 140729007166049 140729007166049 140729007169487 0
[pid=19283/tid=19285] ppid=19281 vsize=13974352 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/19283/task/19285/stat : 19285 (java) S 19281 19281 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73680833 14309736448 9069 18446744073709551615 4194304 4196468 140729007160912 140528983104272 140529022215893 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17850368 140729007165873 140729007166049 140729007166049 140729007169487 0
[pid=19283/tid=19286] ppid=19281 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19283/task/19286/stat : 19286 (java) S 19281 19281 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73680833 14309736448 9069 18446744073709551615 4194304 4196468 140729007160912 140528620858256 140529022215893 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17850368 140729007165873 140729007166049 140729007166049 140729007169487 0
[pid=19283/tid=19287] ppid=19281 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19283/task/19287/stat : 19287 (java) S 19281 19281 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73680833 14309736448 9069 18446744073709551615 4194304 4196468 140729007160912 140528619805712 140529022215893 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17850368 140729007165873 140729007166049 140729007166049 140729007169487 0
[pid=19283/tid=19288] ppid=19281 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19283/task/19288/stat : 19288 (java) S 19281 19281 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73680833 14309736448 9134 18446744073709551615 4194304 4196468 140729007160912 140528618753168 140529022215893 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17850368 140729007165873 140729007166049 140729007166049 140729007169487 0
[pid=19283/tid=19289] ppid=19281 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19283/task/19289/stat : 19289 (java) S 19281 19281 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73680834 14309736448 9134 18446744073709551615 4194304 4196468 140729007160912 140528500684784 140529022216834 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17850368 140729007165873 140729007166049 140729007166049 140729007169487 0
[pid=19283/tid=19290] ppid=19281 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19283/task/19290/stat : 19290 (java) S 19281 19281 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 73680835 14309736448 9136 18446744073709551615 4194304 4196468 140729007160912 140528499631008 140529022215893 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17850368 140729007165873 140729007166049 140729007166049 140729007169487 0
[pid=19283/tid=19291] ppid=19281 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19283/task/19291/stat : 19291 (java) S 19281 19281 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 73680835 14309736448 9136 18446744073709551615 4194304 4196468 140729007160912 140528498578416 140529022215893 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17850368 140729007165873 140729007166049 140729007166049 140729007169487 0
[pid=19283/tid=19292] ppid=19281 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19283/task/19292/stat : 19292 (java) S 19281 19281 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73680837 14309736448 9136 18446744073709551615 4194304 4196468 140729007160912 140528497526992 140529022224283 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17850368 140729007165873 140729007166049 140729007166049 140729007169487 0
[pid=19283/tid=19293] ppid=19281 vsize=13974352 memory=139716293055424 CPUtime=0.01 cores=0,2,4,6
/proc/19283/task/19293/stat : 19293 (java) S 19281 19281 897 0 -1 1077944384 569 0 0 0 1 0 0 0 20 0 15 0 73680837 14309736448 9136 18446744073709551615 4194304 4196468 140729007160912 140528496474608 140529022216834 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17850368 140729007165873 140729007166049 140729007166049 140729007169487 0
[pid=19283/tid=19294] ppid=19281 vsize=13974352 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/19283/task/19294/stat : 19294 (java) S 19281 19281 897 0 -1 1077944384 106 0 0 0 1 0 0 0 20 0 15 0 73680837 14309736448 9136 18446744073709551615 4194304 4196468 140729007160912 140528495422064 140529022216834 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17850368 140729007165873 140729007166049 140729007166049 140729007169487 0
[pid=19283/tid=19295] ppid=19281 vsize=13974352 memory=139716395845248 CPUtime=0.05 cores=0,2,4,6
/proc/19283/task/19295/stat : 19295 (java) S 19281 19281 897 0 -1 1077944384 728 0 0 0 5 0 0 0 20 0 15 0 73680837 14309736448 9136 18446744073709551615 4194304 4196468 140729007160912 140528494369520 140529022216834 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17850368 140729007165873 140729007166049 140729007166049 140729007169487 0
[pid=19283/tid=19296] ppid=19281 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/19283/task/19296/stat : 19296 (java) S 19281 19281 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73680838 14309736448 9136 18446744073709551615 4194304 4196468 140729007160912 140528493317216 140529022215893 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17850368 140729007165873 140729007166049 140729007166049 140729007169487 0
[pid=19283/tid=19297] ppid=19281 vsize=13974352 memory=139716395845248 CPUtime=0 cores=0,2,4,6
/proc/19283/task/19297/stat : 19297 (java) S 19281 19281 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73680844 14309736448 9136 18446744073709551615 4194304 4196468 140729007160912 140528492263728 140529022216834 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17850368 140729007165873 140729007166049 140729007166049 140729007169487 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 37656 KiB
[startup+0.703168 s]
/proc/loadavg: 2.31 1.86 1.79 5/211 19297
/proc/meminfo: memFree=27456232/32770624 swapFree=67108860/67108860
[pid=19281] ppid=19278 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/19281/stat : 19281 (xcsp3-exec) S 19278 19281 897 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 73680824 9740288 345 18446744073709551615 4194304 5098028 140735175919904 140735175918008 139628849201788 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 8 0 0 7196144 7232144 36200448 140735175926136 140735175926341 140735175926341 140735175929835 0
/proc/19281/statm: 2378 345 289 221 0 87 0
[pid=19283] ppid=19281 vsize=13980732 memory=64260 CPUtime=1.1 cores=0,2,4,6
/proc/19283/stat : 19283 (java) S 19281 19281 897 0 -1 1077944320 13559 0 0 0 105 5 0 0 20 0 15 0 73680832 14316269568 16065 18446744073709551615 4194304 4196468 140729007160912 140729007143456 140529022205687 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 17850368 140729007165873 140729007166049 140729007166049 140729007169487 0
/proc/19283/statm: 3495183 16065 3174 1 0 3483476 0
[pid=19283/tid=19284] ppid=19281 vsize=13980732 memory=1712 CPUtime=0.53 cores=0,2,4,6
/proc/19283/task/19284/stat : 19284 (java) R 19281 19281 897 0 -1 4202560 8940 0 0 0 50 3 0 0 20 0 15 0 73680832 14316269568 16065 18446744073709551615 4194304 4196468 140729007160912 140529026444016 140528662638071 0 4 1 16800974 0 0 0 -1 4 0 0 6 0 0 6293624 6294260 17850368 140729007165873 140729007166049 140729007166049 140729007169487 0
[pid=19283/tid=19285] ppid=19281 vsize=13980732 memory=4616 CPUtime=0 cores=0,2,4,6
/proc/19283/task/19285/stat : 19285 (java) S 19281 19281 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73680833 14316269568 16065 18446744073709551615 4194304 4196468 140729007160912 140528983104272 140529022215893 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17850368 140729007165873 140729007166049 140729007166049 140729007169487 0
[pid=19283/tid=19286] ppid=19281 vsize=13980732 memory=6297835844906604903 CPUtime=0 cores=0,2,4,6
/proc/19283/task/19286/stat : 19286 (java) S 19281 19281 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73680833 14316269568 16065 18446744073709551615 4194304 4196468 140729007160912 140528620858256 140529022215893 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17850368 140729007165873 140729007166049 140729007166049 140729007169487 0
[pid=19283/tid=19287] ppid=19281 vsize=13980732 memory=7453282923428146022 CPUtime=0 cores=0,2,4,6
/proc/19283/task/19287/stat : 19287 (java) S 19281 19281 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73680833 14316269568 16065 18446744073709551615 4194304 4196468 140729007160912 140528619805712 140529022215893 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17850368 140729007165873 140729007166049 140729007166049 140729007169487 0
[pid=19283/tid=19288] ppid=19281 vsize=13980732 memory=4116 CPUtime=0 cores=0,2,4,6
/proc/19283/task/19288/stat : 19288 (java) S 19281 19281 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73680833 14316269568 16065 18446744073709551615 4194304 4196468 140729007160912 140528618753168 140529022215893 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17850368 140729007165873 140729007166049 140729007166049 140729007169487 0
[pid=19283/tid=19289] ppid=19281 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19283/task/19289/stat : 19289 (java) S 19281 19281 897 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 73680834 14316269568 16065 18446744073709551615 4194304 4196468 140729007160912 140528500684784 140529022216834 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17850368 140729007165873 140729007166049 140729007166049 140729007169487 0
[pid=19283/tid=19290] ppid=19281 vsize=13980732 memory=139716292806704 CPUtime=0 cores=0,2,4,6
/proc/19283/task/19290/stat : 19290 (java) S 19281 19281 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 73680835 14316269568 16065 18446744073709551615 4194304 4196468 140729007160912 140528499631008 140529022215893 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17850368 140729007165873 140729007166049 140729007166049 140729007169487 0
[pid=19283/tid=19291] ppid=19281 vsize=13980732 memory=139716292806896 CPUtime=0 cores=0,2,4,6
/proc/19283/task/19291/stat : 19291 (java) S 19281 19281 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 73680835 14316269568 16065 18446744073709551615 4194304 4196468 140729007160912 140528498578416 140529022215893 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17850368 140729007165873 140729007166049 140729007166049 140729007169487 0
[pid=19283/tid=19292] ppid=19281 vsize=13980732 memory=139716292806992 CPUtime=0 cores=0,2,4,6
/proc/19283/task/19292/stat : 19292 (java) S 19281 19281 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73680837 14316269568 16065 18446744073709551615 4194304 4196468 140729007160912 140528497526992 140529022224283 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17850368 140729007165873 140729007166049 140729007166049 140729007169487 0
[pid=19283/tid=19293] ppid=19281 vsize=13980732 memory=280 CPUtime=0.11 cores=0,2,4,6
/proc/19283/task/19293/stat : 19293 (java) R 19281 19281 897 0 -1 4202560 1142 0 0 0 11 0 0 0 20 0 15 0 73680837 14316269568 16065 18446744073709551615 4194304 4196468 140729007160912 140528496461176 140529014922650 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 17850368 140729007165873 140729007166049 140729007166049 140729007169487 0
[pid=19283/tid=19294] ppid=19281 vsize=13980732 memory=947 CPUtime=0.17 cores=0,2,4,6
/proc/19283/task/19294/stat : 19294 (java) D 19281 19281 897 0 -1 4202560 846 0 0 0 17 0 0 0 20 0 15 0 73680837 14316269568 16065 18446744073709551615 4194304 4196468 140729007160912 140528495403080 140529002905984 0 4 1 16800974 18446744071582151416 0 0 -1 0 0 0 0 0 0 6293624 6294260 17850368 140729007165873 140729007166049 140729007166049 140729007169487 0
[pid=19283/tid=19295] ppid=19281 vsize=13980732 memory=251 CPUtime=0.26 cores=0,2,4,6
/proc/19283/task/19295/stat : 19295 (java) D 19281 19281 897 0 -1 4202560 1320 0 0 0 26 0 0 0 20 0 15 0 73680837 14316269568 16065 18446744073709551615 4194304 4196468 140729007160912 140528494366488 140529000835871 0 4 1 16800974 18446744071582151416 0 0 -1 2 0 0 0 0 0 6293624 6294260 17850368 140729007165873 140729007166049 140729007166049 140729007169487 0
[pid=19283/tid=19296] ppid=19281 vsize=13980732 memory=64 CPUtime=0 cores=0,2,4,6
/proc/19283/task/19296/stat : 19296 (java) S 19281 19281 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73680838 14316269568 16065 18446744073709551615 4194304 4196468 140729007160912 140528493317216 140529022215893 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17850368 140729007165873 140729007166049 140729007166049 140729007169487 0
[pid=19283/tid=19297] ppid=19281 vsize=13980732 memory=5 CPUtime=0 cores=0,2,4,6
/proc/19283/task/19297/stat : 19297 (java) S 19281 19281 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73680844 14316269568 16065 18446744073709551615 4194304 4196468 140729007160912 140528492263728 140529022216834 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17850368 140729007165873 140729007166049 140729007166049 140729007169487 0
Current children cumulated CPU time: 1.1 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 65640 KiB
[startup+1.50105 s]
/proc/loadavg: 2.31 1.86 1.79 5/211 19298
/proc/meminfo: memFree=27413116/32770624 swapFree=67108860/67108860
[pid=19281] ppid=19278 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/19281/stat : 19281 (xcsp3-exec) S 19278 19281 897 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 73680824 9740288 345 18446744073709551615 4194304 5098028 140735175919904 140735175918008 139628849201788 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 8 0 0 7196144 7232144 36200448 140735175926136 140735175926341 140735175926341 140735175929835 0
/proc/19281/statm: 2378 345 289 221 0 87 0
[pid=19283] ppid=19281 vsize=13980732 memory=111152 CPUtime=3.62 cores=0,2,4,6
/proc/19283/stat : 19283 (java) S 19281 19281 897 0 -1 1077944320 28995 0 0 0 355 7 0 0 20 0 15 0 73680832 14316269568 27788 18446744073709551615 4194304 4196468 140729007160912 140729007143456 140529022205687 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 17850368 140729007165873 140729007166049 140729007166049 140729007169487 0
/proc/19283/statm: 3495183 27788 3193 1 0 3483476 0
[pid=19283/tid=19284] ppid=19281 vsize=13980732 memory=251 CPUtime=1.34 cores=0,2,4,6
/proc/19283/task/19284/stat : 19284 (java) R 19281 19281 897 0 -1 4202560 9466 0 0 0 130 4 0 0 20 0 15 0 73680832 14316269568 27788 18446744073709551615 4194304 4196468 140729007160912 140529026442648 140529022217622 0 4 1 16800974 0 0 0 -1 4 0 0 6 0 0 6293624 6294260 17850368 140729007165873 140729007166049 140729007166049 140729007169487 0
[pid=19283/tid=19285] ppid=19281 vsize=13980732 memory=64 CPUtime=0 cores=0,2,4,6
/proc/19283/task/19285/stat : 19285 (java) S 19281 19281 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73680833 14316269568 27788 18446744073709551615 4194304 4196468 140729007160912 140528983104272 140529022215893 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17850368 140729007165873 140729007166049 140729007166049 140729007169487 0
[pid=19283/tid=19286] ppid=19281 vsize=13980732 memory=5 CPUtime=0 cores=0,2,4,6
/proc/19283/task/19286/stat : 19286 (java) S 19281 19281 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73680833 14316269568 27788 18446744073709551615 4194304 4196468 140729007160912 140528620858256 140529022215893 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17850368 140729007165873 140729007166049 140729007166049 140729007169487 0
[pid=19283/tid=19287] ppid=19281 vsize=13980732 memory=64260 CPUtime=0 cores=0,2,4,6
/proc/19283/task/19287/stat : 19287 (java) S 19281 19281 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73680833 14316269568 27788 18446744073709551615 4194304 4196468 140729007160912 140528619805712 140529022215893 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17850368 140729007165873 140729007166049 140729007166049 140729007169487 0
[pid=19283/tid=19288] ppid=19281 vsize=13980732 memory=1712 CPUtime=0 cores=0,2,4,6
/proc/19283/task/19288/stat : 19288 (java) S 19281 19281 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73680833 14316269568 27788 18446744073709551615 4194304 4196468 140729007160912 140528618753168 140529022215893 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17850368 140729007165873 140729007166049 140729007166049 140729007169487 0
[pid=19283/tid=19289] ppid=19281 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19283/task/19289/stat : 19289 (java) S 19281 19281 897 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 15 0 73680834 14316269568 27788 18446744073709551615 4194304 4196468 140729007160912 140528500684784 140529022216834 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17850368 140729007165873 140729007166049 140729007166049 140729007169487 0
[pid=19283/tid=19290] ppid=19281 vsize=13980732 memory=279432585561536 CPUtime=0 cores=0,2,4,6
################
# More data... #
################
/proc/19281/stat : 19281 (xcsp3-exec) S 19278 19281 897 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 73680824 9740288 345 18446744073709551615 4194304 5098028 140735175919904 140735175918008 139628849201788 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 8 0 0 7196144 7232144 36200448 140735175926136 140735175926341 140735175926341 140735175929835 0
/proc/19281/statm: 2378 345 289 221 0 87 0
[pid=19283] ppid=19281 vsize=13980732 memory=359508 CPUtime=65.69 cores=0,2,4,6
/proc/19283/stat : 19283 (java) S 19281 19281 897 0 -1 1077944320 81160 0 0 0 6539 30 0 0 20 0 15 0 73680832 14316269568 89877 18446744073709551615 4194304 4196468 140729007160912 140729007143456 140529022205687 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 17850368 140729007165873 140729007166049 140729007166049 140729007169487 0
/proc/19283/statm: 3495183 89877 3242 1 0 3483476 0
[pid=19283/tid=19284] ppid=19281 vsize=13980732 memory=3470698889657999936 CPUtime=53.15 cores=0,2,4,6
/proc/19283/task/19284/stat : 19284 (java) R 19281 19281 897 0 -1 4202560 14264 0 0 0 5310 5 0 0 20 0 15 0 73680832 14316269568 89877 18446744073709551615 4194304 4196468 140729007160912 140529026445344 140528668227288 0 4 1 16800974 0 0 0 -1 2 0 0 6 0 0 6293624 6294260 17850368 140729007165873 140729007166049 140729007166049 140729007169487 0
[pid=19283/tid=19285] ppid=19281 vsize=13980732 memory=-3622645143214314312 CPUtime=0.25 cores=0,2,4,6
/proc/19283/task/19285/stat : 19285 (java) S 19281 19281 897 0 -1 1077944384 2189 0 0 0 21 4 0 0 20 0 15 0 73680833 14316269568 89877 18446744073709551615 4194304 4196468 140729007160912 140528983104272 140529022215893 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17850368 140729007165873 140729007166049 140729007166049 140729007169487 0
[pid=19283/tid=19286] ppid=19281 vsize=13980732 memory=361372 CPUtime=0.23 cores=0,2,4,6
/proc/19283/task/19286/stat : 19286 (java) S 19281 19281 897 0 -1 1077944384 605 0 0 0 20 3 0 0 20 0 15 0 73680833 14316269568 89877 18446744073709551615 4194304 4196468 140729007160912 140528620858256 140529022215893 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17850368 140729007165873 140729007166049 140729007166049 140729007169487 0
[pid=19283/tid=19287] ppid=19281 vsize=13980732 memory=15536310592997909 CPUtime=0.24 cores=0,2,4,6
/proc/19283/task/19287/stat : 19287 (java) S 19281 19281 897 0 -1 1077944384 885 0 0 0 21 3 0 0 20 0 15 0 73680833 14316269568 89877 18446744073709551615 4194304 4196468 140729007160912 140528619805712 140529022215893 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17850368 140729007165873 140729007166049 140729007166049 140729007169487 0
[pid=19283/tid=19288] ppid=19281 vsize=13980732 memory=1624 CPUtime=0.25 cores=0,2,4,6
/proc/19283/task/19288/stat : 19288 (java) S 19281 19281 897 0 -1 1077944384 1030 0 0 0 21 4 0 0 20 0 15 0 73680833 14316269568 89877 18446744073709551615 4194304 4196468 140729007160912 140528618753168 140529022215893 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17850368 140729007165873 140729007166049 140729007166049 140729007169487 0
[pid=19283/tid=19289] ppid=19281 vsize=13980732 memory=928 CPUtime=0.02 cores=0,2,4,6
/proc/19283/task/19289/stat : 19289 (java) S 19281 19281 897 0 -1 1077944384 774 0 0 0 2 0 0 0 20 0 15 0 73680834 14316269568 89877 18446744073709551615 4194304 4196468 140729007160912 140528500684784 140529022216834 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17850368 140729007165873 140729007166049 140729007166049 140729007169487 0
[pid=19283/tid=19290] ppid=19281 vsize=13980732 memory=2164 CPUtime=0 cores=0,2,4,6
/proc/19283/task/19290/stat : 19290 (java) S 19281 19281 897 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 73680835 14316269568 89877 18446744073709551615 4194304 4196468 140729007160912 140528499631008 140529022215893 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17850368 140729007165873 140729007166049 140729007166049 140729007169487 0
[pid=19283/tid=19291] ppid=19281 vsize=13980732 memory=840 CPUtime=0 cores=0,2,4,6
/proc/19283/task/19291/stat : 19291 (java) S 19281 19281 897 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 73680835 14316269568 89877 18446744073709551615 4194304 4196468 140729007160912 140528498578432 140529022215893 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17850368 140729007165873 140729007166049 140729007166049 140729007169487 0
[pid=19283/tid=19292] ppid=19281 vsize=13980732 memory=-8774313645642428999 CPUtime=0 cores=0,2,4,6
/proc/19283/task/19292/stat : 19292 (java) S 19281 19281 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73680837 14316269568 89877 18446744073709551615 4194304 4196468 140729007160912 140528497526992 140529022224283 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17850368 140729007165873 140729007166049 140729007166049 140729007169487 0
[pid=19283/tid=19293] ppid=19281 vsize=13980732 memory=359508 CPUtime=5.42 cores=0,2,4,6
/proc/19283/task/19293/stat : 19293 (java) S 19281 19281 897 0 -1 1077944384 23879 0 0 0 540 2 0 0 20 0 15 0 73680837 14316269568 89877 18446744073709551615 4194304 4196468 140729007160912 140528496474608 140529022216834 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17850368 140729007165873 140729007166049 140729007166049 140729007169487 0
[pid=19283/tid=19294] ppid=19281 vsize=13980732 memory=1728 CPUtime=5.19 cores=0,2,4,6
/proc/19283/task/19294/stat : 19294 (java) S 19281 19281 897 0 -1 1077944384 26677 0 0 0 517 2 0 0 20 0 15 0 73680837 14316269568 89877 18446744073709551615 4194304 4196468 140729007160912 140528495422064 140529022216834 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17850368 140729007165873 140729007166049 140729007166049 140729007169487 0
[pid=19283/tid=19295] ppid=19281 vsize=13980732 memory=1228 CPUtime=0.84 cores=0,2,4,6
/proc/19283/task/19295/stat : 19295 (java) S 19281 19281 897 0 -1 1077944384 8586 0 0 0 82 2 0 0 20 0 15 0 73680837 14316269568 89877 18446744073709551615 4194304 4196468 140729007160912 140528494369520 140529022216834 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17850368 140729007165873 140729007166049 140729007166049 140729007169487 0
[pid=19283/tid=19296] ppid=19281 vsize=13980732 memory=796 CPUtime=0 cores=0,2,4,6
/proc/19283/task/19296/stat : 19296 (java) S 19281 19281 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73680838 14316269568 89877 18446744073709551615 4194304 4196468 140729007160912 140528493317216 140529022215893 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17850368 140729007165873 140729007166049 140729007166049 140729007169487 0
[pid=19283/tid=19297] ppid=19281 vsize=13980732 memory=5788 CPUtime=0.01 cores=0,2,4,6
/proc/19283/task/19297/stat : 19297 (java) S 19281 19281 897 0 -1 1077944384 925 0 0 0 0 1 0 0 20 0 15 0 73680844 14316269568 89877 18446744073709551615 4194304 4196468 140729007160912 140528492263728 140529022216834 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17850368 140729007165873 140729007166049 140729007166049 140729007169487 0
Current children cumulated CPU time: 65.69 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 360888 KiB
[startup+54.4008 s]
/proc/loadavg: 2.17 1.90 1.80 3/214 19312
/proc/meminfo: memFree=27146172/32770624 swapFree=67108860/67108860
[pid=19281] ppid=19278 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/19281/stat : 19281 (xcsp3-exec) S 19278 19281 897 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 73680824 9740288 345 18446744073709551615 4194304 5098028 140735175919904 140735175918008 139628849201788 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 8 0 0 7196144 7232144 36200448 140735175926136 140735175926341 140735175926341 140735175929835 0
/proc/19281/statm: 2378 345 289 221 0 87 0
[pid=19283] ppid=19281 vsize=13980732 memory=359508 CPUtime=66.49 cores=0,2,4,6
/proc/19283/stat : 19283 (java) S 19281 19281 897 0 -1 1077944320 81741 0 0 0 6619 30 0 0 20 0 15 0 73680832 14316269568 89877 18446744073709551615 4194304 4196468 140729007160912 140729007143456 140529022205687 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 17850368 140729007165873 140729007166049 140729007166049 140729007169487 0
/proc/19283/statm: 3495183 89877 3242 1 0 3483476 0
[pid=19283/tid=19284] ppid=19281 vsize=13980732 memory=-8774313645642428999 CPUtime=53.95 cores=0,2,4,6
/proc/19283/task/19284/stat : 19284 (java) R 19281 19281 897 0 -1 4202560 14635 0 0 0 5390 5 0 0 20 0 15 0 73680832 14316269568 89877 18446744073709551615 4194304 4196468 140729007160912 140529026445344 140528668146486 0 4 1 16800974 0 0 0 -1 2 0 0 6 0 0 6293624 6294260 17850368 140729007165873 140729007166049 140729007166049 140729007169487 0
[pid=19283/tid=19285] ppid=19281 vsize=13980732 memory=40716 CPUtime=0.25 cores=0,2,4,6
/proc/19283/task/19285/stat : 19285 (java) S 19281 19281 897 0 -1 1077944384 2189 0 0 0 21 4 0 0 20 0 15 0 73680833 14316269568 89877 18446744073709551615 4194304 4196468 140729007160912 140528983104272 140529022215893 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17850368 140729007165873 140729007166049 140729007166049 140729007169487 0
[pid=19283/tid=19286] ppid=19281 vsize=13980732 memory=1292 CPUtime=0.23 cores=0,2,4,6
/proc/19283/task/19286/stat : 19286 (java) S 19281 19281 897 0 -1 1077944384 605 0 0 0 20 3 0 0 20 0 15 0 73680833 14316269568 89877 18446744073709551615 4194304 4196468 140729007160912 140528620858256 140529022215893 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17850368 140729007165873 140729007166049 140729007166049 140729007169487 0
[pid=19283/tid=19287] ppid=19281 vsize=13980732 memory=2316 CPUtime=0.24 cores=0,2,4,6
/proc/19283/task/19287/stat : 19287 (java) S 19281 19281 897 0 -1 1077944384 885 0 0 0 21 3 0 0 20 0 15 0 73680833 14316269568 89877 18446744073709551615 4194304 4196468 140729007160912 140528619805712 140529022215893 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17850368 140729007165873 140729007166049 140729007166049 140729007169487 0
[pid=19283/tid=19288] ppid=19281 vsize=13980732 memory=-8774313645642428999 CPUtime=0.25 cores=0,2,4,6
/proc/19283/task/19288/stat : 19288 (java) S 19281 19281 897 0 -1 1077944384 1030 0 0 0 21 4 0 0 20 0 15 0 73680833 14316269568 89877 18446744073709551615 4194304 4196468 140729007160912 140528618753168 140529022215893 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17850368 140729007165873 140729007166049 140729007166049 140729007169487 0
[pid=19283/tid=19289] ppid=19281 vsize=13980732 memory=361372 CPUtime=0.02 cores=0,2,4,6
/proc/19283/task/19289/stat : 19289 (java) S 19281 19281 897 0 -1 1077944384 774 0 0 0 2 0 0 0 20 0 15 0 73680834 14316269568 89877 18446744073709551615 4194304 4196468 140729007160912 140528500684784 140529022216834 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17850368 140729007165873 140729007166049 140729007166049 140729007169487 0
[pid=19283/tid=19290] ppid=19281 vsize=13980732 memory=4580 CPUtime=0 cores=0,2,4,6
/proc/19283/task/19290/stat : 19290 (java) S 19281 19281 897 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 73680835 14316269568 89877 18446744073709551615 4194304 4196468 140729007160912 140528499631008 140529022215893 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17850368 140729007165873 140729007166049 140729007166049 140729007169487 0
[pid=19283/tid=19291] ppid=19281 vsize=13980732 memory=-8195925453750481479 CPUtime=0 cores=0,2,4,6
/proc/19283/task/19291/stat : 19291 (java) S 19281 19281 897 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 73680835 14316269568 89877 18446744073709551615 4194304 4196468 140729007160912 140528498578432 140529022215893 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17850368 140729007165873 140729007166049 140729007166049 140729007169487 0
[pid=19283/tid=19292] ppid=19281 vsize=13980732 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/19283/task/19292/stat : 19292 (java) S 19281 19281 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73680837 14316269568 89877 18446744073709551615 4194304 4196468 140729007160912 140528497526992 140529022224283 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17850368 140729007165873 140729007166049 140729007166049 140729007169487 0
[pid=19283/tid=19293] ppid=19281 vsize=13980732 memory=1728 CPUtime=5.42 cores=0,2,4,6
/proc/19283/task/19293/stat : 19293 (java) S 19281 19281 897 0 -1 1077944384 23879 0 0 0 540 2 0 0 20 0 15 0 73680837 14316269568 89877 18446744073709551615 4194304 4196468 140729007160912 140528496474608 140529022216834 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17850368 140729007165873 140729007166049 140729007166049 140729007169487 0
[pid=19283/tid=19294] ppid=19281 vsize=13980732 memory=1228 CPUtime=5.19 cores=0,2,4,6
/proc/19283/task/19294/stat : 19294 (java) S 19281 19281 897 0 -1 1077944384 26677 0 0 0 517 2 0 0 20 0 15 0 73680837 14316269568 89877 18446744073709551615 4194304 4196468 140729007160912 140528495422064 140529022216834 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17850368 140729007165873 140729007166049 140729007166049 140729007169487 0
[pid=19283/tid=19295] ppid=19281 vsize=13980732 memory=796 CPUtime=0.84 cores=0,2,4,6
/proc/19283/task/19295/stat : 19295 (java) S 19281 19281 897 0 -1 1077944384 8781 0 0 0 82 2 0 0 20 0 15 0 73680837 14316269568 89877 18446744073709551615 4194304 4196468 140729007160912 140528494369520 140529022216834 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17850368 140729007165873 140729007166049 140729007166049 140729007169487 0
[pid=19283/tid=19296] ppid=19281 vsize=13980732 memory=5788 CPUtime=0 cores=0,2,4,6
/proc/19283/task/19296/stat : 19296 (java) S 19281 19281 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73680838 14316269568 89877 18446744073709551615 4194304 4196468 140729007160912 140528493317216 140529022215893 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17850368 140729007165873 140729007166049 140729007166049 140729007169487 0
[pid=19283/tid=19297] ppid=19281 vsize=13980732 memory=1712 CPUtime=0.01 cores=0,2,4,6
/proc/19283/task/19297/stat : 19297 (java) S 19281 19281 897 0 -1 1077944384 940 0 0 0 0 1 0 0 20 0 15 0 73680844 14316269568 89877 18446744073709551615 4194304 4196468 140729007160912 140528492263728 140529022216834 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17850368 140729007165873 140729007166049 140729007166049 140729007169487 0
Current children cumulated CPU time: 66.49 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 360888 KiB
[startup+54.6008 s]
/proc/loadavg: 2.17 1.90 1.80 3/214 19312
/proc/meminfo: memFree=27146172/32770624 swapFree=67108860/67108860
[pid=19281] ppid=19278 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/19281/stat : 19281 (xcsp3-exec) S 19278 19281 897 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 73680824 9740288 345 18446744073709551615 4194304 5098028 140735175919904 140735175918008 139628849201788 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 8 0 0 7196144 7232144 36200448 140735175926136 140735175926341 140735175926341 140735175929835 0
/proc/19281/statm: 2378 345 289 221 0 87 0
[pid=19283] ppid=19281 vsize=13980732 memory=359508 CPUtime=66.69 cores=0,2,4,6
/proc/19283/stat : 19283 (java) S 19281 19281 897 0 -1 1077944320 81844 0 0 0 6639 30 0 0 20 0 15 0 73680832 14316269568 89877 18446744073709551615 4194304 4196468 140729007160912 140729007143456 140529022205687 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 17850368 140729007165873 140729007166049 140729007166049 140729007169487 0
/proc/19283/statm: 3495183 89877 3242 1 0 3483476 0
[pid=19283/tid=19284] ppid=19281 vsize=13980732 memory=10164 CPUtime=54.15 cores=0,2,4,6
/proc/19283/task/19284/stat : 19284 (java) R 19281 19281 897 0 -1 4202560 14738 0 0 0 5410 5 0 0 20 0 15 0 73680832 14316269568 89877 18446744073709551615 4194304 4196468 140729007160912 140529026444504 140528669996398 0 4 1 16800974 0 0 0 -1 2 0 0 6 0 0 6293624 6294260 17850368 140729007165873 140729007166049 140729007166049 140729007169487 0
[pid=19283/tid=19285] ppid=19281 vsize=13980732 memory=1440 CPUtime=0.25 cores=0,2,4,6
/proc/19283/task/19285/stat : 19285 (java) S 19281 19281 897 0 -1 1077944384 2189 0 0 0 21 4 0 0 20 0 15 0 73680833 14316269568 89877 18446744073709551615 4194304 4196468 140729007160912 140528983104272 140529022215893 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17850368 140729007165873 140729007166049 140729007166049 140729007169487 0
[pid=19283/tid=19286] ppid=19281 vsize=13980732 memory=2000 CPUtime=0.23 cores=0,2,4,6
/proc/19283/task/19286/stat : 19286 (java) S 19281 19281 897 0 -1 1077944384 605 0 0 0 20 3 0 0 20 0 15 0 73680833 14316269568 89877 18446744073709551615 4194304 4196468 140729007160912 140528620858256 140529022215893 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17850368 140729007165873 140729007166049 140729007166049 140729007169487 0
[pid=19283/tid=19287] ppid=19281 vsize=13980732 memory=10996 CPUtime=0.24 cores=0,2,4,6
/proc/19283/task/19287/stat : 19287 (java) S 19281 19281 897 0 -1 1077944384 885 0 0 0 21 3 0 0 20 0 15 0 73680833 14316269568 89877 18446744073709551615 4194304 4196468 140729007160912 140528619805712 140529022215893 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17850368 140729007165873 140729007166049 140729007166049 140729007169487 0
[pid=19283/tid=19288] ppid=19281 vsize=13980732 memory=1200 CPUtime=0.25 cores=0,2,4,6
/proc/19283/task/19288/stat : 19288 (java) S 19281 19281 897 0 -1 1077944384 1030 0 0 0 21 4 0 0 20 0 15 0 73680833 14316269568 89877 18446744073709551615 4194304 4196468 140729007160912 140528618753168 140529022215893 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17850368 140729007165873 140729007166049 140729007166049 140729007169487 0
[pid=19283/tid=19289] ppid=19281 vsize=13980732 memory=279432586572864 CPUtime=0.02 cores=0,2,4,6
/proc/19283/task/19289/stat : 19289 (java) S 19281 19281 897 0 -1 1077944384 774 0 0 0 2 0 0 0 20 0 15 0 73680834 14316269568 89877 18446744073709551615 4194304 4196468 140729007160912 140528500684784 140529022216834 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17850368 140729007165873 140729007166049 140729007166049 140729007169487 0
[pid=19283/tid=19290] ppid=19281 vsize=13980732 memory=279432586845424 CPUtime=0 cores=0,2,4,6
/proc/19283/task/19290/stat : 19290 (java) S 19281 19281 897 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 73680835 14316269568 89877 18446744073709551615 4194304 4196468 140729007160912 140528499631008 140529022215893 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17850368 140729007165873 140729007166049 140729007166049 140729007169487 0
[pid=19283/tid=19291] ppid=19281 vsize=13980732 memory=16097061506385263 CPUtime=0 cores=0,2,4,6
/proc/19283/task/19291/stat : 19291 (java) S 19281 19281 897 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 73680835 14316269568 89877 18446744073709551615 4194304 4196468 140729007160912 140528498578432 140529022215893 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17850368 140729007165873 140729007166049 140729007166049 140729007169487 0
[pid=19283/tid=19292] ppid=19281 vsize=13980732 memory=304328532912444012 CPUtime=0 cores=0,2,4,6
/proc/19283/task/19292/stat : 19292 (java) S 19281 19281 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73680837 14316269568 89877 18446744073709551615 4194304 4196468 140729007160912 140528497526992 140529022224283 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17850368 140729007165873 140729007166049 140729007166049 140729007169487 0
[pid=19283/tid=19293] ppid=19281 vsize=13980732 memory=-3494347379275715998 CPUtime=5.42 cores=0,2,4,6
/proc/19283/task/19293/stat : 19293 (java) S 19281 19281 897 0 -1 1077944384 23879 0 0 0 540 2 0 0 20 0 15 0 73680837 14316269568 89877 18446744073709551615 4194304 4196468 140729007160912 140528496474608 140529022216834 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17850368 140729007165873 140729007166049 140729007166049 140729007169487 0
[pid=19283/tid=19294] ppid=19281 vsize=13980732 memory=4932407588192558221 CPUtime=5.19 cores=0,2,4,6
/proc/19283/task/19294/stat : 19294 (java) S 19281 19281 897 0 -1 1077944384 26677 0 0 0 517 2 0 0 20 0 15 0 73680837 14316269568 89877 18446744073709551615 4194304 4196468 140729007160912 140528495422064 140529022216834 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17850368 140729007165873 140729007166049 140729007166049 140729007169487 0
[pid=19283/tid=19295] ppid=19281 vsize=13980732 memory=8370611207638362704 CPUtime=0.84 cores=0,2,4,6
/proc/19283/task/19295/stat : 19295 (java) S 19281 19281 897 0 -1 1077944384 8781 0 0 0 82 2 0 0 20 0 15 0 73680837 14316269568 89877 18446744073709551615 4194304 4196468 140729007160912 140528494369520 140529022216834 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17850368 140729007165873 140729007166049 140729007166049 140729007169487 0
[pid=19283/tid=19296] ppid=19281 vsize=13980732 memory=148 CPUtime=0 cores=0,2,4,6
/proc/19283/task/19296/stat : 19296 (java) S 19281 19281 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73680838 14316269568 89877 18446744073709551615 4194304 4196468 140729007160912 140528493317216 140529022215893 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17850368 140729007165873 140729007166049 140729007166049 140729007169487 0
[pid=19283/tid=19297] ppid=19281 vsize=13980732 memory=6944656592455097440 CPUtime=0.01 cores=0,2,4,6
/proc/19283/task/19297/stat : 19297 (java) S 19281 19281 897 0 -1 1077944384 940 0 0 0 0 1 0 0 20 0 15 0 73680844 14316269568 89877 18446744073709551615 4194304 4196468 140729007160912 140528492263728 140529022216834 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17850368 140729007165873 140729007166049 140729007166049 140729007169487 0
Current children cumulated CPU time: 66.69 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 360888 KiB
[startup+54.7008 s]
/proc/loadavg: 2.17 1.90 1.80 3/214 19312
/proc/meminfo: memFree=27146172/32770624 swapFree=67108860/67108860
[pid=19281] ppid=19278 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/19281/stat : 19281 (xcsp3-exec) S 19278 19281 897 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 73680824 9740288 345 18446744073709551615 4194304 5098028 140735175919904 140735175918008 139628849201788 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 8 0 0 7196144 7232144 36200448 140735175926136 140735175926341 140735175926341 140735175929835 0
/proc/19281/statm: 2378 345 289 221 0 87 0
[pid=19283] ppid=19281 vsize=13980732 memory=359508 CPUtime=66.79 cores=0,2,4,6
/proc/19283/stat : 19283 (java) S 19281 19281 897 0 -1 1077944320 81927 0 0 0 6649 30 0 0 20 0 15 0 73680832 14316269568 89877 18446744073709551615 4194304 4196468 140729007160912 140729007143456 140529022205687 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 17850368 140729007165873 140729007166049 140729007166049 140729007169487 0
/proc/19283/statm: 3495183 89877 3242 1 0 3483476 0
[pid=19283/tid=19284] ppid=19281 vsize=13980732 memory=359508 CPUtime=54.25 cores=0,2,4,6
/proc/19283/task/19284/stat : 19284 (java) R 19281 19281 897 0 -1 4202560 14781 0 0 0 5420 5 0 0 20 0 15 0 73680832 14316269568 89877 18446744073709551615 4194304 4196468 140729007160912 140529026442400 140528668906432 0 4 1 16800974 0 0 0 -1 2 0 0 6 0 0 6293624 6294260 17850368 140729007165873 140729007166049 140729007166049 140729007169487 0
[pid=19283/tid=19285] ppid=19281 vsize=13980732 memory=359508 CPUtime=0.25 cores=0,2,4,6
/proc/19283/task/19285/stat : 19285 (java) S 19281 19281 897 0 -1 1077944384 2189 0 0 0 21 4 0 0 20 0 15 0 73680833 14316269568 89877 18446744073709551615 4194304 4196468 140729007160912 140528983104272 140529022215893 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17850368 140729007165873 140729007166049 140729007166049 140729007169487 0
[pid=19283/tid=19286] ppid=19281 vsize=13980732 memory=359508 CPUtime=0.23 cores=0,2,4,6
/proc/19283/task/19286/stat : 19286 (java) S 19281 19281 897 0 -1 1077944384 605 0 0 0 20 3 0 0 20 0 15 0 73680833 14316269568 89877 18446744073709551615 4194304 4196468 140729007160912 140528620858256 140529022215893 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17850368 140729007165873 140729007166049 140729007166049 140729007169487 0
[pid=19283/tid=19287] ppid=19281 vsize=13980732 memory=1380 CPUtime=0.24 cores=0,2,4,6
/proc/19283/task/19287/stat : 19287 (java) S 19281 19281 897 0 -1 1077944384 885 0 0 0 21 3 0 0 20 0 15 0 73680833 14316269568 89877 18446744073709551615 4194304 4196468 140729007160912 140528619805712 140529022215893 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17850368 140729007165873 140729007166049 140729007166049 140729007169487 0
[pid=19283/tid=19288] ppid=19281 vsize=13980732 memory=279432585690608 CPUtime=0.25 cores=0,2,4,6
/proc/19283/task/19288/stat : 19288 (java) S 19281 19281 897 0 -1 1077944384 1030 0 0 0 21 4 0 0 20 0 15 0 73680833 14316269568 89877 18446744073709551615 4194304 4196468 140729007160912 140528618753168 140529022215893 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17850368 140729007165873 140729007166049 140729007166049 140729007169487 0
[pid=19283/tid=19289] ppid=19281 vsize=13980732 memory=1380 CPUtime=0.02 cores=0,2,4,6
/proc/19283/task/19289/stat : 19289 (java) S 19281 19281 897 0 -1 1077944384 814 0 0 0 2 0 0 0 20 0 15 0 73680834 14316269568 89877 18446744073709551615 4194304 4196468 140729007160912 140528500684784 140529022216834 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17850368 140729007165873 140729007166049 140729007166049 140729007169487 0
[pid=19283/tid=19290] ppid=19281 vsize=13980732 memory=7100839870037596261 CPUtime=0 cores=0,2,4,6
/proc/19283/task/19290/stat : 19290 (java) S 19281 19281 897 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 73680835 14316269568 89877 18446744073709551615 4194304 4196468 140729007160912 140528499631008 140529022215893 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17850368 140729007165873 140729007166049 140729007166049 140729007169487 0
[pid=19283/tid=19291] ppid=19281 vsize=13980732 memory=183977911 CPUtime=0 cores=0,2,4,6
/proc/19283/task/19291/stat : 19291 (java) S 19281 19281 897 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 73680835 14316269568 89877 18446744073709551615 4194304 4196468 140729007160912 140528498578432 140529022215893 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17850368 140729007165873 140729007166049 140729007166049 140729007169487 0
[pid=19283/tid=19292] ppid=19281 vsize=13980732 memory=56 CPUtime=0 cores=0,2,4,6
/proc/19283/task/19292/stat : 19292 (java) S 19281 19281 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73680837 14316269568 89877 18446744073709551615 4194304 4196468 140729007160912 140528497526992 140529022224283 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17850368 140729007165873 140729007166049 140729007166049 140729007169487 0
[pid=19283/tid=19293] ppid=19281 vsize=13980732 memory=279432586536832 CPUtime=5.42 cores=0,2,4,6
/proc/19283/task/19293/stat : 19293 (java) S 19281 19281 897 0 -1 1077944384 23879 0 0 0 540 2 0 0 20 0 15 0 73680837 14316269568 89877 18446744073709551615 4194304 4196468 140729007160912 140528496474608 140529022216834 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17850368 140729007165873 140729007166049 140729007166049 140729007169487 0
[pid=19283/tid=19294] ppid=19281 vsize=13980732 memory=-8774313645642428999 CPUtime=5.19 cores=0,2,4,6
/proc/19283/task/19294/stat : 19294 (java) S 19281 19281 897 0 -1 1077944384 26677 0 0 0 517 2 0 0 20 0 15 0 73680837 14316269568 89877 18446744073709551615 4194304 4196468 140729007160912 140528495422064 140529022216834 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17850368 140729007165873 140729007166049 140729007166049 140729007169487 0
[pid=19283/tid=19295] ppid=19281 vsize=13980732 memory=40708 CPUtime=0.84 cores=0,2,4,6
/proc/19283/task/19295/stat : 19295 (java) S 19281 19281 897 0 -1 1077944384 8781 0 0 0 82 2 0 0 20 0 15 0 73680837 14316269568 89877 18446744073709551615 4194304 4196468 140729007160912 140528494369520 140529022216834 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17850368 140729007165873 140729007166049 140729007166049 140729007169487 0
[pid=19283/tid=19296] ppid=19281 vsize=13980732 memory=359508 CPUtime=0 cores=0,2,4,6
/proc/19283/task/19296/stat : 19296 (java) S 19281 19281 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73680838 14316269568 89877 18446744073709551615 4194304 4196468 140729007160912 140528493317216 140529022215893 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17850368 140729007165873 140729007166049 140729007166049 140729007169487 0
[pid=19283/tid=19297] ppid=19281 vsize=13980732 memory=1380 CPUtime=0.01 cores=0,2,4,6
/proc/19283/task/19297/stat : 19297 (java) S 19281 19281 897 0 -1 1077944384 940 0 0 0 0 1 0 0 20 0 15 0 73680844 14316269568 89877 18446744073709551615 4194304 4196468 140729007160912 140528492263728 140529022216834 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17850368 140729007165873 140729007166049 140729007166049 140729007169487 0
Current children cumulated CPU time: 66.79 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 360888 KiB
Child status: 0
Real time (s): 54.7683
CPU time (s): 66.872
CPU user time (s): 66.5594
CPU system time (s): 0.312659
CPU usage (%): 122.1
Max. virtual memory (cumulated for all children) (KiB): 13992284
Max. memory (cumulated for all children) (KiB): 362752
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 66.5594
system time used= 0.312659
maximum resident set size= 363612
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 83612
page faults= 0
swaps= 0
block input operations= 0
block output operations= 152
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4699
involuntary context switches= 124
# summary of solver processes directly reported to runsolver:
# pid: 19281
# total CPU time (s): 66.872
# total CPU user time (s): 66.5594
# total CPU system time (s): 0.312659
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.308245 second user time and 0.601599 second system time
The end