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 (15085 MiB free)
memory of node 1: 16384 MiB (15576 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4269753-1502791448/watcher-4269753-1502791448 -o /tmp/evaluation-result-4269753-1502791448/solver-4269753-1502791448 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node124-1502673801-14690 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 409307167 HOME/instance-4269753-1502791448.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=6260, runsolver pid=6257
Current StackSize limit: 8192 KiB
[startup+0.100155 s]*
/proc/loadavg: 1.96 1.95 2.00 3/202 6267
/proc/meminfo: memFree=31392068/32770624 swapFree=67108860/67108860
[pid=6260] ppid=6257 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/6260/stat : 6260 (xcsp3-exec) S 6257 6260 11586 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 67485436 9740288 345 18446744073709551615 4194304 5098028 140721163042848 140721163040952 140273785234044 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 8 0 0 7196144 7232144 40558592 140721163047289 140721163047493 140721163047493 140721163050987 0
/proc/6260/statm: 2378 345 289 221 0 87 0
[pid=6262] ppid=6260 vsize=13441356 memory=15424 CPUtime=0.01 cores=1,3,5,7
/proc/6262/stat : 6262 (java) S 6260 6260 11586 0 -1 1077944320 3616 0 0 0 1 0 0 0 20 0 7 0 67485444 13763948544 3856 18446744073709551615 4194304 4196468 140720813271920 140720813254464 139790833557239 0 0 1 16784584 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 19636224 140720813273521 140720813273697 140720813273697 140720813277135 0
/proc/6262/statm: 3360339 3856 1962 1 0 3349836 0
[pid=6262/tid=6263] ppid=6260 vsize=13441356 memory=1404226546251833994 CPUtime=0.01 cores=1,3,5,7
/proc/6262/task/6263/stat : 6263 (java) R 6260 6260 11586 0 -1 4202560 2455 0 0 0 1 0 0 0 20 0 7 0 67485444 13763948544 3922 18446744073709551615 4194304 4196468 140720813271920 139790837799696 139790816544400 0 4 1 16784584 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19636224 140720813273521 140720813273697 140720813273697 140720813277135 0
[pid=6262/tid=6264] ppid=6260 vsize=13441356 memory=3691042058319900680 CPUtime=0 cores=1,3,5,7
/proc/6262/task/6264/stat : 6264 (java) S 6260 6260 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 7 0 67485445 13763948544 3922 18446744073709551615 4194304 4196468 140720813271920 139790790523280 139790833567445 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19636224 140720813273521 140720813273697 140720813273697 140720813277135 0
[pid=6262/tid=6265] ppid=6260 vsize=13441356 memory=140459833083520 CPUtime=0 cores=1,3,5,7
/proc/6262/task/6265/stat : 6265 (java) S 6260 6260 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 7 0 67485445 13763948544 3922 18446744073709551615 4194304 4196468 140720813271920 139790789470480 139790833567445 0 4 1 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19636224 140720813273521 140720813273697 140720813273697 140720813277135 0
[pid=6262/tid=6266] ppid=6260 vsize=13441356 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6262/task/6266/stat : 6266 (java) S 6260 6260 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 7 0 67485445 13763948544 3922 18446744073709551615 4194304 4196468 140720813271920 139790788418192 139790833567445 0 4 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19636224 140720813273521 140720813273697 140720813273697 140720813277135 0
[pid=6262/tid=6267] ppid=6260 vsize=13441356 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6262/task/6267/stat : 6267 (java) S 6260 6260 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 7 0 67485445 13763948544 3922 18446744073709551615 4194304 4196468 140720813271920 139790787365392 139790833567445 0 4 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19636224 140720813273521 140720813273697 140720813273697 140720813277135 0
[pid=6262/tid=6268] ppid=6260 vsize=13441356 memory=140459833083520 CPUtime=0 cores=1,3,5,7
/proc/6262/task/6268/stat : 6268 (java) S 6260 6260 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 7 0 67485446 13763948544 3922 18446744073709551615 4194304 4196468 140720813271920 139790311737968 139790833568386 0 0 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19636224 140720813273521 140720813273697 140720813273697 140720813277135 0
Current children cumulated CPU time: 0.01 s
Current children cumulated vsize: 13450868 KiB
Current children cumulated memory: 16804 KiB
[startup+0.20984 s]*
/proc/loadavg: 1.96 1.95 2.00 3/211 6276
/proc/meminfo: memFree=31383872/32770624 swapFree=67108860/67108860
[pid=6260] ppid=6257 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/6260/stat : 6260 (xcsp3-exec) S 6257 6260 11586 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 67485436 9740288 345 18446744073709551615 4194304 5098028 140721163042848 140721163040952 140273785234044 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 8 0 0 7196144 7232144 40558592 140721163047289 140721163047493 140721163047493 140721163050987 0
/proc/6260/statm: 2378 345 289 221 0 87 0
[pid=6262] ppid=6260 vsize=13974352 memory=27440 CPUtime=0.09 cores=1,3,5,7
/proc/6262/stat : 6262 (java) S 6260 6260 11586 0 -1 1077944320 5259 0 0 0 8 1 0 0 20 0 15 0 67485444 14309736448 6796 18446744073709551615 4194304 4196468 140720813271920 140720813254464 139790833557239 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 19636224 140720813273521 140720813273697 140720813273697 140720813277135 0
/proc/6262/statm: 3493588 6860 2753 1 0 3482964 0
[pid=6262/tid=6263] ppid=6260 vsize=13974352 memory=7022364594140610616 CPUtime=0.07 cores=1,3,5,7
/proc/6262/task/6263/stat : 6263 (java) R 6260 6260 11586 0 -1 4202560 3403 0 0 0 7 0 0 0 20 0 15 0 67485444 14309736448 6860 18446744073709551615 4194304 4196468 140720813271920 139790837782928 139790833579165 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 19636224 140720813273521 140720813273697 140720813273697 140720813277135 0
[pid=6262/tid=6264] ppid=6260 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6262/task/6264/stat : 6264 (java) S 6260 6260 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 67485445 14309736448 6860 18446744073709551615 4194304 4196468 140720813271920 139790790523280 139790833567445 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19636224 140720813273521 140720813273697 140720813273697 140720813277135 0
[pid=6262/tid=6265] ppid=6260 vsize=13974352 memory=15963747339781784 CPUtime=0 cores=1,3,5,7
/proc/6262/task/6265/stat : 6265 (java) S 6260 6260 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 67485445 14309736448 6860 18446744073709551615 4194304 4196468 140720813271920 139790789470480 139790833567445 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19636224 140720813273521 140720813273697 140720813273697 140720813277135 0
[pid=6262/tid=6266] ppid=6260 vsize=13974352 memory=140459833083520 CPUtime=0 cores=1,3,5,7
/proc/6262/task/6266/stat : 6266 (java) S 6260 6260 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 67485445 14309736448 6860 18446744073709551615 4194304 4196468 140720813271920 139790788418192 139790833567445 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19636224 140720813273521 140720813273697 140720813273697 140720813277135 0
[pid=6262/tid=6267] ppid=6260 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6262/task/6267/stat : 6267 (java) S 6260 6260 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 67485445 14309736448 6860 18446744073709551615 4194304 4196468 140720813271920 139790787365392 139790833567445 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19636224 140720813273521 140720813273697 140720813273697 140720813277135 0
[pid=6262/tid=6268] ppid=6260 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6262/task/6268/stat : 6268 (java) S 6260 6260 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 67485446 14309736448 6860 18446744073709551615 4194304 4196468 140720813271920 139790311737968 139790833568386 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19636224 140720813273521 140720813273697 140720813273697 140720813277135 0
[pid=6262/tid=6269] ppid=6260 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6262/task/6269/stat : 6269 (java) S 6260 6260 11586 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 67485447 14309736448 6860 18446744073709551615 4194304 4196468 140720813271920 139790310683936 139790833567445 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19636224 140720813273521 140720813273697 140720813273697 140720813277135 0
[pid=6262/tid=6270] ppid=6260 vsize=13974352 memory=140459833083520 CPUtime=0 cores=1,3,5,7
/proc/6262/task/6270/stat : 6270 (java) S 6260 6260 11586 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 67485447 14309736448 6860 18446744073709551615 4194304 4196468 140720813271920 139790309631600 139790833567445 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19636224 140720813273521 140720813273697 140720813273697 140720813277135 0
[pid=6262/tid=6271] ppid=6260 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6262/task/6271/stat : 6271 (java) S 6260 6260 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 67485450 14309736448 6860 18446744073709551615 4194304 4196468 140720813271920 139790308579920 139790833575835 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19636224 140720813273521 140720813273697 140720813273697 140720813277135 0
[pid=6262/tid=6272] ppid=6260 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6262/task/6272/stat : 6272 (java) S 6260 6260 11586 0 -1 1077944384 311 0 0 0 0 0 0 0 20 0 15 0 67485450 14309736448 6860 18446744073709551615 4194304 4196468 140720813271920 139790307526768 139790833568386 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19636224 140720813273521 140720813273697 140720813273697 140720813277135 0
[pid=6262/tid=6273] ppid=6260 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6262/task/6273/stat : 6273 (java) S 6260 6260 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 67485450 14309736448 6860 18446744073709551615 4194304 4196468 140720813271920 139790306473968 139790833568386 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19636224 140720813273521 140720813273697 140720813273697 140720813277135 0
[pid=6262/tid=6274] ppid=6260 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6262/task/6274/stat : 6274 (java) R 6260 6260 11586 0 -1 4202560 246 0 0 0 0 0 0 0 20 0 15 0 67485450 14309736448 6860 18446744073709551615 4194304 4196468 140720813271920 139790305421680 139790833569174 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19636224 140720813273521 140720813273697 140720813273697 140720813277135 0
[pid=6262/tid=6275] ppid=6260 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6262/task/6275/stat : 6275 (java) S 6260 6260 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 67485450 14309736448 6860 18446744073709551615 4194304 4196468 140720813271920 139790304369120 139790833567445 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19636224 140720813273521 140720813273697 140720813273697 140720813277135 0
[pid=6262/tid=6276] ppid=6260 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6262/task/6276/stat : 6276 (java) S 6260 6260 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 67485455 14309736448 6860 18446744073709551615 4194304 4196468 140720813271920 139790303316912 139790833568386 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19636224 140720813273521 140720813273697 140720813273697 140720813277135 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 28820 KiB
[startup+0.310182 s]*
/proc/loadavg: 1.96 1.95 2.00 4/211 6276
/proc/meminfo: memFree=31370644/32770624 swapFree=67108860/67108860
[pid=6260] ppid=6257 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/6260/stat : 6260 (xcsp3-exec) S 6257 6260 11586 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 67485436 9740288 345 18446744073709551615 4194304 5098028 140721163042848 140721163040952 140273785234044 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 8 0 0 7196144 7232144 40558592 140721163047289 140721163047493 140721163047493 140721163050987 0
/proc/6260/statm: 2378 345 289 221 0 87 0
[pid=6262] ppid=6260 vsize=13974352 memory=36900 CPUtime=0.28 cores=1,3,5,7
/proc/6262/stat : 6262 (java) S 6260 6260 11586 0 -1 1077944320 8891 0 0 0 26 2 0 0 20 0 15 0 67485444 14309736448 9225 18446744073709551615 4194304 4196468 140720813271920 140720813254464 139790833557239 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 19636224 140720813273521 140720813273697 140720813273697 140720813277135 0
/proc/6262/statm: 3493588 9225 2975 1 0 3482964 0
[pid=6262/tid=6263] ppid=6260 vsize=13974352 memory=6933928925625698159 CPUtime=0.17 cores=1,3,5,7
/proc/6262/task/6263/stat : 6263 (java) R 6260 6260 11586 0 -1 4202560 6094 0 0 0 16 1 0 0 20 0 15 0 67485444 14309736448 9289 18446744073709551615 4194304 4196468 140720813271920 139790837783744 139790826542478 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 19636224 140720813273521 140720813273697 140720813273697 140720813277135 0
[pid=6262/tid=6264] ppid=6260 vsize=13974352 memory=4126316290023845779 CPUtime=0 cores=1,3,5,7
/proc/6262/task/6264/stat : 6264 (java) S 6260 6260 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 67485445 14309736448 9289 18446744073709551615 4194304 4196468 140720813271920 139790790523280 139790833567445 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19636224 140720813273521 140720813273697 140720813273697 140720813277135 0
[pid=6262/tid=6265] ppid=6260 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6262/task/6265/stat : 6265 (java) S 6260 6260 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 67485445 14309736448 9289 18446744073709551615 4194304 4196468 140720813271920 139790789470480 139790833567445 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19636224 140720813273521 140720813273697 140720813273697 140720813277135 0
[pid=6262/tid=6266] ppid=6260 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6262/task/6266/stat : 6266 (java) S 6260 6260 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 67485445 14309736448 9289 18446744073709551615 4194304 4196468 140720813271920 139790788418192 139790833567445 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19636224 140720813273521 140720813273697 140720813273697 140720813277135 0
[pid=6262/tid=6267] ppid=6260 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6262/task/6267/stat : 6267 (java) S 6260 6260 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 67485445 14309736448 9289 18446744073709551615 4194304 4196468 140720813271920 139790787365392 139790833567445 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19636224 140720813273521 140720813273697 140720813273697 140720813277135 0
[pid=6262/tid=6268] ppid=6260 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6262/task/6268/stat : 6268 (java) S 6260 6260 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 67485446 14309736448 9289 18446744073709551615 4194304 4196468 140720813271920 139790311737968 139790833568386 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19636224 140720813273521 140720813273697 140720813273697 140720813277135 0
[pid=6262/tid=6269] ppid=6260 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6262/task/6269/stat : 6269 (java) S 6260 6260 11586 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 67485447 14309736448 9289 18446744073709551615 4194304 4196468 140720813271920 139790310683936 139790833567445 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19636224 140720813273521 140720813273697 140720813273697 140720813277135 0
[pid=6262/tid=6270] ppid=6260 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6262/task/6270/stat : 6270 (java) S 6260 6260 11586 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 67485447 14309736448 9289 18446744073709551615 4194304 4196468 140720813271920 139790309631600 139790833567445 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19636224 140720813273521 140720813273697 140720813273697 140720813277135 0
[pid=6262/tid=6271] ppid=6260 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6262/task/6271/stat : 6271 (java) S 6260 6260 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 67485450 14309736448 9289 18446744073709551615 4194304 4196468 140720813271920 139790308579920 139790833575835 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19636224 140720813273521 140720813273697 140720813273697 140720813277135 0
[pid=6262/tid=6272] ppid=6260 vsize=13974352 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/6262/task/6272/stat : 6272 (java) S 6260 6260 11586 0 -1 1077944384 581 0 0 0 2 0 0 0 20 0 15 0 67485450 14309736448 9289 18446744073709551615 4194304 4196468 140720813271920 139790307526768 139790833568386 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19636224 140720813273521 140720813273697 140720813273697 140720813277135 0
[pid=6262/tid=6273] ppid=6260 vsize=13974352 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/6262/task/6273/stat : 6273 (java) S 6260 6260 11586 0 -1 1077944384 192 0 0 0 1 0 0 0 20 0 15 0 67485450 14309736448 9289 18446744073709551615 4194304 4196468 140720813271920 139790306473968 139790833568386 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19636224 140720813273521 140720813273697 140720813273697 140720813277135 0
[pid=6262/tid=6274] ppid=6260 vsize=13974352 memory=0 CPUtime=0.06 cores=1,3,5,7
/proc/6262/task/6274/stat : 6274 (java) R 6260 6260 11586 0 -1 4202560 727 0 0 0 6 0 0 0 20 0 15 0 67485450 14309736448 9289 18446744073709551615 4194304 4196468 140720813271920 139790305421680 139790812510628 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19636224 140720813273521 140720813273697 140720813273697 140720813277135 0
[pid=6262/tid=6275] ppid=6260 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6262/task/6275/stat : 6275 (java) S 6260 6260 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 67485450 14309736448 9289 18446744073709551615 4194304 4196468 140720813271920 139790304369120 139790833567445 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19636224 140720813273521 140720813273697 140720813273697 140720813277135 0
[pid=6262/tid=6276] ppid=6260 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6262/task/6276/stat : 6276 (java) S 6260 6260 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 67485455 14309736448 9289 18446744073709551615 4194304 4196468 140720813271920 139790303316912 139790833568386 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19636224 140720813273521 140720813273697 140720813273697 140720813277135 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 38280 KiB
[startup+0.70175 s]
/proc/loadavg: 1.96 1.95 2.00 5/211 6276
/proc/meminfo: memFree=31351120/32770624 swapFree=67108860/67108860
[pid=6260] ppid=6257 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/6260/stat : 6260 (xcsp3-exec) S 6257 6260 11586 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 67485436 9740288 345 18446744073709551615 4194304 5098028 140721163042848 140721163040952 140273785234044 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 8 0 0 7196144 7232144 40558592 140721163047289 140721163047493 140721163047493 140721163050987 0
/proc/6260/statm: 2378 345 289 221 0 87 0
[pid=6262] ppid=6260 vsize=13978684 memory=86744 CPUtime=1.36 cores=1,3,5,7
/proc/6262/stat : 6262 (java) S 6260 6260 11586 0 -1 1077944320 13289 0 0 0 131 5 0 0 20 0 15 0 67485444 14314172416 21686 18446744073709551615 4194304 4196468 140720813271920 140720813254464 139790833557239 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 19636224 140720813273521 140720813273697 140720813273697 140720813277135 0
/proc/6262/statm: 3494671 21686 3165 1 0 3482964 0
[pid=6262/tid=6263] ppid=6260 vsize=13978684 memory=0 CPUtime=0.55 cores=1,3,5,7
/proc/6262/task/6263/stat : 6263 (java) R 6260 6260 11586 0 -1 4202560 7827 0 0 0 52 3 0 0 20 0 15 0 67485444 14314172416 21686 18446744073709551615 4194304 4196468 140720813271920 139790837793792 139790465979699 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 19636224 140720813273521 140720813273697 140720813273697 140720813277135 0
[pid=6262/tid=6264] ppid=6260 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6262/task/6264/stat : 6264 (java) S 6260 6260 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 67485445 14314172416 21686 18446744073709551615 4194304 4196468 140720813271920 139790790523280 139790833567445 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19636224 140720813273521 140720813273697 140720813273697 140720813277135 0
[pid=6262/tid=6265] ppid=6260 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6262/task/6265/stat : 6265 (java) S 6260 6260 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 67485445 14314172416 21686 18446744073709551615 4194304 4196468 140720813271920 139790789470480 139790833567445 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19636224 140720813273521 140720813273697 140720813273697 140720813277135 0
[pid=6262/tid=6266] ppid=6260 vsize=13978684 memory=6944656592455360569 CPUtime=0 cores=1,3,5,7
/proc/6262/task/6266/stat : 6266 (java) S 6260 6260 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 67485445 14314172416 21686 18446744073709551615 4194304 4196468 140720813271920 139790788418192 139790833567445 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19636224 140720813273521 140720813273697 140720813273697 140720813277135 0
[pid=6262/tid=6267] ppid=6260 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6262/task/6267/stat : 6267 (java) S 6260 6260 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 67485445 14314172416 21686 18446744073709551615 4194304 4196468 140720813271920 139790787365392 139790833567445 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19636224 140720813273521 140720813273697 140720813273697 140720813277135 0
[pid=6262/tid=6268] ppid=6260 vsize=13978684 memory=4120 CPUtime=0 cores=1,3,5,7
/proc/6262/task/6268/stat : 6268 (java) S 6260 6260 11586 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 67485446 14314172416 21686 18446744073709551615 4194304 4196468 140720813271920 139790311737968 139790833568386 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19636224 140720813273521 140720813273697 140720813273697 140720813277135 0
[pid=6262/tid=6269] ppid=6260 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6262/task/6269/stat : 6269 (java) S 6260 6260 11586 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 67485447 14314172416 21686 18446744073709551615 4194304 4196468 140720813271920 139790310683936 139790833567445 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19636224 140720813273521 140720813273697 140720813273697 140720813277135 0
[pid=6262/tid=6270] ppid=6260 vsize=13978684 memory=140459724776048 CPUtime=0 cores=1,3,5,7
/proc/6262/task/6270/stat : 6270 (java) S 6260 6260 11586 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 67485447 14314172416 21686 18446744073709551615 4194304 4196468 140720813271920 139790309631600 139790833567445 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19636224 140720813273521 140720813273697 140720813273697 140720813277135 0
[pid=6262/tid=6271] ppid=6260 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6262/task/6271/stat : 6271 (java) S 6260 6260 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 67485450 14314172416 21686 18446744073709551615 4194304 4196468 140720813271920 139790308579920 139790833575835 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19636224 140720813273521 140720813273697 140720813273697 140720813277135 0
[pid=6262/tid=6272] ppid=6260 vsize=13978684 memory=0 CPUtime=0.25 cores=1,3,5,7
/proc/6262/task/6272/stat : 6272 (java) R 6260 6260 11586 0 -1 4202560 1462 0 0 0 25 0 0 0 20 0 15 0 67485450 14314172416 21686 18446744073709551615 4194304 4196468 140720813271920 139790307519256 139790817057636 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19636224 140720813273521 140720813273697 140720813273697 140720813277135 0
[pid=6262/tid=6273] ppid=6260 vsize=13978684 memory=0 CPUtime=0.25 cores=1,3,5,7
/proc/6262/task/6273/stat : 6273 (java) R 6260 6260 11586 0 -1 4202560 1088 0 0 0 25 0 0 0 20 0 15 0 67485450 14314172416 21686 18446744073709551615 4194304 4196468 140720813271920 139790306454984 139790817043218 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 19636224 140720813273521 140720813273697 140720813273697 140720813277135 0
[pid=6262/tid=6274] ppid=6260 vsize=13978684 memory=7809523229951467568 CPUtime=0.27 cores=1,3,5,7
/proc/6262/task/6274/stat : 6274 (java) S 6260 6260 11586 0 -1 1077944384 1604 0 0 0 27 0 0 0 20 0 15 0 67485450 14314172416 21686 18446744073709551615 4194304 4196468 140720813271920 139790305421680 139790833568386 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19636224 140720813273521 140720813273697 140720813273697 140720813277135 0
[pid=6262/tid=6275] ppid=6260 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6262/task/6275/stat : 6275 (java) S 6260 6260 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 67485450 14314172416 21686 18446744073709551615 4194304 4196468 140720813271920 139790304369120 139790833567445 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19636224 140720813273521 140720813273697 140720813273697 140720813277135 0
[pid=6262/tid=6276] ppid=6260 vsize=13978684 memory=-6511782102145834793 CPUtime=0 cores=1,3,5,7
/proc/6262/task/6276/stat : 6276 (java) S 6260 6260 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 67485455 14314172416 21686 18446744073709551615 4194304 4196468 140720813271920 139790303316912 139790833568386 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19636224 140720813273521 140720813273697 140720813273697 140720813277135 0
Current children cumulated CPU time: 1.36 s
Current children cumulated vsize: 13988196 KiB
Current children cumulated memory: 88124 KiB
[startup+1.50084 s]
/proc/loadavg: 2.04 1.97 2.01 5/211 6276
/proc/meminfo: memFree=31237992/32770624 swapFree=67108860/67108860
[pid=6260] ppid=6257 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/6260/stat : 6260 (xcsp3-exec) S 6257 6260 11586 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 67485436 9740288 345 18446744073709551615 4194304 5098028 140721163042848 140721163040952 140273785234044 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 8 0 0 7196144 7232144 40558592 140721163047289 140721163047493 140721163047493 140721163050987 0
/proc/6260/statm: 2378 345 289 221 0 87 0
[pid=6262] ppid=6260 vsize=13980732 memory=201048 CPUtime=3.25 cores=1,3,5,7
/proc/6262/stat : 6262 (java) S 6260 6260 11586 0 -1 1077944320 19861 0 0 0 317 8 0 0 20 0 15 0 67485444 14316269568 50262 18446744073709551615 4194304 4196468 140720813271920 140720813254464 139790833557239 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 19636224 140720813273521 140720813273697 140720813273697 140720813277135 0
/proc/6262/statm: 3495183 50262 3216 1 0 3483476 0
[pid=6262/tid=6263] ppid=6260 vsize=13980732 memory=0 CPUtime=1.33 cores=1,3,5,7
/proc/6262/task/6263/stat : 6263 (java) R 6260 6260 11586 0 -1 4202560 9150 0 0 0 129 4 0 0 20 0 15 0 67485444 14316269568 50262 18446744073709551615 4194304 4196468 140720813271920 139790837793000 139790469350267 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 19636224 140720813273521 140720813273697 140720813273697 140720813277135 0
[pid=6262/tid=6264] ppid=6260 vsize=13980732 memory=-3621219715169225006 CPUtime=0 cores=1,3,5,7
/proc/6262/task/6264/stat : 6264 (java) S 6260 6260 11586 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 15 0 67485445 14316269568 50262 18446744073709551615 4194304 4196468 140720813271920 139790790523280 139790833567445 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19636224 140720813273521 140720813273697 140720813273697 140720813277135 0
[pid=6262/tid=6265] ppid=6260 vsize=13980732 memory=-7751062316387021378 CPUtime=0.01 cores=1,3,5,7
/proc/6262/task/6265/stat : 6265 (java) S 6260 6260 11586 0 -1 1077944384 334 0 0 0 1 0 0 0 20 0 15 0 67485445 14316269568 50262 18446744073709551615 4194304 4196468 140720813271920 139790789470480 139790833567445 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19636224 140720813273521 140720813273697 140720813273697 140720813277135 0
[pid=6262/tid=6266] ppid=6260 vsize=13980732 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/6262/task/6266/stat : 6266 (java) S 6260 6260 11586 0 -1 1077944384 173 0 0 0 1 0 0 0 20 0 15 0 67485445 14316269568 50262 18446744073709551615 4194304 4196468 140720813271920 139790788418192 139790833567445 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19636224 140720813273521 140720813273697 140720813273697 140720813277135 0
[pid=6262/tid=6267] ppid=6260 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6262/task/6267/stat : 6267 (java) S 6260 6260 11586 0 -1 1077944384 401 0 0 0 0 0 0 0 20 0 15 0 67485445 14316269568 50262 18446744073709551615 4194304 4196468 140720813271920 139790787365392 139790833567445 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19636224 140720813273521 140720813273697 140720813273697 140720813277135 0
[pid=6262/tid=6268] ppid=6260 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6262/task/6268/stat : 6268 (java) S 6260 6260 11586 0 -1 1077944384 319 0 0 0 0 0 0 0 20 0 15 0 67485446 14316269568 50262 18446744073709551615 4194304 4196468 140720813271920 139790311737968 139790833568386 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19636224 140720813273521 140720813273697 140720813273697 140720813277135 0
[pid=6262/tid=6269] ppid=6260 vsize=13980732 memory=6944656592455360569 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
/proc/6260/stat : 6260 (xcsp3-exec) S 6257 6260 11586 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 67485436 9740288 345 18446744073709551615 4194304 5098028 140721163042848 140721163040952 140273785234044 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 8 0 0 7196144 7232144 40558592 140721163047289 140721163047493 140721163047493 140721163050987 0
/proc/6260/statm: 2378 345 289 221 0 87 0
[pid=6262] ppid=6260 vsize=13980732 memory=9183492 CPUtime=148.05 cores=1,3,5,7
/proc/6262/stat : 6262 (java) S 6260 6260 11586 0 -1 1077944320 86531 0 0 0 14015 790 0 0 20 0 15 0 67485444 14316269568 2295873 18446744073709551615 4194304 4196468 140720813271920 140720813254464 139790833557239 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 19636224 140720813273521 140720813273697 140720813273697 140720813277135 0
/proc/6262/statm: 3495183 2295873 3256 1 0 3483476 0
[pid=6262/tid=6263] ppid=6260 vsize=13980732 memory=7970808 CPUtime=61.5 cores=1,3,5,7
/proc/6262/task/6263/stat : 6263 (java) R 6260 6260 11586 0 -1 4202560 13568 0 0 0 6141 9 0 0 20 0 15 0 67485444 14316269568 2295873 18446744073709551615 4194304 4196468 140720813271920 139790837793648 139790471515335 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 19636224 140720813273521 140720813273697 140720813273697 140720813277135 0
[pid=6262/tid=6264] ppid=6260 vsize=13980732 memory=1380 CPUtime=20.16 cores=1,3,5,7
/proc/6262/task/6264/stat : 6264 (java) S 6260 6260 11586 0 -1 1077944384 7619 0 0 0 1822 194 0 0 20 0 15 0 67485445 14316269568 2295873 18446744073709551615 4194304 4196468 140720813271920 139790790523280 139790833567445 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19636224 140720813273521 140720813273697 140720813273697 140720813277135 0
[pid=6262/tid=6265] ppid=6260 vsize=13980732 memory=7804920 CPUtime=20.26 cores=1,3,5,7
/proc/6262/task/6265/stat : 6265 (java) S 6260 6260 11586 0 -1 1077944384 7478 0 0 0 1835 191 0 0 20 0 15 0 67485445 14316269568 2295873 18446744073709551615 4194304 4196468 140720813271920 139790789470480 139790833567445 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19636224 140720813273521 140720813273697 140720813273697 140720813277135 0
[pid=6262/tid=6266] ppid=6260 vsize=13980732 memory=55 CPUtime=20.16 cores=1,3,5,7
/proc/6262/task/6266/stat : 6266 (java) S 6260 6260 11586 0 -1 1077944384 7110 0 0 0 1825 191 0 0 20 0 15 0 67485445 14316269568 2295873 18446744073709551615 4194304 4196468 140720813271920 139790788418192 139790833567445 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19636224 140720813273521 140720813273697 140720813273697 140720813277135 0
[pid=6262/tid=6267] ppid=6260 vsize=13980732 memory=6656426216303648864 CPUtime=20.36 cores=1,3,5,7
/proc/6262/task/6267/stat : 6267 (java) S 6260 6260 11586 0 -1 1077944384 8099 0 0 0 1842 194 0 0 20 0 15 0 67485445 14316269568 2295873 18446744073709551615 4194304 4196468 140720813271920 139790787365392 139790833567445 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19636224 140720813273521 140720813273697 140720813273697 140720813277135 0
[pid=6262/tid=6268] ppid=6260 vsize=13980732 memory=6944656592387989600 CPUtime=1.09 cores=1,3,5,7
/proc/6262/task/6268/stat : 6268 (java) S 6260 6260 11586 0 -1 1077944384 18806 0 0 0 107 2 0 0 20 0 15 0 67485446 14316269568 2295873 18446744073709551615 4194304 4196468 140720813271920 139790311737968 139790833568386 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19636224 140720813273521 140720813273697 140720813273697 140720813277135 0
[pid=6262/tid=6269] ppid=6260 vsize=13980732 memory=7680170660397595203 CPUtime=0 cores=1,3,5,7
/proc/6262/task/6269/stat : 6269 (java) S 6260 6260 11586 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 15 0 67485447 14316269568 2295873 18446744073709551615 4194304 4196468 140720813271920 139790310684000 139790833567445 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19636224 140720813273521 140720813273697 140720813273697 140720813277135 0
[pid=6262/tid=6270] ppid=6260 vsize=13980732 memory=9183196 CPUtime=0 cores=1,3,5,7
/proc/6262/task/6270/stat : 6270 (java) S 6260 6260 11586 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 67485447 14316269568 2295873 18446744073709551615 4194304 4196468 140720813271920 139790309631616 139790833567445 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19636224 140720813273521 140720813273697 140720813273697 140720813277135 0
[pid=6262/tid=6271] ppid=6260 vsize=13980732 memory=836 CPUtime=0 cores=1,3,5,7
/proc/6262/task/6271/stat : 6271 (java) S 6260 6260 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 67485450 14316269568 2295873 18446744073709551615 4194304 4196468 140720813271920 139790308579920 139790833575835 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19636224 140720813273521 140720813273697 140720813273697 140720813277135 0
[pid=6262/tid=6272] ppid=6260 vsize=13980732 memory=4068 CPUtime=2.15 cores=1,3,5,7
/proc/6262/task/6272/stat : 6272 (java) S 6260 6260 11586 0 -1 1077944384 10046 0 0 0 214 1 0 0 20 0 15 0 67485450 14316269568 2295873 18446744073709551615 4194304 4196468 140720813271920 139790307526768 139790833568386 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19636224 140720813273521 140720813273697 140720813273697 140720813277135 0
[pid=6262/tid=6273] ppid=6260 vsize=13980732 memory=1156 CPUtime=1.68 cores=1,3,5,7
/proc/6262/task/6273/stat : 6273 (java) S 6260 6260 11586 0 -1 1077944384 8094 0 0 0 167 1 0 0 20 0 15 0 67485450 14316269568 2295873 18446744073709551615 4194304 4196468 140720813271920 139790306473968 139790833568386 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19636224 140720813273521 140720813273697 140720813273697 140720813277135 0
[pid=6262/tid=6274] ppid=6260 vsize=13980732 memory=3108 CPUtime=0.56 cores=1,3,5,7
/proc/6262/task/6274/stat : 6274 (java) S 6260 6260 11586 0 -1 1077944384 4162 0 0 0 55 1 0 0 20 0 15 0 67485450 14316269568 2295873 18446744073709551615 4194304 4196468 140720813271920 139790305421680 139790833568386 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19636224 140720813273521 140720813273697 140720813273697 140720813277135 0
[pid=6262/tid=6275] ppid=6260 vsize=13980732 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/6262/task/6275/stat : 6275 (java) S 6260 6260 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 67485450 14316269568 2295873 18446744073709551615 4194304 4196468 140720813271920 139790304369120 139790833567445 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19636224 140720813273521 140720813273697 140720813273697 140720813277135 0
[pid=6262/tid=6276] ppid=6260 vsize=13980732 memory=205948 CPUtime=0.03 cores=1,3,5,7
/proc/6262/task/6276/stat : 6276 (java) S 6260 6260 11586 0 -1 1077944384 173 0 0 0 1 2 0 0 20 0 15 0 67485455 14316269568 2295873 18446744073709551615 4194304 4196468 140720813271920 139790303316912 139790833568386 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19636224 140720813273521 140720813273697 140720813273697 140720813277135 0
Current children cumulated CPU time: 148.05 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 9184872 KiB
[startup+84.0018 s]*
/proc/loadavg: 2.24 2.07 2.05 3/215 6293
/proc/meminfo: memFree=22178848/32770624 swapFree=67108860/67108860
[pid=6260] ppid=6257 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/6260/stat : 6260 (xcsp3-exec) S 6257 6260 11586 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 67485436 9740288 345 18446744073709551615 4194304 5098028 140721163042848 140721163040952 140273785234044 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 8 0 0 7196144 7232144 40558592 140721163047289 140721163047493 140721163047493 140721163050987 0
/proc/6260/statm: 2378 345 289 221 0 87 0
[pid=6262] ppid=6260 vsize=13980732 memory=9183496 CPUtime=149.02 cores=1,3,5,7
/proc/6262/stat : 6262 (java) S 6260 6260 11586 0 -1 1077944320 86630 0 0 0 14112 790 0 0 20 0 15 0 67485444 14316269568 2295874 18446744073709551615 4194304 4196468 140720813271920 140720813254464 139790833557239 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 19636224 140720813273521 140720813273697 140720813273697 140720813277135 0
/proc/6262/statm: 3495183 2295874 3256 1 0 3483476 0
[pid=6262/tid=6263] ppid=6260 vsize=13980732 memory=6933928925625698159 CPUtime=62.31 cores=1,3,5,7
/proc/6262/task/6263/stat : 6263 (java) R 6260 6260 11586 0 -1 4202560 13633 0 0 0 6222 9 0 0 20 0 15 0 67485444 14316269568 2295874 18446744073709551615 4194304 4196468 140720813271920 139790837794032 139790467240936 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 19636224 140720813273521 140720813273697 140720813273697 140720813277135 0
[pid=6262/tid=6264] ppid=6260 vsize=13980732 memory=4126316290023845779 CPUtime=20.16 cores=1,3,5,7
/proc/6262/task/6264/stat : 6264 (java) S 6260 6260 11586 0 -1 1077944384 7619 0 0 0 1822 194 0 0 20 0 15 0 67485445 14316269568 2295874 18446744073709551615 4194304 4196468 140720813271920 139790790523280 139790833567445 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19636224 140720813273521 140720813273697 140720813273697 140720813277135 0
[pid=6262/tid=6265] ppid=6260 vsize=13980732 memory=3088 CPUtime=20.26 cores=1,3,5,7
/proc/6262/task/6265/stat : 6265 (java) S 6260 6260 11586 0 -1 1077944384 7478 0 0 0 1835 191 0 0 20 0 15 0 67485445 14316269568 2295874 18446744073709551615 4194304 4196468 140720813271920 139790789470480 139790833567445 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19636224 140720813273521 140720813273697 140720813273697 140720813277135 0
[pid=6262/tid=6266] ppid=6260 vsize=13980732 memory=1376 CPUtime=20.16 cores=1,3,5,7
/proc/6262/task/6266/stat : 6266 (java) S 6260 6260 11586 0 -1 1077944384 7110 0 0 0 1825 191 0 0 20 0 15 0 67485445 14316269568 2295874 18446744073709551615 4194304 4196468 140720813271920 139790788418192 139790833567445 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19636224 140720813273521 140720813273697 140720813273697 140720813277135 0
[pid=6262/tid=6267] ppid=6260 vsize=13980732 memory=205948 CPUtime=20.36 cores=1,3,5,7
/proc/6262/task/6267/stat : 6267 (java) S 6260 6260 11586 0 -1 1077944384 8099 0 0 0 1842 194 0 0 20 0 15 0 67485445 14316269568 2295874 18446744073709551615 4194304 4196468 140720813271920 139790787365392 139790833567445 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19636224 140720813273521 140720813273697 140720813273697 140720813277135 0
[pid=6262/tid=6268] ppid=6260 vsize=13980732 memory=1152 CPUtime=1.09 cores=1,3,5,7
/proc/6262/task/6268/stat : 6268 (java) S 6260 6260 11586 0 -1 1077944384 18806 0 0 0 107 2 0 0 20 0 15 0 67485446 14316269568 2295874 18446744073709551615 4194304 4196468 140720813271920 139790311737968 139790833568386 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19636224 140720813273521 140720813273697 140720813273697 140720813277135 0
[pid=6262/tid=6269] ppid=6260 vsize=13980732 memory=2904 CPUtime=0 cores=1,3,5,7
/proc/6262/task/6269/stat : 6269 (java) S 6260 6260 11586 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 15 0 67485447 14316269568 2295874 18446744073709551615 4194304 4196468 140720813271920 139790310684000 139790833567445 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19636224 140720813273521 140720813273697 140720813273697 140720813277135 0
[pid=6262/tid=6270] ppid=6260 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/6262/task/6270/stat : 6270 (java) S 6260 6260 11586 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 67485447 14316269568 2295874 18446744073709551615 4194304 4196468 140720813271920 139790309631616 139790833567445 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19636224 140720813273521 140720813273697 140720813273697 140720813277135 0
[pid=6262/tid=6271] ppid=6260 vsize=13980732 memory=9182464 CPUtime=0 cores=1,3,5,7
/proc/6262/task/6271/stat : 6271 (java) S 6260 6260 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 67485450 14316269568 2295874 18446744073709551615 4194304 4196468 140720813271920 139790308579920 139790833575835 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19636224 140720813273521 140720813273697 140720813273697 140720813277135 0
[pid=6262/tid=6272] ppid=6260 vsize=13980732 memory=4116 CPUtime=2.26 cores=1,3,5,7
/proc/6262/task/6272/stat : 6272 (java) S 6260 6260 11586 0 -1 1077944384 10061 0 0 0 225 1 0 0 20 0 15 0 67485450 14316269568 2295874 18446744073709551615 4194304 4196468 140720813271920 139790307526768 139790833568386 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19636224 140720813273521 140720813273697 140720813273697 140720813277135 0
[pid=6262/tid=6273] ppid=6260 vsize=13980732 memory=4080 CPUtime=1.71 cores=1,3,5,7
/proc/6262/task/6273/stat : 6273 (java) S 6260 6260 11586 0 -1 1077944384 8098 0 0 0 170 1 0 0 20 0 15 0 67485450 14316269568 2295874 18446744073709551615 4194304 4196468 140720813271920 139790306473968 139790833568386 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19636224 140720813273521 140720813273697 140720813273697 140720813277135 0
[pid=6262/tid=6274] ppid=6260 vsize=13980732 memory=3472328296227679313 CPUtime=0.57 cores=1,3,5,7
/proc/6262/task/6274/stat : 6274 (java) S 6260 6260 11586 0 -1 1077944384 4181 0 0 0 56 1 0 0 20 0 15 0 67485450 14316269568 2295874 18446744073709551615 4194304 4196468 140720813271920 139790305421680 139790833568386 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19636224 140720813273521 140720813273697 140720813273697 140720813277135 0
[pid=6262/tid=6275] ppid=6260 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6262/task/6275/stat : 6275 (java) S 6260 6260 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 67485450 14316269568 2295874 18446744073709551615 4194304 4196468 140720813271920 139790304369120 139790833567445 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19636224 140720813273521 140720813273697 140720813273697 140720813277135 0
[pid=6262/tid=6276] ppid=6260 vsize=13980732 memory=163 CPUtime=0.03 cores=1,3,5,7
/proc/6262/task/6276/stat : 6276 (java) S 6260 6260 11586 0 -1 1077944384 173 0 0 0 1 2 0 0 20 0 15 0 67485455 14316269568 2295874 18446744073709551615 4194304 4196468 140720813271920 139790303316912 139790833568386 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19636224 140720813273521 140720813273697 140720813273697 140720813277135 0
Current children cumulated CPU time: 149.02 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 9184876 KiB
[startup+84.4008 s]
/proc/loadavg: 2.24 2.07 2.05 3/215 6293
/proc/meminfo: memFree=22178848/32770624 swapFree=67108860/67108860
[pid=6260] ppid=6257 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/6260/stat : 6260 (xcsp3-exec) S 6257 6260 11586 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 67485436 9740288 345 18446744073709551615 4194304 5098028 140721163042848 140721163040952 140273785234044 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 8 0 0 7196144 7232144 40558592 140721163047289 140721163047493 140721163047493 140721163050987 0
/proc/6260/statm: 2378 345 289 221 0 87 0
[pid=6262] ppid=6260 vsize=13980732 memory=9183496 CPUtime=149.42 cores=1,3,5,7
/proc/6262/stat : 6262 (java) S 6260 6260 11586 0 -1 1077944320 86710 0 0 0 14152 790 0 0 20 0 15 0 67485444 14316269568 2295874 18446744073709551615 4194304 4196468 140720813271920 140720813254464 139790833557239 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 19636224 140720813273521 140720813273697 140720813273697 140720813277135 0
/proc/6262/statm: 3495183 2295874 3256 1 0 3483476 0
[pid=6262/tid=6263] ppid=6260 vsize=13980732 memory=7680170660397595203 CPUtime=62.7 cores=1,3,5,7
/proc/6262/task/6263/stat : 6263 (java) R 6260 6260 11586 0 -1 4202560 13704 0 0 0 6261 9 0 0 20 0 15 0 67485444 14316269568 2295874 18446744073709551615 4194304 4196468 140720813271920 139790837794288 139790471393668 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 19636224 140720813273521 140720813273697 140720813273697 140720813277135 0
[pid=6262/tid=6264] ppid=6260 vsize=13980732 memory=9992 CPUtime=20.16 cores=1,3,5,7
/proc/6262/task/6264/stat : 6264 (java) S 6260 6260 11586 0 -1 1077944384 7619 0 0 0 1822 194 0 0 20 0 15 0 67485445 14316269568 2295874 18446744073709551615 4194304 4196468 140720813271920 139790790523280 139790833567445 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19636224 140720813273521 140720813273697 140720813273697 140720813277135 0
[pid=6262/tid=6265] ppid=6260 vsize=13980732 memory=1716 CPUtime=20.26 cores=1,3,5,7
/proc/6262/task/6265/stat : 6265 (java) S 6260 6260 11586 0 -1 1077944384 7478 0 0 0 1835 191 0 0 20 0 15 0 67485445 14316269568 2295874 18446744073709551615 4194304 4196468 140720813271920 139790789470480 139790833567445 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19636224 140720813273521 140720813273697 140720813273697 140720813277135 0
[pid=6262/tid=6266] ppid=6260 vsize=13980732 memory=1008 CPUtime=20.16 cores=1,3,5,7
/proc/6262/task/6266/stat : 6266 (java) S 6260 6260 11586 0 -1 1077944384 7110 0 0 0 1825 191 0 0 20 0 15 0 67485445 14316269568 2295874 18446744073709551615 4194304 4196468 140720813271920 139790788418192 139790833567445 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19636224 140720813273521 140720813273697 140720813273697 140720813277135 0
[pid=6262/tid=6267] ppid=6260 vsize=13980732 memory=1232 CPUtime=20.36 cores=1,3,5,7
/proc/6262/task/6267/stat : 6267 (java) S 6260 6260 11586 0 -1 1077944384 8099 0 0 0 1842 194 0 0 20 0 15 0 67485445 14316269568 2295874 18446744073709551615 4194304 4196468 140720813271920 139790787365392 139790833567445 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19636224 140720813273521 140720813273697 140720813273697 140720813277135 0
[pid=6262/tid=6268] ppid=6260 vsize=13980732 memory=8964 CPUtime=1.09 cores=1,3,5,7
/proc/6262/task/6268/stat : 6268 (java) S 6260 6260 11586 0 -1 1077944384 18806 0 0 0 107 2 0 0 20 0 15 0 67485446 14316269568 2295874 18446744073709551615 4194304 4196468 140720813271920 139790311737968 139790833568386 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19636224 140720813273521 140720813273697 140720813273697 140720813277135 0
[pid=6262/tid=6269] ppid=6260 vsize=13980732 memory=4616 CPUtime=0 cores=1,3,5,7
/proc/6262/task/6269/stat : 6269 (java) S 6260 6260 11586 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 15 0 67485447 14316269568 2295874 18446744073709551615 4194304 4196468 140720813271920 139790310684000 139790833567445 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19636224 140720813273521 140720813273697 140720813273697 140720813277135 0
[pid=6262/tid=6270] ppid=6260 vsize=13980732 memory=1440 CPUtime=0 cores=1,3,5,7
/proc/6262/task/6270/stat : 6270 (java) S 6260 6260 11586 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 67485447 14316269568 2295874 18446744073709551615 4194304 4196468 140720813271920 139790309631616 139790833567445 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19636224 140720813273521 140720813273697 140720813273697 140720813277135 0
[pid=6262/tid=6271] ppid=6260 vsize=13980732 memory=1204 CPUtime=0 cores=1,3,5,7
/proc/6262/task/6271/stat : 6271 (java) S 6260 6260 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 67485450 14316269568 2295874 18446744073709551615 4194304 4196468 140720813271920 139790308579920 139790833575835 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19636224 140720813273521 140720813273697 140720813273697 140720813277135 0
[pid=6262/tid=6272] ppid=6260 vsize=13980732 memory=15880 CPUtime=2.27 cores=1,3,5,7
/proc/6262/task/6272/stat : 6272 (java) S 6260 6260 11586 0 -1 1077944384 10061 0 0 0 226 1 0 0 20 0 15 0 67485450 14316269568 2295874 18446744073709551615 4194304 4196468 140720813271920 139790307526768 139790833568386 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19636224 140720813273521 140720813273697 140720813273697 140720813277135 0
[pid=6262/tid=6273] ppid=6260 vsize=13980732 memory=16240 CPUtime=1.72 cores=1,3,5,7
/proc/6262/task/6273/stat : 6273 (java) S 6260 6260 11586 0 -1 1077944384 8098 0 0 0 171 1 0 0 20 0 15 0 67485450 14316269568 2295874 18446744073709551615 4194304 4196468 140720813271920 139790306473968 139790833568386 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19636224 140720813273521 140720813273697 140720813273697 140720813277135 0
[pid=6262/tid=6274] ppid=6260 vsize=13980732 memory=21416 CPUtime=0.57 cores=1,3,5,7
/proc/6262/task/6274/stat : 6274 (java) S 6260 6260 11586 0 -1 1077944384 4186 0 0 0 56 1 0 0 20 0 15 0 67485450 14316269568 2295874 18446744073709551615 4194304 4196468 140720813271920 139790305421680 139790833568386 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19636224 140720813273521 140720813273697 140720813273697 140720813277135 0
[pid=6262/tid=6275] ppid=6260 vsize=13980732 memory=4048 CPUtime=0 cores=1,3,5,7
/proc/6262/task/6275/stat : 6275 (java) S 6260 6260 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 67485450 14316269568 2295874 18446744073709551615 4194304 4196468 140720813271920 139790304369120 139790833567445 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19636224 140720813273521 140720813273697 140720813273697 140720813277135 0
[pid=6262/tid=6276] ppid=6260 vsize=13980732 memory=644 CPUtime=0.03 cores=1,3,5,7
/proc/6262/task/6276/stat : 6276 (java) S 6260 6260 11586 0 -1 1077944384 173 0 0 0 1 2 0 0 20 0 15 0 67485455 14316269568 2295874 18446744073709551615 4194304 4196468 140720813271920 139790303316912 139790833568386 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19636224 140720813273521 140720813273697 140720813273697 140720813277135 0
Current children cumulated CPU time: 149.42 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 9184876 KiB
[startup+84.6008 s]
/proc/loadavg: 2.24 2.07 2.05 3/215 6293
/proc/meminfo: memFree=22178848/32770624 swapFree=67108860/67108860
[pid=6260] ppid=6257 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/6260/stat : 6260 (xcsp3-exec) S 6257 6260 11586 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 67485436 9740288 345 18446744073709551615 4194304 5098028 140721163042848 140721163040952 140273785234044 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 8 0 0 7196144 7232144 40558592 140721163047289 140721163047493 140721163047493 140721163050987 0
/proc/6260/statm: 2378 345 289 221 0 87 0
[pid=6262] ppid=6260 vsize=13980732 memory=9183560 CPUtime=149.89 cores=1,3,5,7
/proc/6262/stat : 6262 (java) S 6260 6260 11586 0 -1 1077944320 86954 0 0 0 14199 790 0 0 20 0 15 0 67485444 14316269568 2295890 18446744073709551615 4194304 4196468 140720813271920 140720813254464 139790833557239 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 19636224 140720813273521 140720813273697 140720813273697 140720813277135 0
/proc/6262/statm: 3495183 2295890 3257 1 0 3483476 0
[pid=6262/tid=6263] ppid=6260 vsize=13980732 memory=2026 CPUtime=62.9 cores=1,3,5,7
/proc/6262/task/6263/stat : 6263 (java) R 6260 6260 11586 0 -1 4202560 13736 0 0 0 6281 9 0 0 20 0 15 0 67485444 14316269568 2295890 18446744073709551615 4194304 4196468 140720813271920 139790837794288 139790467563206 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 19636224 140720813273521 140720813273697 140720813273697 140720813277135 0
[pid=6262/tid=6264] ppid=6260 vsize=13980732 memory=2016 CPUtime=20.16 cores=1,3,5,7
/proc/6262/task/6264/stat : 6264 (java) S 6260 6260 11586 0 -1 1077944384 7619 0 0 0 1822 194 0 0 20 0 15 0 67485445 14316269568 2295890 18446744073709551615 4194304 4196468 140720813271920 139790790523280 139790833567445 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19636224 140720813273521 140720813273697 140720813273697 140720813277135 0
[pid=6262/tid=6265] ppid=6260 vsize=13980732 memory=2036 CPUtime=20.26 cores=1,3,5,7
/proc/6262/task/6265/stat : 6265 (java) S 6260 6260 11586 0 -1 1077944384 7478 0 0 0 1835 191 0 0 20 0 15 0 67485445 14316269568 2295890 18446744073709551615 4194304 4196468 140720813271920 139790789470480 139790833567445 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19636224 140720813273521 140720813273697 140720813273697 140720813277135 0
[pid=6262/tid=6266] ppid=6260 vsize=13980732 memory=109 CPUtime=20.16 cores=1,3,5,7
/proc/6262/task/6266/stat : 6266 (java) S 6260 6260 11586 0 -1 1077944384 7110 0 0 0 1825 191 0 0 20 0 15 0 67485445 14316269568 2295890 18446744073709551615 4194304 4196468 140720813271920 139790788418192 139790833567445 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19636224 140720813273521 140720813273697 140720813273697 140720813277135 0
[pid=6262/tid=6267] ppid=6260 vsize=13980732 memory=0 CPUtime=20.36 cores=1,3,5,7
/proc/6262/task/6267/stat : 6267 (java) S 6260 6260 11586 0 -1 1077944384 8099 0 0 0 1842 194 0 0 20 0 15 0 67485445 14316269568 2295890 18446744073709551615 4194304 4196468 140720813271920 139790787365392 139790833567445 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19636224 140720813273521 140720813273697 140720813273697 140720813277135 0
[pid=6262/tid=6268] ppid=6260 vsize=13980732 memory=0 CPUtime=1.09 cores=1,3,5,7
/proc/6262/task/6268/stat : 6268 (java) S 6260 6260 11586 0 -1 1077944384 18806 0 0 0 107 2 0 0 20 0 15 0 67485446 14316269568 2295890 18446744073709551615 4194304 4196468 140720813271920 139790311737968 139790833568386 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19636224 140720813273521 140720813273697 140720813273697 140720813277135 0
[pid=6262/tid=6269] ppid=6260 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6262/task/6269/stat : 6269 (java) S 6260 6260 11586 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 15 0 67485447 14316269568 2295890 18446744073709551615 4194304 4196468 140720813271920 139790310684000 139790833567445 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19636224 140720813273521 140720813273697 140720813273697 140720813277135 0
[pid=6262/tid=6270] ppid=6260 vsize=13980732 memory=187 CPUtime=0 cores=1,3,5,7
/proc/6262/task/6270/stat : 6270 (java) S 6260 6260 11586 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 67485447 14316269568 2295890 18446744073709551615 4194304 4196468 140720813271920 139790309631616 139790833567445 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19636224 140720813273521 140720813273697 140720813273697 140720813277135 0
[pid=6262/tid=6271] ppid=6260 vsize=13980732 memory=145 CPUtime=0 cores=1,3,5,7
/proc/6262/task/6271/stat : 6271 (java) S 6260 6260 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 67485450 14316269568 2295890 18446744073709551615 4194304 4196468 140720813271920 139790308579920 139790833575835 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19636224 140720813273521 140720813273697 140720813273697 140720813277135 0
[pid=6262/tid=6272] ppid=6260 vsize=13980732 memory=50 CPUtime=2.39 cores=1,3,5,7
/proc/6262/task/6272/stat : 6272 (java) S 6260 6260 11586 0 -1 1077944384 10065 0 0 0 238 1 0 0 20 0 15 0 67485450 14316269568 2295890 18446744073709551615 4194304 4196468 140720813271920 139790307526768 139790833568386 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19636224 140720813273521 140720813273697 140720813273697 140720813277135 0
[pid=6262/tid=6273] ppid=6260 vsize=13980732 memory=0 CPUtime=1.86 cores=1,3,5,7
/proc/6262/task/6273/stat : 6273 (java) S 6260 6260 11586 0 -1 1077944384 8304 0 0 0 185 1 0 0 20 0 15 0 67485450 14316269568 2295890 18446744073709551615 4194304 4196468 140720813271920 139790306473968 139790833568386 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19636224 140720813273521 140720813273697 140720813273697 140720813277135 0
[pid=6262/tid=6274] ppid=6260 vsize=13980732 memory=3 CPUtime=0.59 cores=1,3,5,7
/proc/6262/task/6274/stat : 6274 (java) S 6260 6260 11586 0 -1 1077944384 4188 0 0 0 58 1 0 0 20 0 15 0 67485450 14316269568 2295890 18446744073709551615 4194304 4196468 140720813271920 139790305421680 139790833568386 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19636224 140720813273521 140720813273697 140720813273697 140720813277135 0
[pid=6262/tid=6275] ppid=6260 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6262/task/6275/stat : 6275 (java) S 6260 6260 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 67485450 14316269568 2295890 18446744073709551615 4194304 4196468 140720813271920 139790304369120 139790833567445 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19636224 140720813273521 140720813273697 140720813273697 140720813277135 0
[pid=6262/tid=6276] ppid=6260 vsize=13980732 memory=3 CPUtime=0.03 cores=1,3,5,7
/proc/6262/task/6276/stat : 6276 (java) S 6260 6260 11586 0 -1 1077944384 173 0 0 0 1 2 0 0 20 0 15 0 67485455 14316269568 2295890 18446744073709551615 4194304 4196468 140720813271920 139790303316912 139790833568386 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19636224 140720813273521 140720813273697 140720813273697 140720813277135 0
Current children cumulated CPU time: 149.89 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 9184940 KiB
Child status: 0
Real time (s): 84.6758
CPU time (s): 149.987
CPU user time (s): 142.04
CPU system time (s): 7.94661
CPU usage (%): 177.131
Max. virtual memory (cumulated for all children) (KiB): 13990244
Max. memory (cumulated for all children) (KiB): 9184940
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 142.04
system time used= 7.94661
maximum resident set size= 9184048
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 87534
page faults= 0
swaps= 0
block input operations= 0
block output operations= 192
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5200
involuntary context switches= 921
# summary of solver processes directly reported to runsolver:
# pid: 6260
# total CPU time (s): 149.987
# total CPU user time (s): 142.04
# total CPU system time (s): 7.94661
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.513926 second user time and 0.894136 second system time
The end