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 (15285 MiB free)
memory of node 1: 16384 MiB (15575 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4281952-1503115295/watcher-4281952-1503115295 -o /tmp/evaluation-result-4281952-1503115295/solver-4281952-1503115295 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node131-1503095854-18172 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 1875874371 HOME/instance-4281952-1503115295.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=22822, runsolver pid=22819
Current StackSize limit: 8192 KiB
[startup+0.10011 s]*
/proc/loadavg: 1.91 1.98 1.93 3/203 22830
/proc/meminfo: memFree=31593912/32770624 swapFree=67108860/67108860
[pid=22822] ppid=22819 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/22822/stat : 22822 (xcsp3-exec) S 22819 22822 18108 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 9936602 9740288 345 18446744073709551615 4194304 5098028 140729193460464 140729193458568 139999037633148 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 7 0 0 7196144 7232144 36012032 140729193464185 140729193464390 140729193464390 140729193467883 0
/proc/22822/statm: 2378 345 289 221 0 87 0
[pid=22824] ppid=22822 vsize=13574484 memory=17744 CPUtime=0.02 cores=1,3,5,7
/proc/22824/stat : 22824 (java) S 22822 22822 18108 0 -1 1077944320 3738 0 0 0 2 0 0 0 20 0 9 0 9936609 13900271616 4436 18446744073709551615 4194304 4196468 140722249242320 140722249224864 140421889756919 0 0 1 16784584 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 12771328 140722249245106 140722249245282 140722249245282 140722249248719 0
/proc/22824/statm: 3393621 4436 2086 1 0 3383118 0
[pid=22824/tid=22825] ppid=22822 vsize=13574484 memory=-8713483618642983523 CPUtime=0.02 cores=1,3,5,7
/proc/22824/task/22825/stat : 22825 (java) R 22822 22822 18108 0 -1 4202560 2442 0 0 0 2 0 0 0 20 0 9 0 9936610 13900271616 4436 18446744073709551615 4194304 4196468 140722249242320 140421893993064 140421875825068 0 4 1 16784584 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12771328 140722249245106 140722249245282 140722249245282 140722249248719 0
[pid=22824/tid=22826] ppid=22822 vsize=13574484 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22824/task/22826/stat : 22826 (java) S 22822 22822 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 9936610 13900271616 4436 18446744073709551615 4194304 4196468 140722249242320 140421489486992 140421889767125 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12771328 140722249245106 140722249245282 140722249245282 140722249248719 0
[pid=22824/tid=22827] ppid=22822 vsize=13574484 memory=139966590416512 CPUtime=0 cores=1,3,5,7
/proc/22824/task/22827/stat : 22827 (java) S 22822 22822 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 9936610 13900271616 4436 18446744073709551615 4194304 4196468 140722249242320 140421488434192 140421889767125 0 4 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12771328 140722249245106 140722249245282 140722249245282 140722249248719 0
[pid=22824/tid=22828] ppid=22822 vsize=13574484 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22824/task/22828/stat : 22828 (java) S 22822 22822 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 9936610 13900271616 4436 18446744073709551615 4194304 4196468 140722249242320 140421487381392 140421889767125 0 4 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12771328 140722249245106 140722249245282 140722249245282 140722249248719 0
[pid=22824/tid=22829] ppid=22822 vsize=13574484 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22824/task/22829/stat : 22829 (java) S 22822 22822 18108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 9936610 13900271616 4436 18446744073709551615 4194304 4196468 140722249242320 140421486328592 140421889767125 0 4 1 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12771328 140722249245106 140722249245282 140722249245282 140722249248719 0
[pid=22824/tid=22830] ppid=22822 vsize=13574484 memory=139966590416512 CPUtime=0 cores=1,3,5,7
/proc/22824/task/22830/stat : 22830 (java) S 22822 22822 18108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 9936612 13900271616 4436 18446744073709551615 4194304 4196468 140722249242320 140421368334704 140421889768066 0 0 1 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12771328 140722249245106 140722249245282 140722249245282 140722249248719 0
[pid=22824/tid=22831] ppid=22822 vsize=13574484 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22824/task/22831/stat : 22831 (java) S 22822 22822 18108 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 9 0 9936612 13900271616 4436 18446744073709551615 4194304 4196468 140722249242320 140421367280672 140421889767125 0 4 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12771328 140722249245106 140722249245282 140722249245282 140722249248719 0
[pid=22824/tid=22832] ppid=22822 vsize=13574484 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22824/task/22832/stat : 22832 (java) S 22822 22822 18108 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 9 0 9936612 13900271616 4436 18446744073709551615 4194304 4196468 140722249242320 140421366227888 140421889767125 0 4 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12771328 140722249245106 140722249245282 140722249245282 140722249248719 0
Current children cumulated CPU time: 0.02 s
Current children cumulated vsize: 13583996 KiB
Current children cumulated memory: 19124 KiB
[startup+0.212752 s]*
/proc/loadavg: 1.91 1.98 1.93 4/211 22838
/proc/meminfo: memFree=31585532/32770624 swapFree=67108860/67108860
[pid=22822] ppid=22819 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/22822/stat : 22822 (xcsp3-exec) S 22819 22822 18108 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 9936602 9740288 345 18446744073709551615 4194304 5098028 140729193460464 140729193458568 139999037633148 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 7 0 0 7196144 7232144 36012032 140729193464185 140729193464390 140729193464390 140729193467883 0
/proc/22822/statm: 2378 345 289 221 0 87 0
[pid=22824] ppid=22822 vsize=13974352 memory=30628 CPUtime=0.15 cores=1,3,5,7
/proc/22824/stat : 22824 (java) S 22822 22822 18108 0 -1 1077944320 6058 0 0 0 14 1 0 0 20 0 15 0 9936609 14309736448 7657 18446744073709551615 4194304 4196468 140722249242320 140722249224864 140421889756919 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 12771328 140722249245106 140722249245282 140722249245282 140722249248719 0
/proc/22824/statm: 3493588 7657 2952 1 0 3482964 0
[pid=22824/tid=22825] ppid=22822 vsize=13974352 memory=-6871798056524144002 CPUtime=0.1 cores=1,3,5,7
/proc/22824/task/22825/stat : 22825 (java) R 22822 22822 18108 0 -1 4202560 3423 0 0 0 10 0 0 0 20 0 15 0 9936610 14309736448 7657 18446744073709551615 4194304 4196468 140722249242320 140421893987528 140421881994046 0 4 1 16800974 0 0 0 -1 3 0 0 2 0 0 6293624 6294260 12771328 140722249245106 140722249245282 140722249245282 140722249248719 0
[pid=22824/tid=22826] ppid=22822 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22824/task/22826/stat : 22826 (java) S 22822 22822 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9936610 14309736448 7657 18446744073709551615 4194304 4196468 140722249242320 140421489486992 140421889767125 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12771328 140722249245106 140722249245282 140722249245282 140722249248719 0
[pid=22824/tid=22827] ppid=22822 vsize=13974352 memory=139966590416512 CPUtime=0 cores=1,3,5,7
/proc/22824/task/22827/stat : 22827 (java) S 22822 22822 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9936610 14309736448 7657 18446744073709551615 4194304 4196468 140722249242320 140421488434192 140421889767125 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12771328 140722249245106 140722249245282 140722249245282 140722249248719 0
[pid=22824/tid=22828] ppid=22822 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22824/task/22828/stat : 22828 (java) S 22822 22822 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9936610 14309736448 7657 18446744073709551615 4194304 4196468 140722249242320 140421487381392 140421889767125 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12771328 140722249245106 140722249245282 140722249245282 140722249248719 0
[pid=22824/tid=22829] ppid=22822 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22824/task/22829/stat : 22829 (java) S 22822 22822 18108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 9936610 14309736448 7657 18446744073709551615 4194304 4196468 140722249242320 140421486328592 140421889767125 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12771328 140722249245106 140722249245282 140722249245282 140722249248719 0
[pid=22824/tid=22830] ppid=22822 vsize=13974352 memory=139966590416512 CPUtime=0 cores=1,3,5,7
/proc/22824/task/22830/stat : 22830 (java) S 22822 22822 18108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 9936612 14309736448 7657 18446744073709551615 4194304 4196468 140722249242320 140421368334704 140421889768066 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12771328 140722249245106 140722249245282 140722249245282 140722249248719 0
[pid=22824/tid=22831] ppid=22822 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22824/task/22831/stat : 22831 (java) S 22822 22822 18108 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 9936612 14309736448 7657 18446744073709551615 4194304 4196468 140722249242320 140421367280672 140421889767125 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12771328 140722249245106 140722249245282 140722249245282 140722249248719 0
[pid=22824/tid=22832] ppid=22822 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22824/task/22832/stat : 22832 (java) S 22822 22822 18108 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 9936612 14309736448 7657 18446744073709551615 4194304 4196468 140722249242320 140421366227824 140421889767125 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12771328 140722249245106 140722249245282 140722249245282 140722249248719 0
[pid=22824/tid=22833] ppid=22822 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22824/task/22833/stat : 22833 (java) S 22822 22822 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9936615 14309736448 7657 18446744073709551615 4194304 4196468 140722249242320 140421365176144 140421889775515 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12771328 140722249245106 140722249245282 140722249245282 140722249248719 0
[pid=22824/tid=22834] ppid=22822 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22824/task/22834/stat : 22834 (java) S 22822 22822 18108 0 -1 1077944384 567 0 0 0 0 0 0 0 20 0 15 0 9936615 14309736448 7657 18446744073709551615 4194304 4196468 140722249242320 140421364124528 140421889768066 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12771328 140722249245106 140722249245282 140722249245282 140722249248719 0
[pid=22824/tid=22835] ppid=22822 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22824/task/22835/stat : 22835 (java) S 22822 22822 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9936615 14309736448 7657 18446744073709551615 4194304 4196468 140722249242320 140421363071728 140421889768066 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12771328 140722249245106 140722249245282 140722249245282 140722249248719 0
[pid=22824/tid=22836] ppid=22822 vsize=13974352 memory=139966590416512 CPUtime=0.02 cores=1,3,5,7
/proc/22824/task/22836/stat : 22836 (java) R 22822 22822 18108 0 -1 4202560 764 0 0 0 2 0 0 0 20 0 15 0 9936615 14309736448 7657 18446744073709551615 4194304 4196468 140722249242320 140421362015736 140421874283288 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12771328 140722249245106 140722249245282 140722249245282 140722249248719 0
[pid=22824/tid=22837] ppid=22822 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22824/task/22837/stat : 22837 (java) S 22822 22822 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9936615 14309736448 7657 18446744073709551615 4194304 4196468 140722249242320 140421360966368 140421889767125 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12771328 140722249245106 140722249245282 140722249245282 140722249248719 0
[pid=22824/tid=22838] ppid=22822 vsize=13974352 memory=139966590416512 CPUtime=0 cores=1,3,5,7
/proc/22824/task/22838/stat : 22838 (java) S 22822 22822 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9936618 14309736448 7657 18446744073709551615 4194304 4196468 140722249242320 140421359913648 140421889768066 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12771328 140722249245106 140722249245282 140722249245282 140722249248719 0
Current children cumulated CPU time: 0.15 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 32008 KiB
[startup+0.310346 s]*
/proc/loadavg: 1.91 1.98 1.93 4/211 22838
/proc/meminfo: memFree=31572688/32770624 swapFree=67108860/67108860
[pid=22822] ppid=22819 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/22822/stat : 22822 (xcsp3-exec) S 22819 22822 18108 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 9936602 9740288 345 18446744073709551615 4194304 5098028 140729193460464 140729193458568 139999037633148 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 7 0 0 7196144 7232144 36012032 140729193464185 140729193464390 140729193464390 140729193467883 0
/proc/22822/statm: 2378 345 289 221 0 87 0
[pid=22824] ppid=22822 vsize=13978608 memory=40316 CPUtime=0.34 cores=1,3,5,7
/proc/22824/stat : 22824 (java) S 22822 22822 18108 0 -1 1077944320 9252 0 0 0 31 3 0 0 20 0 15 0 9936609 14314094592 10079 18446744073709551615 4194304 4196468 140722249242320 140722249224864 140421889756919 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 12771328 140722249245106 140722249245282 140722249245282 140722249248719 0
/proc/22824/statm: 3494652 10079 3063 1 0 3482964 0
[pid=22824/tid=22825] ppid=22822 vsize=13978608 memory=-8774313645642428999 CPUtime=0.2 cores=1,3,5,7
/proc/22824/task/22825/stat : 22825 (java) R 22822 22822 18108 0 -1 4202560 6374 0 0 0 19 1 0 0 20 0 15 0 9936610 14314094592 10079 18446744073709551615 4194304 4196468 140722249242320 140421893979824 140421873837406 0 4 1 16800974 0 0 0 -1 3 0 0 2 0 0 6293624 6294260 12771328 140722249245106 140722249245282 140722249245282 140722249248719 0
[pid=22824/tid=22826] ppid=22822 vsize=13978608 memory=4627853888499060086 CPUtime=0 cores=1,3,5,7
/proc/22824/task/22826/stat : 22826 (java) S 22822 22822 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9936610 14314094592 10079 18446744073709551615 4194304 4196468 140722249242320 140421489486992 140421889767125 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12771328 140722249245106 140722249245282 140722249245282 140722249248719 0
[pid=22824/tid=22827] ppid=22822 vsize=13978608 memory=7031125463459224206 CPUtime=0 cores=1,3,5,7
/proc/22824/task/22827/stat : 22827 (java) S 22822 22822 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9936610 14314094592 10079 18446744073709551615 4194304 4196468 140722249242320 140421488434192 140421889767125 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12771328 140722249245106 140722249245282 140722249245282 140722249248719 0
[pid=22824/tid=22828] ppid=22822 vsize=13978608 memory=-7305533901252758645 CPUtime=0 cores=1,3,5,7
/proc/22824/task/22828/stat : 22828 (java) S 22822 22822 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9936610 14314094592 10079 18446744073709551615 4194304 4196468 140722249242320 140421487381392 140421889767125 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12771328 140722249245106 140722249245282 140722249245282 140722249248719 0
[pid=22824/tid=22829] ppid=22822 vsize=13978608 memory=8248408006974860141 CPUtime=0 cores=1,3,5,7
/proc/22824/task/22829/stat : 22829 (java) S 22822 22822 18108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 9936610 14314094592 10079 18446744073709551615 4194304 4196468 140722249242320 140421486328592 140421889767125 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12771328 140722249245106 140722249245282 140722249245282 140722249248719 0
[pid=22824/tid=22830] ppid=22822 vsize=13978608 memory=139966590423505 CPUtime=0 cores=1,3,5,7
/proc/22824/task/22830/stat : 22830 (java) S 22822 22822 18108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 9936612 14314094592 10079 18446744073709551615 4194304 4196468 140722249242320 140421368334704 140421889768066 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12771328 140722249245106 140722249245282 140722249245282 140722249248719 0
[pid=22824/tid=22831] ppid=22822 vsize=13978608 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22824/task/22831/stat : 22831 (java) S 22822 22822 18108 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 9936612 14314094592 10079 18446744073709551615 4194304 4196468 140722249242320 140421367280672 140421889767125 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12771328 140722249245106 140722249245282 140722249245282 140722249248719 0
[pid=22824/tid=22832] ppid=22822 vsize=13978608 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22824/task/22832/stat : 22832 (java) S 22822 22822 18108 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 9936612 14314094592 10079 18446744073709551615 4194304 4196468 140722249242320 140421366227824 140421889767125 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12771328 140722249245106 140722249245282 140722249245282 140722249248719 0
[pid=22824/tid=22833] ppid=22822 vsize=13978608 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22824/task/22833/stat : 22833 (java) S 22822 22822 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9936615 14314094592 10079 18446744073709551615 4194304 4196468 140722249242320 140421365176144 140421889775515 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12771328 140722249245106 140722249245282 140722249245282 140722249248719 0
[pid=22824/tid=22834] ppid=22822 vsize=13978608 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/22824/task/22834/stat : 22834 (java) S 22822 22822 18108 0 -1 1077944384 662 0 0 0 2 0 0 0 20 0 15 0 9936615 14314094592 10079 18446744073709551615 4194304 4196468 140722249242320 140421364124528 140421889768066 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12771328 140722249245106 140722249245282 140722249245282 140722249248719 0
[pid=22824/tid=22835] ppid=22822 vsize=13978608 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/22824/task/22835/stat : 22835 (java) S 22822 22822 18108 0 -1 1077944384 79 0 0 0 2 0 0 0 20 0 15 0 9936615 14314094592 10079 18446744073709551615 4194304 4196468 140722249242320 140421363071728 140421889768066 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12771328 140722249245106 140722249245282 140722249245282 140722249248719 0
[pid=22824/tid=22836] ppid=22822 vsize=13978608 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/22824/task/22836/stat : 22836 (java) R 22822 22822 18108 0 -1 4202560 834 0 0 0 8 0 0 0 20 0 15 0 9936615 14314094592 10079 18446744073709551615 4194304 4196468 140722249242320 140421362018928 140421889768854 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12771328 140722249245106 140722249245282 140722249245282 140722249248719 0
[pid=22824/tid=22837] ppid=22822 vsize=13978608 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22824/task/22837/stat : 22837 (java) S 22822 22822 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9936615 14314094592 10079 18446744073709551615 4194304 4196468 140722249242320 140421360966368 140421889767125 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12771328 140722249245106 140722249245282 140722249245282 140722249248719 0
[pid=22824/tid=22838] ppid=22822 vsize=13978608 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22824/task/22838/stat : 22838 (java) S 22822 22822 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9936618 14314094592 10079 18446744073709551615 4194304 4196468 140722249242320 140421359913648 140421889768066 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12771328 140722249245106 140722249245282 140722249245282 140722249248719 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 13988120 KiB
Current children cumulated memory: 41696 KiB
[startup+0.700834 s]
/proc/loadavg: 1.91 1.98 1.93 4/211 22838
/proc/meminfo: memFree=31561372/32770624 swapFree=67108860/67108860
[pid=22822] ppid=22819 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/22822/stat : 22822 (xcsp3-exec) S 22819 22822 18108 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 9936602 9740288 345 18446744073709551615 4194304 5098028 140729193460464 140729193458568 139999037633148 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 7 0 0 7196144 7232144 36012032 140729193464185 140729193464390 140729193464390 140729193467883 0
/proc/22822/statm: 2378 345 289 221 0 87 0
[pid=22824] ppid=22822 vsize=13980732 memory=62968 CPUtime=1.34 cores=1,3,5,7
/proc/22824/stat : 22824 (java) S 22822 22822 18108 0 -1 1077944320 13343 0 0 0 130 4 0 0 20 0 15 0 9936609 14316269568 15742 18446744073709551615 4194304 4196468 140722249242320 140722249224864 140421889756919 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 12771328 140722249245106 140722249245282 140722249245282 140722249248719 0
/proc/22824/statm: 3495183 15742 3183 1 0 3483476 0
[pid=22824/tid=22825] ppid=22822 vsize=13980732 memory=7165352523810945333 CPUtime=0.57 cores=1,3,5,7
/proc/22824/task/22825/stat : 22825 (java) R 22822 22822 18108 0 -1 4202560 8453 0 0 0 55 2 0 0 20 0 15 0 9936610 14316269568 15742 18446744073709551615 4194304 4196468 140722249242320 140421893996272 140421493014783 0 4 1 16800974 0 0 0 -1 5 0 0 2 0 0 6293624 6294260 12771328 140722249245106 140722249245282 140722249245282 140722249248719 0
[pid=22824/tid=22826] ppid=22822 vsize=13980732 memory=5787776862631510113 CPUtime=0 cores=1,3,5,7
/proc/22824/task/22826/stat : 22826 (java) S 22822 22822 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9936610 14316269568 15742 18446744073709551615 4194304 4196468 140722249242320 140421489486992 140421889767125 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12771328 140722249245106 140722249245282 140722249245282 140722249248719 0
[pid=22824/tid=22827] ppid=22822 vsize=13980732 memory=5865491479076426066 CPUtime=0 cores=1,3,5,7
/proc/22824/task/22827/stat : 22827 (java) S 22822 22822 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9936610 14316269568 15742 18446744073709551615 4194304 4196468 140722249242320 140421488434192 140421889767125 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12771328 140722249245106 140722249245282 140722249245282 140722249248719 0
[pid=22824/tid=22828] ppid=22822 vsize=13980732 memory=-7812477184710932156 CPUtime=0 cores=1,3,5,7
/proc/22824/task/22828/stat : 22828 (java) S 22822 22822 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9936610 14316269568 15742 18446744073709551615 4194304 4196468 140722249242320 140421487381392 140421889767125 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12771328 140722249245106 140722249245282 140722249245282 140722249248719 0
[pid=22824/tid=22829] ppid=22822 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22824/task/22829/stat : 22829 (java) S 22822 22822 18108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 9936610 14316269568 15742 18446744073709551615 4194304 4196468 140722249242320 140421486328592 140421889767125 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12771328 140722249245106 140722249245282 140722249245282 140722249248719 0
[pid=22824/tid=22830] ppid=22822 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22824/task/22830/stat : 22830 (java) S 22822 22822 18108 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 9936612 14316269568 15742 18446744073709551615 4194304 4196468 140722249242320 140421368334704 140421889768066 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12771328 140722249245106 140722249245282 140722249245282 140722249248719 0
[pid=22824/tid=22831] ppid=22822 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22824/task/22831/stat : 22831 (java) S 22822 22822 18108 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 9936612 14316269568 15742 18446744073709551615 4194304 4196468 140722249242320 140421367280672 140421889767125 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12771328 140722249245106 140722249245282 140722249245282 140722249248719 0
[pid=22824/tid=22832] ppid=22822 vsize=13980732 memory=4128 CPUtime=0 cores=1,3,5,7
/proc/22824/task/22832/stat : 22832 (java) S 22822 22822 18108 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 9936612 14316269568 15742 18446744073709551615 4194304 4196468 140722249242320 140421366227824 140421889767125 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12771328 140722249245106 140722249245282 140722249245282 140722249248719 0
[pid=22824/tid=22833] ppid=22822 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22824/task/22833/stat : 22833 (java) S 22822 22822 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9936615 14316269568 15742 18446744073709551615 4194304 4196468 140722249242320 140421365176144 140421889775515 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12771328 140722249245106 140722249245282 140722249245282 140722249248719 0
[pid=22824/tid=22834] ppid=22822 vsize=13980732 memory=139966474625648 CPUtime=0.25 cores=1,3,5,7
/proc/22824/task/22834/stat : 22834 (java) R 22822 22822 18108 0 -1 4202560 1289 0 0 0 24 1 0 0 20 0 15 0 9936615 14316269568 15742 18446744073709551615 4194304 4196468 140722249242320 140421364113616 140421868160370 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12771328 140722249245106 140722249245282 140722249245282 140722249248719 0
[pid=22824/tid=22835] ppid=22822 vsize=13980732 memory=0 CPUtime=0.2 cores=1,3,5,7
/proc/22824/task/22835/stat : 22835 (java) R 22822 22822 18108 0 -1 4202560 634 0 0 0 20 0 0 0 20 0 15 0 9936615 14316269568 15742 18446744073709551615 4194304 4196468 140722249242320 140421363058272 140421866988542 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 12771328 140722249245106 140722249245282 140722249245282 140722249248719 0
[pid=22824/tid=22836] ppid=22822 vsize=13980732 memory=0 CPUtime=0.29 cores=1,3,5,7
/proc/22824/task/22836/stat : 22836 (java) S 22822 22822 18108 0 -1 1077944384 1660 0 0 0 29 0 0 0 20 0 15 0 9936615 14316269568 15742 18446744073709551615 4194304 4196468 140722249242320 140421362018928 140421889768066 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12771328 140722249245106 140722249245282 140722249245282 140722249248719 0
[pid=22824/tid=22837] ppid=22822 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22824/task/22837/stat : 22837 (java) S 22822 22822 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9936615 14316269568 15742 18446744073709551615 4194304 4196468 140722249242320 140421360966368 140421889767125 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12771328 140722249245106 140722249245282 140722249245282 140722249248719 0
[pid=22824/tid=22838] ppid=22822 vsize=13980732 memory=7809523229951467576 CPUtime=0 cores=1,3,5,7
/proc/22824/task/22838/stat : 22838 (java) S 22822 22822 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9936618 14316269568 15742 18446744073709551615 4194304 4196468 140722249242320 140421359913648 140421889768066 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12771328 140722249245106 140722249245282 140722249245282 140722249248719 0
Current children cumulated CPU time: 1.34 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 64348 KiB
[startup+1.50084 s]
/proc/loadavg: 1.91 1.98 1.93 5/211 22838
/proc/meminfo: memFree=31544316/32770624 swapFree=67108860/67108860
[pid=22822] ppid=22819 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/22822/stat : 22822 (xcsp3-exec) S 22819 22822 18108 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 9936602 9740288 345 18446744073709551615 4194304 5098028 140729193460464 140729193458568 139999037633148 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 7 0 0 7196144 7232144 36012032 140729193464185 140729193464390 140729193464390 140729193467883 0
/proc/22822/statm: 2378 345 289 221 0 87 0
[pid=22824] ppid=22822 vsize=13980732 memory=75012 CPUtime=3.76 cores=1,3,5,7
/proc/22824/stat : 22824 (java) S 22822 22822 18108 0 -1 1077944320 21976 0 0 0 371 5 0 0 20 0 15 0 9936609 14316269568 18753 18446744073709551615 4194304 4196468 140722249242320 140722249224864 140421889756919 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 12771328 140722249245106 140722249245282 140722249245282 140722249248719 0
/proc/22824/statm: 3495183 18753 3193 1 0 3483476 0
[pid=22824/tid=22825] ppid=22822 vsize=13980732 memory=25959 CPUtime=1.37 cores=1,3,5,7
/proc/22824/task/22825/stat : 22825 (java) R 22822 22822 18108 0 -1 4202560 8968 0 0 0 135 2 0 0 20 0 15 0 9936610 14316269568 18753 18446744073709551615 4194304 4196468 140722249242320 140421893995976 140421493714763 0 4 1 16800974 0 0 0 -1 5 0 0 2 0 0 6293624 6294260 12771328 140722249245106 140722249245282 140722249245282 140722249248719 0
[pid=22824/tid=22826] ppid=22822 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22824/task/22826/stat : 22826 (java) S 22822 22822 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9936610 14316269568 18753 18446744073709551615 4194304 4196468 140722249242320 140421489486992 140421889767125 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12771328 140722249245106 140722249245282 140722249245282 140722249248719 0
[pid=22824/tid=22827] ppid=22822 vsize=13980732 memory=-3253322038155611931 CPUtime=0 cores=1,3,5,7
/proc/22824/task/22827/stat : 22827 (java) S 22822 22822 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9936610 14316269568 18753 18446744073709551615 4194304 4196468 140722249242320 140421488434192 140421889767125 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12771328 140722249245106 140722249245282 140722249245282 140722249248719 0
[pid=22824/tid=22828] ppid=22822 vsize=13980732 memory=6944656592455360604 CPUtime=0 cores=1,3,5,7
/proc/22824/task/22828/stat : 22828 (java) S 22822 22822 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9936610 14316269568 18753 18446744073709551615 4194304 4196468 140722249242320 140421487381392 140421889767125 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12771328 140722249245106 140722249245282 140722249245282 140722249248719 0
[pid=22824/tid=22829] ppid=22822 vsize=13980732 memory=139966474617241 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
/proc/22822/stat : 22822 (xcsp3-exec) S 22819 22822 18108 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 9936602 9740288 345 18446744073709551615 4194304 5098028 140729193460464 140729193458568 139999037633148 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 7 0 0 7196144 7232144 36012032 140729193464185 140729193464390 140729193464390 140729193467883 0
/proc/22822/statm: 2378 345 289 221 0 87 0
[pid=22824] ppid=22822 vsize=13980732 memory=75148 CPUtime=3.94 cores=1,3,5,7
/proc/22824/stat : 22824 (java) S 22822 22822 18108 0 -1 1077944320 22090 0 0 0 389 5 0 0 20 0 15 0 9936609 14316269568 18787 18446744073709551615 4194304 4196468 140722249242320 140722249224864 140421889756919 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 12771328 140722249245106 140722249245282 140722249245282 140722249248719 0
/proc/22824/statm: 3495183 18787 3195 1 0 3483476 0
[pid=22824/tid=22825] ppid=22822 vsize=13980732 memory=10936 CPUtime=1.47 cores=1,3,5,7
/proc/22824/task/22825/stat : 22825 (java) R 22822 22822 18108 0 -1 4202560 8990 0 0 0 145 2 0 0 20 0 15 0 9936610 14316269568 18787 18446744073709551615 4194304 4196468 140722249242320 140421893995976 140421493561789 0 4 1 16800974 0 0 0 -1 5 0 0 2 0 0 6293624 6294260 12771328 140722249245106 140722249245282 140722249245282 140722249248719 0
[pid=22824/tid=22826] ppid=22822 vsize=13980732 memory=1700 CPUtime=0 cores=1,3,5,7
/proc/22824/task/22826/stat : 22826 (java) S 22822 22822 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9936610 14316269568 18787 18446744073709551615 4194304 4196468 140722249242320 140421489486992 140421889767125 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12771328 140722249245106 140722249245282 140722249245282 140722249248719 0
[pid=22824/tid=22827] ppid=22822 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22824/task/22827/stat : 22827 (java) S 22822 22822 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9936610 14316269568 18787 18446744073709551615 4194304 4196468 140722249242320 140421488434192 140421889767125 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12771328 140722249245106 140722249245282 140722249245282 140722249248719 0
[pid=22824/tid=22828] ppid=22822 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22824/task/22828/stat : 22828 (java) S 22822 22822 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9936610 14316269568 18787 18446744073709551615 4194304 4196468 140722249242320 140421487381392 140421889767125 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12771328 140722249245106 140722249245282 140722249245282 140722249248719 0
[pid=22824/tid=22829] ppid=22822 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22824/task/22829/stat : 22829 (java) S 22822 22822 18108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 9936610 14316269568 18787 18446744073709551615 4194304 4196468 140722249242320 140421486328592 140421889767125 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12771328 140722249245106 140722249245282 140722249245282 140722249248719 0
[pid=22824/tid=22830] ppid=22822 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22824/task/22830/stat : 22830 (java) S 22822 22822 18108 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 9936612 14316269568 18787 18446744073709551615 4194304 4196468 140722249242320 140421368334704 140421889768066 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12771328 140722249245106 140722249245282 140722249245282 140722249248719 0
[pid=22824/tid=22831] ppid=22822 vsize=13980732 memory=9126232286719478932 CPUtime=0 cores=1,3,5,7
/proc/22824/task/22831/stat : 22831 (java) S 22822 22822 18108 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 9936612 14316269568 18787 18446744073709551615 4194304 4196468 140722249242320 140421367280672 140421889767125 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12771328 140722249245106 140722249245282 140722249245282 140722249248719 0
[pid=22824/tid=22832] ppid=22822 vsize=13980732 memory=6944652177228980320 CPUtime=0 cores=1,3,5,7
/proc/22824/task/22832/stat : 22832 (java) S 22822 22822 18108 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 9936612 14316269568 18787 18446744073709551615 4194304 4196468 140722249242320 140421366227824 140421889767125 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12771328 140722249245106 140722249245282 140722249245282 140722249248719 0
[pid=22824/tid=22833] ppid=22822 vsize=13980732 memory=6944652177228980320 CPUtime=0 cores=1,3,5,7
/proc/22824/task/22833/stat : 22833 (java) S 22822 22822 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9936615 14316269568 18787 18446744073709551615 4194304 4196468 140722249242320 140421365176144 140421889775515 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12771328 140722249245106 140722249245282 140722249245282 140722249248719 0
[pid=22824/tid=22834] ppid=22822 vsize=13980732 memory=6944656592455097440 CPUtime=1.08 cores=1,3,5,7
/proc/22824/task/22834/stat : 22834 (java) S 22822 22822 18108 0 -1 1077944384 4680 0 0 0 107 1 0 0 20 0 15 0 9936615 14316269568 18787 18446744073709551615 4194304 4196468 140722249242320 140421364124528 140421889768066 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12771328 140722249245106 140722249245282 140722249245282 140722249248719 0
[pid=22824/tid=22835] ppid=22822 vsize=13980732 memory=0 CPUtime=1 cores=1,3,5,7
/proc/22824/task/22835/stat : 22835 (java) S 22822 22822 18108 0 -1 1077944384 5055 0 0 0 100 0 0 0 20 0 15 0 9936615 14316269568 18787 18446744073709551615 4194304 4196468 140722249242320 140421363071728 140421889768066 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12771328 140722249245106 140722249245282 140722249245282 140722249248719 0
[pid=22824/tid=22836] ppid=22822 vsize=13980732 memory=7666371644162200680 CPUtime=0.35 cores=1,3,5,7
/proc/22824/task/22836/stat : 22836 (java) S 22822 22822 18108 0 -1 1077944384 2054 0 0 0 35 0 0 0 20 0 15 0 9936615 14316269568 18787 18446744073709551615 4194304 4196468 140722249242320 140421362018928 140421889768066 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12771328 140722249245106 140722249245282 140722249245282 140722249248719 0
[pid=22824/tid=22837] ppid=22822 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/22824/task/22837/stat : 22837 (java) S 22822 22822 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9936615 14316269568 18787 18446744073709551615 4194304 4196468 140722249242320 140421360966368 140421889767125 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12771328 140722249245106 140722249245282 140722249245282 140722249248719 0
[pid=22824/tid=22838] ppid=22822 vsize=13980732 memory=5408 CPUtime=0 cores=1,3,5,7
/proc/22824/task/22838/stat : 22838 (java) S 22822 22822 18108 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 9936618 14316269568 18787 18446744073709551615 4194304 4196468 140722249242320 140421359913648 140421889768066 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12771328 140722249245106 140722249245282 140722249245282 140722249248719 0
Current children cumulated CPU time: 3.94 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 76528 KiB
[startup+2.00072 s]*
/proc/loadavg: 1.91 1.98 1.93 3/211 22838
/proc/meminfo: memFree=31538424/32770624 swapFree=67108860/67108860
[pid=22822] ppid=22819 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/22822/stat : 22822 (xcsp3-exec) S 22819 22822 18108 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 9936602 9740288 345 18446744073709551615 4194304 5098028 140729193460464 140729193458568 139999037633148 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 7 0 0 7196144 7232144 36012032 140729193464185 140729193464390 140729193464390 140729193467883 0
/proc/22822/statm: 2378 345 289 221 0 87 0
[pid=22824] ppid=22822 vsize=13980732 memory=77380 CPUtime=4.58 cores=1,3,5,7
/proc/22824/stat : 22824 (java) S 22822 22822 18108 0 -1 1077944320 22336 0 0 0 452 6 0 0 20 0 15 0 9936609 14316269568 19345 18446744073709551615 4194304 4196468 140722249242320 140722249224864 140421889756919 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 12771328 140722249245106 140722249245282 140722249245282 140722249248719 0
/proc/22824/statm: 3495183 19345 3202 1 0 3483476 0
[pid=22824/tid=22825] ppid=22822 vsize=13980732 memory=-6871798056524144002 CPUtime=1.88 cores=1,3,5,7
/proc/22824/task/22825/stat : 22825 (java) R 22822 22822 18108 0 -1 4202560 9121 0 0 0 186 2 0 0 20 0 15 0 9936610 14316269568 19345 18446744073709551615 4194304 4196468 140722249242320 140421893993536 140421493174660 0 4 1 16800974 0 0 0 -1 5 0 0 2 0 0 6293624 6294260 12771328 140722249245106 140722249245282 140722249245282 140722249248719 0
[pid=22824/tid=22826] ppid=22822 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22824/task/22826/stat : 22826 (java) S 22822 22822 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9936610 14316269568 19345 18446744073709551615 4194304 4196468 140722249242320 140421489486992 140421889767125 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12771328 140722249245106 140722249245282 140722249245282 140722249248719 0
[pid=22824/tid=22827] ppid=22822 vsize=13980732 memory=139966590416512 CPUtime=0 cores=1,3,5,7
/proc/22824/task/22827/stat : 22827 (java) S 22822 22822 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9936610 14316269568 19345 18446744073709551615 4194304 4196468 140722249242320 140421488434192 140421889767125 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12771328 140722249245106 140722249245282 140722249245282 140722249248719 0
[pid=22824/tid=22828] ppid=22822 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22824/task/22828/stat : 22828 (java) S 22822 22822 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9936610 14316269568 19345 18446744073709551615 4194304 4196468 140722249242320 140421487381392 140421889767125 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12771328 140722249245106 140722249245282 140722249245282 140722249248719 0
[pid=22824/tid=22829] ppid=22822 vsize=13980732 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22824/task/22829/stat : 22829 (java) S 22822 22822 18108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 9936610 14316269568 19345 18446744073709551615 4194304 4196468 140722249242320 140421486328592 140421889767125 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12771328 140722249245106 140722249245282 140722249245282 140722249248719 0
[pid=22824/tid=22830] ppid=22822 vsize=13980732 memory=139966590416512 CPUtime=0 cores=1,3,5,7
/proc/22824/task/22830/stat : 22830 (java) S 22822 22822 18108 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 15 0 9936612 14316269568 19345 18446744073709551615 4194304 4196468 140722249242320 140421368334704 140421889768066 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12771328 140722249245106 140722249245282 140722249245282 140722249248719 0
[pid=22824/tid=22831] ppid=22822 vsize=13980732 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22824/task/22831/stat : 22831 (java) S 22822 22822 18108 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 9936612 14316269568 19345 18446744073709551615 4194304 4196468 140722249242320 140421367280672 140421889767125 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12771328 140722249245106 140722249245282 140722249245282 140722249248719 0
[pid=22824/tid=22832] ppid=22822 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22824/task/22832/stat : 22832 (java) S 22822 22822 18108 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 9936612 14316269568 19345 18446744073709551615 4194304 4196468 140722249242320 140421366227824 140421889767125 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12771328 140722249245106 140722249245282 140722249245282 140722249248719 0
[pid=22824/tid=22833] ppid=22822 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22824/task/22833/stat : 22833 (java) S 22822 22822 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9936615 14316269568 19345 18446744073709551615 4194304 4196468 140722249242320 140421365176144 140421889775515 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12771328 140722249245106 140722249245282 140722249245282 140722249248719 0
[pid=22824/tid=22834] ppid=22822 vsize=13980732 memory=0 CPUtime=1.16 cores=1,3,5,7
/proc/22824/task/22834/stat : 22834 (java) S 22822 22822 18108 0 -1 1077944384 4707 0 0 0 115 1 0 0 20 0 15 0 9936615 14316269568 19345 18446744073709551615 4194304 4196468 140722249242320 140421364124528 140421889768066 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12771328 140722249245106 140722249245282 140722249245282 140722249248719 0
[pid=22824/tid=22835] ppid=22822 vsize=13980732 memory=-1 CPUtime=1.12 cores=1,3,5,7
/proc/22824/task/22835/stat : 22835 (java) S 22822 22822 18108 0 -1 1077944384 5078 0 0 0 112 0 0 0 20 0 15 0 9936615 14316269568 19345 18446744073709551615 4194304 4196468 140722249242320 140421363071728 140421889768066 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12771328 140722249245106 140722249245282 140722249245282 140722249248719 0
[pid=22824/tid=22836] ppid=22822 vsize=13980732 memory=139966590416512 CPUtime=0.37 cores=1,3,5,7
/proc/22824/task/22836/stat : 22836 (java) S 22822 22822 18108 0 -1 1077944384 2099 0 0 0 37 0 0 0 20 0 15 0 9936615 14316269568 19345 18446744073709551615 4194304 4196468 140722249242320 140421362018928 140421889768066 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12771328 140722249245106 140722249245282 140722249245282 140722249248719 0
[pid=22824/tid=22837] ppid=22822 vsize=13980732 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22824/task/22837/stat : 22837 (java) S 22822 22822 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9936615 14316269568 19345 18446744073709551615 4194304 4196468 140722249242320 140421360966368 140421889767125 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12771328 140722249245106 140722249245282 140722249245282 140722249248719 0
[pid=22824/tid=22838] ppid=22822 vsize=13980732 memory=139966590416512 CPUtime=0 cores=1,3,5,7
/proc/22824/task/22838/stat : 22838 (java) S 22822 22822 18108 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 9936618 14316269568 19345 18446744073709551615 4194304 4196468 140722249242320 140421359913648 140421889768066 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12771328 140722249245106 140722249245282 140722249245282 140722249248719 0
Current children cumulated CPU time: 4.58 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 78760 KiB
[startup+2.40065 s]
/proc/loadavg: 1.91 1.98 1.93 3/211 22838
/proc/meminfo: memFree=31538424/32770624 swapFree=67108860/67108860
[pid=22822] ppid=22819 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/22822/stat : 22822 (xcsp3-exec) S 22819 22822 18108 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 9936602 9740288 345 18446744073709551615 4194304 5098028 140729193460464 140729193458568 139999037633148 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 7 0 0 7196144 7232144 36012032 140729193464185 140729193464390 140729193464390 140729193467883 0
/proc/22822/statm: 2378 345 289 221 0 87 0
[pid=22824] ppid=22822 vsize=13980732 memory=77544 CPUtime=5.12 cores=1,3,5,7
/proc/22824/stat : 22824 (java) S 22822 22822 18108 0 -1 1077944320 22649 0 0 0 506 6 0 0 20 0 15 0 9936609 14316269568 19386 18446744073709551615 4194304 4196468 140722249242320 140722249224864 140421889756919 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 12771328 140722249245106 140722249245282 140722249245282 140722249248719 0
/proc/22824/statm: 3495183 19386 3202 1 0 3483476 0
[pid=22824/tid=22825] ppid=22822 vsize=13980732 memory=-7739291840220455296 CPUtime=2.27 cores=1,3,5,7
/proc/22824/task/22825/stat : 22825 (java) R 22822 22822 18108 0 -1 4202560 9198 0 0 0 225 2 0 0 20 0 15 0 9936610 14316269568 19386 18446744073709551615 4194304 4196468 140722249242320 140421893993224 140421493176092 0 4 1 16800974 0 0 0 -1 5 0 0 2 0 0 6293624 6294260 12771328 140722249245106 140722249245282 140722249245282 140722249248719 0
[pid=22824/tid=22826] ppid=22822 vsize=13980732 memory=6944656591801717918 CPUtime=0 cores=1,3,5,7
/proc/22824/task/22826/stat : 22826 (java) S 22822 22822 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9936610 14316269568 19386 18446744073709551615 4194304 4196468 140722249242320 140421489486992 140421889767125 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12771328 140722249245106 140722249245282 140722249245282 140722249248719 0
[pid=22824/tid=22827] ppid=22822 vsize=13980732 memory=-7025448733113094249 CPUtime=0 cores=1,3,5,7
/proc/22824/task/22827/stat : 22827 (java) S 22822 22822 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9936610 14316269568 19386 18446744073709551615 4194304 4196468 140722249242320 140421488434192 140421889767125 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12771328 140722249245106 140722249245282 140722249245282 140722249248719 0
[pid=22824/tid=22828] ppid=22822 vsize=13980732 memory=-7385037593950845031 CPUtime=0 cores=1,3,5,7
/proc/22824/task/22828/stat : 22828 (java) S 22822 22822 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9936610 14316269568 19386 18446744073709551615 4194304 4196468 140722249242320 140421487381392 140421889767125 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12771328 140722249245106 140722249245282 140722249245282 140722249248719 0
[pid=22824/tid=22829] ppid=22822 vsize=13980732 memory=8041079860532773434 CPUtime=0 cores=1,3,5,7
/proc/22824/task/22829/stat : 22829 (java) S 22822 22822 18108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 9936610 14316269568 19386 18446744073709551615 4194304 4196468 140722249242320 140421486328592 140421889767125 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12771328 140722249245106 140722249245282 140722249245282 140722249248719 0
[pid=22824/tid=22830] ppid=22822 vsize=13980732 memory=139966474617241 CPUtime=0 cores=1,3,5,7
/proc/22824/task/22830/stat : 22830 (java) S 22822 22822 18108 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 15 0 9936612 14316269568 19386 18446744073709551615 4194304 4196468 140722249242320 140421368334704 140421889768066 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12771328 140722249245106 140722249245282 140722249245282 140722249248719 0
[pid=22824/tid=22831] ppid=22822 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22824/task/22831/stat : 22831 (java) S 22822 22822 18108 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 9936612 14316269568 19386 18446744073709551615 4194304 4196468 140722249242320 140421367280672 140421889767125 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12771328 140722249245106 140722249245282 140722249245282 140722249248719 0
[pid=22824/tid=22832] ppid=22822 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22824/task/22832/stat : 22832 (java) S 22822 22822 18108 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 9936612 14316269568 19386 18446744073709551615 4194304 4196468 140722249242320 140421366227824 140421889767125 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12771328 140722249245106 140722249245282 140722249245282 140722249248719 0
[pid=22824/tid=22833] ppid=22822 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22824/task/22833/stat : 22833 (java) S 22822 22822 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9936615 14316269568 19386 18446744073709551615 4194304 4196468 140722249242320 140421365176144 140421889775515 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12771328 140722249245106 140722249245282 140722249245282 140722249248719 0
[pid=22824/tid=22834] ppid=22822 vsize=13980732 memory=0 CPUtime=1.26 cores=1,3,5,7
/proc/22824/task/22834/stat : 22834 (java) S 22822 22822 18108 0 -1 1077944384 4773 0 0 0 125 1 0 0 20 0 15 0 9936615 14316269568 19386 18446744073709551615 4194304 4196468 140722249242320 140421364124528 140421889768066 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12771328 140722249245106 140722249245282 140722249245282 140722249248719 0
[pid=22824/tid=22835] ppid=22822 vsize=13980732 memory=0 CPUtime=1.18 cores=1,3,5,7
/proc/22824/task/22835/stat : 22835 (java) S 22822 22822 18108 0 -1 1077944384 5203 0 0 0 117 1 0 0 20 0 15 0 9936615 14316269568 19386 18446744073709551615 4194304 4196468 140722249242320 140421363071728 140421889768066 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12771328 140722249245106 140722249245282 140722249245282 140722249248719 0
[pid=22824/tid=22836] ppid=22822 vsize=13980732 memory=0 CPUtime=0.38 cores=1,3,5,7
/proc/22824/task/22836/stat : 22836 (java) S 22822 22822 18108 0 -1 1077944384 2141 0 0 0 38 0 0 0 20 0 15 0 9936615 14316269568 19386 18446744073709551615 4194304 4196468 140722249242320 140421362018928 140421889768066 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12771328 140722249245106 140722249245282 140722249245282 140722249248719 0
[pid=22824/tid=22837] ppid=22822 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22824/task/22837/stat : 22837 (java) S 22822 22822 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9936615 14316269568 19386 18446744073709551615 4194304 4196468 140722249242320 140421360966368 140421889767125 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12771328 140722249245106 140722249245282 140722249245282 140722249248719 0
[pid=22824/tid=22838] ppid=22822 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22824/task/22838/stat : 22838 (java) S 22822 22822 18108 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 15 0 9936618 14316269568 19386 18446744073709551615 4194304 4196468 140722249242320 140421359913648 140421889768066 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12771328 140722249245106 140722249245282 140722249245282 140722249248719 0
Current children cumulated CPU time: 5.12 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 78924 KiB
[startup+2.50067 s]
/proc/loadavg: 1.91 1.98 1.93 3/211 22838
/proc/meminfo: memFree=31538424/32770624 swapFree=67108860/67108860
[pid=22822] ppid=22819 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/22822/stat : 22822 (xcsp3-exec) S 22819 22822 18108 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 9936602 9740288 345 18446744073709551615 4194304 5098028 140729193460464 140729193458568 139999037633148 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 7 0 0 7196144 7232144 36012032 140729193464185 140729193464390 140729193464390 140729193467883 0
/proc/22822/statm: 2378 345 289 221 0 87 0
[pid=22824] ppid=22822 vsize=13980732 memory=79592 CPUtime=5.22 cores=1,3,5,7
/proc/22824/stat : 22824 (java) S 22822 22822 18108 0 -1 1077944320 22652 0 0 0 516 6 0 0 20 0 15 0 9936609 14316269568 19898 18446744073709551615 4194304 4196468 140722249242320 140722249224864 140421889756919 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 12771328 140722249245106 140722249245282 140722249245282 140722249248719 0
/proc/22824/statm: 3495183 19898 3202 1 0 3483476 0
[pid=22824/tid=22825] ppid=22822 vsize=13980732 memory=0 CPUtime=2.37 cores=1,3,5,7
/proc/22824/task/22825/stat : 22825 (java) R 22822 22822 18108 0 -1 4202560 9201 0 0 0 235 2 0 0 20 0 15 0 9936610 14316269568 19898 18446744073709551615 4194304 4196468 140722249242320 140421893993224 140421493175031 0 4 1 16800974 0 0 0 -1 5 0 0 2 0 0 6293624 6294260 12771328 140722249245106 140722249245282 140722249245282 140722249248719 0
[pid=22824/tid=22826] ppid=22822 vsize=13980732 memory=4206468019014099040 CPUtime=0 cores=1,3,5,7
/proc/22824/task/22826/stat : 22826 (java) S 22822 22822 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9936610 14316269568 19898 18446744073709551615 4194304 4196468 140722249242320 140421489486992 140421889767125 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12771328 140722249245106 140722249245282 140722249245282 140722249248719 0
[pid=22824/tid=22827] ppid=22822 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/22824/task/22827/stat : 22827 (java) S 22822 22822 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9936610 14316269568 19898 18446744073709551615 4194304 4196468 140722249242320 140421488434192 140421889767125 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12771328 140722249245106 140722249245282 140722249245282 140722249248719 0
[pid=22824/tid=22828] ppid=22822 vsize=13980732 memory=77516 CPUtime=0 cores=1,3,5,7
/proc/22824/task/22828/stat : 22828 (java) S 22822 22822 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9936610 14316269568 19898 18446744073709551615 4194304 4196468 140722249242320 140421487381392 140421889767125 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12771328 140722249245106 140722249245282 140722249245282 140722249248719 0
[pid=22824/tid=22829] ppid=22822 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22824/task/22829/stat : 22829 (java) S 22822 22822 18108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 9936610 14316269568 19898 18446744073709551615 4194304 4196468 140722249242320 140421486328592 140421889767125 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12771328 140722249245106 140722249245282 140722249245282 140722249248719 0
[pid=22824/tid=22830] ppid=22822 vsize=13980732 memory=288230574492221466 CPUtime=0 cores=1,3,5,7
/proc/22824/task/22830/stat : 22830 (java) S 22822 22822 18108 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 15 0 9936612 14316269568 19898 18446744073709551615 4194304 4196468 140722249242320 140421368334704 140421889768066 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12771328 140722249245106 140722249245282 140722249245282 140722249248719 0
[pid=22824/tid=22831] ppid=22822 vsize=13980732 memory=7518590701213671769 CPUtime=0 cores=1,3,5,7
/proc/22824/task/22831/stat : 22831 (java) S 22822 22822 18108 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 9936612 14316269568 19898 18446744073709551615 4194304 4196468 140722249242320 140421367280672 140421889767125 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12771328 140722249245106 140722249245282 140722249245282 140722249248719 0
[pid=22824/tid=22832] ppid=22822 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22824/task/22832/stat : 22832 (java) S 22822 22822 18108 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 9936612 14316269568 19898 18446744073709551615 4194304 4196468 140722249242320 140421366227824 140421889767125 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12771328 140722249245106 140722249245282 140722249245282 140722249248719 0
[pid=22824/tid=22833] ppid=22822 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22824/task/22833/stat : 22833 (java) S 22822 22822 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9936615 14316269568 19898 18446744073709551615 4194304 4196468 140722249242320 140421365176144 140421889775515 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12771328 140722249245106 140722249245282 140722249245282 140722249248719 0
[pid=22824/tid=22834] ppid=22822 vsize=13980732 memory=139966474818800 CPUtime=1.26 cores=1,3,5,7
/proc/22824/task/22834/stat : 22834 (java) S 22822 22822 18108 0 -1 1077944384 4773 0 0 0 125 1 0 0 20 0 15 0 9936615 14316269568 19898 18446744073709551615 4194304 4196468 140722249242320 140421364124528 140421889768066 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12771328 140722249245106 140722249245282 140722249245282 140722249248719 0
[pid=22824/tid=22835] ppid=22822 vsize=13980732 memory=1380 CPUtime=1.18 cores=1,3,5,7
/proc/22824/task/22835/stat : 22835 (java) S 22822 22822 18108 0 -1 1077944384 5203 0 0 0 117 1 0 0 20 0 15 0 9936615 14316269568 19898 18446744073709551615 4194304 4196468 140722249242320 140421363071728 140421889768066 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12771328 140722249245106 140722249245282 140722249245282 140722249248719 0
[pid=22824/tid=22836] ppid=22822 vsize=13980732 memory=75012 CPUtime=0.38 cores=1,3,5,7
/proc/22824/task/22836/stat : 22836 (java) S 22822 22822 18108 0 -1 1077944384 2141 0 0 0 38 0 0 0 20 0 15 0 9936615 14316269568 19898 18446744073709551615 4194304 4196468 140722249242320 140421362018928 140421889768066 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12771328 140722249245106 140722249245282 140722249245282 140722249248719 0
[pid=22824/tid=22837] ppid=22822 vsize=13980732 memory=25959 CPUtime=0 cores=1,3,5,7
/proc/22824/task/22837/stat : 22837 (java) S 22822 22822 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9936615 14316269568 19898 18446744073709551615 4194304 4196468 140722249242320 140421360966368 140421889767125 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12771328 140722249245106 140722249245282 140722249245282 140722249248719 0
[pid=22824/tid=22838] ppid=22822 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22824/task/22838/stat : 22838 (java) S 22822 22822 18108 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 15 0 9936618 14316269568 19898 18446744073709551615 4194304 4196468 140722249242320 140421359913648 140421889768066 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12771328 140722249245106 140722249245282 140722249245282 140722249248719 0
Current children cumulated CPU time: 5.22 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 80972 KiB
Child status: 0
Real time (s): 2.58243
CPU time (s): 5.32891
CPU user time (s): 5.25935
CPU system time (s): 0.069556
CPU usage (%): 206.352
Max. virtual memory (cumulated for all children) (KiB): 13990244
Max. memory (cumulated for all children) (KiB): 80972
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 5.25935
system time used= 0.069556
maximum resident set size= 82108
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23657
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= 1895
involuntary context switches= 22
# summary of solver processes directly reported to runsolver:
# pid: 22822
# total CPU time (s): 5.32891
# total CPU user time (s): 5.25935
# total CPU system time (s): 0.069556
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.047669 second user time and 0.056858 second system time
The end