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 (13792 MiB free)
memory of node 1: 16384 MiB (15344 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4272591-1502768770/watcher-4272591-1502768770 -o /tmp/evaluation-result-4272591-1502768770/solver-4272591-1502768770 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node125-1502662595-11629 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 397892438 HOME/instance-4272591-1502768770.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=32072, runsolver pid=32069
Current StackSize limit: 8192 KiB
[startup+0.100059 s]*
/proc/loadavg: 1.53 1.61 1.66 2/199 32075
/proc/meminfo: memFree=29833052/32770624 swapFree=67108860/67108860
[pid=32072] ppid=32069 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/32072/stat : 32072 (xcsp3-exec) S 32069 32072 897 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 79097777 9740288 345 18446744073709551615 4194304 5098028 140728014612832 140728014610936 140260403368572 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 9 0 0 7196144 7232144 34414592 140728014614905 140728014615109 140728014615109 140728014618603 0
/proc/32072/statm: 2378 345 289 221 0 87 0
[pid=32074] ppid=32072 vsize=13358712 memory=14104 CPUtime=0 cores=1,3,5,7
/proc/32074/stat : 32074 (java) S 32072 32072 897 0 -1 1077944320 3297 0 0 0 0 0 0 0 20 0 6 0 79097786 13679321088 3526 18446744073709551615 4194304 4196468 140728739167872 140728739150416 140703357423351 0 0 1 16784584 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 7663616 140728739176881 140728739177057 140728739177057 140728739180495 0
/proc/32074/statm: 3339678 3526 1892 1 0 3329175 0
[pid=32074/tid=32075] ppid=32072 vsize=13358712 memory=7311146985107750967 CPUtime=0 cores=1,3,5,7
/proc/32074/task/32075/stat : 32075 (java) R 32072 32072 897 0 -1 4202560 2059 0 0 0 0 0 0 0 20 0 6 0 79097786 13679321088 3526 18446744073709551615 4194304 4196468 140728739167872 140703361659472 140703341503838 0 4 1 16784584 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7663616 140728739176881 140728739177057 140728739177057 140728739180495 0
[pid=32074/tid=32076] ppid=32072 vsize=13358712 memory=12619 CPUtime=0 cores=1,3,5,7
/proc/32074/task/32076/stat : 32076 (java) S 32072 32072 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 79097787 13679321088 3526 18446744073709551615 4194304 4196468 140728739167872 140703276837776 140703357433557 0 4 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7663616 140728739176881 140728739177057 140728739177057 140728739180495 0
[pid=32074/tid=32077] ppid=32072 vsize=13358712 memory=140298369128930 CPUtime=0 cores=1,3,5,7
/proc/32074/task/32077/stat : 32077 (java) S 32072 32072 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 79097787 13679321088 3526 18446744073709551615 4194304 4196468 140728739167872 140703275784976 140703357433557 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7663616 140728739176881 140728739177057 140728739177057 140728739180495 0
[pid=32074/tid=32078] ppid=32072 vsize=13358712 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32074/task/32078/stat : 32078 (java) S 32072 32072 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 79097787 13679321088 3526 18446744073709551615 4194304 4196468 140728739167872 140703274732688 140703357433557 0 4 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7663616 140728739176881 140728739177057 140728739177057 140728739180495 0
[pid=32074/tid=32079] ppid=32072 vsize=13358712 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32074/task/32079/stat : 32079 (java) S 32072 32072 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 79097787 13679321088 3526 18446744073709551615 4194304 4196468 140728739167872 140703273679888 140703357433557 0 4 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7663616 140728739176881 140728739177057 140728739177057 140728739180495 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 13368224 KiB
Current children cumulated memory: 15484 KiB
[startup+0.212388 s]*
/proc/loadavg: 1.53 1.61 1.66 3/212 32088
/proc/meminfo: memFree=29824980/32770624 swapFree=67108860/67108860
[pid=32072] ppid=32069 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/32072/stat : 32072 (xcsp3-exec) S 32069 32072 897 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 79097777 9740288 345 18446744073709551615 4194304 5098028 140728014612832 140728014610936 140260403368572 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 9 0 0 7196144 7232144 34414592 140728014614905 140728014615109 140728014615109 140728014618603 0
/proc/32072/statm: 2378 345 289 221 0 87 0
[pid=32074] ppid=32072 vsize=13974352 memory=26564 CPUtime=0.08 cores=1,3,5,7
/proc/32074/stat : 32074 (java) S 32072 32072 897 0 -1 1077944320 5050 0 0 0 7 1 0 0 20 0 15 0 79097786 14309736448 6641 18446744073709551615 4194304 4196468 140728739167872 140728739150416 140703357423351 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 7663616 140728739176881 140728739177057 140728739177057 140728739180495 0
/proc/32074/statm: 3493588 6641 2729 1 0 3482964 0
[pid=32074/tid=32075] ppid=32072 vsize=13974352 memory=7311146985107750967 CPUtime=0.06 cores=1,3,5,7
/proc/32074/task/32075/stat : 32075 (java) R 32072 32072 897 0 -1 4202560 3204 0 0 0 6 0 0 0 20 0 15 0 79097786 14309736448 6641 18446744073709551615 4194304 4196468 140728739167872 140703361654912 140703350101365 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 7663616 140728739176881 140728739177057 140728739177057 140728739180495 0
[pid=32074/tid=32076] ppid=32072 vsize=13974352 memory=12619 CPUtime=0 cores=1,3,5,7
/proc/32074/task/32076/stat : 32076 (java) S 32072 32072 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 79097787 14309736448 6641 18446744073709551615 4194304 4196468 140728739167872 140703276837776 140703357433557 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7663616 140728739176881 140728739177057 140728739177057 140728739180495 0
[pid=32074/tid=32077] ppid=32072 vsize=13974352 memory=140298369128930 CPUtime=0 cores=1,3,5,7
/proc/32074/task/32077/stat : 32077 (java) S 32072 32072 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 79097787 14309736448 6641 18446744073709551615 4194304 4196468 140728739167872 140703275784976 140703357433557 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7663616 140728739176881 140728739177057 140728739177057 140728739180495 0
[pid=32074/tid=32078] ppid=32072 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32074/task/32078/stat : 32078 (java) S 32072 32072 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 79097787 14309736448 6641 18446744073709551615 4194304 4196468 140728739167872 140703274732688 140703357433557 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7663616 140728739176881 140728739177057 140728739177057 140728739180495 0
[pid=32074/tid=32079] ppid=32072 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32074/task/32079/stat : 32079 (java) S 32072 32072 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 79097787 14309736448 6641 18446744073709551615 4194304 4196468 140728739167872 140703273679888 140703357433557 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7663616 140728739176881 140728739177057 140728739177057 140728739180495 0
[pid=32074/tid=32080] ppid=32072 vsize=13974352 memory=140298369099392 CPUtime=0 cores=1,3,5,7
/proc/32074/task/32080/stat : 32080 (java) S 32072 32072 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 79097788 14309736448 6641 18446744073709551615 4194304 4196468 140728739167872 140702835542128 140703357434498 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7663616 140728739176881 140728739177057 140728739177057 140728739180495 0
[pid=32074/tid=32081] ppid=32072 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32074/task/32081/stat : 32081 (java) S 32072 32072 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 79097789 14309736448 6641 18446744073709551615 4194304 4196468 140728739167872 140702834488096 140703357433557 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7663616 140728739176881 140728739177057 140728739177057 140728739180495 0
[pid=32074/tid=32082] ppid=32072 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32074/task/32082/stat : 32082 (java) S 32072 32072 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 79097789 14309736448 6641 18446744073709551615 4194304 4196468 140728739167872 140702833435760 140703357433557 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7663616 140728739176881 140728739177057 140728739177057 140728739180495 0
[pid=32074/tid=32083] ppid=32072 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32074/task/32083/stat : 32083 (java) S 32072 32072 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 79097791 14309736448 6641 18446744073709551615 4194304 4196468 140728739167872 140702832384080 140703357441947 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7663616 140728739176881 140728739177057 140728739177057 140728739180495 0
[pid=32074/tid=32084] ppid=32072 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32074/task/32084/stat : 32084 (java) S 32072 32072 897 0 -1 1077944384 299 0 0 0 0 0 0 0 20 0 15 0 79097791 14309736448 6641 18446744073709551615 4194304 4196468 140728739167872 140702831331952 140703357434498 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7663616 140728739176881 140728739177057 140728739177057 140728739180495 0
[pid=32074/tid=32085] ppid=32072 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32074/task/32085/stat : 32085 (java) S 32072 32072 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 79097791 14309736448 6641 18446744073709551615 4194304 4196468 140728739167872 140702830279152 140703357434498 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7663616 140728739176881 140728739177057 140728739177057 140728739180495 0
[pid=32074/tid=32086] ppid=32072 vsize=13974352 memory=140298369099392 CPUtime=0 cores=1,3,5,7
/proc/32074/task/32086/stat : 32086 (java) S 32072 32072 897 0 -1 1077944384 240 0 0 0 0 0 0 0 20 0 15 0 79097791 14309736448 6641 18446744073709551615 4194304 4196468 140728739167872 140702829226864 140703357434498 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7663616 140728739176881 140728739177057 140728739177057 140728739180495 0
[pid=32074/tid=32087] ppid=32072 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32074/task/32087/stat : 32087 (java) S 32072 32072 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 79097792 14309736448 6641 18446744073709551615 4194304 4196468 140728739167872 140702828174304 140703357433557 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7663616 140728739176881 140728739177057 140728739177057 140728739180495 0
[pid=32074/tid=32088] ppid=32072 vsize=13974352 memory=140298369099392 CPUtime=0 cores=1,3,5,7
/proc/32074/task/32088/stat : 32088 (java) S 32072 32072 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 79097797 14309736448 6641 18446744073709551615 4194304 4196468 140728739167872 140702827121072 140703357434498 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7663616 140728739176881 140728739177057 140728739177057 140728739180495 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 27944 KiB
[startup+0.310229 s]*
/proc/loadavg: 1.53 1.61 1.66 4/212 32088
/proc/meminfo: memFree=29809332/32770624 swapFree=67108860/67108860
[pid=32072] ppid=32069 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/32072/stat : 32072 (xcsp3-exec) S 32069 32072 897 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 79097777 9740288 345 18446744073709551615 4194304 5098028 140728014612832 140728014610936 140260403368572 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 9 0 0 7196144 7232144 34414592 140728014614905 140728014615109 140728014615109 140728014618603 0
/proc/32072/statm: 2378 345 289 221 0 87 0
[pid=32074] ppid=32072 vsize=13974352 memory=37128 CPUtime=0.26 cores=1,3,5,7
/proc/32074/stat : 32074 (java) S 32072 32072 897 0 -1 1077944320 8857 0 0 0 23 3 0 0 20 0 15 0 79097786 14309736448 9282 18446744073709551615 4194304 4196468 140728739167872 140728739150416 140703357423351 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 7663616 140728739176881 140728739177057 140728739177057 140728739180495 0
/proc/32074/statm: 3493588 9282 2988 1 0 3482964 0
[pid=32074/tid=32075] ppid=32072 vsize=13974352 memory=-8774313645642428999 CPUtime=0.16 cores=1,3,5,7
/proc/32074/task/32075/stat : 32075 (java) R 32072 32072 897 0 -1 4202560 6065 0 0 0 14 2 0 0 20 0 15 0 79097786 14309736448 9282 18446744073709551615 4194304 4196468 140728739167872 140703361645728 140703341503838 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 7663616 140728739176881 140728739177057 140728739177057 140728739180495 0
[pid=32074/tid=32076] ppid=32072 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32074/task/32076/stat : 32076 (java) S 32072 32072 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 79097787 14309736448 9282 18446744073709551615 4194304 4196468 140728739167872 140703276837776 140703357433557 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7663616 140728739176881 140728739177057 140728739177057 140728739180495 0
[pid=32074/tid=32077] ppid=32072 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32074/task/32077/stat : 32077 (java) S 32072 32072 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 79097787 14309736448 9282 18446744073709551615 4194304 4196468 140728739167872 140703275784976 140703357433557 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7663616 140728739176881 140728739177057 140728739177057 140728739180495 0
[pid=32074/tid=32078] ppid=32072 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32074/task/32078/stat : 32078 (java) S 32072 32072 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 79097787 14309736448 9282 18446744073709551615 4194304 4196468 140728739167872 140703274732688 140703357433557 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7663616 140728739176881 140728739177057 140728739177057 140728739180495 0
[pid=32074/tid=32079] ppid=32072 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32074/task/32079/stat : 32079 (java) S 32072 32072 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 79097787 14309736448 9282 18446744073709551615 4194304 4196468 140728739167872 140703273679888 140703357433557 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7663616 140728739176881 140728739177057 140728739177057 140728739180495 0
[pid=32074/tid=32080] ppid=32072 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32074/task/32080/stat : 32080 (java) S 32072 32072 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 79097788 14309736448 9282 18446744073709551615 4194304 4196468 140728739167872 140702835542128 140703357434498 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7663616 140728739176881 140728739177057 140728739177057 140728739180495 0
[pid=32074/tid=32081] ppid=32072 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32074/task/32081/stat : 32081 (java) S 32072 32072 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 79097789 14309736448 9282 18446744073709551615 4194304 4196468 140728739167872 140702834488096 140703357433557 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7663616 140728739176881 140728739177057 140728739177057 140728739180495 0
[pid=32074/tid=32082] ppid=32072 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32074/task/32082/stat : 32082 (java) S 32072 32072 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 79097789 14309736448 9282 18446744073709551615 4194304 4196468 140728739167872 140702833435760 140703357433557 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7663616 140728739176881 140728739177057 140728739177057 140728739180495 0
[pid=32074/tid=32083] ppid=32072 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32074/task/32083/stat : 32083 (java) S 32072 32072 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 79097791 14309736448 9282 18446744073709551615 4194304 4196468 140728739167872 140702832384080 140703357441947 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7663616 140728739176881 140728739177057 140728739177057 140728739180495 0
[pid=32074/tid=32084] ppid=32072 vsize=13974352 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/32074/task/32084/stat : 32084 (java) R 32072 32072 897 0 -1 4202560 602 0 0 0 2 0 0 0 20 0 15 0 79097791 14309736448 9282 18446744073709551615 4194304 4196468 140728739167872 140702831331952 140703337111227 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7663616 140728739176881 140728739177057 140728739177057 140728739180495 0
[pid=32074/tid=32085] ppid=32072 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32074/task/32085/stat : 32085 (java) S 32072 32072 897 0 -1 1077944384 178 0 0 0 0 0 0 0 20 0 15 0 79097791 14309736448 9282 18446744073709551615 4194304 4196468 140728739167872 140702830279152 140703357434498 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7663616 140728739176881 140728739177057 140728739177057 140728739180495 0
[pid=32074/tid=32086] ppid=32072 vsize=13974352 memory=140298369099392 CPUtime=0.05 cores=1,3,5,7
/proc/32074/task/32086/stat : 32086 (java) S 32072 32072 897 0 -1 1077944384 709 0 0 0 5 0 0 0 20 0 15 0 79097791 14309736448 9282 18446744073709551615 4194304 4196468 140728739167872 140702829226864 140703357434498 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7663616 140728739176881 140728739177057 140728739177057 140728739180495 0
[pid=32074/tid=32087] ppid=32072 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32074/task/32087/stat : 32087 (java) S 32072 32072 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 79097792 14309736448 9282 18446744073709551615 4194304 4196468 140728739167872 140702828174304 140703357433557 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7663616 140728739176881 140728739177057 140728739177057 140728739180495 0
[pid=32074/tid=32088] ppid=32072 vsize=13974352 memory=140298369099392 CPUtime=0 cores=1,3,5,7
/proc/32074/task/32088/stat : 32088 (java) S 32072 32072 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 79097797 14309736448 9282 18446744073709551615 4194304 4196468 140728739167872 140702827121072 140703357434498 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7663616 140728739176881 140728739177057 140728739177057 140728739180495 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 38508 KiB
[startup+0.700844 s]
/proc/loadavg: 1.57 1.62 1.66 5/212 32088
/proc/meminfo: memFree=29793780/32770624 swapFree=67108860/67108860
[pid=32072] ppid=32069 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/32072/stat : 32072 (xcsp3-exec) S 32069 32072 897 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 79097777 9740288 345 18446744073709551615 4194304 5098028 140728014612832 140728014610936 140260403368572 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 9 0 0 7196144 7232144 34414592 140728014614905 140728014615109 140728014615109 140728014618603 0
/proc/32072/statm: 2378 345 289 221 0 87 0
[pid=32074] ppid=32072 vsize=13978684 memory=86444 CPUtime=1.35 cores=1,3,5,7
/proc/32074/stat : 32074 (java) S 32072 32072 897 0 -1 1077944320 13298 0 0 0 130 5 0 0 20 0 15 0 79097786 14314172416 21611 18446744073709551615 4194304 4196468 140728739167872 140728739150416 140703357423351 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 7663616 140728739176881 140728739177057 140728739177057 140728739180495 0
/proc/32074/statm: 3494671 21611 3166 1 0 3482964 0
[pid=32074/tid=32075] ppid=32072 vsize=13978684 memory=7301550361408716898 CPUtime=0.54 cores=1,3,5,7
/proc/32074/task/32075/stat : 32075 (java) R 32072 32072 897 0 -1 4202560 7839 0 0 0 51 3 0 0 20 0 15 0 79097786 14314172416 21611 18446744073709551615 4194304 4196468 140728739167872 140703361659872 140702947514998 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 7663616 140728739176881 140728739177057 140728739177057 140728739180495 0
[pid=32074/tid=32076] ppid=32072 vsize=13978684 memory=2452 CPUtime=0 cores=1,3,5,7
/proc/32074/task/32076/stat : 32076 (java) S 32072 32072 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 79097787 14314172416 21611 18446744073709551615 4194304 4196468 140728739167872 140703276837776 140703357433557 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7663616 140728739176881 140728739177057 140728739177057 140728739180495 0
[pid=32074/tid=32077] ppid=32072 vsize=13978684 memory=280596521694720 CPUtime=0 cores=1,3,5,7
/proc/32074/task/32077/stat : 32077 (java) S 32072 32072 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 79097787 14314172416 21611 18446744073709551615 4194304 4196468 140728739167872 140703275784976 140703357433557 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7663616 140728739176881 140728739177057 140728739177057 140728739180495 0
[pid=32074/tid=32078] ppid=32072 vsize=13978684 memory=4116 CPUtime=0 cores=1,3,5,7
/proc/32074/task/32078/stat : 32078 (java) S 32072 32072 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 79097787 14314172416 21611 18446744073709551615 4194304 4196468 140728739167872 140703274732688 140703357433557 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7663616 140728739176881 140728739177057 140728739177057 140728739180495 0
[pid=32074/tid=32079] ppid=32072 vsize=13978684 memory=6657 CPUtime=0 cores=1,3,5,7
/proc/32074/task/32079/stat : 32079 (java) S 32072 32072 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 79097787 14314172416 21611 18446744073709551615 4194304 4196468 140728739167872 140703273679888 140703357433557 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7663616 140728739176881 140728739177057 140728739177057 140728739180495 0
[pid=32074/tid=32080] ppid=32072 vsize=13978684 memory=4420 CPUtime=0 cores=1,3,5,7
/proc/32074/task/32080/stat : 32080 (java) S 32072 32072 897 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 79097788 14314172416 21611 18446744073709551615 4194304 4196468 140728739167872 140702835542128 140703357434498 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7663616 140728739176881 140728739177057 140728739177057 140728739180495 0
[pid=32074/tid=32081] ppid=32072 vsize=13978684 memory=6628 CPUtime=0 cores=1,3,5,7
/proc/32074/task/32081/stat : 32081 (java) S 32072 32072 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 79097789 14314172416 21611 18446744073709551615 4194304 4196468 140728739167872 140702834488096 140703357433557 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7663616 140728739176881 140728739177057 140728739177057 140728739180495 0
[pid=32074/tid=32082] ppid=32072 vsize=13978684 memory=6660 CPUtime=0 cores=1,3,5,7
/proc/32074/task/32082/stat : 32082 (java) S 32072 32072 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 79097789 14314172416 21611 18446744073709551615 4194304 4196468 140728739167872 140702833435760 140703357433557 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7663616 140728739176881 140728739177057 140728739177057 140728739180495 0
[pid=32074/tid=32083] ppid=32072 vsize=13978684 memory=33 CPUtime=0 cores=1,3,5,7
/proc/32074/task/32083/stat : 32083 (java) S 32072 32072 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 79097791 14314172416 21611 18446744073709551615 4194304 4196468 140728739167872 140702832384080 140703357441947 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7663616 140728739176881 140728739177057 140728739177057 140728739180495 0
[pid=32074/tid=32084] ppid=32072 vsize=13978684 memory=0 CPUtime=0.26 cores=1,3,5,7
/proc/32074/task/32084/stat : 32084 (java) R 32072 32072 897 0 -1 4202560 1751 0 0 0 26 0 0 0 20 0 15 0 79097791 14314172416 21611 18446744073709551615 4194304 4196468 140728739167872 140702831316464 140703335018256 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7663616 140728739176881 140728739177057 140728739177057 140728739180495 0
[pid=32074/tid=32085] ppid=32072 vsize=13978684 memory=0 CPUtime=0.24 cores=1,3,5,7
/proc/32074/task/32085/stat : 32085 (java) R 32072 32072 897 0 -1 4202560 822 0 0 0 24 0 0 0 20 0 15 0 79097791 14314172416 21611 18446744073709551615 4194304 4196468 140728739167872 140702830269296 140703340923757 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7663616 140728739176881 140728739177057 140728739177057 140728739180495 0
[pid=32074/tid=32086] ppid=32072 vsize=13978684 memory=0 CPUtime=0.27 cores=1,3,5,7
/proc/32074/task/32086/stat : 32086 (java) S 32072 32072 897 0 -1 1077944384 1577 0 0 0 27 0 0 0 20 0 15 0 79097791 14314172416 21611 18446744073709551615 4194304 4196468 140728739167872 140702829226864 140703357434498 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7663616 140728739176881 140728739177057 140728739177057 140728739180495 0
[pid=32074/tid=32087] ppid=32072 vsize=13978684 memory=6655300316396806240 CPUtime=0 cores=1,3,5,7
/proc/32074/task/32087/stat : 32087 (java) S 32072 32072 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 79097792 14314172416 21611 18446744073709551615 4194304 4196468 140728739167872 140702828174304 140703357433557 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7663616 140728739176881 140728739177057 140728739177057 140728739180495 0
[pid=32074/tid=32088] ppid=32072 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32074/task/32088/stat : 32088 (java) R 32072 32072 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 79097797 14314172416 21611 18446744073709551615 4194304 4196468 140728739167872 140702827121072 140703357434498 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 7663616 140728739176881 140728739177057 140728739177057 140728739180495 0
Current children cumulated CPU time: 1.35 s
Current children cumulated vsize: 13988196 KiB
Current children cumulated memory: 87824 KiB
[startup+1.50071 s]
/proc/loadavg: 1.57 1.62 1.66 3/212 32088
/proc/meminfo: memFree=29745872/32770624 swapFree=67108860/67108860
[pid=32072] ppid=32069 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/32072/stat : 32072 (xcsp3-exec) S 32069 32072 897 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 79097777 9740288 345 18446744073709551615 4194304 5098028 140728014612832 140728014610936 140260403368572 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 9 0 0 7196144 7232144 34414592 140728014614905 140728014615109 140728014615109 140728014618603 0
/proc/32072/statm: 2378 345 289 221 0 87 0
[pid=32074] ppid=32072 vsize=13978684 memory=108340 CPUtime=2.56 cores=1,3,5,7
/proc/32074/stat : 32074 (java) S 32072 32072 897 0 -1 1077944320 14649 0 0 0 251 5 0 0 20 0 15 0 79097786 14314172416 27085 18446744073709551615 4194304 4196468 140728739167872 140728739150416 140703357423351 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 7663616 140728739176881 140728739177057 140728739177057 140728739180495 0
/proc/32074/statm: 3494671 27085 3179 1 0 3482964 0
[pid=32074/tid=32075] ppid=32072 vsize=13978684 memory=280596521692320 CPUtime=1.34 cores=1,3,5,7
/proc/32074/task/32075/stat : 32075 (java) R 32072 32072 897 0 -1 4202560 8108 0 0 0 131 3 0 0 20 0 15 0 79097786 14314172416 27085 18446744073709551615 4194304 4196468 140728739167872 140703361662088 140703339886143 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 7663616 140728739176881 140728739177057 140728739177057 140728739180495 0
[pid=32074/tid=32076] ppid=32072 vsize=13978684 memory=6476810683577 CPUtime=0 cores=1,3,5,7
/proc/32074/task/32076/stat : 32076 (java) S 32072 32072 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 79097787 14314172416 27085 18446744073709551615 4194304 4196468 140728739167872 140703276837776 140703357433557 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7663616 140728739176881 140728739177057 140728739177057 140728739180495 0
[pid=32074/tid=32077] ppid=32072 vsize=13978684 memory=288230617509003574 CPUtime=0 cores=1,3,5,7
/proc/32074/task/32077/stat : 32077 (java) S 32072 32072 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 79097787 14314172416 27085 18446744073709551615 4194304 4196468 140728739167872 140703275784976 140703357433557 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7663616 140728739176881 140728739177057 140728739177057 140728739180495 0
[pid=32074/tid=32078] ppid=32072 vsize=13978684 memory=15536310592997909 CPUtime=0 cores=1,3,5,7
/proc/32074/task/32078/stat : 32078 (java) S 32072 32072 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 79097787 14314172416 27085 18446744073709551615 4194304 4196468 140728739167872 140703274732688 140703357433557 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7663616 140728739176881 140728739177057 140728739177057 140728739180495 0
[pid=32074/tid=32079] ppid=32072 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32074/task/32079/stat : 32079 (java) S 32072 32072 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 79097787 14314172416 27085 18446744073709551615 4194304 4196468 140728739167872 140703273679888 140703357433557 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7663616 140728739176881 140728739177057 140728739177057 140728739180495 0
[pid=32074/tid=32080] ppid=32072 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32074/task/32080/stat : 32080 (java) S 32072 32072 897 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 79097788 14314172416 27085 18446744073709551615 4194304 4196468 140728739167872 140702835542128 140703357434498 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7663616 140728739176881 140728739177057 140728739177057 140728739180495 0
[pid=32074/tid=32081] ppid=32072 vsize=13978684 memory=33 CPUtime=0 cores=1,3,5,7
/proc/32074/task/32081/stat : 32081 (java) S 32072 32072 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 79097789 14314172416 27085 18446744073709551615 4194304 4196468 140728739167872 140702834488096 140703357433557 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7663616 140728739176881 140728739177057 140728739177057 140728739180495 0
[pid=32074/tid=32082] ppid=32072 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
/proc/32072/stat : 32072 (xcsp3-exec) S 32069 32072 897 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 79097777 9740288 345 18446744073709551615 4194304 5098028 140728014612832 140728014610936 140260403368572 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 9 0 0 7196144 7232144 34414592 140728014614905 140728014615109 140728014615109 140728014618603 0
/proc/32072/statm: 2378 345 289 221 0 87 0
[pid=32074] ppid=32072 vsize=13980732 memory=315564 CPUtime=8.22 cores=1,3,5,7
/proc/32074/stat : 32074 (java) S 32072 32072 897 0 -1 1077944320 20047 0 0 0 800 22 0 0 20 0 15 0 79097786 14316269568 78891 18446744073709551615 4194304 4196468 140728739167872 140728739150416 140703357423351 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 7663616 140728739176881 140728739177057 140728739177057 140728739180495 0
/proc/32074/statm: 3495183 78891 3214 1 0 3483476 0
[pid=32074/tid=32075] ppid=32072 vsize=13980732 memory=0 CPUtime=6.13 cores=1,3,5,7
/proc/32074/task/32075/stat : 32075 (java) S 32072 32072 897 0 -1 1077944384 9762 0 0 0 608 5 0 0 20 0 15 0 79097786 14316269568 78891 18446744073709551615 4194304 4196468 140728739167872 140703361661200 140703357433557 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 4 0 0 6293624 6294260 7663616 140728739176881 140728739177057 140728739177057 140728739180495 0
[pid=32074/tid=32076] ppid=32072 vsize=13980732 memory=586 CPUtime=0.1 cores=1,3,5,7
/proc/32074/task/32076/stat : 32076 (java) R 32072 32072 897 0 -1 4202560 275 0 0 0 7 3 0 0 20 0 15 0 79097787 14316269568 78891 18446744073709551615 4194304 4196468 140728739167872 140703276837776 140703342447406 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7663616 140728739176881 140728739177057 140728739177057 140728739180495 0
[pid=32074/tid=32077] ppid=32072 vsize=13980732 memory=8 CPUtime=0.1 cores=1,3,5,7
/proc/32074/task/32077/stat : 32077 (java) R 32072 32072 897 0 -1 4202560 353 0 0 0 7 3 0 0 20 0 15 0 79097787 14316269568 78891 18446744073709551615 4194304 4196468 140728739167872 140703275784976 140703342445472 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7663616 140728739176881 140728739177057 140728739177057 140728739180495 0
[pid=32074/tid=32078] ppid=32072 vsize=13980732 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/32074/task/32078/stat : 32078 (java) R 32072 32072 897 0 -1 4202560 166 0 0 0 7 3 0 0 20 0 15 0 79097787 14316269568 78891 18446744073709551615 4194304 4196468 140728739167872 140703274732888 140703342445472 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 7663616 140728739176881 140728739177057 140728739177057 140728739180495 0
[pid=32074/tid=32079] ppid=32072 vsize=13980732 memory=7302423313861602660 CPUtime=0.11 cores=1,3,5,7
/proc/32074/task/32079/stat : 32079 (java) R 32072 32072 897 0 -1 4202560 201 0 0 0 8 3 0 0 20 0 15 0 79097787 14316269568 78891 18446744073709551615 4194304 4196468 140728739167872 140703273679888 140703342451216 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7663616 140728739176881 140728739177057 140728739177057 140728739180495 0
[pid=32074/tid=32080] ppid=32072 vsize=13980732 memory=6944656591801718942 CPUtime=0 cores=1,3,5,7
/proc/32074/task/32080/stat : 32080 (java) S 32072 32072 897 0 -1 1077944384 231 0 0 0 0 0 0 0 20 0 15 0 79097788 14316269568 78891 18446744073709551615 4194304 4196468 140728739167872 140702835540640 140703357433557 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7663616 140728739176881 140728739177057 140728739177057 140728739180495 0
[pid=32074/tid=32081] ppid=32072 vsize=13980732 memory=6944656592455350634 CPUtime=0 cores=1,3,5,7
/proc/32074/task/32081/stat : 32081 (java) S 32072 32072 897 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 79097789 14316269568 78891 18446744073709551615 4194304 4196468 140728739167872 140702834488096 140703357433557 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7663616 140728739176881 140728739177057 140728739177057 140728739180495 0
[pid=32074/tid=32082] ppid=32072 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32074/task/32082/stat : 32082 (java) S 32072 32072 897 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 79097789 14316269568 78891 18446744073709551615 4194304 4196468 140728739167872 140702833435760 140703357433557 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7663616 140728739176881 140728739177057 140728739177057 140728739180495 0
[pid=32074/tid=32083] ppid=32072 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32074/task/32083/stat : 32083 (java) S 32072 32072 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 79097791 14316269568 78891 18446744073709551615 4194304 4196468 140728739167872 140702832384080 140703357441947 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7663616 140728739176881 140728739177057 140728739177057 140728739180495 0
[pid=32074/tid=32084] ppid=32072 vsize=13980732 memory=0 CPUtime=0.6 cores=1,3,5,7
/proc/32074/task/32084/stat : 32084 (java) S 32072 32072 897 0 -1 1077944384 2898 0 0 0 60 0 0 0 20 0 15 0 79097791 14316269568 78891 18446744073709551615 4194304 4196468 140728739167872 140702831331952 140703357434498 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7663616 140728739176881 140728739177057 140728739177057 140728739180495 0
[pid=32074/tid=32085] ppid=32072 vsize=13980732 memory=0 CPUtime=0.58 cores=1,3,5,7
/proc/32074/task/32085/stat : 32085 (java) S 32072 32072 897 0 -1 1077944384 1846 0 0 0 58 0 0 0 20 0 15 0 79097791 14316269568 78891 18446744073709551615 4194304 4196468 140728739167872 140702830279152 140703357434498 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7663616 140728739176881 140728739177057 140728739177057 140728739180495 0
[pid=32074/tid=32086] ppid=32072 vsize=13980732 memory=0 CPUtime=0.41 cores=1,3,5,7
/proc/32074/task/32086/stat : 32086 (java) S 32072 32072 897 0 -1 1077944384 2830 0 0 0 41 0 0 0 20 0 15 0 79097791 14316269568 78891 18446744073709551615 4194304 4196468 140728739167872 140702829226864 140703357434498 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7663616 140728739176881 140728739177057 140728739177057 140728739180495 0
[pid=32074/tid=32087] ppid=32072 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32074/task/32087/stat : 32087 (java) S 32072 32072 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 79097792 14316269568 78891 18446744073709551615 4194304 4196468 140728739167872 140702828174304 140703357433557 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7663616 140728739176881 140728739177057 140728739177057 140728739180495 0
[pid=32074/tid=32088] ppid=32072 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32074/task/32088/stat : 32088 (java) S 32072 32072 897 0 -1 1077944384 141 0 0 0 0 0 0 0 20 0 15 0 79097797 14316269568 78891 18446744073709551615 4194304 4196468 140728739167872 140702827121072 140703357434498 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 10 0 0 6293624 6294260 7663616 140728739176881 140728739177057 140728739177057 140728739180495 0
Current children cumulated CPU time: 8.22 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 316944 KiB
[startup+7.20084 s]
/proc/loadavg: 1.60 1.62 1.66 3/212 32088
/proc/meminfo: memFree=29500128/32770624 swapFree=67108860/67108860
[pid=32072] ppid=32069 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/32072/stat : 32072 (xcsp3-exec) S 32069 32072 897 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 79097777 9740288 345 18446744073709551615 4194304 5098028 140728014612832 140728014610936 140260403368572 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 9 0 0 7196144 7232144 34414592 140728014614905 140728014615109 140728014615109 140728014618603 0
/proc/32072/statm: 2378 345 289 221 0 87 0
[pid=32074] ppid=32072 vsize=13980732 memory=362688 CPUtime=9.18 cores=1,3,5,7
/proc/32074/stat : 32074 (java) S 32072 32072 897 0 -1 1077944320 20285 0 0 0 890 28 0 0 20 0 15 0 79097786 14316269568 90672 18446744073709551615 4194304 4196468 140728739167872 140728739150416 140703357423351 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 7663616 140728739176881 140728739177057 140728739177057 140728739180495 0
/proc/32074/statm: 3495183 90672 3214 1 0 3483476 0
[pid=32074/tid=32075] ppid=32072 vsize=13980732 memory=1292 CPUtime=6.87 cores=1,3,5,7
/proc/32074/task/32075/stat : 32075 (java) R 32072 32072 897 0 -1 4202560 9763 0 0 0 682 5 0 0 20 0 15 0 79097786 14316269568 90672 18446744073709551615 4194304 4196468 140728739167872 140703361659304 140702948487508 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 7663616 140728739176881 140728739177057 140728739177057 140728739180495 0
[pid=32074/tid=32076] ppid=32072 vsize=13980732 memory=2316 CPUtime=0.15 cores=1,3,5,7
/proc/32074/task/32076/stat : 32076 (java) S 32072 32072 897 0 -1 1077944384 312 0 0 0 10 5 0 0 20 0 15 0 79097787 14316269568 90672 18446744073709551615 4194304 4196468 140728739167872 140703276837776 140703357433557 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7663616 140728739176881 140728739177057 140728739177057 140728739180495 0
[pid=32074/tid=32077] ppid=32072 vsize=13980732 memory=1728 CPUtime=0.16 cores=1,3,5,7
/proc/32074/task/32077/stat : 32077 (java) S 32072 32072 897 0 -1 1077944384 391 0 0 0 11 5 0 0 20 0 15 0 79097787 14316269568 90672 18446744073709551615 4194304 4196468 140728739167872 140703275784976 140703357433557 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7663616 140728739176881 140728739177057 140728739177057 140728739180495 0
[pid=32074/tid=32078] ppid=32072 vsize=13980732 memory=1228 CPUtime=0.16 cores=1,3,5,7
/proc/32074/task/32078/stat : 32078 (java) S 32072 32072 897 0 -1 1077944384 198 0 0 0 11 5 0 0 20 0 15 0 79097787 14316269568 90672 18446744073709551615 4194304 4196468 140728739167872 140703274732688 140703357433557 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7663616 140728739176881 140728739177057 140728739177057 140728739180495 0
[pid=32074/tid=32079] ppid=32072 vsize=13980732 memory=796 CPUtime=0.15 cores=1,3,5,7
/proc/32074/task/32079/stat : 32079 (java) S 32072 32072 897 0 -1 1077944384 240 0 0 0 11 4 0 0 20 0 15 0 79097787 14316269568 90672 18446744073709551615 4194304 4196468 140728739167872 140703273679888 140703357433557 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7663616 140728739176881 140728739177057 140728739177057 140728739180495 0
[pid=32074/tid=32080] ppid=32072 vsize=13980732 memory=5788 CPUtime=0 cores=1,3,5,7
/proc/32074/task/32080/stat : 32080 (java) S 32072 32072 897 0 -1 1077944384 231 0 0 0 0 0 0 0 20 0 15 0 79097788 14316269568 90672 18446744073709551615 4194304 4196468 140728739167872 140702835542128 140703357434498 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7663616 140728739176881 140728739177057 140728739177057 140728739180495 0
[pid=32074/tid=32081] ppid=32072 vsize=13980732 memory=1712 CPUtime=0 cores=1,3,5,7
/proc/32074/task/32081/stat : 32081 (java) S 32072 32072 897 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 79097789 14316269568 90672 18446744073709551615 4194304 4196468 140728739167872 140702834488096 140703357433557 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7663616 140728739176881 140728739177057 140728739177057 140728739180495 0
[pid=32074/tid=32082] ppid=32072 vsize=13980732 memory=4616 CPUtime=0 cores=1,3,5,7
/proc/32074/task/32082/stat : 32082 (java) S 32072 32072 897 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 79097789 14316269568 90672 18446744073709551615 4194304 4196468 140728739167872 140702833435760 140703357433557 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7663616 140728739176881 140728739177057 140728739177057 140728739180495 0
[pid=32074/tid=32083] ppid=32072 vsize=13980732 memory=280596521887168 CPUtime=0 cores=1,3,5,7
/proc/32074/task/32083/stat : 32083 (java) S 32072 32072 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 79097791 14316269568 90672 18446744073709551615 4194304 4196468 140728739167872 140702832384080 140703357441947 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7663616 140728739176881 140728739177057 140728739177057 140728739180495 0
[pid=32074/tid=32084] ppid=32072 vsize=13980732 memory=288230604624101684 CPUtime=0.6 cores=1,3,5,7
/proc/32074/task/32084/stat : 32084 (java) S 32072 32072 897 0 -1 1077944384 2925 0 0 0 60 0 0 0 20 0 15 0 79097791 14316269568 90672 18446744073709551615 4194304 4196468 140728739167872 140702831331952 140703357434498 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7663616 140728739176881 140728739177057 140728739177057 140728739180495 0
[pid=32074/tid=32085] ppid=32072 vsize=13980732 memory=15259242235955558 CPUtime=0.59 cores=1,3,5,7
/proc/32074/task/32085/stat : 32085 (java) S 32072 32072 897 0 -1 1077944384 1910 0 0 0 59 0 0 0 20 0 15 0 79097791 14316269568 90672 18446744073709551615 4194304 4196468 140728739167872 140702830279152 140703357434498 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7663616 140728739176881 140728739177057 140728739177057 140728739180495 0
[pid=32074/tid=32086] ppid=32072 vsize=13980732 memory=0 CPUtime=0.41 cores=1,3,5,7
/proc/32074/task/32086/stat : 32086 (java) S 32072 32072 897 0 -1 1077944384 2830 0 0 0 41 0 0 0 20 0 15 0 79097791 14316269568 90672 18446744073709551615 4194304 4196468 140728739167872 140702829226864 140703357434498 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7663616 140728739176881 140728739177057 140728739177057 140728739180495 0
[pid=32074/tid=32087] ppid=32072 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32074/task/32087/stat : 32087 (java) S 32072 32072 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 79097792 14316269568 90672 18446744073709551615 4194304 4196468 140728739167872 140702828174304 140703357433557 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7663616 140728739176881 140728739177057 140728739177057 140728739180495 0
[pid=32074/tid=32088] ppid=32072 vsize=13980732 memory=2614 CPUtime=0 cores=1,3,5,7
/proc/32074/task/32088/stat : 32088 (java) S 32072 32072 897 0 -1 1077944384 141 0 0 0 0 0 0 0 20 0 15 0 79097797 14316269568 90672 18446744073709551615 4194304 4196468 140728739167872 140702827121072 140703357434498 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 10 0 0 6293624 6294260 7663616 140728739176881 140728739177057 140728739177057 140728739180495 0
Current children cumulated CPU time: 9.18 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 364068 KiB
[startup+7.60077 s]
/proc/loadavg: 1.60 1.62 1.66 3/212 32088
/proc/meminfo: memFree=29500128/32770624 swapFree=67108860/67108860
[pid=32072] ppid=32069 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/32072/stat : 32072 (xcsp3-exec) S 32069 32072 897 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 79097777 9740288 345 18446744073709551615 4194304 5098028 140728014612832 140728014610936 140260403368572 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 9 0 0 7196144 7232144 34414592 140728014614905 140728014615109 140728014615109 140728014618603 0
/proc/32072/statm: 2378 345 289 221 0 87 0
[pid=32074] ppid=32072 vsize=13980732 memory=363948 CPUtime=9.85 cores=1,3,5,7
/proc/32074/stat : 32074 (java) S 32072 32072 897 0 -1 1077944320 21929 0 0 0 957 28 0 0 20 0 15 0 79097786 14316269568 90987 18446744073709551615 4194304 4196468 140728739167872 140728739150416 140703357423351 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 7663616 140728739176881 140728739177057 140728739177057 140728739180495 0
/proc/32074/statm: 3495183 90987 3221 1 0 3483476 0
[pid=32074/tid=32075] ppid=32072 vsize=13980732 memory=15259242235955558 CPUtime=7.27 cores=1,3,5,7
/proc/32074/task/32075/stat : 32075 (java) R 32072 32072 897 0 -1 4202560 10571 0 0 0 722 5 0 0 20 0 15 0 79097786 14316269568 90987 18446744073709551615 4194304 4196468 140728739167872 140703361662480 140702944167022 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 7663616 140728739176881 140728739177057 140728739177057 140728739180495 0
[pid=32074/tid=32076] ppid=32072 vsize=13980732 memory=2 CPUtime=0.15 cores=1,3,5,7
/proc/32074/task/32076/stat : 32076 (java) S 32072 32072 897 0 -1 1077944384 312 0 0 0 10 5 0 0 20 0 15 0 79097787 14316269568 90987 18446744073709551615 4194304 4196468 140728739167872 140703276837776 140703357433557 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7663616 140728739176881 140728739177057 140728739177057 140728739180495 0
[pid=32074/tid=32077] ppid=32072 vsize=13980732 memory=2 CPUtime=0.16 cores=1,3,5,7
/proc/32074/task/32077/stat : 32077 (java) S 32072 32072 897 0 -1 1077944384 391 0 0 0 11 5 0 0 20 0 15 0 79097787 14316269568 90987 18446744073709551615 4194304 4196468 140728739167872 140703275784976 140703357433557 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7663616 140728739176881 140728739177057 140728739177057 140728739180495 0
[pid=32074/tid=32078] ppid=32072 vsize=13980732 memory=1 CPUtime=0.16 cores=1,3,5,7
/proc/32074/task/32078/stat : 32078 (java) S 32072 32072 897 0 -1 1077944384 198 0 0 0 11 5 0 0 20 0 15 0 79097787 14316269568 90987 18446744073709551615 4194304 4196468 140728739167872 140703274732688 140703357433557 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7663616 140728739176881 140728739177057 140728739177057 140728739180495 0
[pid=32074/tid=32079] ppid=32072 vsize=13980732 memory=0 CPUtime=0.15 cores=1,3,5,7
/proc/32074/task/32079/stat : 32079 (java) S 32072 32072 897 0 -1 1077944384 240 0 0 0 11 4 0 0 20 0 15 0 79097787 14316269568 90987 18446744073709551615 4194304 4196468 140728739167872 140703273679888 140703357433557 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7663616 140728739176881 140728739177057 140728739177057 140728739180495 0
[pid=32074/tid=32080] ppid=32072 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32074/task/32080/stat : 32080 (java) S 32072 32072 897 0 -1 1077944384 270 0 0 0 0 0 0 0 20 0 15 0 79097788 14316269568 90987 18446744073709551615 4194304 4196468 140728739167872 140702835542128 140703357434498 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7663616 140728739176881 140728739177057 140728739177057 140728739180495 0
[pid=32074/tid=32081] ppid=32072 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32074/task/32081/stat : 32081 (java) S 32072 32072 897 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 79097789 14316269568 90987 18446744073709551615 4194304 4196468 140728739167872 140702834488096 140703357433557 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7663616 140728739176881 140728739177057 140728739177057 140728739180495 0
[pid=32074/tid=32082] ppid=32072 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32074/task/32082/stat : 32082 (java) S 32072 32072 897 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 79097789 14316269568 90987 18446744073709551615 4194304 4196468 140728739167872 140702833435760 140703357433557 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7663616 140728739176881 140728739177057 140728739177057 140728739180495 0
[pid=32074/tid=32083] ppid=32072 vsize=13980732 memory=57 CPUtime=0 cores=1,3,5,7
/proc/32074/task/32083/stat : 32083 (java) S 32072 32072 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 79097791 14316269568 90987 18446744073709551615 4194304 4196468 140728739167872 140702832384080 140703357441947 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7663616 140728739176881 140728739177057 140728739177057 140728739180495 0
[pid=32074/tid=32084] ppid=32072 vsize=13980732 memory=55 CPUtime=0.7 cores=1,3,5,7
/proc/32074/task/32084/stat : 32084 (java) S 32072 32072 897 0 -1 1077944384 3237 0 0 0 70 0 0 0 20 0 15 0 79097791 14316269568 90987 18446744073709551615 4194304 4196468 140728739167872 140702831331952 140703357434498 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7663616 140728739176881 140728739177057 140728739177057 140728739180495 0
[pid=32074/tid=32085] ppid=32072 vsize=13980732 memory=41 CPUtime=0.72 cores=1,3,5,7
/proc/32074/task/32085/stat : 32085 (java) R 32072 32072 897 0 -1 1077944384 2137 0 0 0 72 0 0 0 20 0 15 0 79097791 14316269568 90987 18446744073709551615 4194304 4196468 140728739167872 140702830279152 140703357434498 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7663616 140728739176881 140728739177057 140728739177057 140728739180495 0
[pid=32074/tid=32086] ppid=32072 vsize=13980732 memory=0 CPUtime=0.46 cores=1,3,5,7
/proc/32074/task/32086/stat : 32086 (java) S 32072 32072 897 0 -1 1077944384 3088 0 0 0 46 0 0 0 20 0 15 0 79097791 14316269568 90987 18446744073709551615 4194304 4196468 140728739167872 140702829226864 140703357434498 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7663616 140728739176881 140728739177057 140728739177057 140728739180495 0
[pid=32074/tid=32087] ppid=32072 vsize=13980732 memory=4116 CPUtime=0 cores=1,3,5,7
/proc/32074/task/32087/stat : 32087 (java) S 32072 32072 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 79097792 14316269568 90987 18446744073709551615 4194304 4196468 140728739167872 140702828174304 140703357433557 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7663616 140728739176881 140728739177057 140728739177057 140728739180495 0
[pid=32074/tid=32088] ppid=32072 vsize=13980732 memory=43600 CPUtime=0 cores=1,3,5,7
/proc/32074/task/32088/stat : 32088 (java) S 32072 32072 897 0 -1 1077944384 141 0 0 0 0 0 0 0 20 0 15 0 79097797 14316269568 90987 18446744073709551615 4194304 4196468 140728739167872 140702827121072 140703357434498 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 10 0 0 6293624 6294260 7663616 140728739176881 140728739177057 140728739177057 140728739180495 0
Current children cumulated CPU time: 9.85 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 365328 KiB
[startup+7.80152 s]
/proc/loadavg: 1.60 1.62 1.66 3/212 32088
/proc/meminfo: memFree=29500128/32770624 swapFree=67108860/67108860
[pid=32072] ppid=32069 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/32072/stat : 32072 (xcsp3-exec) S 32069 32072 897 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 79097777 9740288 345 18446744073709551615 4194304 5098028 140728014612832 140728014610936 140260403368572 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 9 0 0 7196144 7232144 34414592 140728014614905 140728014615109 140728014615109 140728014618603 0
/proc/32072/statm: 2378 345 289 221 0 87 0
[pid=32074] ppid=32072 vsize=13980732 memory=434188 CPUtime=10.46 cores=1,3,5,7
/proc/32074/stat : 32074 (java) S 32072 32072 897 0 -1 1077944320 22371 0 0 0 1011 35 0 0 20 0 15 0 79097786 14316269568 108547 18446744073709551615 4194304 4196468 140728739167872 140728739150416 140703357423351 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 7663616 140728739176881 140728739177057 140728739177057 140728739180495 0
/proc/32074/statm: 3495183 108547 3221 1 0 3483476 0
[pid=32074/tid=32075] ppid=32072 vsize=13980732 memory=1728 CPUtime=7.42 cores=1,3,5,7
/proc/32074/task/32075/stat : 32075 (java) S 32072 32072 897 0 -1 1077944384 10591 0 0 0 737 5 0 0 20 0 15 0 79097786 14316269568 108547 18446744073709551615 4194304 4196468 140728739167872 140703361662592 140703357433557 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 4 0 0 6293624 6294260 7663616 140728739176881 140728739177057 140728739177057 140728739180495 0
[pid=32074/tid=32076] ppid=32072 vsize=13980732 memory=1228 CPUtime=0.2 cores=1,3,5,7
/proc/32074/task/32076/stat : 32076 (java) R 32072 32072 897 0 -1 4202560 406 0 0 0 13 7 0 0 20 0 15 0 79097787 14316269568 108547 18446744073709551615 4194304 4196468 140728739167872 140703276837776 140703350526404 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7663616 140728739176881 140728739177057 140728739177057 140728739180495 0
[pid=32074/tid=32077] ppid=32072 vsize=13980732 memory=796 CPUtime=0.2 cores=1,3,5,7
/proc/32074/task/32077/stat : 32077 (java) R 32072 32072 897 0 -1 4202560 463 0 0 0 14 6 0 0 20 0 15 0 79097787 14316269568 108547 18446744073709551615 4194304 4196468 140728739167872 140703275784976 140703350520052 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7663616 140728739176881 140728739177057 140728739177057 140728739180495 0
[pid=32074/tid=32078] ppid=32072 vsize=13980732 memory=5788 CPUtime=0.19 cores=1,3,5,7
/proc/32074/task/32078/stat : 32078 (java) R 32072 32072 897 0 -1 4202560 254 0 0 0 13 6 0 0 20 0 15 0 79097787 14316269568 108547 18446744073709551615 4194304 4196468 140728739167872 140703274732576 140703342445380 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 7663616 140728739176881 140728739177057 140728739177057 140728739180495 0
[pid=32074/tid=32079] ppid=32072 vsize=13980732 memory=1712 CPUtime=0.2 cores=1,3,5,7
/proc/32074/task/32079/stat : 32079 (java) R 32072 32072 897 0 -1 4202560 326 0 0 0 14 6 0 0 20 0 15 0 79097787 14316269568 109059 18446744073709551615 4194304 4196468 140728739167872 140703273680088 140703350520052 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7663616 140728739176881 140728739177057 140728739177057 140728739180495 0
[pid=32074/tid=32080] ppid=32072 vsize=13980732 memory=4616 CPUtime=0 cores=1,3,5,7
/proc/32074/task/32080/stat : 32080 (java) S 32072 32072 897 0 -1 1077944384 270 0 0 0 0 0 0 0 20 0 15 0 79097788 14316269568 109059 18446744073709551615 4194304 4196468 140728739167872 140702835540640 140703357433557 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7663616 140728739176881 140728739177057 140728739177057 140728739180495 0
[pid=32074/tid=32081] ppid=32072 vsize=13980732 memory=1012 CPUtime=0 cores=1,3,5,7
/proc/32074/task/32081/stat : 32081 (java) S 32072 32072 897 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 79097789 14316269568 109059 18446744073709551615 4194304 4196468 140728739167872 140702834488096 140703357433557 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7663616 140728739176881 140728739177057 140728739177057 140728739180495 0
[pid=32074/tid=32082] ppid=32072 vsize=13980732 memory=10164 CPUtime=0 cores=1,3,5,7
/proc/32074/task/32082/stat : 32082 (java) S 32072 32072 897 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 79097789 14316269568 109059 18446744073709551615 4194304 4196468 140728739167872 140702833435760 140703357433557 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7663616 140728739176881 140728739177057 140728739177057 140728739180495 0
[pid=32074/tid=32083] ppid=32072 vsize=13980732 memory=1440 CPUtime=0 cores=1,3,5,7
/proc/32074/task/32083/stat : 32083 (java) S 32072 32072 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 79097791 14316269568 109059 18446744073709551615 4194304 4196468 140728739167872 140702832384080 140703357441947 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7663616 140728739176881 140728739177057 140728739177057 140728739180495 0
[pid=32074/tid=32084] ppid=32072 vsize=13980732 memory=2000 CPUtime=0.83 cores=1,3,5,7
/proc/32074/task/32084/stat : 32084 (java) S 32072 32072 897 0 -1 1077944384 3265 0 0 0 83 0 0 0 20 0 15 0 79097791 14316269568 109059 18446744073709551615 4194304 4196468 140728739167872 140702831331952 140703357434498 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7663616 140728739176881 140728739177057 140728739177057 140728739180495 0
[pid=32074/tid=32085] ppid=32072 vsize=13980732 memory=11000 CPUtime=0.85 cores=1,3,5,7
/proc/32074/task/32085/stat : 32085 (java) S 32072 32072 897 0 -1 1077944384 2207 0 0 0 85 0 0 0 20 0 15 0 79097791 14316269568 109059 18446744073709551615 4194304 4196468 140728739167872 140702830279152 140703357434498 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7663616 140728739176881 140728739177057 140728739177057 140728739180495 0
[pid=32074/tid=32086] ppid=32072 vsize=13980732 memory=1200 CPUtime=0.47 cores=1,3,5,7
/proc/32074/task/32086/stat : 32086 (java) S 32072 32072 897 0 -1 1077944384 3104 0 0 0 47 0 0 0 20 0 15 0 79097791 14316269568 109059 18446744073709551615 4194304 4196468 140728739167872 140702829226864 140703357434498 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7663616 140728739176881 140728739177057 140728739177057 140728739180495 0
[pid=32074/tid=32087] ppid=32072 vsize=13980732 memory=15880 CPUtime=0 cores=1,3,5,7
/proc/32074/task/32087/stat : 32087 (java) S 32072 32072 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 79097792 14316269568 109059 18446744073709551615 4194304 4196468 140728739167872 140702828174304 140703357433557 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7663616 140728739176881 140728739177057 140728739177057 140728739180495 0
[pid=32074/tid=32088] ppid=32072 vsize=13980732 memory=24328 CPUtime=0 cores=1,3,5,7
/proc/32074/task/32088/stat : 32088 (java) S 32072 32072 897 0 -1 1077944384 141 0 0 0 0 0 0 0 20 0 15 0 79097797 14316269568 109059 18446744073709551615 4194304 4196468 140728739167872 140702827121072 140703357434498 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 10 0 0 6293624 6294260 7663616 140728739176881 140728739177057 140728739177057 140728739180495 0
Current children cumulated CPU time: 10.46 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 435568 KiB
Child status: 0
Real time (s): 7.89195
CPU time (s): 10.7321
CPU user time (s): 10.358
CPU system time (s): 0.374102
CPU usage (%): 135.988
Max. virtual memory (cumulated for all children) (KiB): 13990244
Max. memory (cumulated for all children) (KiB): 435568
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 10.358
system time used= 0.374102
maximum resident set size= 445068
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23072
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2193
involuntary context switches= 28
# summary of solver processes directly reported to runsolver:
# pid: 32072
# total CPU time (s): 10.7321
# total CPU user time (s): 10.358
# total CPU system time (s): 0.374102
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.071818 second user time and 0.111253 second system time
The end