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 (14941 MiB free)
memory of node 1: 16384 MiB (14638 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4272718-1502737030/watcher-4272718-1502737030 -o /tmp/evaluation-result-4272718-1502737030/solver-4272718-1502737030 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node125-1502662595-11628 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 1755393047 HOME/instance-4272718-1502737030.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=25112, runsolver pid=25109
Current StackSize limit: 8192 KiB
[startup+0.100134 s]*
/proc/loadavg: 1.99 1.93 1.80 3/202 25119
/proc/meminfo: memFree=30283152/32770624 swapFree=67108860/67108860
[pid=25112] ppid=25109 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/25112/stat : 25112 (xcsp3-exec) S 25109 25112 897 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 75923646 9740288 345 18446744073709551615 4194304 5098028 140720610849776 140720610847880 140352920367740 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 8 0 0 7196144 7232144 12267520 140720610857336 140720610857541 140720610857541 140720610861035 0
/proc/25112/statm: 2378 345 289 221 0 87 0
[pid=25114] ppid=25112 vsize=13441356 memory=15688 CPUtime=0.01 cores=0,2,4,6
/proc/25114/stat : 25114 (java) S 25112 25112 897 0 -1 1077944320 3692 0 0 0 1 0 0 0 20 0 7 0 75923655 13763948544 3922 18446744073709551615 4194304 4196468 140726063259664 140726063242208 140396463030007 0 0 1 16784584 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 25907200 140726063264177 140726063264353 140726063264353 140726063267791 0
/proc/25114/statm: 3360339 3922 2003 1 0 3349836 0
[pid=25114/tid=25115] ppid=25112 vsize=13441356 memory=7311146985107750967 CPUtime=0.01 cores=0,2,4,6
/proc/25114/task/25115/stat : 25115 (java) R 25112 25112 897 0 -1 4202560 2460 0 0 0 1 0 0 0 20 0 7 0 75923655 13763948544 3922 18446744073709551615 4194304 4196468 140726063259664 140396467272464 140396428374224 0 4 1 16784584 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25907200 140726063264177 140726063264353 140726063264353 140726063267791 0
[pid=25114/tid=25116] ppid=25112 vsize=13441356 memory=12619 CPUtime=0 cores=0,2,4,6
/proc/25114/task/25116/stat : 25116 (java) S 25112 25112 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 7 0 75923656 13763948544 3922 18446744073709551615 4194304 4196468 140726063259664 140396382444432 140396463040213 0 4 1 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25907200 140726063264177 140726063264353 140726063264353 140726063267791 0
[pid=25114/tid=25117] ppid=25112 vsize=13441356 memory=139897640120435 CPUtime=0 cores=0,2,4,6
/proc/25114/task/25117/stat : 25117 (java) S 25112 25112 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 7 0 75923656 13763948544 3922 18446744073709551615 4194304 4196468 140726063259664 140396381391632 140396463040213 0 4 1 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25907200 140726063264177 140726063264353 140726063264353 140726063267791 0
[pid=25114/tid=25118] ppid=25112 vsize=13441356 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25114/task/25118/stat : 25118 (java) S 25112 25112 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 7 0 75923656 13763948544 3922 18446744073709551615 4194304 4196468 140726063259664 140396380339344 140396463040213 0 4 1 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25907200 140726063264177 140726063264353 140726063264353 140726063267791 0
[pid=25114/tid=25119] ppid=25112 vsize=13441356 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25114/task/25119/stat : 25119 (java) S 25112 25112 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 7 0 75923656 13763948544 3922 18446744073709551615 4194304 4196468 140726063259664 140396379286544 140396463040213 0 4 1 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25907200 140726063264177 140726063264353 140726063264353 140726063267791 0
[pid=25114/tid=25120] ppid=25112 vsize=13441356 memory=139897640097408 CPUtime=0 cores=0,2,4,6
/proc/25114/task/25120/stat : 25120 (java) S 25112 25112 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 7 0 75923657 13763948544 3922 18446744073709551615 4194304 4196468 140726063259664 140395648071792 140396463041154 0 0 1 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25907200 140726063264177 140726063264353 140726063264353 140726063267791 0
Current children cumulated CPU time: 0.01 s
Current children cumulated vsize: 13450868 KiB
Current children cumulated memory: 17068 KiB
[startup+0.209825 s]*
/proc/loadavg: 1.99 1.93 1.80 3/211 25128
/proc/meminfo: memFree=30275804/32770624 swapFree=67108860/67108860
[pid=25112] ppid=25109 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/25112/stat : 25112 (xcsp3-exec) S 25109 25112 897 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 75923646 9740288 345 18446744073709551615 4194304 5098028 140720610849776 140720610847880 140352920367740 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 8 0 0 7196144 7232144 12267520 140720610857336 140720610857541 140720610857541 140720610861035 0
/proc/25112/statm: 2378 345 289 221 0 87 0
[pid=25114] ppid=25112 vsize=13974352 memory=27384 CPUtime=0.1 cores=0,2,4,6
/proc/25114/stat : 25114 (java) S 25112 25112 897 0 -1 1077944320 5243 0 0 0 9 1 0 0 20 0 15 0 75923655 14309736448 6846 18446744073709551615 4194304 4196468 140726063259664 140726063242208 140396463030007 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 25907200 140726063264177 140726063264353 140726063264353 140726063267791 0
/proc/25114/statm: 3493588 6846 2753 1 0 3482964 0
[pid=25114/tid=25115] ppid=25112 vsize=13974352 memory=7311146985107750967 CPUtime=0.07 cores=0,2,4,6
/proc/25114/task/25115/stat : 25115 (java) R 25112 25112 897 0 -1 4202560 3391 0 0 0 7 0 0 0 20 0 15 0 75923655 14309736448 6846 18446744073709551615 4194304 4196468 140726063259664 140396467255696 140396455708021 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 25907200 140726063264177 140726063264353 140726063264353 140726063267791 0
[pid=25114/tid=25116] ppid=25112 vsize=13974352 memory=12619 CPUtime=0 cores=0,2,4,6
/proc/25114/task/25116/stat : 25116 (java) S 25112 25112 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 75923656 14309736448 6846 18446744073709551615 4194304 4196468 140726063259664 140396382444432 140396463040213 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25907200 140726063264177 140726063264353 140726063264353 140726063267791 0
[pid=25114/tid=25117] ppid=25112 vsize=13974352 memory=139897640120435 CPUtime=0 cores=0,2,4,6
/proc/25114/task/25117/stat : 25117 (java) S 25112 25112 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 75923656 14309736448 6846 18446744073709551615 4194304 4196468 140726063259664 140396381391632 140396463040213 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25907200 140726063264177 140726063264353 140726063264353 140726063267791 0
[pid=25114/tid=25118] ppid=25112 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25114/task/25118/stat : 25118 (java) S 25112 25112 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 75923656 14309736448 6846 18446744073709551615 4194304 4196468 140726063259664 140396380339344 140396463040213 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25907200 140726063264177 140726063264353 140726063264353 140726063267791 0
[pid=25114/tid=25119] ppid=25112 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25114/task/25119/stat : 25119 (java) S 25112 25112 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 75923656 14309736448 6846 18446744073709551615 4194304 4196468 140726063259664 140396379286544 140396463040213 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25907200 140726063264177 140726063264353 140726063264353 140726063267791 0
[pid=25114/tid=25120] ppid=25112 vsize=13974352 memory=139897640097408 CPUtime=0 cores=0,2,4,6
/proc/25114/task/25120/stat : 25120 (java) S 25112 25112 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 75923657 14309736448 6846 18446744073709551615 4194304 4196468 140726063259664 140395648071792 140396463041154 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25907200 140726063264177 140726063264353 140726063264353 140726063267791 0
[pid=25114/tid=25121] ppid=25112 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25114/task/25121/stat : 25121 (java) S 25112 25112 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 75923657 14309736448 6846 18446744073709551615 4194304 4196468 140726063259664 140395647017760 140396463040213 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25907200 140726063264177 140726063264353 140726063264353 140726063267791 0
[pid=25114/tid=25122] ppid=25112 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25114/task/25122/stat : 25122 (java) S 25112 25112 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 75923658 14309736448 6846 18446744073709551615 4194304 4196468 140726063259664 140395645965424 140396463040213 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25907200 140726063264177 140726063264353 140726063264353 140726063267791 0
[pid=25114/tid=25123] ppid=25112 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25114/task/25123/stat : 25123 (java) S 25112 25112 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 75923660 14309736448 6846 18446744073709551615 4194304 4196468 140726063259664 140395644913744 140396463048603 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25907200 140726063264177 140726063264353 140726063264353 140726063267791 0
[pid=25114/tid=25124] ppid=25112 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25114/task/25124/stat : 25124 (java) S 25112 25112 897 0 -1 1077944384 303 0 0 0 0 0 0 0 20 0 15 0 75923660 14309736448 6846 18446744073709551615 4194304 4196468 140726063259664 140395643861616 140396463041154 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25907200 140726063264177 140726063264353 140726063264353 140726063267791 0
[pid=25114/tid=25125] ppid=25112 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25114/task/25125/stat : 25125 (java) S 25112 25112 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 75923660 14309736448 6846 18446744073709551615 4194304 4196468 140726063259664 140395642808816 140396463041154 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25907200 140726063264177 140726063264353 140726063264353 140726063267791 0
[pid=25114/tid=25126] ppid=25112 vsize=13974352 memory=139897640097408 CPUtime=0 cores=0,2,4,6
/proc/25114/task/25126/stat : 25126 (java) R 25112 25112 897 0 -1 4202560 241 0 0 0 0 0 0 0 20 0 15 0 75923660 14309736448 6846 18446744073709551615 4194304 4196468 140726063259664 140395641756528 140396463041942 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25907200 140726063264177 140726063264353 140726063264353 140726063267791 0
[pid=25114/tid=25127] ppid=25112 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25114/task/25127/stat : 25127 (java) S 25112 25112 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 75923660 14309736448 6846 18446744073709551615 4194304 4196468 140726063259664 140395640703968 140396463040213 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25907200 140726063264177 140726063264353 140726063264353 140726063267791 0
[pid=25114/tid=25128] ppid=25112 vsize=13974352 memory=139897640097408 CPUtime=0 cores=0,2,4,6
/proc/25114/task/25128/stat : 25128 (java) S 25112 25112 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 75923665 14309736448 6846 18446744073709551615 4194304 4196468 140726063259664 140395639650736 140396463041154 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25907200 140726063264177 140726063264353 140726063264353 140726063267791 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 28764 KiB
[startup+0.312597 s]*
/proc/loadavg: 1.99 1.93 1.80 7/211 25128
/proc/meminfo: memFree=30262512/32770624 swapFree=67108860/67108860
[pid=25112] ppid=25109 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/25112/stat : 25112 (xcsp3-exec) S 25109 25112 897 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 75923646 9740288 345 18446744073709551615 4194304 5098028 140720610849776 140720610847880 140352920367740 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 8 0 0 7196144 7232144 12267520 140720610857336 140720610857541 140720610857541 140720610861035 0
/proc/25112/statm: 2378 345 289 221 0 87 0
[pid=25114] ppid=25112 vsize=13974352 memory=37180 CPUtime=0.28 cores=0,2,4,6
/proc/25114/stat : 25114 (java) S 25112 25112 897 0 -1 1077944320 8900 0 0 0 27 1 0 0 20 0 15 0 75923655 14309736448 9295 18446744073709551615 4194304 4196468 140726063259664 140726063242208 140396463030007 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 25907200 140726063264177 140726063264353 140726063264353 140726063267791 0
/proc/25114/statm: 3493588 9295 2978 1 0 3482964 0
[pid=25114/tid=25115] ppid=25112 vsize=13974352 memory=-8774313645642428999 CPUtime=0.17 cores=0,2,4,6
/proc/25114/task/25115/stat : 25115 (java) R 25112 25112 897 0 -1 4202560 6108 0 0 0 16 1 0 0 20 0 15 0 75923655 14309736448 9295 18446744073709551615 4194304 4196468 140726063259664 140396467260816 140396455708021 0 4 1 16800974 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 25907200 140726063264177 140726063264353 140726063264353 140726063267791 0
[pid=25114/tid=25116] ppid=25112 vsize=13974352 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/25114/task/25116/stat : 25116 (java) S 25112 25112 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 75923656 14309736448 9295 18446744073709551615 4194304 4196468 140726063259664 140396382444432 140396463040213 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25907200 140726063264177 140726063264353 140726063264353 140726063267791 0
[pid=25114/tid=25117] ppid=25112 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25114/task/25117/stat : 25117 (java) S 25112 25112 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 75923656 14309736448 9295 18446744073709551615 4194304 4196468 140726063259664 140396381391632 140396463040213 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25907200 140726063264177 140726063264353 140726063264353 140726063267791 0
[pid=25114/tid=25118] ppid=25112 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25114/task/25118/stat : 25118 (java) S 25112 25112 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 75923656 14309736448 9295 18446744073709551615 4194304 4196468 140726063259664 140396380339344 140396463040213 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25907200 140726063264177 140726063264353 140726063264353 140726063267791 0
[pid=25114/tid=25119] ppid=25112 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25114/task/25119/stat : 25119 (java) S 25112 25112 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 75923656 14309736448 9295 18446744073709551615 4194304 4196468 140726063259664 140396379286544 140396463040213 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25907200 140726063264177 140726063264353 140726063264353 140726063267791 0
[pid=25114/tid=25120] ppid=25112 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25114/task/25120/stat : 25120 (java) S 25112 25112 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 75923657 14309736448 9295 18446744073709551615 4194304 4196468 140726063259664 140395648071792 140396463041154 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25907200 140726063264177 140726063264353 140726063264353 140726063267791 0
[pid=25114/tid=25121] ppid=25112 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25114/task/25121/stat : 25121 (java) S 25112 25112 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 75923657 14309736448 9295 18446744073709551615 4194304 4196468 140726063259664 140395647017760 140396463040213 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25907200 140726063264177 140726063264353 140726063264353 140726063267791 0
[pid=25114/tid=25122] ppid=25112 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25114/task/25122/stat : 25122 (java) S 25112 25112 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 75923658 14309736448 9295 18446744073709551615 4194304 4196468 140726063259664 140395645965424 140396463040213 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25907200 140726063264177 140726063264353 140726063264353 140726063267791 0
[pid=25114/tid=25123] ppid=25112 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25114/task/25123/stat : 25123 (java) S 25112 25112 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 75923660 14309736448 9295 18446744073709551615 4194304 4196468 140726063259664 140395644913744 140396463048603 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25907200 140726063264177 140726063264353 140726063264353 140726063267791 0
[pid=25114/tid=25124] ppid=25112 vsize=13974352 memory=139897486988224 CPUtime=0.03 cores=0,2,4,6
/proc/25114/task/25124/stat : 25124 (java) R 25112 25112 897 0 -1 4202560 574 0 0 0 3 0 0 0 20 0 15 0 75923660 14309736448 9295 18446744073709551615 4194304 4196468 140726063259664 140395643861616 140396446997668 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25907200 140726063264177 140726063264353 140726063264353 140726063267791 0
[pid=25114/tid=25125] ppid=25112 vsize=13974352 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/25114/task/25125/stat : 25125 (java) R 25112 25112 897 0 -1 1077944384 198 0 0 0 1 0 0 0 20 0 15 0 75923660 14309736448 9295 18446744073709551615 4194304 4196468 140726063259664 140395642808816 140396463041154 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25907200 140726063264177 140726063264353 140726063264353 140726063267791 0
[pid=25114/tid=25126] ppid=25112 vsize=13974352 memory=139897640097408 CPUtime=0.06 cores=0,2,4,6
/proc/25114/task/25126/stat : 25126 (java) R 25112 25112 897 0 -1 4202560 716 0 0 0 6 0 0 0 20 0 15 0 75923660 14309736448 9295 18446744073709551615 4194304 4196468 140726063259664 140395641756528 140396447110494 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25907200 140726063264177 140726063264353 140726063264353 140726063267791 0
[pid=25114/tid=25127] ppid=25112 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25114/task/25127/stat : 25127 (java) S 25112 25112 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 75923660 14309736448 9295 18446744073709551615 4194304 4196468 140726063259664 140395640703968 140396463040213 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25907200 140726063264177 140726063264353 140726063264353 140726063267791 0
[pid=25114/tid=25128] ppid=25112 vsize=13974352 memory=139897640097408 CPUtime=0 cores=0,2,4,6
/proc/25114/task/25128/stat : 25128 (java) S 25112 25112 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 75923665 14309736448 9295 18446744073709551615 4194304 4196468 140726063259664 140395639650736 140396463041154 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25907200 140726063264177 140726063264353 140726063264353 140726063267791 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 38560 KiB
[startup+0.707946 s]
/proc/loadavg: 1.99 1.94 1.80 6/211 25128
/proc/meminfo: memFree=30243136/32770624 swapFree=67108860/67108860
[pid=25112] ppid=25109 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/25112/stat : 25112 (xcsp3-exec) S 25109 25112 897 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 75923646 9740288 345 18446744073709551615 4194304 5098028 140720610849776 140720610847880 140352920367740 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 8 0 0 7196144 7232144 12267520 140720610857336 140720610857541 140720610857541 140720610861035 0
/proc/25112/statm: 2378 345 289 221 0 87 0
[pid=25114] ppid=25112 vsize=13978684 memory=97532 CPUtime=1.35 cores=0,2,4,6
/proc/25114/stat : 25114 (java) S 25112 25112 897 0 -1 1077944320 13450 0 0 0 131 4 0 0 20 0 15 0 75923655 14314172416 24383 18446744073709551615 4194304 4196468 140726063259664 140726063242208 140396463030007 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 25907200 140726063264177 140726063264353 140726063264353 140726063267791 0
/proc/25114/statm: 3494671 24383 3144 1 0 3482964 0
[pid=25114/tid=25115] ppid=25112 vsize=13978684 memory=4616 CPUtime=0.55 cores=0,2,4,6
/proc/25114/task/25115/stat : 25115 (java) R 25112 25112 897 0 -1 4202560 7793 0 0 0 53 2 0 0 20 0 15 0 75923655 14314172416 24383 18446744073709551615 4194304 4196468 140726063259664 140396467261616 140396447073637 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 25907200 140726063264177 140726063264353 140726063264353 140726063267791 0
[pid=25114/tid=25116] ppid=25112 vsize=13978684 memory=1012 CPUtime=0 cores=0,2,4,6
/proc/25114/task/25116/stat : 25116 (java) S 25112 25112 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 75923656 14314172416 24383 18446744073709551615 4194304 4196468 140726063259664 140396382444432 140396463040213 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25907200 140726063264177 140726063264353 140726063264353 140726063267791 0
[pid=25114/tid=25117] ppid=25112 vsize=13978684 memory=7518026621751088998 CPUtime=0 cores=0,2,4,6
/proc/25114/task/25117/stat : 25117 (java) S 25112 25112 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 75923656 14314172416 24383 18446744073709551615 4194304 4196468 140726063259664 140396381391632 140396463040213 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25907200 140726063264177 140726063264353 140726063264353 140726063267791 0
[pid=25114/tid=25118] ppid=25112 vsize=13978684 memory=7739276948477865321 CPUtime=0 cores=0,2,4,6
/proc/25114/task/25118/stat : 25118 (java) S 25112 25112 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 75923656 14314172416 24383 18446744073709551615 4194304 4196468 140726063259664 140396380339344 140396463040213 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25907200 140726063264177 140726063264353 140726063264353 140726063267791 0
[pid=25114/tid=25119] ppid=25112 vsize=13978684 memory=4116 CPUtime=0 cores=0,2,4,6
/proc/25114/task/25119/stat : 25119 (java) S 25112 25112 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 75923656 14314172416 24383 18446744073709551615 4194304 4196468 140726063259664 140396379286544 140396463040213 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25907200 140726063264177 140726063264353 140726063264353 140726063267791 0
[pid=25114/tid=25120] ppid=25112 vsize=13978684 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25114/task/25120/stat : 25120 (java) S 25112 25112 897 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 75923657 14314172416 24383 18446744073709551615 4194304 4196468 140726063259664 140395648071792 140396463041154 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25907200 140726063264177 140726063264353 140726063264353 140726063267791 0
[pid=25114/tid=25121] ppid=25112 vsize=13978684 memory=139897486739504 CPUtime=0 cores=0,2,4,6
/proc/25114/task/25121/stat : 25121 (java) S 25112 25112 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 75923657 14314172416 24383 18446744073709551615 4194304 4196468 140726063259664 140395647017760 140396463040213 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25907200 140726063264177 140726063264353 140726063264353 140726063267791 0
[pid=25114/tid=25122] ppid=25112 vsize=13978684 memory=139897486739696 CPUtime=0 cores=0,2,4,6
/proc/25114/task/25122/stat : 25122 (java) S 25112 25112 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 75923658 14314172416 24383 18446744073709551615 4194304 4196468 140726063259664 140395645965424 140396463040213 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25907200 140726063264177 140726063264353 140726063264353 140726063267791 0
[pid=25114/tid=25123] ppid=25112 vsize=13978684 memory=139897486739792 CPUtime=0 cores=0,2,4,6
/proc/25114/task/25123/stat : 25123 (java) S 25112 25112 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 75923660 14314172416 24383 18446744073709551615 4194304 4196468 140726063259664 140395644913744 140396463048603 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25907200 140726063264177 140726063264353 140726063264353 140726063267791 0
[pid=25114/tid=25124] ppid=25112 vsize=13978684 memory=20385 CPUtime=0.29 cores=0,2,4,6
/proc/25114/task/25124/stat : 25124 (java) R 25112 25112 897 0 -1 1077944384 1510 0 0 0 29 0 0 0 20 0 15 0 75923660 14314172416 24383 18446744073709551615 4194304 4196468 140726063259664 140395643851088 140396463040213 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25907200 140726063264177 140726063264353 140726063264353 140726063267791 0
[pid=25114/tid=25125] ppid=25112 vsize=13978684 memory=0 CPUtime=0.27 cores=0,2,4,6
/proc/25114/task/25125/stat : 25125 (java) S 25112 25112 897 0 -1 1077944384 1414 0 0 0 27 0 0 0 20 0 15 0 75923660 14314172416 24383 18446744073709551615 4194304 4196468 140726063259664 140395642807216 140396463040213 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25907200 140726063264177 140726063264353 140726063264353 140726063267791 0
[pid=25114/tid=25126] ppid=25112 vsize=13978684 memory=0 CPUtime=0.2 cores=0,2,4,6
/proc/25114/task/25126/stat : 25126 (java) S 25112 25112 897 0 -1 1077944384 1427 0 0 0 20 0 0 0 20 0 15 0 75923660 14314172416 24383 18446744073709551615 4194304 4196468 140726063259664 140395641756528 140396463041154 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25907200 140726063264177 140726063264353 140726063264353 140726063267791 0
[pid=25114/tid=25127] ppid=25112 vsize=13978684 memory=-4546129931942301828 CPUtime=0 cores=0,2,4,6
/proc/25114/task/25127/stat : 25127 (java) S 25112 25112 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 75923660 14314172416 24383 18446744073709551615 4194304 4196468 140726063259664 140395640703968 140396463040213 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25907200 140726063264177 140726063264353 140726063264353 140726063267791 0
[pid=25114/tid=25128] ppid=25112 vsize=13978684 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25114/task/25128/stat : 25128 (java) S 25112 25112 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 75923665 14314172416 24383 18446744073709551615 4194304 4196468 140726063259664 140395639650736 140396463041154 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25907200 140726063264177 140726063264353 140726063264353 140726063267791 0
Current children cumulated CPU time: 1.35 s
Current children cumulated vsize: 13988196 KiB
Current children cumulated memory: 98912 KiB
[startup+1.50082 s]
/proc/loadavg: 1.99 1.94 1.80 5/211 25128
/proc/meminfo: memFree=30163636/32770624 swapFree=67108860/67108860
[pid=25112] ppid=25109 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/25112/stat : 25112 (xcsp3-exec) S 25109 25112 897 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 75923646 9740288 345 18446744073709551615 4194304 5098028 140720610849776 140720610847880 140352920367740 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 8 0 0 7196144 7232144 12267520 140720610857336 140720610857541 140720610857541 140720610861035 0
/proc/25112/statm: 2378 345 289 221 0 87 0
[pid=25114] ppid=25112 vsize=13978684 memory=266940 CPUtime=3.86 cores=0,2,4,6
/proc/25114/stat : 25114 (java) S 25112 25112 897 0 -1 1077944320 16672 0 0 0 372 14 0 0 20 0 15 0 75923655 14314172416 66735 18446744073709551615 4194304 4196468 140726063259664 140726063242208 140396463030007 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 25907200 140726063264177 140726063264353 140726063264353 140726063267791 0
/proc/25114/statm: 3494671 66735 3201 1 0 3482964 0
[pid=25114/tid=25115] ppid=25112 vsize=13978684 memory=0 CPUtime=1.27 cores=0,2,4,6
/proc/25114/task/25115/stat : 25115 (java) R 25112 25112 897 0 -1 4202560 7946 0 0 0 122 5 0 0 20 0 15 0 75923655 14314172416 66735 18446744073709551615 4194304 4196468 140726063259664 140396467267168 140396059777246 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 25907200 140726063264177 140726063264353 140726063264353 140726063267791 0
[pid=25114/tid=25116] ppid=25112 vsize=13978684 memory=-4546129931942301828 CPUtime=0.04 cores=0,2,4,6
/proc/25114/task/25116/stat : 25116 (java) S 25112 25112 897 0 -1 1077944384 45 0 0 0 3 1 0 0 20 0 15 0 75923656 14314172416 66735 18446744073709551615 4194304 4196468 140726063259664 140396382444432 140396463040213 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25907200 140726063264177 140726063264353 140726063264353 140726063267791 0
[pid=25114/tid=25117] ppid=25112 vsize=13978684 memory=0 CPUtime=0.06 cores=0,2,4,6
/proc/25114/task/25117/stat : 25117 (java) S 25112 25112 897 0 -1 1077944384 70 0 0 0 5 1 0 0 20 0 15 0 75923656 14314172416 66735 18446744073709551615 4194304 4196468 140726063259664 140396381391632 140396463040213 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25907200 140726063264177 140726063264353 140726063264353 140726063267791 0
[pid=25114/tid=25118] ppid=25112 vsize=13978684 memory=97532 CPUtime=0.06 cores=0,2,4,6
/proc/25114/task/25118/stat : 25118 (java) S 25112 25112 897 0 -1 1077944384 79 0 0 0 5 1 0 0 20 0 15 0 75923656 14314172416 66735 18446744073709551615 4194304 4196468 140726063259664 140396380339344 140396463040213 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25907200 140726063264177 140726063264353 140726063264353 140726063267791 0
[pid=25114/tid=25119] ppid=25112 vsize=13978684 memory=4616 CPUtime=0.06 cores=0,2,4,6
/proc/25114/task/25119/stat : 25119 (java) S 25112 25112 897 0 -1 1077944384 144 0 0 0 5 1 0 0 20 0 15 0 75923656 14314172416 66735 18446744073709551615 4194304 4196468 140726063259664 140396379286544 140396463040213 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25907200 140726063264177 140726063264353 140726063264353 140726063267791 0
[pid=25114/tid=25120] ppid=25112 vsize=13978684 memory=1012 CPUtime=0 cores=0,2,4,6
/proc/25114/task/25120/stat : 25120 (java) S 25112 25112 897 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 15 0 75923657 14314172416 66735 18446744073709551615 4194304 4196468 140726063259664 140395648071792 140396463041154 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25907200 140726063264177 140726063264353 140726063264353 140726063267791 0
[pid=25114/tid=25121] ppid=25112 vsize=13978684 memory=0 CPUtime=0 cores=0,2,4,6
################
# More data... #
################
/proc/25112/stat : 25112 (xcsp3-exec) S 25109 25112 897 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 75923646 9740288 345 18446744073709551615 4194304 5098028 140720610849776 140720610847880 140352920367740 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 8 0 0 7196144 7232144 12267520 140720610857336 140720610857541 140720610857541 140720610861035 0
/proc/25112/statm: 2378 345 289 221 0 87 0
[pid=25114] ppid=25112 vsize=13978684 memory=267016 CPUtime=4.16 cores=0,2,4,6
/proc/25114/stat : 25114 (java) S 25112 25112 897 0 -1 1077944320 16695 0 0 0 402 14 0 0 20 0 15 0 75923655 14314172416 66754 18446744073709551615 4194304 4196468 140726063259664 140726063242208 140396463030007 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 25907200 140726063264177 140726063264353 140726063264353 140726063267791 0
/proc/25114/statm: 3494671 66754 3201 1 0 3482964 0
[pid=25114/tid=25115] ppid=25112 vsize=13978684 memory=-2247047206171269204 CPUtime=1.37 cores=0,2,4,6
/proc/25114/task/25115/stat : 25115 (java) R 25112 25112 897 0 -1 4202560 7946 0 0 0 132 5 0 0 20 0 15 0 75923655 14314172416 66754 18446744073709551615 4194304 4196468 140726063259664 140396467267168 140396059755690 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 25907200 140726063264177 140726063264353 140726063264353 140726063267791 0
[pid=25114/tid=25116] ppid=25112 vsize=13978684 memory=6655300316396806240 CPUtime=0.04 cores=0,2,4,6
/proc/25114/task/25116/stat : 25116 (java) S 25112 25112 897 0 -1 1077944384 45 0 0 0 3 1 0 0 20 0 15 0 75923656 14314172416 66754 18446744073709551615 4194304 4196468 140726063259664 140396382444432 140396463040213 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25907200 140726063264177 140726063264353 140726063264353 140726063267791 0
[pid=25114/tid=25117] ppid=25112 vsize=13978684 memory=0 CPUtime=0.06 cores=0,2,4,6
/proc/25114/task/25117/stat : 25117 (java) S 25112 25112 897 0 -1 1077944384 70 0 0 0 5 1 0 0 20 0 15 0 75923656 14314172416 66754 18446744073709551615 4194304 4196468 140726063259664 140396381391632 140396463040213 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25907200 140726063264177 140726063264353 140726063264353 140726063267791 0
[pid=25114/tid=25118] ppid=25112 vsize=13978684 memory=1228 CPUtime=0.06 cores=0,2,4,6
/proc/25114/task/25118/stat : 25118 (java) S 25112 25112 897 0 -1 1077944384 79 0 0 0 5 1 0 0 20 0 15 0 75923656 14314172416 66754 18446744073709551615 4194304 4196468 140726063259664 140396380339344 140396463040213 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25907200 140726063264177 140726063264353 140726063264353 140726063267791 0
[pid=25114/tid=25119] ppid=25112 vsize=13978684 memory=796 CPUtime=0.06 cores=0,2,4,6
/proc/25114/task/25119/stat : 25119 (java) S 25112 25112 897 0 -1 1077944384 144 0 0 0 5 1 0 0 20 0 15 0 75923656 14314172416 66754 18446744073709551615 4194304 4196468 140726063259664 140396379286544 140396463040213 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25907200 140726063264177 140726063264353 140726063264353 140726063267791 0
[pid=25114/tid=25120] ppid=25112 vsize=13978684 memory=5788 CPUtime=0 cores=0,2,4,6
/proc/25114/task/25120/stat : 25120 (java) S 25112 25112 897 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 15 0 75923657 14314172416 66754 18446744073709551615 4194304 4196468 140726063259664 140395648071792 140396463041154 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25907200 140726063264177 140726063264353 140726063264353 140726063267791 0
[pid=25114/tid=25121] ppid=25112 vsize=13978684 memory=1712 CPUtime=0 cores=0,2,4,6
/proc/25114/task/25121/stat : 25121 (java) S 25112 25112 897 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 75923657 14314172416 66754 18446744073709551615 4194304 4196468 140726063259664 140395647017760 140396463040213 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25907200 140726063264177 140726063264353 140726063264353 140726063267791 0
[pid=25114/tid=25122] ppid=25112 vsize=13978684 memory=4616 CPUtime=0 cores=0,2,4,6
/proc/25114/task/25122/stat : 25122 (java) S 25112 25112 897 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 75923658 14314172416 66754 18446744073709551615 4194304 4196468 140726063259664 140395645965424 140396463040213 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25907200 140726063264177 140726063264353 140726063264353 140726063267791 0
[pid=25114/tid=25123] ppid=25112 vsize=13978684 memory=1012 CPUtime=0 cores=0,2,4,6
/proc/25114/task/25123/stat : 25123 (java) S 25112 25112 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 75923660 14314172416 66754 18446744073709551615 4194304 4196468 140726063259664 140395644913744 140396463048603 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25907200 140726063264177 140726063264353 140726063264353 140726063267791 0
[pid=25114/tid=25124] ppid=25112 vsize=13978684 memory=10164 CPUtime=1.06 cores=0,2,4,6
/proc/25114/task/25124/stat : 25124 (java) R 25112 25112 897 0 -1 4202560 2315 0 0 0 106 0 0 0 20 0 15 0 75923660 14314172416 66754 18446744073709551615 4194304 4196468 140726063259664 140395643849168 140396446513332 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25907200 140726063264177 140726063264353 140726063264353 140726063267791 0
[pid=25114/tid=25125] ppid=25112 vsize=13978684 memory=1440 CPUtime=1.04 cores=0,2,4,6
/proc/25114/task/25125/stat : 25125 (java) R 25112 25112 897 0 -1 4202560 2640 0 0 0 104 0 0 0 20 0 15 0 75923660 14314172416 66754 18446744073709551615 4194304 4196468 140726063259664 140395642799008 140396444547798 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25907200 140726063264177 140726063264353 140726063264353 140726063267791 0
[pid=25114/tid=25126] ppid=25112 vsize=13978684 memory=2000 CPUtime=0.4 cores=0,2,4,6
/proc/25114/task/25126/stat : 25126 (java) S 25112 25112 897 0 -1 1077944384 2075 0 0 0 39 1 0 0 20 0 15 0 75923660 14314172416 66754 18446744073709551615 4194304 4196468 140726063259664 140395641756528 140396463041154 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25907200 140726063264177 140726063264353 140726063264353 140726063267791 0
[pid=25114/tid=25127] ppid=25112 vsize=13978684 memory=11000 CPUtime=0 cores=0,2,4,6
/proc/25114/task/25127/stat : 25127 (java) S 25112 25112 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 75923660 14314172416 66754 18446744073709551615 4194304 4196468 140726063259664 140395640703968 140396463040213 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25907200 140726063264177 140726063264353 140726063264353 140726063267791 0
[pid=25114/tid=25128] ppid=25112 vsize=13978684 memory=1200 CPUtime=0 cores=0,2,4,6
/proc/25114/task/25128/stat : 25128 (java) S 25112 25112 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 75923665 14314172416 66754 18446744073709551615 4194304 4196468 140726063259664 140395639650736 140396463041154 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25907200 140726063264177 140726063264353 140726063264353 140726063267791 0
Current children cumulated CPU time: 4.16 s
Current children cumulated vsize: 13988196 KiB
Current children cumulated memory: 268396 KiB
[startup+2.40077 s]
/proc/loadavg: 1.99 1.94 1.80 5/211 25128
/proc/meminfo: memFree=29958852/32770624 swapFree=67108860/67108860
[pid=25112] ppid=25109 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/25112/stat : 25112 (xcsp3-exec) S 25109 25112 897 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 75923646 9740288 345 18446744073709551615 4194304 5098028 140720610849776 140720610847880 140352920367740 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 8 0 0 7196144 7232144 12267520 140720610857336 140720610857541 140720610857541 140720610861035 0
/proc/25112/statm: 2378 345 289 221 0 87 0
[pid=25114] ppid=25112 vsize=13980732 memory=436064 CPUtime=6.74 cores=0,2,4,6
/proc/25114/stat : 25114 (java) S 25112 25112 897 0 -1 1077944320 20138 0 0 0 650 24 0 0 20 0 15 0 75923655 14316269568 109016 18446744073709551615 4194304 4196468 140726063259664 140726063242208 140396463030007 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 25907200 140726063264177 140726063264353 140726063264353 140726063267791 0
/proc/25114/statm: 3495183 109016 3219 1 0 3483476 0
[pid=25114/tid=25115] ppid=25112 vsize=13980732 memory=288230617509003574 CPUtime=2.11 cores=0,2,4,6
/proc/25114/task/25115/stat : 25115 (java) R 25112 25112 897 0 -1 4202560 8617 0 0 0 204 7 0 0 20 0 15 0 75923655 14316269568 109016 18446744073709551615 4194304 4196468 140726063259664 140396467266040 140396062155667 0 4 1 16800974 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 25907200 140726063264177 140726063264353 140726063264353 140726063267791 0
[pid=25114/tid=25116] ppid=25112 vsize=13980732 memory=15536310592997909 CPUtime=0.1 cores=0,2,4,6
/proc/25114/task/25116/stat : 25116 (java) S 25112 25112 897 0 -1 1077944384 70 0 0 0 7 3 0 0 20 0 15 0 75923656 14316269568 109016 18446744073709551615 4194304 4196468 140726063259664 140396382444432 140396463040213 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25907200 140726063264177 140726063264353 140726063264353 140726063267791 0
[pid=25114/tid=25117] ppid=25112 vsize=13980732 memory=8028069196848191075 CPUtime=0.12 cores=0,2,4,6
/proc/25114/task/25117/stat : 25117 (java) S 25112 25112 897 0 -1 1077944384 103 0 0 0 9 3 0 0 20 0 15 0 75923656 14316269568 109016 18446744073709551615 4194304 4196468 140726063259664 140396381391632 140396463040213 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25907200 140726063264177 140726063264353 140726063264353 140726063267791 0
[pid=25114/tid=25118] ppid=25112 vsize=13980732 memory=5931346710807999079 CPUtime=0.11 cores=0,2,4,6
/proc/25114/task/25118/stat : 25118 (java) S 25112 25112 897 0 -1 1077944384 113 0 0 0 8 3 0 0 20 0 15 0 75923656 14316269568 109016 18446744073709551615 4194304 4196468 140726063259664 140396380339344 140396463040213 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25907200 140726063264177 140726063264353 140726063264353 140726063267791 0
[pid=25114/tid=25119] ppid=25112 vsize=13980732 memory=7295950583417696866 CPUtime=0.11 cores=0,2,4,6
/proc/25114/task/25119/stat : 25119 (java) S 25112 25112 897 0 -1 1077944384 182 0 0 0 8 3 0 0 20 0 15 0 75923656 14316269568 109016 18446744073709551615 4194304 4196468 140726063259664 140396379286544 140396463040213 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25907200 140726063264177 140726063264353 140726063264353 140726063267791 0
[pid=25114/tid=25120] ppid=25112 vsize=13980732 memory=7079770014140616784 CPUtime=0 cores=0,2,4,6
/proc/25114/task/25120/stat : 25120 (java) S 25112 25112 897 0 -1 1077944384 208 0 0 0 0 0 0 0 20 0 15 0 75923657 14316269568 109016 18446744073709551615 4194304 4196468 140726063259664 140395648071792 140396463041154 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25907200 140726063264177 140726063264353 140726063264353 140726063267791 0
[pid=25114/tid=25121] ppid=25112 vsize=13980732 memory=56 CPUtime=0 cores=0,2,4,6
/proc/25114/task/25121/stat : 25121 (java) S 25112 25112 897 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 75923657 14316269568 109016 18446744073709551615 4194304 4196468 140726063259664 140395647017824 140396463040213 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25907200 140726063264177 140726063264353 140726063264353 140726063267791 0
[pid=25114/tid=25122] ppid=25112 vsize=13980732 memory=139897486747664 CPUtime=0 cores=0,2,4,6
/proc/25114/task/25122/stat : 25122 (java) S 25112 25112 897 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 75923658 14316269568 109016 18446744073709551615 4194304 4196468 140726063259664 140395645965440 140396463040213 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25907200 140726063264177 140726063264353 140726063264353 140726063267791 0
[pid=25114/tid=25123] ppid=25112 vsize=13980732 memory=139897486747856 CPUtime=0 cores=0,2,4,6
/proc/25114/task/25123/stat : 25123 (java) S 25112 25112 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 75923660 14316269568 109016 18446744073709551615 4194304 4196468 140726063259664 140395644913744 140396463048603 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25907200 140726063264177 140726063264353 140726063264353 140726063267791 0
[pid=25114/tid=25124] ppid=25112 vsize=13980732 memory=139897486747760 CPUtime=1.78 cores=0,2,4,6
/proc/25114/task/25124/stat : 25124 (java) R 25112 25112 897 0 -1 4202560 3684 0 0 0 177 1 0 0 20 0 15 0 75923660 14316269568 109016 18446744073709551615 4194304 4196468 140726063259664 140395643854104 140396446526795 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25907200 140726063264177 140726063264353 140726063264353 140726063267791 0
[pid=25114/tid=25125] ppid=25112 vsize=13980732 memory=279794973452712 CPUtime=1.76 cores=0,2,4,6
/proc/25114/task/25125/stat : 25125 (java) R 25112 25112 897 0 -1 4202560 3042 0 0 0 176 0 0 0 20 0 15 0 75923660 14316269568 109016 18446744073709551615 4194304 4196468 140726063259664 140395642794912 140396447959405 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25907200 140726063264177 140726063264353 140726063264353 140726063267791 0
[pid=25114/tid=25126] ppid=25112 vsize=13980732 memory=279794973452872 CPUtime=0.58 cores=0,2,4,6
/proc/25114/task/25126/stat : 25126 (java) S 25112 25112 897 0 -1 1077944384 2820 0 0 0 57 1 0 0 20 0 15 0 75923660 14316269568 109016 18446744073709551615 4194304 4196468 140726063259664 140395641756528 140396463041154 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25907200 140726063264177 140726063264353 140726063264353 140726063267791 0
[pid=25114/tid=25127] ppid=25112 vsize=13980732 memory=279794973409520 CPUtime=0 cores=0,2,4,6
/proc/25114/task/25127/stat : 25127 (java) S 25112 25112 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 75923660 14316269568 109016 18446744073709551615 4194304 4196468 140726063259664 140395640703968 140396463040213 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25907200 140726063264177 140726063264353 140726063264353 140726063267791 0
[pid=25114/tid=25128] ppid=25112 vsize=13980732 memory=279794973409520 CPUtime=0 cores=0,2,4,6
/proc/25114/task/25128/stat : 25128 (java) S 25112 25112 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 75923665 14316269568 109016 18446744073709551615 4194304 4196468 140726063259664 140395639650736 140396463041154 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25907200 140726063264177 140726063264353 140726063264353 140726063267791 0
Current children cumulated CPU time: 6.74 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 437444 KiB
[startup+2.60077 s]
/proc/loadavg: 1.99 1.94 1.80 5/211 25128
/proc/meminfo: memFree=29958852/32770624 swapFree=67108860/67108860
[pid=25112] ppid=25109 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/25112/stat : 25112 (xcsp3-exec) S 25109 25112 897 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 75923646 9740288 345 18446744073709551615 4194304 5098028 140720610849776 140720610847880 140352920367740 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 8 0 0 7196144 7232144 12267520 140720610857336 140720610857541 140720610857541 140720610861035 0
/proc/25112/statm: 2378 345 289 221 0 87 0
[pid=25114] ppid=25112 vsize=13980732 memory=437728 CPUtime=7.44 cores=0,2,4,6
/proc/25114/stat : 25114 (java) S 25112 25112 897 0 -1 1077944320 20665 0 0 0 720 24 0 0 20 0 15 0 75923655 14316269568 109432 18446744073709551615 4194304 4196468 140726063259664 140726063242208 140396463030007 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 25907200 140726063264177 140726063264353 140726063264353 140726063267791 0
/proc/25114/statm: 3495183 109432 3230 1 0 3483476 0
[pid=25114/tid=25115] ppid=25112 vsize=13980732 memory=0 CPUtime=2.31 cores=0,2,4,6
/proc/25114/task/25115/stat : 25115 (java) R 25112 25112 897 0 -1 4202560 8835 0 0 0 224 7 0 0 20 0 15 0 75923655 14316269568 109432 18446744073709551615 4194304 4196468 140726063259664 140396467251136 140396447110494 0 4 1 16800974 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 25907200 140726063264177 140726063264353 140726063264353 140726063267791 0
[pid=25114/tid=25116] ppid=25112 vsize=13980732 memory=4430 CPUtime=0.1 cores=0,2,4,6
/proc/25114/task/25116/stat : 25116 (java) S 25112 25112 897 0 -1 1077944384 70 0 0 0 7 3 0 0 20 0 15 0 75923656 14316269568 109432 18446744073709551615 4194304 4196468 140726063259664 140396382444432 140396463040213 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25907200 140726063264177 140726063264353 140726063264353 140726063267791 0
[pid=25114/tid=25117] ppid=25112 vsize=13980732 memory=4420 CPUtime=0.12 cores=0,2,4,6
/proc/25114/task/25117/stat : 25117 (java) S 25112 25112 897 0 -1 1077944384 103 0 0 0 9 3 0 0 20 0 15 0 75923656 14316269568 109432 18446744073709551615 4194304 4196468 140726063259664 140396381391632 140396463040213 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25907200 140726063264177 140726063264353 140726063264353 140726063267791 0
[pid=25114/tid=25118] ppid=25112 vsize=13980732 memory=8996 CPUtime=0.11 cores=0,2,4,6
/proc/25114/task/25118/stat : 25118 (java) S 25112 25112 897 0 -1 1077944384 113 0 0 0 8 3 0 0 20 0 15 0 75923656 14316269568 109432 18446744073709551615 4194304 4196468 140726063259664 140396380339344 140396463040213 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25907200 140726063264177 140726063264353 140726063264353 140726063267791 0
[pid=25114/tid=25119] ppid=25112 vsize=13980732 memory=0 CPUtime=0.11 cores=0,2,4,6
/proc/25114/task/25119/stat : 25119 (java) S 25112 25112 897 0 -1 1077944384 182 0 0 0 8 3 0 0 20 0 15 0 75923656 14316269568 109432 18446744073709551615 4194304 4196468 140726063259664 140396379286544 140396463040213 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25907200 140726063264177 140726063264353 140726063264353 140726063267791 0
[pid=25114/tid=25120] ppid=25112 vsize=13980732 memory=13 CPUtime=0 cores=0,2,4,6
/proc/25114/task/25120/stat : 25120 (java) S 25112 25112 897 0 -1 1077944384 208 0 0 0 0 0 0 0 20 0 15 0 75923657 14316269568 109432 18446744073709551615 4194304 4196468 140726063259664 140395648071792 140396463041154 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25907200 140726063264177 140726063264353 140726063264353 140726063267791 0
[pid=25114/tid=25121] ppid=25112 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25114/task/25121/stat : 25121 (java) S 25112 25112 897 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 75923657 14316269568 109432 18446744073709551615 4194304 4196468 140726063259664 140395647017824 140396463040213 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25907200 140726063264177 140726063264353 140726063264353 140726063267791 0
[pid=25114/tid=25122] ppid=25112 vsize=13980732 memory=1 CPUtime=0 cores=0,2,4,6
/proc/25114/task/25122/stat : 25122 (java) S 25112 25112 897 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 75923658 14316269568 109432 18446744073709551615 4194304 4196468 140726063259664 140395645965440 140396463040213 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25907200 140726063264177 140726063264353 140726063264353 140726063267791 0
[pid=25114/tid=25123] ppid=25112 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25114/task/25123/stat : 25123 (java) S 25112 25112 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 75923660 14316269568 109432 18446744073709551615 4194304 4196468 140726063259664 140395644913744 140396463048603 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25907200 140726063264177 140726063264353 140726063264353 140726063267791 0
[pid=25114/tid=25124] ppid=25112 vsize=13980732 memory=0 CPUtime=1.97 cores=0,2,4,6
/proc/25114/task/25124/stat : 25124 (java) R 25112 25112 897 0 -1 4202560 3738 0 0 0 196 1 0 0 20 0 15 0 75923660 14316269568 109432 18446744073709551615 4194304 4196468 140726063259664 140395643861616 140396444550508 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25907200 140726063264177 140726063264353 140726063264353 140726063267791 0
[pid=25114/tid=25125] ppid=25112 vsize=13980732 memory=0 CPUtime=1.96 cores=0,2,4,6
/proc/25114/task/25125/stat : 25125 (java) R 25112 25112 897 0 -1 4202560 3075 0 0 0 196 0 0 0 20 0 15 0 75923660 14316269568 109432 18446744073709551615 4194304 4196468 140726063259664 140395642798608 140396446587387 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25907200 140726063264177 140726063264353 140726063264353 140726063267791 0
[pid=25114/tid=25126] ppid=25112 vsize=13980732 memory=0 CPUtime=0.69 cores=0,2,4,6
/proc/25114/task/25126/stat : 25126 (java) S 25112 25112 897 0 -1 1077944384 3043 0 0 0 68 1 0 0 20 0 15 0 75923660 14316269568 109432 18446744073709551615 4194304 4196468 140726063259664 140395641756528 140396463041154 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25907200 140726063264177 140726063264353 140726063264353 140726063267791 0
[pid=25114/tid=25127] ppid=25112 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25114/task/25127/stat : 25127 (java) S 25112 25112 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 75923660 14316269568 109432 18446744073709551615 4194304 4196468 140726063259664 140395640703968 140396463040213 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25907200 140726063264177 140726063264353 140726063264353 140726063267791 0
[pid=25114/tid=25128] ppid=25112 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25114/task/25128/stat : 25128 (java) S 25112 25112 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 75923665 14316269568 109432 18446744073709551615 4194304 4196468 140726063259664 140395639650736 140396463041154 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25907200 140726063264177 140726063264353 140726063264353 140726063267791 0
Current children cumulated CPU time: 7.44 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 439108 KiB
[startup+2.70391 s]
/proc/loadavg: 1.99 1.94 1.80 5/211 25128
/proc/meminfo: memFree=29958852/32770624 swapFree=67108860/67108860
[pid=25112] ppid=25109 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/25112/stat : 25112 (xcsp3-exec) S 25109 25112 897 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 75923646 9740288 345 18446744073709551615 4194304 5098028 140720610849776 140720610847880 140352920367740 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 8 0 0 7196144 7232144 12267520 140720610857336 140720610857541 140720610857541 140720610861035 0
/proc/25112/statm: 2378 345 289 221 0 87 0
[pid=25114] ppid=25112 vsize=13980732 memory=438696 CPUtime=7.8 cores=0,2,4,6
/proc/25114/stat : 25114 (java) S 25112 25112 897 0 -1 1077944320 20920 0 0 0 755 25 0 0 20 0 15 0 75923655 14316269568 109674 18446744073709551615 4194304 4196468 140726063259664 140726063242208 140396463030007 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 25907200 140726063264177 140726063264353 140726063264353 140726063267791 0
/proc/25114/statm: 3495183 109674 3235 1 0 3483476 0
[pid=25114/tid=25115] ppid=25112 vsize=13980732 memory=0 CPUtime=2.42 cores=0,2,4,6
/proc/25114/task/25115/stat : 25115 (java) R 25112 25112 897 0 -1 4202560 8940 0 0 0 234 8 0 0 20 0 15 0 75923655 14316269568 109674 18446744073709551615 4194304 4196468 140726063259664 140396467268624 140396063764969 0 4 1 16800974 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 25907200 140726063264177 140726063264353 140726063264353 140726063267791 0
[pid=25114/tid=25116] ppid=25112 vsize=13980732 memory=437132 CPUtime=0.1 cores=0,2,4,6
/proc/25114/task/25116/stat : 25116 (java) S 25112 25112 897 0 -1 1077944384 70 0 0 0 7 3 0 0 20 0 15 0 75923656 14316269568 109674 18446744073709551615 4194304 4196468 140726063259664 140396382444432 140396463040213 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25907200 140726063264177 140726063264353 140726063264353 140726063267791 0
[pid=25114/tid=25117] ppid=25112 vsize=13980732 memory=6656426216303648864 CPUtime=0.12 cores=0,2,4,6
/proc/25114/task/25117/stat : 25117 (java) S 25112 25112 897 0 -1 1077944384 103 0 0 0 9 3 0 0 20 0 15 0 75923656 14316269568 109674 18446744073709551615 4194304 4196468 140726063259664 140396381391632 140396463040213 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25907200 140726063264177 140726063264353 140726063264353 140726063267791 0
[pid=25114/tid=25118] ppid=25112 vsize=13980732 memory=0 CPUtime=0.11 cores=0,2,4,6
/proc/25114/task/25118/stat : 25118 (java) S 25112 25112 897 0 -1 1077944384 113 0 0 0 8 3 0 0 20 0 15 0 75923656 14316269568 109674 18446744073709551615 4194304 4196468 140726063259664 140396380339344 140396463040213 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25907200 140726063264177 140726063264353 140726063264353 140726063267791 0
[pid=25114/tid=25119] ppid=25112 vsize=13980732 memory=0 CPUtime=0.11 cores=0,2,4,6
/proc/25114/task/25119/stat : 25119 (java) S 25112 25112 897 0 -1 1077944384 182 0 0 0 8 3 0 0 20 0 15 0 75923656 14316269568 109674 18446744073709551615 4194304 4196468 140726063259664 140396379286544 140396463040213 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25907200 140726063264177 140726063264353 140726063264353 140726063267791 0
[pid=25114/tid=25120] ppid=25112 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25114/task/25120/stat : 25120 (java) S 25112 25112 897 0 -1 1077944384 208 0 0 0 0 0 0 0 20 0 15 0 75923657 14316269568 109674 18446744073709551615 4194304 4196468 140726063259664 140395648071792 140396463041154 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25907200 140726063264177 140726063264353 140726063264353 140726063267791 0
[pid=25114/tid=25121] ppid=25112 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25114/task/25121/stat : 25121 (java) S 25112 25112 897 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 75923657 14316269568 109674 18446744073709551615 4194304 4196468 140726063259664 140395647017824 140396463040213 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25907200 140726063264177 140726063264353 140726063264353 140726063267791 0
[pid=25114/tid=25122] ppid=25112 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25114/task/25122/stat : 25122 (java) S 25112 25112 897 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 75923658 14316269568 109674 18446744073709551615 4194304 4196468 140726063259664 140395645965440 140396463040213 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25907200 140726063264177 140726063264353 140726063264353 140726063267791 0
[pid=25114/tid=25123] ppid=25112 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25114/task/25123/stat : 25123 (java) S 25112 25112 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 75923660 14316269568 109678 18446744073709551615 4194304 4196468 140726063259664 140395644913744 140396463048603 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25907200 140726063264177 140726063264353 140726063264353 140726063267791 0
[pid=25114/tid=25124] ppid=25112 vsize=13980732 memory=279794973418304 CPUtime=2.07 cores=0,2,4,6
/proc/25114/task/25124/stat : 25124 (java) R 25112 25112 897 0 -1 4202560 3762 0 0 0 206 1 0 0 20 0 15 0 75923660 14316269568 109678 18446744073709551615 4194304 4196468 140726063259664 140395643854640 140396442721741 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25907200 140726063264177 140726063264353 140726063264353 140726063267791 0
[pid=25114/tid=25125] ppid=25112 vsize=13980732 memory=139897486715188 CPUtime=2.06 cores=0,2,4,6
/proc/25114/task/25125/stat : 25125 (java) R 25112 25112 897 0 -1 4202560 3099 0 0 0 206 0 0 0 20 0 15 0 75923660 14316269568 109678 18446744073709551615 4194304 4196468 140726063259664 140395642797312 140396456128318 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25907200 140726063264177 140726063264353 140726063264353 140726063267791 0
[pid=25114/tid=25126] ppid=25112 vsize=13980732 memory=330432 CPUtime=0.75 cores=0,2,4,6
/proc/25114/task/25126/stat : 25126 (java) R 25112 25112 897 0 -1 4202560 3149 0 0 0 74 1 0 0 20 0 15 0 75923660 14316269568 109678 18446744073709551615 4194304 4196468 140726063259664 140395641754488 140396441969704 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 25907200 140726063264177 140726063264353 140726063264353 140726063267791 0
[pid=25114/tid=25127] ppid=25112 vsize=13980732 memory=41628 CPUtime=0 cores=0,2,4,6
/proc/25114/task/25127/stat : 25127 (java) S 25112 25112 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 75923660 14316269568 109678 18446744073709551615 4194304 4196468 140726063259664 140395640703968 140396463040213 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25907200 140726063264177 140726063264353 140726063264353 140726063267791 0
[pid=25114/tid=25128] ppid=25112 vsize=13980732 memory=1292 CPUtime=0 cores=0,2,4,6
/proc/25114/task/25128/stat : 25128 (java) S 25112 25112 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 75923665 14316269568 109678 18446744073709551615 4194304 4196468 140726063259664 140395639650736 140396463041154 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25907200 140726063264177 140726063264353 140726063264353 140726063267791 0
Current children cumulated CPU time: 7.8 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 440076 KiB
Child status: 0
Real time (s): 2.77756
CPU time (s): 7.98201
CPU user time (s): 7.71941
CPU system time (s): 0.262601
CPU usage (%): 287.375
Max. virtual memory (cumulated for all children) (KiB): 13990244
Max. memory (cumulated for all children) (KiB): 440076
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 7.71941
system time used= 0.262601
maximum resident set size= 439960
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 21531
page faults= 0
swaps= 0
block input operations= 0
block output operations= 72
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2294
involuntary context switches= 32
# summary of solver processes directly reported to runsolver:
# pid: 25112
# total CPU time (s): 7.98201
# total CPU user time (s): 7.71941
# total CPU system time (s): 0.262601
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.035556 second user time and 0.070097 second system time
The end