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 (11192 MiB free)
memory of node 1: 16384 MiB (15690 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4282545-1503129776/watcher-4282545-1503129776 -o /tmp/evaluation-result-4282545-1503129776/solver-4282545-1503129776 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node129-1503095823-17351 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 1880811932 HOME/instance-4282545-1503129776.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
Current StackSize limit: 8192 KiB
solver pid=23370, runsolver pid=23367
[startup+0.101777 s]*
/proc/loadavg: 2.58 2.22 2.09 3/204 23379
/proc/meminfo: memFree=27518600/32770624 swapFree=67108860/67108860
[pid=23370] ppid=23367 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/23370/stat : 23370 (xcsp3-exec) S 23367 23370 17292 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 11386741 9740288 345 18446744073709551615 4194304 5098028 140722246293792 140722246291896 140141164614268 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 7 0 0 7196144 7232144 30269440 140722246295929 140722246296134 140722246296134 140722246299627 0
/proc/23370/statm: 2378 345 289 221 0 87 0
[pid=23372] ppid=23370 vsize=13574484 memory=17968 CPUtime=0.02 cores=1,3,5,7
/proc/23372/stat : 23372 (java) S 23370 23370 17292 0 -1 1077944320 3824 0 0 0 2 0 0 0 20 0 9 0 11386749 13900271616 4492 18446744073709551615 4194304 4196468 140729063326336 140729063308880 139855292751607 0 0 1 16784584 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 8577024 140729063330226 140729063330402 140729063330402 140729063333839 0
/proc/23372/statm: 3393621 4492 2085 1 0 3383118 0
[pid=23372/tid=23373] ppid=23370 vsize=13574484 memory=-8713483618642457695 CPUtime=0.02 cores=1,3,5,7
/proc/23372/task/23373/stat : 23373 (java) R 23370 23370 17292 0 -1 4202560 2524 0 0 0 2 0 0 0 20 0 9 0 11386749 13900271616 4492 18446744073709551615 4194304 4196468 140729063326336 139855296987752 139855292773533 0 4 1 16784584 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8577024 140729063330226 140729063330402 140729063330402 140729063333839 0
[pid=23372/tid=23374] ppid=23370 vsize=13574484 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23372/task/23374/stat : 23374 (java) S 23370 23370 17292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 11386750 13900271616 4492 18446744073709551615 4194304 4196468 140729063326336 139855212165776 139855292761813 0 4 1 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8577024 140729063330226 140729063330402 140729063330402 140729063333839 0
[pid=23372/tid=23375] ppid=23370 vsize=13574484 memory=140534129739392 CPUtime=0 cores=1,3,5,7
/proc/23372/task/23375/stat : 23375 (java) S 23370 23370 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 11386750 13900271616 4492 18446744073709551615 4194304 4196468 140729063326336 139855211112976 139855292761813 0 4 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8577024 140729063330226 140729063330402 140729063330402 140729063333839 0
[pid=23372/tid=23376] ppid=23370 vsize=13574484 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23372/task/23376/stat : 23376 (java) S 23370 23370 17292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 11386750 13900271616 4492 18446744073709551615 4194304 4196468 140729063326336 139855210060176 139855292761813 0 4 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8577024 140729063330226 140729063330402 140729063330402 140729063333839 0
[pid=23372/tid=23377] ppid=23370 vsize=13574484 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23372/task/23377/stat : 23377 (java) S 23370 23370 17292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 11386750 13900271616 4492 18446744073709551615 4194304 4196468 140729063326336 139854889347344 139855292761813 0 4 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8577024 140729063330226 140729063330402 140729063330402 140729063333839 0
[pid=23372/tid=23378] ppid=23370 vsize=13574484 memory=140534129739392 CPUtime=0 cores=1,3,5,7
/proc/23372/task/23378/stat : 23378 (java) S 23370 23370 17292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 11386751 13900271616 4492 18446744073709551615 4194304 4196468 140729063326336 139854478044016 139855292762754 0 0 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8577024 140729063330226 140729063330402 140729063330402 140729063333839 0
[pid=23372/tid=23379] ppid=23370 vsize=13574484 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23372/task/23379/stat : 23379 (java) S 23370 23370 17292 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 9 0 11386751 13900271616 4492 18446744073709551615 4194304 4196468 140729063326336 139854476989984 139855292761813 0 4 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8577024 140729063330226 140729063330402 140729063330402 140729063333839 0
[pid=23372/tid=23380] ppid=23370 vsize=13574484 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23372/task/23380/stat : 23380 (java) S 23370 23370 17292 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 9 0 11386752 13900271616 4492 18446744073709551615 4194304 4196468 140729063326336 139854475937200 139855292761813 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8577024 140729063330226 140729063330402 140729063330402 140729063333839 0
Current children cumulated CPU time: 0.02 s
Current children cumulated vsize: 13583996 KiB
Current children cumulated memory: 19348 KiB
[startup+0.210335 s]*
/proc/loadavg: 2.58 2.22 2.09 3/211 23386
/proc/meminfo: memFree=27511292/32770624 swapFree=67108860/67108860
[pid=23370] ppid=23367 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/23370/stat : 23370 (xcsp3-exec) S 23367 23370 17292 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 11386741 9740288 345 18446744073709551615 4194304 5098028 140722246293792 140722246291896 140141164614268 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 7 0 0 7196144 7232144 30269440 140722246295929 140722246296134 140722246296134 140722246299627 0
/proc/23370/statm: 2378 345 289 221 0 87 0
[pid=23372] ppid=23370 vsize=13974352 memory=27992 CPUtime=0.14 cores=1,3,5,7
/proc/23372/stat : 23372 (java) S 23370 23370 17292 0 -1 1077944320 5485 0 0 0 13 1 0 0 20 0 15 0 11386749 14309736448 6998 18446744073709551615 4194304 4196468 140729063326336 140729063308880 139855292751607 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 8577024 140729063330226 140729063330402 140729063330402 140729063333839 0
/proc/23372/statm: 3493588 6998 2847 1 0 3482964 0
[pid=23372/tid=23373] ppid=23370 vsize=13974352 memory=7311146985107750967 CPUtime=0.09 cores=1,3,5,7
/proc/23372/task/23373/stat : 23373 (java) R 23370 23370 17292 0 -1 4202560 3395 0 0 0 9 0 0 0 20 0 15 0 11386749 14309736448 6998 18446744073709551615 4194304 4196468 140729063326336 139855296979024 139855292763542 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 8577024 140729063330226 140729063330402 140729063330402 140729063333839 0
[pid=23372/tid=23374] ppid=23370 vsize=13974352 memory=10613 CPUtime=0 cores=1,3,5,7
/proc/23372/task/23374/stat : 23374 (java) S 23370 23370 17292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 11386750 14309736448 6998 18446744073709551615 4194304 4196468 140729063326336 139855212165776 139855292761813 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8577024 140729063330226 140729063330402 140729063330402 140729063333839 0
[pid=23372/tid=23375] ppid=23370 vsize=13974352 memory=3547069599116019360 CPUtime=0 cores=1,3,5,7
/proc/23372/task/23375/stat : 23375 (java) S 23370 23370 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 11386750 14309736448 6998 18446744073709551615 4194304 4196468 140729063326336 139855211112976 139855292761813 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8577024 140729063330226 140729063330402 140729063330402 140729063333839 0
[pid=23372/tid=23376] ppid=23370 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23372/task/23376/stat : 23376 (java) S 23370 23370 17292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 11386750 14309736448 6998 18446744073709551615 4194304 4196468 140729063326336 139855210060176 139855292761813 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8577024 140729063330226 140729063330402 140729063330402 140729063333839 0
[pid=23372/tid=23377] ppid=23370 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23372/task/23377/stat : 23377 (java) S 23370 23370 17292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 11386750 14309736448 6998 18446744073709551615 4194304 4196468 140729063326336 139854889347344 139855292761813 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8577024 140729063330226 140729063330402 140729063330402 140729063333839 0
[pid=23372/tid=23378] ppid=23370 vsize=13974352 memory=140534129739392 CPUtime=0 cores=1,3,5,7
/proc/23372/task/23378/stat : 23378 (java) S 23370 23370 17292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 11386751 14309736448 6998 18446744073709551615 4194304 4196468 140729063326336 139854478044016 139855292762754 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8577024 140729063330226 140729063330402 140729063330402 140729063333839 0
[pid=23372/tid=23379] ppid=23370 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23372/task/23379/stat : 23379 (java) S 23370 23370 17292 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 11386751 14309736448 6998 18446744073709551615 4194304 4196468 140729063326336 139854476989984 139855292761813 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8577024 140729063330226 140729063330402 140729063330402 140729063333839 0
[pid=23372/tid=23380] ppid=23370 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23372/task/23380/stat : 23380 (java) S 23370 23370 17292 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 11386752 14309736448 6998 18446744073709551615 4194304 4196468 140729063326336 139854475937136 139855292761813 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8577024 140729063330226 140729063330402 140729063330402 140729063333839 0
[pid=23372/tid=23381] ppid=23370 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23372/task/23381/stat : 23381 (java) S 23370 23370 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11386754 14309736448 6998 18446744073709551615 4194304 4196468 140729063326336 139854474885456 139855292770203 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8577024 140729063330226 140729063330402 140729063330402 140729063333839 0
[pid=23372/tid=23382] ppid=23370 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23372/task/23382/stat : 23382 (java) R 23370 23370 17292 0 -1 4202560 320 0 0 0 0 0 0 0 20 0 15 0 11386754 14309736448 6998 18446744073709551615 4194304 4196468 140729063326336 139854473824320 139855276187345 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8577024 140729063330226 140729063330402 140729063330402 140729063333839 0
[pid=23372/tid=23383] ppid=23370 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23372/task/23383/stat : 23383 (java) R 23370 23370 17292 0 -1 1077944384 128 0 0 0 0 0 0 0 20 0 15 0 11386754 14309736448 6998 18446744073709551615 4194304 4196468 140729063326336 139854472780112 139855292761813 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8577024 140729063330226 140729063330402 140729063330402 140729063333839 0
[pid=23372/tid=23384] ppid=23370 vsize=13974352 memory=140534129739392 CPUtime=0.02 cores=1,3,5,7
/proc/23372/task/23384/stat : 23384 (java) R 23370 23370 17292 0 -1 4202560 353 0 0 0 2 0 0 0 20 0 15 0 11386754 14309736448 6998 18446744073709551615 4194304 4196468 140729063326336 139854471727216 139855292772954 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8577024 140729063330226 140729063330402 140729063330402 140729063333839 0
[pid=23372/tid=23385] ppid=23370 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23372/task/23385/stat : 23385 (java) S 23370 23370 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11386754 14309736448 6998 18446744073709551615 4194304 4196468 140729063326336 139854402808032 139855292761813 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8577024 140729063330226 140729063330402 140729063330402 140729063333839 0
[pid=23372/tid=23386] ppid=23370 vsize=13974352 memory=140534129739392 CPUtime=0 cores=1,3,5,7
/proc/23372/task/23386/stat : 23386 (java) S 23370 23370 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 11386758 14309736448 6998 18446744073709551615 4194304 4196468 140729063326336 139854401756336 139855292762754 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8577024 140729063330226 140729063330402 140729063330402 140729063333839 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 29372 KiB
[startup+0.310458 s]*
/proc/loadavg: 2.58 2.22 2.09 3/211 23386
/proc/meminfo: memFree=27498648/32770624 swapFree=67108860/67108860
[pid=23370] ppid=23367 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/23370/stat : 23370 (xcsp3-exec) S 23367 23370 17292 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 11386741 9740288 345 18446744073709551615 4194304 5098028 140722246293792 140722246291896 140141164614268 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 7 0 0 7196144 7232144 30269440 140722246295929 140722246296134 140722246296134 140722246299627 0
/proc/23370/statm: 2378 345 289 221 0 87 0
[pid=23372] ppid=23370 vsize=13978608 memory=39784 CPUtime=0.33 cores=1,3,5,7
/proc/23372/stat : 23372 (java) S 23370 23370 17292 0 -1 1077944320 9182 0 0 0 31 2 0 0 20 0 15 0 11386749 14314094592 9946 18446744073709551615 4194304 4196468 140729063326336 140729063308880 139855292751607 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 8577024 140729063330226 140729063330402 140729063330402 140729063333839 0
/proc/23372/statm: 3494652 9946 3023 1 0 3482964 0
[pid=23372/tid=23373] ppid=23370 vsize=13978608 memory=-8774313645642428999 CPUtime=0.19 cores=1,3,5,7
/proc/23372/task/23373/stat : 23373 (java) R 23370 23370 17292 0 -1 4202560 6350 0 0 0 18 1 0 0 20 0 15 0 11386749 14314094592 9946 18446744073709551615 4194304 4196468 140729063326336 139855296972600 139855276832094 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 8577024 140729063330226 140729063330402 140729063330402 140729063333839 0
[pid=23372/tid=23374] ppid=23370 vsize=13978608 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23372/task/23374/stat : 23374 (java) S 23370 23370 17292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 11386750 14314094592 9946 18446744073709551615 4194304 4196468 140729063326336 139855212165776 139855292761813 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8577024 140729063330226 140729063330402 140729063330402 140729063333839 0
[pid=23372/tid=23375] ppid=23370 vsize=13978608 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23372/task/23375/stat : 23375 (java) S 23370 23370 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 11386750 14314094592 9946 18446744073709551615 4194304 4196468 140729063326336 139855211112976 139855292761813 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8577024 140729063330226 140729063330402 140729063330402 140729063333839 0
[pid=23372/tid=23376] ppid=23370 vsize=13978608 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23372/task/23376/stat : 23376 (java) S 23370 23370 17292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 11386750 14314094592 9946 18446744073709551615 4194304 4196468 140729063326336 139855210060176 139855292761813 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8577024 140729063330226 140729063330402 140729063330402 140729063333839 0
[pid=23372/tid=23377] ppid=23370 vsize=13978608 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23372/task/23377/stat : 23377 (java) S 23370 23370 17292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 11386750 14314094592 9946 18446744073709551615 4194304 4196468 140729063326336 139854889347344 139855292761813 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8577024 140729063330226 140729063330402 140729063330402 140729063333839 0
[pid=23372/tid=23378] ppid=23370 vsize=13978608 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23372/task/23378/stat : 23378 (java) S 23370 23370 17292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 11386751 14314094592 9946 18446744073709551615 4194304 4196468 140729063326336 139854478044016 139855292762754 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8577024 140729063330226 140729063330402 140729063330402 140729063333839 0
[pid=23372/tid=23379] ppid=23370 vsize=13978608 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23372/task/23379/stat : 23379 (java) S 23370 23370 17292 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 11386751 14314094592 9946 18446744073709551615 4194304 4196468 140729063326336 139854476989984 139855292761813 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8577024 140729063330226 140729063330402 140729063330402 140729063333839 0
[pid=23372/tid=23380] ppid=23370 vsize=13978608 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23372/task/23380/stat : 23380 (java) S 23370 23370 17292 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 11386752 14314094592 9946 18446744073709551615 4194304 4196468 140729063326336 139854475937136 139855292761813 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8577024 140729063330226 140729063330402 140729063330402 140729063333839 0
[pid=23372/tid=23381] ppid=23370 vsize=13978608 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23372/task/23381/stat : 23381 (java) S 23370 23370 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11386754 14314094592 9946 18446744073709551615 4194304 4196468 140729063326336 139854474885456 139855292770203 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8577024 140729063330226 140729063330402 140729063330402 140729063333839 0
[pid=23372/tid=23382] ppid=23370 vsize=13978608 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/23372/task/23382/stat : 23382 (java) S 23370 23370 17292 0 -1 1077944384 406 0 0 0 2 0 0 0 20 0 15 0 11386754 14314094592 9946 18446744073709551615 4194304 4196468 140729063326336 139854473832816 139855292762754 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8577024 140729063330226 140729063330402 140729063330402 140729063333839 0
[pid=23372/tid=23383] ppid=23370 vsize=13978608 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/23372/task/23383/stat : 23383 (java) S 23370 23370 17292 0 -1 1077944384 365 0 0 0 2 0 0 0 20 0 15 0 11386754 14314094592 9946 18446744073709551615 4194304 4196468 140729063326336 139854472780016 139855292762754 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8577024 140729063330226 140729063330402 140729063330402 140729063333839 0
[pid=23372/tid=23384] ppid=23370 vsize=13978608 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/23372/task/23384/stat : 23384 (java) S 23370 23370 17292 0 -1 1077944384 755 0 0 0 7 0 0 0 20 0 15 0 11386754 14314094592 9946 18446744073709551615 4194304 4196468 140729063326336 139854471727216 139855292762754 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8577024 140729063330226 140729063330402 140729063330402 140729063333839 0
[pid=23372/tid=23385] ppid=23370 vsize=13978608 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23372/task/23385/stat : 23385 (java) S 23370 23370 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11386754 14314094592 9946 18446744073709551615 4194304 4196468 140729063326336 139854402808032 139855292761813 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8577024 140729063330226 140729063330402 140729063330402 140729063333839 0
[pid=23372/tid=23386] ppid=23370 vsize=13978608 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23372/task/23386/stat : 23386 (java) S 23370 23370 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 11386758 14314094592 9946 18446744073709551615 4194304 4196468 140729063326336 139854401756336 139855292762754 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8577024 140729063330226 140729063330402 140729063330402 140729063333839 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 13988120 KiB
Current children cumulated memory: 41164 KiB
[startup+0.704422 s]
/proc/loadavg: 2.69 2.25 2.10 6/211 23386
/proc/meminfo: memFree=27488652/32770624 swapFree=67108860/67108860
[pid=23370] ppid=23367 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/23370/stat : 23370 (xcsp3-exec) S 23367 23370 17292 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 11386741 9740288 345 18446744073709551615 4194304 5098028 140722246293792 140722246291896 140141164614268 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 7 0 0 7196144 7232144 30269440 140722246295929 140722246296134 140722246296134 140722246299627 0
/proc/23370/statm: 2378 345 289 221 0 87 0
[pid=23372] ppid=23370 vsize=13980732 memory=67236 CPUtime=1.26 cores=1,3,5,7
/proc/23372/stat : 23372 (java) S 23370 23370 17292 0 -1 1077944320 12917 0 0 0 122 4 0 0 20 0 15 0 11386749 14316269568 16809 18446744073709551615 4194304 4196468 140729063326336 140729063308880 139855292751607 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 8577024 140729063330226 140729063330402 140729063330402 140729063333839 0
/proc/23372/statm: 3495183 16809 3168 1 0 3483476 0
[pid=23372/tid=23373] ppid=23370 vsize=13980732 memory=0 CPUtime=0.57 cores=1,3,5,7
/proc/23372/task/23373/stat : 23373 (java) R 23370 23370 17292 0 -1 4202560 8430 0 0 0 54 3 0 0 20 0 15 0 11386749 14316269568 16809 18446744073709551615 4194304 4196468 140729063326336 139855296988056 139854893219944 0 4 1 16800974 0 0 0 -1 7 0 0 3 0 0 6293624 6294260 8577024 140729063330226 140729063330402 140729063330402 140729063333839 0
[pid=23372/tid=23374] ppid=23370 vsize=13980732 memory=1440 CPUtime=0 cores=1,3,5,7
/proc/23372/task/23374/stat : 23374 (java) S 23370 23370 17292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 11386750 14316269568 16809 18446744073709551615 4194304 4196468 140729063326336 139855212165776 139855292761813 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8577024 140729063330226 140729063330402 140729063330402 140729063333839 0
[pid=23372/tid=23375] ppid=23370 vsize=13980732 memory=2008 CPUtime=0 cores=1,3,5,7
/proc/23372/task/23375/stat : 23375 (java) S 23370 23370 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 11386750 14316269568 16809 18446744073709551615 4194304 4196468 140729063326336 139855211112976 139855292761813 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8577024 140729063330226 140729063330402 140729063330402 140729063333839 0
[pid=23372/tid=23376] ppid=23370 vsize=13980732 memory=5404 CPUtime=0 cores=1,3,5,7
/proc/23372/task/23376/stat : 23376 (java) S 23370 23370 17292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 11386750 14316269568 16809 18446744073709551615 4194304 4196468 140729063326336 139855210060176 139855292761813 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8577024 140729063330226 140729063330402 140729063330402 140729063333839 0
[pid=23372/tid=23377] ppid=23370 vsize=13980732 memory=1704 CPUtime=0 cores=1,3,5,7
/proc/23372/task/23377/stat : 23377 (java) S 23370 23370 17292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 11386750 14316269568 16809 18446744073709551615 4194304 4196468 140729063326336 139854889347344 139855292761813 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8577024 140729063330226 140729063330402 140729063330402 140729063333839 0
[pid=23372/tid=23378] ppid=23370 vsize=13980732 memory=2 CPUtime=0 cores=1,3,5,7
/proc/23372/task/23378/stat : 23378 (java) S 23370 23370 17292 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 11386751 14316269568 16809 18446744073709551615 4194304 4196468 140729063326336 139854478044016 139855292762754 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8577024 140729063330226 140729063330402 140729063330402 140729063333839 0
[pid=23372/tid=23379] ppid=23370 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23372/task/23379/stat : 23379 (java) S 23370 23370 17292 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 11386751 14316269568 16809 18446744073709551615 4194304 4196468 140729063326336 139854476989984 139855292761813 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8577024 140729063330226 140729063330402 140729063330402 140729063333839 0
[pid=23372/tid=23380] ppid=23370 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23372/task/23380/stat : 23380 (java) S 23370 23370 17292 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 11386752 14316269568 16809 18446744073709551615 4194304 4196468 140729063326336 139854475937136 139855292761813 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8577024 140729063330226 140729063330402 140729063330402 140729063333839 0
[pid=23372/tid=23381] ppid=23370 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23372/task/23381/stat : 23381 (java) S 23370 23370 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11386754 14316269568 16809 18446744073709551615 4194304 4196468 140729063326336 139854474885456 139855292770203 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8577024 140729063330226 140729063330402 140729063330402 140729063333839 0
[pid=23372/tid=23382] ppid=23370 vsize=13980732 memory=0 CPUtime=0.19 cores=1,3,5,7
/proc/23372/task/23382/stat : 23382 (java) R 23370 23370 17292 0 -1 4202560 864 0 0 0 19 0 0 0 20 0 15 0 11386754 14316269568 16809 18446744073709551615 4194304 4196468 140729063326336 139854473832944 139855276721400 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8577024 140729063330226 140729063330402 140729063330402 140729063333839 0
[pid=23372/tid=23383] ppid=23370 vsize=13980732 memory=2 CPUtime=0.15 cores=1,3,5,7
/proc/23372/task/23383/stat : 23383 (java) R 23370 23370 17292 0 -1 4202560 750 0 0 0 15 0 0 0 20 0 15 0 11386754 14316269568 16809 18446744073709551615 4194304 4196468 140729063326336 139854472765896 139855274295783 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8577024 140729063330226 140729063330402 140729063330402 140729063333839 0
[pid=23372/tid=23384] ppid=23370 vsize=13980732 memory=0 CPUtime=0.33 cores=1,3,5,7
/proc/23372/task/23384/stat : 23384 (java) S 23370 23370 17292 0 -1 1077944384 1563 0 0 0 33 0 0 0 20 0 15 0 11386754 14316269568 16809 18446744073709551615 4194304 4196468 140729063326336 139854471727216 139855292762754 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8577024 140729063330226 140729063330402 140729063330402 140729063333839 0
[pid=23372/tid=23385] ppid=23370 vsize=13980732 memory=3 CPUtime=0 cores=1,3,5,7
/proc/23372/task/23385/stat : 23385 (java) S 23370 23370 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11386754 14316269568 16809 18446744073709551615 4194304 4196468 140729063326336 139854402808032 139855292761813 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8577024 140729063330226 140729063330402 140729063330402 140729063333839 0
[pid=23372/tid=23386] ppid=23370 vsize=13980732 memory=12 CPUtime=0 cores=1,3,5,7
/proc/23372/task/23386/stat : 23386 (java) S 23370 23370 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 11386758 14316269568 16809 18446744073709551615 4194304 4196468 140729063326336 139854401756336 139855292762754 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8577024 140729063330226 140729063330402 140729063330402 140729063333839 0
Current children cumulated CPU time: 1.26 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 68616 KiB
[startup+1.50081 s]
/proc/loadavg: 2.69 2.25 2.10 5/211 23386
/proc/meminfo: memFree=27462168/32770624 swapFree=67108860/67108860
[pid=23370] ppid=23367 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/23370/stat : 23370 (xcsp3-exec) S 23367 23370 17292 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 11386741 9740288 345 18446744073709551615 4194304 5098028 140722246293792 140722246291896 140141164614268 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 7 0 0 7196144 7232144 30269440 140722246295929 140722246296134 140722246296134 140722246299627 0
/proc/23370/statm: 2378 345 289 221 0 87 0
[pid=23372] ppid=23370 vsize=13980732 memory=79352 CPUtime=3.32 cores=1,3,5,7
/proc/23372/stat : 23372 (java) S 23370 23370 17292 0 -1 1077944320 19399 0 0 0 327 5 0 0 20 0 15 0 11386749 14316269568 19838 18446744073709551615 4194304 4196468 140729063326336 140729063308880 139855292751607 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 8577024 140729063330226 140729063330402 140729063330402 140729063333839 0
/proc/23372/statm: 3495183 19838 3199 1 0 3483476 0
[pid=23372/tid=23373] ppid=23370 vsize=13980732 memory=0 CPUtime=1.36 cores=1,3,5,7
/proc/23372/task/23373/stat : 23373 (java) R 23370 23370 17292 0 -1 4202560 8678 0 0 0 133 3 0 0 20 0 15 0 11386749 14316269568 19838 18446744073709551615 4194304 4196468 140729063326336 139855296988560 139854893582196 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 8577024 140729063330226 140729063330402 140729063330402 140729063333839 0
[pid=23372/tid=23374] ppid=23370 vsize=13980732 memory=281068028798144 CPUtime=0 cores=1,3,5,7
/proc/23372/task/23374/stat : 23374 (java) S 23370 23370 17292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 11386750 14316269568 19838 18446744073709551615 4194304 4196468 140729063326336 139855212165776 139855292761813 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8577024 140729063330226 140729063330402 140729063330402 140729063333839 0
[pid=23372/tid=23375] ppid=23370 vsize=13980732 memory=6656426216303648864 CPUtime=0 cores=1,3,5,7
/proc/23372/task/23375/stat : 23375 (java) S 23370 23370 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 11386750 14316269568 19838 18446744073709551615 4194304 4196468 140729063326336 139855211112976 139855292761813 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8577024 140729063330226 140729063330402 140729063330402 140729063333839 0
[pid=23372/tid=23376] ppid=23370 vsize=13980732 memory=7681905605394137914 CPUtime=0 cores=1,3,5,7
/proc/23372/task/23376/stat : 23376 (java) S 23370 23370 17292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 11386750 14316269568 19838 18446744073709551615 4194304 4196468 140729063326336 139855210060176 139855292761813 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8577024 140729063330226 140729063330402 140729063330402 140729063333839 0
[pid=23372/tid=23377] ppid=23370 vsize=13980732 memory=4138356658378995242 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
/proc/23372/task/23375/stat : 23375 (java) S 23370 23370 17292 0 -1 1077944384 132 0 0 0 0 0 0 0 20 0 15 0 11386750 14316269568 50389 18446744073709551615 4194304 4196468 140729063326336 139855211112976 139855292761813 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8577024 140729063330226 140729063330402 140729063330402 140729063333839 0
[pid=23372/tid=23376] ppid=23370 vsize=13980732 memory=4261308 CPUtime=0 cores=1,3,5,7
/proc/23372/task/23376/stat : 23376 (java) S 23370 23370 17292 0 -1 1077944384 794 0 0 0 0 0 0 0 20 0 15 0 11386750 14316269568 50389 18446744073709551615 4194304 4196468 140729063326336 139855210060176 139855292761813 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8577024 140729063330226 140729063330402 140729063330402 140729063333839 0
[pid=23372/tid=23377] ppid=23370 vsize=13980732 memory=4068 CPUtime=0 cores=1,3,5,7
/proc/23372/task/23377/stat : 23377 (java) S 23370 23370 17292 0 -1 1077944384 136 0 0 0 0 0 0 0 20 0 15 0 11386750 14316269568 50389 18446744073709551615 4194304 4196468 140729063326336 139854889347344 139855292761813 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8577024 140729063330226 140729063330402 140729063330402 140729063333839 0
[pid=23372/tid=23378] ppid=23370 vsize=13980732 memory=1160 CPUtime=0 cores=1,3,5,7
/proc/23372/task/23378/stat : 23378 (java) S 23370 23370 17292 0 -1 1077944384 778 0 0 0 0 0 0 0 20 0 15 0 11386751 14316269568 50389 18446744073709551615 4194304 4196468 140729063326336 139854478044016 139855292762754 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8577024 140729063330226 140729063330402 140729063330402 140729063333839 0
[pid=23372/tid=23379] ppid=23370 vsize=13980732 memory=2924 CPUtime=0 cores=1,3,5,7
/proc/23372/task/23379/stat : 23379 (java) S 23370 23370 17292 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 15 0 11386751 14316269568 50389 18446744073709551615 4194304 4196468 140729063326336 139854476989984 139855292761813 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8577024 140729063330226 140729063330402 140729063330402 140729063333839 0
[pid=23372/tid=23380] ppid=23370 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/23372/task/23380/stat : 23380 (java) S 23370 23370 17292 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 11386752 14316269568 50389 18446744073709551615 4194304 4196468 140729063326336 139854475937136 139855292761813 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8577024 140729063330226 140729063330402 140729063330402 140729063333839 0
[pid=23372/tid=23381] ppid=23370 vsize=13980732 memory=201556 CPUtime=0 cores=1,3,5,7
/proc/23372/task/23381/stat : 23381 (java) S 23370 23370 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11386754 14316269568 50389 18446744073709551615 4194304 4196468 140729063326336 139854474885456 139855292770203 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8577024 140729063330226 140729063330402 140729063330402 140729063333839 0
[pid=23372/tid=23382] ppid=23370 vsize=13980732 memory=1380 CPUtime=1.02 cores=1,3,5,7
/proc/23372/task/23382/stat : 23382 (java) S 23370 23370 17292 0 -1 1077944384 6029 0 0 0 102 0 0 0 20 0 15 0 11386754 14316269568 50389 18446744073709551615 4194304 4196468 140729063326336 139854473832816 139855292762754 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8577024 140729063330226 140729063330402 140729063330402 140729063333839 0
[pid=23372/tid=23383] ppid=23370 vsize=13980732 memory=-8774313645642428999 CPUtime=1.1 cores=1,3,5,7
/proc/23372/task/23383/stat : 23383 (java) S 23370 23370 17292 0 -1 1077944384 7328 0 0 0 110 0 0 0 20 0 15 0 11386754 14316269568 50389 18446744073709551615 4194304 4196468 140729063326336 139854472780016 139855292762754 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8577024 140729063330226 140729063330402 140729063330402 140729063333839 0
[pid=23372/tid=23384] ppid=23370 vsize=13980732 memory=1440 CPUtime=0.49 cores=1,3,5,7
/proc/23372/task/23384/stat : 23384 (java) S 23370 23370 17292 0 -1 1077944384 5966 0 0 0 48 1 0 0 20 0 15 0 11386754 14316269568 50389 18446744073709551615 4194304 4196468 140729063326336 139854471727216 139855292762754 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 3 0 0 6293624 6294260 8577024 140729063330226 140729063330402 140729063330402 140729063333839 0
[pid=23372/tid=23385] ppid=23370 vsize=13980732 memory=2008 CPUtime=0 cores=1,3,5,7
/proc/23372/task/23385/stat : 23385 (java) S 23370 23370 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11386754 14316269568 50389 18446744073709551615 4194304 4196468 140729063326336 139854402808032 139855292761813 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8577024 140729063330226 140729063330402 140729063330402 140729063333839 0
[pid=23372/tid=23386] ppid=23370 vsize=13980732 memory=5404 CPUtime=0.01 cores=1,3,5,7
/proc/23372/task/23386/stat : 23386 (java) S 23370 23370 17292 0 -1 1077944384 428 0 0 0 0 1 0 0 20 0 15 0 11386758 14316269568 50389 18446744073709551615 4194304 4196468 140729063326336 139854401756336 139855292762754 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 10 0 0 6293624 6294260 8577024 140729063330226 140729063330402 140729063330402 140729063333839 0
Current children cumulated CPU time: 82.56 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 202936 KiB
[startup+83.2007 s]
/proc/loadavg: 2.18 2.19 2.09 3/214 23402
/proc/meminfo: memFree=27332472/32770624 swapFree=67108860/67108860
[pid=23370] ppid=23367 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/23370/stat : 23370 (xcsp3-exec) S 23367 23370 17292 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 11386741 9740288 345 18446744073709551615 4194304 5098028 140722246293792 140722246291896 140141164614268 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 7 0 0 7196144 7232144 30269440 140722246295929 140722246296134 140722246296134 140722246299627 0
/proc/23370/statm: 2378 345 289 221 0 87 0
[pid=23372] ppid=23370 vsize=13980732 memory=201572 CPUtime=85.77 cores=1,3,5,7
/proc/23372/stat : 23372 (java) S 23370 23370 17292 0 -1 1077944320 35510 0 0 0 8568 9 0 0 20 0 15 0 11386749 14316269568 50393 18446744073709551615 4194304 4196468 140729063326336 140729063308880 139855292751607 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 8577024 140729063330226 140729063330402 140729063330402 140729063333839 0
/proc/23372/statm: 3495183 50393 3237 1 0 3483476 0
[pid=23372/tid=23373] ppid=23370 vsize=13980732 memory=195308 CPUtime=83.04 cores=1,3,5,7
/proc/23372/task/23373/stat : 23373 (java) R 23370 23370 17292 0 -1 4202560 11677 0 0 0 8300 4 0 0 20 0 15 0 11386749 14316269568 50393 18446744073709551615 4194304 4196468 140729063326336 139855296988440 139854894052313 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 8577024 140729063330226 140729063330402 140729063330402 140729063333839 0
[pid=23372/tid=23374] ppid=23370 vsize=13980732 memory=195308 CPUtime=0 cores=1,3,5,7
/proc/23372/task/23374/stat : 23374 (java) S 23370 23370 17292 0 -1 1077944384 796 0 0 0 0 0 0 0 20 0 15 0 11386750 14316269568 50393 18446744073709551615 4194304 4196468 140729063326336 139855212165776 139855292761813 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8577024 140729063330226 140729063330402 140729063330402 140729063333839 0
[pid=23372/tid=23375] ppid=23370 vsize=13980732 memory=2008 CPUtime=0 cores=1,3,5,7
/proc/23372/task/23375/stat : 23375 (java) S 23370 23370 17292 0 -1 1077944384 132 0 0 0 0 0 0 0 20 0 15 0 11386750 14316269568 50393 18446744073709551615 4194304 4196468 140729063326336 139855211112976 139855292761813 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8577024 140729063330226 140729063330402 140729063330402 140729063333839 0
[pid=23372/tid=23376] ppid=23370 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/23372/task/23376/stat : 23376 (java) S 23370 23370 17292 0 -1 1077944384 794 0 0 0 0 0 0 0 20 0 15 0 11386750 14316269568 50393 18446744073709551615 4194304 4196468 140729063326336 139855210060176 139855292761813 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8577024 140729063330226 140729063330402 140729063330402 140729063333839 0
[pid=23372/tid=23377] ppid=23370 vsize=13980732 memory=201556 CPUtime=0 cores=1,3,5,7
/proc/23372/task/23377/stat : 23377 (java) S 23370 23370 17292 0 -1 1077944384 136 0 0 0 0 0 0 0 20 0 15 0 11386750 14316269568 50393 18446744073709551615 4194304 4196468 140729063326336 139854889347344 139855292761813 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8577024 140729063330226 140729063330402 140729063330402 140729063333839 0
[pid=23372/tid=23378] ppid=23370 vsize=13980732 memory=1004 CPUtime=0 cores=1,3,5,7
/proc/23372/task/23378/stat : 23378 (java) S 23370 23370 17292 0 -1 1077944384 778 0 0 0 0 0 0 0 20 0 15 0 11386751 14316269568 50393 18446744073709551615 4194304 4196468 140729063326336 139854478044016 139855292762754 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8577024 140729063330226 140729063330402 140729063330402 140729063333839 0
[pid=23372/tid=23379] ppid=23370 vsize=13980732 memory=-8774313645642428999 CPUtime=0 cores=1,3,5,7
/proc/23372/task/23379/stat : 23379 (java) S 23370 23370 17292 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 15 0 11386751 14316269568 50393 18446744073709551615 4194304 4196468 140729063326336 139854476989984 139855292761813 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8577024 140729063330226 140729063330402 140729063330402 140729063333839 0
[pid=23372/tid=23380] ppid=23370 vsize=13980732 memory=4261308 CPUtime=0 cores=1,3,5,7
/proc/23372/task/23380/stat : 23380 (java) S 23370 23370 17292 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 11386752 14316269568 50393 18446744073709551615 4194304 4196468 140729063326336 139854475937136 139855292761813 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8577024 140729063330226 140729063330402 140729063330402 140729063333839 0
[pid=23372/tid=23381] ppid=23370 vsize=13980732 memory=4068 CPUtime=0 cores=1,3,5,7
/proc/23372/task/23381/stat : 23381 (java) S 23370 23370 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11386754 14316269568 50393 18446744073709551615 4194304 4196468 140729063326336 139854474885456 139855292770203 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8577024 140729063330226 140729063330402 140729063330402 140729063333839 0
[pid=23372/tid=23382] ppid=23370 vsize=13980732 memory=1160 CPUtime=1.02 cores=1,3,5,7
/proc/23372/task/23382/stat : 23382 (java) S 23370 23370 17292 0 -1 1077944384 6041 0 0 0 102 0 0 0 20 0 15 0 11386754 14316269568 50393 18446744073709551615 4194304 4196468 140729063326336 139854473832816 139855292762754 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8577024 140729063330226 140729063330402 140729063330402 140729063333839 0
[pid=23372/tid=23383] ppid=23370 vsize=13980732 memory=-8774313645642428999 CPUtime=1.12 cores=1,3,5,7
/proc/23372/task/23383/stat : 23383 (java) S 23370 23370 17292 0 -1 1077944384 7401 0 0 0 112 0 0 0 20 0 15 0 11386754 14316269568 50393 18446744073709551615 4194304 4196468 140729063326336 139854472780016 139855292762754 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8577024 140729063330226 140729063330402 140729063330402 140729063333839 0
[pid=23372/tid=23384] ppid=23370 vsize=13980732 memory=4124 CPUtime=0.49 cores=1,3,5,7
/proc/23372/task/23384/stat : 23384 (java) S 23370 23370 17292 0 -1 1077944384 5966 0 0 0 48 1 0 0 20 0 15 0 11386754 14316269568 50393 18446744073709551615 4194304 4196468 140729063326336 139854471727216 139855292762754 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 3 0 0 6293624 6294260 8577024 140729063330226 140729063330402 140729063330402 140729063333839 0
[pid=23372/tid=23385] ppid=23370 vsize=13980732 memory=9920 CPUtime=0 cores=1,3,5,7
/proc/23372/task/23385/stat : 23385 (java) S 23370 23370 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11386754 14316269568 50393 18446744073709551615 4194304 4196468 140729063326336 139854402808032 139855292761813 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8577024 140729063330226 140729063330402 140729063330402 140729063333839 0
[pid=23372/tid=23386] ppid=23370 vsize=13980732 memory=201572 CPUtime=0.01 cores=1,3,5,7
/proc/23372/task/23386/stat : 23386 (java) S 23370 23370 17292 0 -1 1077944384 428 0 0 0 0 1 0 0 20 0 15 0 11386758 14316269568 50393 18446744073709551615 4194304 4196468 140729063326336 139854401756336 139855292762754 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 10 0 0 6293624 6294260 8577024 140729063330226 140729063330402 140729063330402 140729063333839 0
Current children cumulated CPU time: 85.77 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 202952 KiB
[startup+84.8007 s]
/proc/loadavg: 2.18 2.19 2.09 3/214 23402
/proc/meminfo: memFree=27332472/32770624 swapFree=67108860/67108860
[pid=23370] ppid=23367 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/23370/stat : 23370 (xcsp3-exec) S 23367 23370 17292 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 11386741 9740288 345 18446744073709551615 4194304 5098028 140722246293792 140722246291896 140141164614268 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 7 0 0 7196144 7232144 30269440 140722246295929 140722246296134 140722246296134 140722246299627 0
/proc/23370/statm: 2378 345 289 221 0 87 0
[pid=23372] ppid=23370 vsize=13980732 memory=201572 CPUtime=87.37 cores=1,3,5,7
/proc/23372/stat : 23372 (java) S 23370 23370 17292 0 -1 1077944320 35513 0 0 0 8728 9 0 0 20 0 15 0 11386749 14316269568 50393 18446744073709551615 4194304 4196468 140729063326336 140729063308880 139855292751607 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 8577024 140729063330226 140729063330402 140729063330402 140729063333839 0
/proc/23372/statm: 3495183 50393 3237 1 0 3483476 0
[pid=23372/tid=23373] ppid=23370 vsize=13980732 memory=0 CPUtime=84.64 cores=1,3,5,7
/proc/23372/task/23373/stat : 23373 (java) R 23370 23370 17292 0 -1 4202560 11680 0 0 0 8460 4 0 0 20 0 15 0 11386749 14316269568 50393 18446744073709551615 4194304 4196468 140729063326336 139855296988408 139854894026579 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 8577024 140729063330226 140729063330402 140729063330402 140729063333839 0
[pid=23372/tid=23374] ppid=23370 vsize=13980732 memory=7440060183353512016 CPUtime=0 cores=1,3,5,7
/proc/23372/task/23374/stat : 23374 (java) S 23370 23370 17292 0 -1 1077944384 796 0 0 0 0 0 0 0 20 0 15 0 11386750 14316269568 50393 18446744073709551615 4194304 4196468 140729063326336 139855212165776 139855292761813 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8577024 140729063330226 140729063330402 140729063330402 140729063333839 0
[pid=23372/tid=23375] ppid=23370 vsize=13980732 memory=29060 CPUtime=0 cores=1,3,5,7
/proc/23372/task/23375/stat : 23375 (java) S 23370 23370 17292 0 -1 1077944384 132 0 0 0 0 0 0 0 20 0 15 0 11386750 14316269568 50393 18446744073709551615 4194304 4196468 140729063326336 139855211112976 139855292761813 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8577024 140729063330226 140729063330402 140729063330402 140729063333839 0
[pid=23372/tid=23376] ppid=23370 vsize=13980732 memory=-8774313645642428999 CPUtime=0 cores=1,3,5,7
/proc/23372/task/23376/stat : 23376 (java) S 23370 23370 17292 0 -1 1077944384 794 0 0 0 0 0 0 0 20 0 15 0 11386750 14316269568 50393 18446744073709551615 4194304 4196468 140729063326336 139855210060176 139855292761813 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8577024 140729063330226 140729063330402 140729063330402 140729063333839 0
[pid=23372/tid=23377] ppid=23370 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/23372/task/23377/stat : 23377 (java) S 23370 23370 17292 0 -1 1077944384 136 0 0 0 0 0 0 0 20 0 15 0 11386750 14316269568 50393 18446744073709551615 4194304 4196468 140729063326336 139854889347344 139855292761813 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8577024 140729063330226 140729063330402 140729063330402 140729063333839 0
[pid=23372/tid=23378] ppid=23370 vsize=13980732 memory=201572 CPUtime=0 cores=1,3,5,7
/proc/23372/task/23378/stat : 23378 (java) S 23370 23370 17292 0 -1 1077944384 778 0 0 0 0 0 0 0 20 0 15 0 11386751 14316269568 50393 18446744073709551615 4194304 4196468 140729063326336 139854478044016 139855292762754 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8577024 140729063330226 140729063330402 140729063330402 140729063333839 0
[pid=23372/tid=23379] ppid=23370 vsize=13980732 memory=2432 CPUtime=0 cores=1,3,5,7
/proc/23372/task/23379/stat : 23379 (java) S 23370 23370 17292 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 15 0 11386751 14316269568 50393 18446744073709551615 4194304 4196468 140729063326336 139854476989984 139855292761813 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8577024 140729063330226 140729063330402 140729063330402 140729063333839 0
[pid=23372/tid=23380] ppid=23370 vsize=13980732 memory=281068029498880 CPUtime=0 cores=1,3,5,7
/proc/23372/task/23380/stat : 23380 (java) S 23370 23370 17292 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 11386752 14316269568 50393 18446744073709551615 4194304 4196468 140729063326336 139854475937136 139855292761813 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8577024 140729063330226 140729063330402 140729063330402 140729063333839 0
[pid=23372/tid=23381] ppid=23370 vsize=13980732 memory=6540 CPUtime=0 cores=1,3,5,7
/proc/23372/task/23381/stat : 23381 (java) S 23370 23370 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11386754 14316269568 50393 18446744073709551615 4194304 4196468 140729063326336 139854474885456 139855292770203 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8577024 140729063330226 140729063330402 140729063330402 140729063333839 0
[pid=23372/tid=23382] ppid=23370 vsize=13980732 memory=16444 CPUtime=1.02 cores=1,3,5,7
/proc/23372/task/23382/stat : 23382 (java) S 23370 23370 17292 0 -1 1077944384 6041 0 0 0 102 0 0 0 20 0 15 0 11386754 14316269568 50393 18446744073709551615 4194304 4196468 140729063326336 139854473832816 139855292762754 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8577024 140729063330226 140729063330402 140729063330402 140729063333839 0
[pid=23372/tid=23383] ppid=23370 vsize=13980732 memory=4012 CPUtime=1.12 cores=1,3,5,7
/proc/23372/task/23383/stat : 23383 (java) S 23370 23370 17292 0 -1 1077944384 7401 0 0 0 112 0 0 0 20 0 15 0 11386754 14316269568 50393 18446744073709551615 4194304 4196468 140729063326336 139854472780016 139855292762754 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8577024 140729063330226 140729063330402 140729063330402 140729063333839 0
[pid=23372/tid=23384] ppid=23370 vsize=13980732 memory=636 CPUtime=0.49 cores=1,3,5,7
/proc/23372/task/23384/stat : 23384 (java) S 23370 23370 17292 0 -1 1077944384 5966 0 0 0 48 1 0 0 20 0 15 0 11386754 14316269568 50393 18446744073709551615 4194304 4196468 140729063326336 139854471727216 139855292762754 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 3 0 0 6293624 6294260 8577024 140729063330226 140729063330402 140729063330402 140729063333839 0
[pid=23372/tid=23385] ppid=23370 vsize=13980732 memory=1792 CPUtime=0 cores=1,3,5,7
/proc/23372/task/23385/stat : 23385 (java) S 23370 23370 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11386754 14316269568 50393 18446744073709551615 4194304 4196468 140729063326336 139854402808032 139855292761813 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8577024 140729063330226 140729063330402 140729063330402 140729063333839 0
[pid=23372/tid=23386] ppid=23370 vsize=13980732 memory=952 CPUtime=0.01 cores=1,3,5,7
/proc/23372/task/23386/stat : 23386 (java) S 23370 23370 17292 0 -1 1077944384 428 0 0 0 0 1 0 0 20 0 15 0 11386758 14316269568 50393 18446744073709551615 4194304 4196468 140729063326336 139854401756336 139855292762754 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 10 0 0 6293624 6294260 8577024 140729063330226 140729063330402 140729063330402 140729063333839 0
Current children cumulated CPU time: 87.37 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 202952 KiB
[startup+85.2007 s]
/proc/loadavg: 2.18 2.19 2.09 3/214 23402
/proc/meminfo: memFree=27332472/32770624 swapFree=67108860/67108860
[pid=23370] ppid=23367 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/23370/stat : 23370 (xcsp3-exec) S 23367 23370 17292 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 11386741 9740288 345 18446744073709551615 4194304 5098028 140722246293792 140722246291896 140141164614268 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 7 0 0 7196144 7232144 30269440 140722246295929 140722246296134 140722246296134 140722246299627 0
/proc/23370/statm: 2378 345 289 221 0 87 0
[pid=23372] ppid=23370 vsize=13980732 memory=201572 CPUtime=87.77 cores=1,3,5,7
/proc/23372/stat : 23372 (java) S 23370 23370 17292 0 -1 1077944320 35515 0 0 0 8768 9 0 0 20 0 15 0 11386749 14316269568 50393 18446744073709551615 4194304 4196468 140729063326336 140729063308880 139855292751607 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 8577024 140729063330226 140729063330402 140729063330402 140729063333839 0
/proc/23372/statm: 3495183 50393 3237 1 0 3483476 0
[pid=23372/tid=23373] ppid=23370 vsize=13980732 memory=281068029391928 CPUtime=85.04 cores=1,3,5,7
/proc/23372/task/23373/stat : 23373 (java) R 23370 23370 17292 0 -1 4202560 11682 0 0 0 8500 4 0 0 20 0 15 0 11386749 14316269568 50393 18446744073709551615 4194304 4196468 140729063326336 139855296988408 139854894089376 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 8577024 140729063330226 140729063330402 140729063330402 140729063333839 0
[pid=23372/tid=23374] ppid=23370 vsize=13980732 memory=104724996043764 CPUtime=0 cores=1,3,5,7
/proc/23372/task/23374/stat : 23374 (java) S 23370 23370 17292 0 -1 1077944384 796 0 0 0 0 0 0 0 20 0 15 0 11386750 14316269568 50393 18446744073709551615 4194304 4196468 140729063326336 139855212165776 139855292761813 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8577024 140729063330226 140729063330402 140729063330402 140729063333839 0
[pid=23372/tid=23375] ppid=23370 vsize=13980732 memory=281068029394200 CPUtime=0 cores=1,3,5,7
/proc/23372/task/23375/stat : 23375 (java) S 23370 23370 17292 0 -1 1077944384 132 0 0 0 0 0 0 0 20 0 15 0 11386750 14316269568 50393 18446744073709551615 4194304 4196468 140729063326336 139855211112976 139855292761813 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8577024 140729063330226 140729063330402 140729063330402 140729063333839 0
[pid=23372/tid=23376] ppid=23370 vsize=13980732 memory=281068029396472 CPUtime=0 cores=1,3,5,7
/proc/23372/task/23376/stat : 23376 (java) S 23370 23370 17292 0 -1 1077944384 794 0 0 0 0 0 0 0 20 0 15 0 11386750 14316269568 50393 18446744073709551615 4194304 4196468 140729063326336 139855210060176 139855292761813 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8577024 140729063330226 140729063330402 140729063330402 140729063333839 0
[pid=23372/tid=23377] ppid=23370 vsize=13980732 memory=281068029398744 CPUtime=0 cores=1,3,5,7
/proc/23372/task/23377/stat : 23377 (java) S 23370 23370 17292 0 -1 1077944384 136 0 0 0 0 0 0 0 20 0 15 0 11386750 14316269568 50393 18446744073709551615 4194304 4196468 140729063326336 139854889347344 139855292761813 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8577024 140729063330226 140729063330402 140729063330402 140729063333839 0
[pid=23372/tid=23378] ppid=23370 vsize=13980732 memory=281068029401016 CPUtime=0 cores=1,3,5,7
/proc/23372/task/23378/stat : 23378 (java) S 23370 23370 17292 0 -1 1077944384 778 0 0 0 0 0 0 0 20 0 15 0 11386751 14316269568 50393 18446744073709551615 4194304 4196468 140729063326336 139854478044016 139855292762754 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8577024 140729063330226 140729063330402 140729063330402 140729063333839 0
[pid=23372/tid=23379] ppid=23370 vsize=13980732 memory=281068029403288 CPUtime=0 cores=1,3,5,7
/proc/23372/task/23379/stat : 23379 (java) S 23370 23370 17292 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 15 0 11386751 14316269568 50393 18446744073709551615 4194304 4196468 140729063326336 139854476989984 139855292761813 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8577024 140729063330226 140729063330402 140729063330402 140729063333839 0
[pid=23372/tid=23380] ppid=23370 vsize=13980732 memory=281068029405560 CPUtime=0 cores=1,3,5,7
/proc/23372/task/23380/stat : 23380 (java) S 23370 23370 17292 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 11386752 14316269568 50393 18446744073709551615 4194304 4196468 140729063326336 139854475937136 139855292761813 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8577024 140729063330226 140729063330402 140729063330402 140729063333839 0
[pid=23372/tid=23381] ppid=23370 vsize=13980732 memory=281068029407832 CPUtime=0 cores=1,3,5,7
/proc/23372/task/23381/stat : 23381 (java) S 23370 23370 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11386754 14316269568 50393 18446744073709551615 4194304 4196468 140729063326336 139854474885456 139855292770203 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8577024 140729063330226 140729063330402 140729063330402 140729063333839 0
[pid=23372/tid=23382] ppid=23370 vsize=13980732 memory=281068029410104 CPUtime=1.02 cores=1,3,5,7
/proc/23372/task/23382/stat : 23382 (java) S 23370 23370 17292 0 -1 1077944384 6041 0 0 0 102 0 0 0 20 0 15 0 11386754 14316269568 50393 18446744073709551615 4194304 4196468 140729063326336 139854473832816 139855292762754 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8577024 140729063330226 140729063330402 140729063330402 140729063333839 0
[pid=23372/tid=23383] ppid=23370 vsize=13980732 memory=281068029412376 CPUtime=1.12 cores=1,3,5,7
/proc/23372/task/23383/stat : 23383 (java) S 23370 23370 17292 0 -1 1077944384 7401 0 0 0 112 0 0 0 20 0 15 0 11386754 14316269568 50393 18446744073709551615 4194304 4196468 140729063326336 139854472780016 139855292762754 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8577024 140729063330226 140729063330402 140729063330402 140729063333839 0
[pid=23372/tid=23384] ppid=23370 vsize=13980732 memory=281068029414648 CPUtime=0.49 cores=1,3,5,7
/proc/23372/task/23384/stat : 23384 (java) S 23370 23370 17292 0 -1 1077944384 5966 0 0 0 48 1 0 0 20 0 15 0 11386754 14316269568 50393 18446744073709551615 4194304 4196468 140729063326336 139854471727216 139855292762754 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 3 0 0 6293624 6294260 8577024 140729063330226 140729063330402 140729063330402 140729063333839 0
[pid=23372/tid=23385] ppid=23370 vsize=13980732 memory=281068029416920 CPUtime=0 cores=1,3,5,7
/proc/23372/task/23385/stat : 23385 (java) S 23370 23370 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11386754 14316269568 50393 18446744073709551615 4194304 4196468 140729063326336 139854402808032 139855292761813 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8577024 140729063330226 140729063330402 140729063330402 140729063333839 0
[pid=23372/tid=23386] ppid=23370 vsize=13980732 memory=281068029419672 CPUtime=0.01 cores=1,3,5,7
/proc/23372/task/23386/stat : 23386 (java) S 23370 23370 17292 0 -1 1077944384 428 0 0 0 0 1 0 0 20 0 15 0 11386758 14316269568 50393 18446744073709551615 4194304 4196468 140729063326336 139854401756336 139855292762754 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 10 0 0 6293624 6294260 8577024 140729063330226 140729063330402 140729063330402 140729063333839 0
Current children cumulated CPU time: 87.77 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 202952 KiB
[startup+85.6006 s]
/proc/loadavg: 2.18 2.19 2.09 3/214 23402
/proc/meminfo: memFree=27332472/32770624 swapFree=67108860/67108860
[pid=23370] ppid=23367 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/23370/stat : 23370 (xcsp3-exec) S 23367 23370 17292 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 11386741 9740288 345 18446744073709551615 4194304 5098028 140722246293792 140722246291896 140141164614268 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 7 0 0 7196144 7232144 30269440 140722246295929 140722246296134 140722246296134 140722246299627 0
/proc/23370/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 9512 KiB
Current children cumulated memory: 1380 KiB
Child status: 0
Real time (s): 85.602
CPU time (s): 88.1878
CPU user time (s): 88.0867
CPU system time (s): 0.101077
CPU usage (%): 103.021
Max. virtual memory (cumulated for all children) (KiB): 13990244
Max. memory (cumulated for all children) (KiB): 202952
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 88.0867
system time used= 0.101077
maximum resident set size= 201792
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 36552
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= 4237
involuntary context switches= 61
# summary of solver processes directly reported to runsolver:
# pid: 23370
# total CPU time (s): 88.1878
# total CPU user time (s): 88.0867
# total CPU system time (s): 0.101077
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.482491 second user time and 0.818773 second system time
The end