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 (15286 MiB free)
memory of node 1: 16384 MiB (15510 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4269560-1502804485/watcher-4269560-1502804485 -o /tmp/evaluation-result-4269560-1502804485/solver-4269560-1502804485 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node134-1502649032-24471 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 2121725035 HOME/instance-4269560-1502804485.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=20838, runsolver pid=20835
Current StackSize limit: 8192 KiB
[startup+0.100107 s]*
/proc/loadavg: 1.40 1.55 1.63 2/200 20839
/proc/meminfo: memFree=31535860/32770624 swapFree=67108764/67108860
[pid=20838] ppid=20835 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/20838/stat : 20838 (xcsp3-exec) S 20835 20838 4674 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 127955057 9740288 345 18446744073709551615 4194304 5098028 140732797621008 140732797619112 140002740359804 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 10 0 0 7196144 7232144 35389440 140732797624696 140732797624901 140732797624901 140732797628395 0
/proc/20838/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 9512 KiB
Current children cumulated memory: 1380 KiB
[startup+0.210272 s]*
/proc/loadavg: 1.40 1.55 1.63 3/215 20854
/proc/meminfo: memFree=31521188/32770624 swapFree=67108764/67108860
[pid=20838] ppid=20835 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/20838/stat : 20838 (xcsp3-exec) S 20835 20838 4674 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 127955057 9740288 345 18446744073709551615 4194304 5098028 140732797621008 140732797619112 140002740359804 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 10 0 0 7196144 7232144 35389440 140732797624696 140732797624901 140732797624901 140732797628395 0
/proc/20838/statm: 2378 345 289 221 0 87 0
[pid=20840] ppid=20838 vsize=13974352 memory=27920 CPUtime=0.08 cores=1,3,5,7
/proc/20840/stat : 20840 (java) S 20838 20838 4674 0 -1 1077944320 4916 0 0 0 8 0 0 0 20 0 15 0 127955068 14309736448 6980 18446744073709551615 4194304 4196468 140728798390848 140728798373392 140419684040439 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27766784 140728798392753 140728798392929 140728798392929 140728798396367 0
/proc/20840/statm: 3493588 6980 2728 1 0 3482964 0
[pid=20840/tid=20841] ppid=20838 vsize=13974352 memory=8508281356422055842 CPUtime=0.07 cores=1,3,5,7
/proc/20840/task/20841/stat : 20841 (java) R 20838 20838 4674 0 -1 4202560 3065 0 0 0 7 0 0 0 20 0 15 0 127955068 14309736448 6980 18446744073709551615 4194304 4196468 140728798390848 140419688272608 140419684062365 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 27766784 140728798392753 140728798392929 140728798392929 140728798396367 0
[pid=20840/tid=20842] ppid=20838 vsize=13974352 memory=4122819170707441977 CPUtime=0 cores=1,3,5,7
/proc/20840/task/20842/stat : 20842 (java) S 20838 20838 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 127955069 14309736448 6980 18446744073709551615 4194304 4196468 140728798390848 140419603455120 140419684050645 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27766784 140728798392753 140728798392929 140728798392929 140728798396367 0
[pid=20840/tid=20843] ppid=20838 vsize=13974352 memory=140663745664640 CPUtime=0 cores=1,3,5,7
/proc/20840/task/20843/stat : 20843 (java) S 20838 20838 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 127955069 14309736448 6980 18446744073709551615 4194304 4196468 140728798390848 140419602402320 140419684050645 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27766784 140728798392753 140728798392929 140728798392929 140728798396367 0
[pid=20840/tid=20844] ppid=20838 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20840/task/20844/stat : 20844 (java) S 20838 20838 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 127955069 14309736448 6980 18446744073709551615 4194304 4196468 140728798390848 140419601349520 140419684050645 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27766784 140728798392753 140728798392929 140728798392929 140728798396367 0
[pid=20840/tid=20845] ppid=20838 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20840/task/20845/stat : 20845 (java) S 20838 20838 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 127955069 14309736448 6980 18446744073709551615 4194304 4196468 140728798390848 140419600296720 140419684050645 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27766784 140728798392753 140728798392929 140728798392929 140728798396367 0
[pid=20840/tid=20846] ppid=20838 vsize=13974352 memory=140663745664640 CPUtime=0 cores=1,3,5,7
/proc/20840/task/20846/stat : 20846 (java) S 20838 20838 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 127955070 14309736448 6980 18446744073709551615 4194304 4196468 140728798390848 140419162163568 140419684051586 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27766784 140728798392753 140728798392929 140728798392929 140728798396367 0
[pid=20840/tid=20847] ppid=20838 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20840/task/20847/stat : 20847 (java) S 20838 20838 4674 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 127955071 14309736448 6980 18446744073709551615 4194304 4196468 140728798390848 140419161109536 140419684050645 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27766784 140728798392753 140728798392929 140728798392929 140728798396367 0
[pid=20840/tid=20848] ppid=20838 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20840/task/20848/stat : 20848 (java) S 20838 20838 4674 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 127955071 14309736448 6980 18446744073709551615 4194304 4196468 140728798390848 140419160056688 140419684050645 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27766784 140728798392753 140728798392929 140728798392929 140728798396367 0
[pid=20840/tid=20849] ppid=20838 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20840/task/20849/stat : 20849 (java) S 20838 20838 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 127955073 14309736448 6980 18446744073709551615 4194304 4196468 140728798390848 140419159005008 140419684059035 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27766784 140728798392753 140728798392929 140728798392929 140728798396367 0
[pid=20840/tid=20850] ppid=20838 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20840/task/20850/stat : 20850 (java) S 20838 20838 4674 0 -1 1077944384 304 0 0 0 0 0 0 0 20 0 15 0 127955073 14309736448 6980 18446744073709551615 4194304 4196468 140728798390848 140419157953392 140419684051586 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27766784 140728798392753 140728798392929 140728798392929 140728798396367 0
[pid=20840/tid=20851] ppid=20838 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20840/task/20851/stat : 20851 (java) S 20838 20838 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 127955073 14309736448 6980 18446744073709551615 4194304 4196468 140728798390848 140419156900592 140419684051586 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27766784 140728798392753 140728798392929 140728798392929 140728798396367 0
[pid=20840/tid=20852] ppid=20838 vsize=13974352 memory=140663745664640 CPUtime=0 cores=1,3,5,7
/proc/20840/task/20852/stat : 20852 (java) S 20838 20838 4674 0 -1 1077944384 240 0 0 0 0 0 0 0 20 0 15 0 127955073 14309736448 6980 18446744073709551615 4194304 4196468 140728798390848 140419155847792 140419684051586 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27766784 140728798392753 140728798392929 140728798392929 140728798396367 0
[pid=20840/tid=20853] ppid=20838 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20840/task/20853/stat : 20853 (java) S 20838 20838 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 127955073 14309736448 6980 18446744073709551615 4194304 4196468 140728798390848 140419154795232 140419684050645 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27766784 140728798392753 140728798392929 140728798392929 140728798396367 0
[pid=20840/tid=20854] ppid=20838 vsize=13974352 memory=140663745664640 CPUtime=0 cores=1,3,5,7
/proc/20840/task/20854/stat : 20854 (java) S 20838 20838 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 127955077 14309736448 6980 18446744073709551615 4194304 4196468 140728798390848 140419153742512 140419684051586 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27766784 140728798392753 140728798392929 140728798392929 140728798396367 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 29300 KiB
[startup+0.310592 s]*
/proc/loadavg: 1.45 1.55 1.63 3/215 20854
/proc/meminfo: memFree=31507972/32770624 swapFree=67108764/67108860
[pid=20838] ppid=20835 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/20838/stat : 20838 (xcsp3-exec) S 20835 20838 4674 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 127955057 9740288 345 18446744073709551615 4194304 5098028 140732797621008 140732797619112 140002740359804 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 10 0 0 7196144 7232144 35389440 140732797624696 140732797624901 140732797624901 140732797628395 0
/proc/20838/statm: 2378 345 289 221 0 87 0
[pid=20840] ppid=20838 vsize=13974352 memory=37808 CPUtime=0.27 cores=1,3,5,7
/proc/20840/stat : 20840 (java) S 20838 20838 4674 0 -1 1077944320 8477 0 0 0 25 2 0 0 20 0 15 0 127955068 14309736448 9452 18446744073709551615 4194304 4196468 140728798390848 140728798373392 140419684040439 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27766784 140728798392753 140728798392929 140728798392929 140728798396367 0
/proc/20840/statm: 3493588 9452 2988 1 0 3482964 0
[pid=20840/tid=20841] ppid=20838 vsize=13974352 memory=4278483708103473607 CPUtime=0.16 cores=1,3,5,7
/proc/20840/task/20841/stat : 20841 (java) R 20838 20838 4674 0 -1 4202560 5681 0 0 0 15 1 0 0 20 0 15 0 127955068 14309736448 9452 18446744073709551615 4194304 4196468 140728798390848 140419688274528 140419684052374 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 27766784 140728798392753 140728798392929 140728798392929 140728798396367 0
[pid=20840/tid=20842] ppid=20838 vsize=13974352 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/20840/task/20842/stat : 20842 (java) S 20838 20838 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 127955069 14309736448 9452 18446744073709551615 4194304 4196468 140728798390848 140419603455120 140419684050645 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27766784 140728798392753 140728798392929 140728798392929 140728798396367 0
[pid=20840/tid=20843] ppid=20838 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20840/task/20843/stat : 20843 (java) S 20838 20838 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 127955069 14309736448 9452 18446744073709551615 4194304 4196468 140728798390848 140419602402320 140419684050645 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27766784 140728798392753 140728798392929 140728798392929 140728798396367 0
[pid=20840/tid=20844] ppid=20838 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20840/task/20844/stat : 20844 (java) S 20838 20838 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 127955069 14309736448 9452 18446744073709551615 4194304 4196468 140728798390848 140419601349520 140419684050645 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27766784 140728798392753 140728798392929 140728798392929 140728798396367 0
[pid=20840/tid=20845] ppid=20838 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20840/task/20845/stat : 20845 (java) S 20838 20838 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 127955069 14309736448 9452 18446744073709551615 4194304 4196468 140728798390848 140419600296720 140419684050645 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27766784 140728798392753 140728798392929 140728798392929 140728798396367 0
[pid=20840/tid=20846] ppid=20838 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20840/task/20846/stat : 20846 (java) S 20838 20838 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 127955070 14309736448 9452 18446744073709551615 4194304 4196468 140728798390848 140419162163568 140419684051586 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27766784 140728798392753 140728798392929 140728798392929 140728798396367 0
[pid=20840/tid=20847] ppid=20838 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20840/task/20847/stat : 20847 (java) S 20838 20838 4674 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 127955071 14309736448 9452 18446744073709551615 4194304 4196468 140728798390848 140419161109536 140419684050645 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27766784 140728798392753 140728798392929 140728798392929 140728798396367 0
[pid=20840/tid=20848] ppid=20838 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20840/task/20848/stat : 20848 (java) S 20838 20838 4674 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 127955071 14309736448 9452 18446744073709551615 4194304 4196468 140728798390848 140419160056688 140419684050645 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27766784 140728798392753 140728798392929 140728798392929 140728798396367 0
[pid=20840/tid=20849] ppid=20838 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20840/task/20849/stat : 20849 (java) S 20838 20838 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 127955073 14309736448 9452 18446744073709551615 4194304 4196468 140728798390848 140419159005008 140419684059035 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27766784 140728798392753 140728798392929 140728798392929 140728798396367 0
[pid=20840/tid=20850] ppid=20838 vsize=13974352 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/20840/task/20850/stat : 20850 (java) S 20838 20838 4674 0 -1 1077944384 539 0 0 0 1 0 0 0 20 0 15 0 127955073 14309736448 9452 18446744073709551615 4194304 4196468 140728798390848 140419157953392 140419684051586 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27766784 140728798392753 140728798392929 140728798392929 140728798396367 0
[pid=20840/tid=20851] ppid=20838 vsize=13974352 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/20840/task/20851/stat : 20851 (java) S 20838 20838 4674 0 -1 1077944384 273 0 0 0 1 0 0 0 20 0 15 0 127955073 14309736448 9452 18446744073709551615 4194304 4196468 140728798390848 140419156900592 140419684051586 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27766784 140728798392753 140728798392929 140728798392929 140728798396367 0
[pid=20840/tid=20852] ppid=20838 vsize=13974352 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/20840/task/20852/stat : 20852 (java) R 20838 20838 4674 0 -1 4202560 680 0 0 0 5 0 0 0 20 0 15 0 127955073 14309736448 9452 18446744073709551615 4194304 4196468 140728798390848 140419155847792 140419663017928 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27766784 140728798392753 140728798392929 140728798392929 140728798396367 0
[pid=20840/tid=20853] ppid=20838 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20840/task/20853/stat : 20853 (java) S 20838 20838 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 127955073 14309736448 9452 18446744073709551615 4194304 4196468 140728798390848 140419154795232 140419684050645 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27766784 140728798392753 140728798392929 140728798392929 140728798396367 0
[pid=20840/tid=20854] ppid=20838 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20840/task/20854/stat : 20854 (java) S 20838 20838 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 127955077 14309736448 9452 18446744073709551615 4194304 4196468 140728798390848 140419153742512 140419684051586 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27766784 140728798392753 140728798392929 140728798392929 140728798396367 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 39188 KiB
[startup+0.701739 s]
/proc/loadavg: 1.45 1.55 1.63 4/215 20854
/proc/meminfo: memFree=31496760/32770624 swapFree=67108764/67108860
[pid=20838] ppid=20835 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/20838/stat : 20838 (xcsp3-exec) S 20835 20838 4674 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 127955057 9740288 345 18446744073709551615 4194304 5098028 140732797621008 140732797619112 140002740359804 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 10 0 0 7196144 7232144 35389440 140732797624696 140732797624901 140732797624901 140732797628395 0
/proc/20838/statm: 2378 345 289 221 0 87 0
[pid=20840] ppid=20838 vsize=13980732 memory=64500 CPUtime=1.23 cores=1,3,5,7
/proc/20840/stat : 20840 (java) S 20838 20838 4674 0 -1 1077944320 13187 0 0 0 118 5 0 0 20 0 15 0 127955068 14316269568 16125 18446744073709551615 4194304 4196468 140728798390848 140728798373392 140419684040439 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27766784 140728798392753 140728798392929 140728798392929 140728798396367 0
/proc/20840/statm: 3495183 16125 3179 1 0 3483476 0
[pid=20840/tid=20841] ppid=20838 vsize=13980732 memory=0 CPUtime=0.54 cores=1,3,5,7
/proc/20840/task/20841/stat : 20841 (java) R 20838 20838 4674 0 -1 4202560 7991 0 0 0 51 3 0 0 20 0 15 0 127955068 14316269568 16125 18446744073709551615 4194304 4196468 140728798390848 140419688279432 140419274998510 0 4 1 16800974 0 0 0 -1 7 0 0 3 0 0 6293624 6294260 27766784 140728798392753 140728798392929 140728798392929 140728798396367 0
[pid=20840/tid=20842] ppid=20838 vsize=13980732 memory=3016 CPUtime=0 cores=1,3,5,7
/proc/20840/task/20842/stat : 20842 (java) S 20838 20838 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 127955069 14316269568 16125 18446744073709551615 4194304 4196468 140728798390848 140419603455120 140419684050645 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27766784 140728798392753 140728798392929 140728798392929 140728798396367 0
[pid=20840/tid=20843] ppid=20838 vsize=13980732 memory=4278483708103473607 CPUtime=0 cores=1,3,5,7
/proc/20840/task/20843/stat : 20843 (java) S 20838 20838 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 127955069 14316269568 16125 18446744073709551615 4194304 4196468 140728798390848 140419602402320 140419684050645 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27766784 140728798392753 140728798392929 140728798392929 140728798396367 0
[pid=20840/tid=20844] ppid=20838 vsize=13980732 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/20840/task/20844/stat : 20844 (java) S 20838 20838 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 127955069 14316269568 16125 18446744073709551615 4194304 4196468 140728798390848 140419601349520 140419684050645 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27766784 140728798392753 140728798392929 140728798392929 140728798396367 0
[pid=20840/tid=20845] ppid=20838 vsize=13980732 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/20840/task/20845/stat : 20845 (java) S 20838 20838 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 127955069 14316269568 16125 18446744073709551615 4194304 4196468 140728798390848 140419600296720 140419684050645 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27766784 140728798392753 140728798392929 140728798392929 140728798396367 0
[pid=20840/tid=20846] ppid=20838 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20840/task/20846/stat : 20846 (java) S 20838 20838 4674 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 127955070 14316269568 16125 18446744073709551615 4194304 4196468 140728798390848 140419162163568 140419684051586 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27766784 140728798392753 140728798392929 140728798392929 140728798396367 0
[pid=20840/tid=20847] ppid=20838 vsize=13980732 memory=6656426216303648864 CPUtime=0 cores=1,3,5,7
/proc/20840/task/20847/stat : 20847 (java) S 20838 20838 4674 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 127955071 14316269568 16125 18446744073709551615 4194304 4196468 140728798390848 140419161109536 140419684050645 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27766784 140728798392753 140728798392929 140728798392929 140728798396367 0
[pid=20840/tid=20848] ppid=20838 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20840/task/20848/stat : 20848 (java) S 20838 20838 4674 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 127955071 14316269568 16125 18446744073709551615 4194304 4196468 140728798390848 140419160056688 140419684050645 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27766784 140728798392753 140728798392929 140728798392929 140728798396367 0
[pid=20840/tid=20849] ppid=20838 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20840/task/20849/stat : 20849 (java) S 20838 20838 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 127955073 14316269568 16125 18446744073709551615 4194304 4196468 140728798390848 140419159005008 140419684059035 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27766784 140728798392753 140728798392929 140728798392929 140728798396367 0
[pid=20840/tid=20850] ppid=20838 vsize=13980732 memory=0 CPUtime=0.21 cores=1,3,5,7
/proc/20840/task/20850/stat : 20850 (java) R 20838 20838 4674 0 -1 4202560 1436 0 0 0 21 0 0 0 20 0 15 0 127955073 14316269568 16125 18446744073709551615 4194304 4196468 140728798390848 140419157944848 140419665560499 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27766784 140728798392753 140728798392929 140728798392929 140728798396367 0
[pid=20840/tid=20851] ppid=20838 vsize=13980732 memory=0 CPUtime=0.2 cores=1,3,5,7
/proc/20840/task/20851/stat : 20851 (java) R 20838 20838 4674 0 -1 4202560 1008 0 0 0 20 0 0 0 20 0 15 0 127955073 14316269568 16125 18446744073709551615 4194304 4196468 140728798390848 140419156900720 140419663492358 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27766784 140728798392753 140728798392929 140728798392929 140728798396367 0
[pid=20840/tid=20852] ppid=20838 vsize=13980732 memory=0 CPUtime=0.24 cores=1,3,5,7
/proc/20840/task/20852/stat : 20852 (java) S 20838 20838 4674 0 -1 1077944384 1445 0 0 0 24 0 0 0 20 0 15 0 127955073 14316269568 16125 18446744073709551615 4194304 4196468 140728798390848 140419155847792 140419684051586 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27766784 140728798392753 140728798392929 140728798392929 140728798396367 0
[pid=20840/tid=20853] ppid=20838 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20840/task/20853/stat : 20853 (java) S 20838 20838 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 127955073 14316269568 16125 18446744073709551615 4194304 4196468 140728798390848 140419154795232 140419684050645 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27766784 140728798392753 140728798392929 140728798392929 140728798396367 0
[pid=20840/tid=20854] ppid=20838 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20840/task/20854/stat : 20854 (java) S 20838 20838 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 127955077 14316269568 16125 18446744073709551615 4194304 4196468 140728798390848 140419153742512 140419684051586 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27766784 140728798392753 140728798392929 140728798392929 140728798396367 0
Current children cumulated CPU time: 1.23 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 65880 KiB
[startup+1.50082 s]
/proc/loadavg: 1.45 1.55 1.63 5/215 20854
/proc/meminfo: memFree=31470208/32770624 swapFree=67108764/67108860
[pid=20838] ppid=20835 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/20838/stat : 20838 (xcsp3-exec) S 20835 20838 4674 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 127955057 9740288 345 18446744073709551615 4194304 5098028 140732797621008 140732797619112 140002740359804 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 10 0 0 7196144 7232144 35389440 140732797624696 140732797624901 140732797624901 140732797628395 0
/proc/20838/statm: 2378 345 289 221 0 87 0
[pid=20840] ppid=20838 vsize=13980732 memory=81212 CPUtime=3.38 cores=1,3,5,7
/proc/20840/stat : 20840 (java) S 20838 20838 4674 0 -1 1077944320 21779 0 0 0 332 6 0 0 20 0 15 0 127955068 14316269568 20303 18446744073709551615 4194304 4196468 140728798390848 140728798373392 140419684040439 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27766784 140728798392753 140728798392929 140728798392929 140728798396367 0
/proc/20840/statm: 3495183 20303 3183 1 0 3483476 0
[pid=20840/tid=20841] ppid=20838 vsize=13980732 memory=662364497384251448 CPUtime=1.23 cores=1,3,5,7
/proc/20840/task/20841/stat : 20841 (java) R 20838 20838 4674 0 -1 4202560 8468 0 0 0 120 3 0 0 20 0 15 0 127955068 14316269568 20303 18446744073709551615 4194304 4196468 140728798390848 140419688276976 140419278498605 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 27766784 140728798392753 140728798392929 140728798392929 140728798396367 0
[pid=20840/tid=20842] ppid=20838 vsize=13980732 memory=18983755451683 CPUtime=0 cores=1,3,5,7
/proc/20840/task/20842/stat : 20842 (java) S 20838 20838 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 127955069 14316269568 20303 18446744073709551615 4194304 4196468 140728798390848 140419603455120 140419684050645 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27766784 140728798392753 140728798392929 140728798392929 140728798396367 0
[pid=20840/tid=20843] ppid=20838 vsize=13980732 memory=6371019415419958065 CPUtime=0 cores=1,3,5,7
/proc/20840/task/20843/stat : 20843 (java) S 20838 20838 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 127955069 14316269568 20303 18446744073709551615 4194304 4196468 140728798390848 140419602402320 140419684050645 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27766784 140728798392753 140728798392929 140728798392929 140728798396367 0
[pid=20840/tid=20844] ppid=20838 vsize=13980732 memory=7810487918915055718 CPUtime=0 cores=1,3,5,7
/proc/20840/task/20844/stat : 20844 (java) S 20838 20838 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 127955069 14316269568 20303 18446744073709551615 4194304 4196468 140728798390848 140419601349520 140419684050645 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27766784 140728798392753 140728798392929 140728798392929 140728798396367 0
[pid=20840/tid=20845] ppid=20838 vsize=13980732 memory=281327202992368 CPUtime=0 cores=1,3,5,7
/proc/20840/task/20845/stat : 20845 (java) S 20838 20838 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 127955069 14316269568 20303 18446744073709551615 4194304 4196468 140728798390848 140419600296720 140419684050645 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27766784 140728798392753 140728798392929 140728798392929 140728798396367 0
[pid=20840/tid=20846] ppid=20838 vsize=13980732 memory=281327203435232 CPUtime=0 cores=1,3,5,7
/proc/20840/task/20846/stat : 20846 (java) S 20838 20838 4674 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 127955070 14316269568 20303 18446744073709551615 4194304 4196468 140728798390848 140419162163568 140419684051586 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27766784 140728798392753 140728798392929 140728798392929 140728798396367 0
[pid=20840/tid=20847] ppid=20838 vsize=13980732 memory=6655300316396806240 CPUtime=0 cores=1,3,5,7
/proc/20840/task/20847/stat : 20847 (java) S 20838 20838 4674 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 127955071 14316269568 20303 18446744073709551615 4194304 4196468 140728798390848 140419161109536 140419684050645 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27766784 140728798392753 140728798392929 140728798392929 140728798396367 0
[pid=20840/tid=20848] ppid=20838 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20840/task/20848/stat : 20848 (java) S 20838 20838 4674 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 127955071 14316269568 20303 18446744073709551615 4194304 4196468 140728798390848 140419160056688 140419684050645 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27766784 140728798392753 140728798392929 140728798392929 140728798396367 0
[pid=20840/tid=20849] ppid=20838 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20840/task/20849/stat : 20849 (java) S 20838 20838 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 127955073 14316269568 20303 18446744073709551615 4194304 4196468 140728798390848 140419159005008 140419684059035 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27766784 140728798392753 140728798392929 140728798392929 140728798396367 0
[pid=20840/tid=20850] ppid=20838 vsize=13980732 memory=0 CPUtime=0.9 cores=1,3,5,7
/proc/20840/task/20850/stat : 20850 (java) R 20838 20838 4674 0 -1 4202560 5126 0 0 0 90 0 0 0 20 0 15 0 127955073 14316269568 20303 18446744073709551615 4194304 4196468 140728798390848 140419157933200 140419665584538 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27766784 140728798392753 140728798392929 140728798392929 140728798396367 0
[pid=20840/tid=20851] ppid=20838 vsize=13980732 memory=-1807685287725067907 CPUtime=0.89 cores=1,3,5,7
/proc/20840/task/20851/stat : 20851 (java) R 20838 20838 4674 0 -1 4202560 4373 0 0 0 89 0 0 0 20 0 15 0 127955073 14316269568 20303 18446744073709551615 4194304 4196468 140728798390848 140419156890512 140419668465370 0 4 1 16800974 0 0 0 -1 1 0 0 10 0 0 6293624 6294260 27766784 140728798392753 140728798392929 140728798392929 140728798396367 0
[pid=20840/tid=20852] ppid=20838 vsize=13980732 memory=0 CPUtime=0.31 cores=1,3,5,7
/proc/20840/task/20852/stat : 20852 (java) S 20838 20838 4674 0 -1 1077944384 2461 0 0 0 31 0 0 0 20 0 15 0 127955073 14316269568 20303 18446744073709551615 4194304 4196468 140728798390848 140419155847792 140419684051586 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27766784 140728798392753 140728798392929 140728798392929 140728798396367 0
[pid=20840/tid=20853] ppid=20838 vsize=13980732 memory=-1891255765032775953 CPUtime=0 cores=1,3,5,7
/proc/20840/task/20853/stat : 20853 (java) S 20838 20838 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 127955073 14316269568 20303 18446744073709551615 4194304 4196468 140728798390848 140419154795232 140419684050645 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27766784 140728798392753 140728798392929 140728798392929 140728798396367 0
[pid=20840/tid=20854] ppid=20838 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20840/task/20854/stat : 20854 (java) S 20838 20838 4674 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 15 0 127955077 14316269568 20303 18446744073709551615 4194304 4196468 140728798390848 140419153742512 140419684051586 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27766784 140728798392753 140728798392929 140728798392929 140728798396367 0
################
# More data... #
################
/proc/20838/stat : 20838 (xcsp3-exec) S 20835 20838 4674 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 127955057 9740288 345 18446744073709551615 4194304 5098028 140732797621008 140732797619112 140002740359804 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 10 0 0 7196144 7232144 35389440 140732797624696 140732797624901 140732797624901 140732797628395 0
/proc/20838/statm: 2378 345 289 221 0 87 0
[pid=20840] ppid=20838 vsize=13980732 memory=81352 CPUtime=3.69 cores=1,3,5,7
/proc/20840/stat : 20840 (java) S 20838 20838 4674 0 -1 1077944320 21860 0 0 0 363 6 0 0 20 0 15 0 127955068 14316269568 20338 18446744073709551615 4194304 4196468 140728798390848 140728798373392 140419684040439 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27766784 140728798392753 140728798392929 140728798392929 140728798396367 0
/proc/20840/statm: 3495183 20338 3188 1 0 3483476 0
[pid=20840/tid=20841] ppid=20838 vsize=13980732 memory=1608 CPUtime=1.33 cores=1,3,5,7
/proc/20840/task/20841/stat : 20841 (java) R 20838 20838 4674 0 -1 4202560 8477 0 0 0 130 3 0 0 20 0 15 0 127955068 14316269568 20338 18446744073709551615 4194304 4196468 140728798390848 140419688276776 140419279072302 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 27766784 140728798392753 140728798392929 140728798392929 140728798396367 0
[pid=20840/tid=20842] ppid=20838 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20840/task/20842/stat : 20842 (java) S 20838 20838 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 127955069 14316269568 20338 18446744073709551615 4194304 4196468 140728798390848 140419603455120 140419684050645 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27766784 140728798392753 140728798392929 140728798392929 140728798396367 0
[pid=20840/tid=20843] ppid=20838 vsize=13980732 memory=6788 CPUtime=0 cores=1,3,5,7
/proc/20840/task/20843/stat : 20843 (java) S 20838 20838 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 127955069 14316269568 20338 18446744073709551615 4194304 4196468 140728798390848 140419602402320 140419684050645 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27766784 140728798392753 140728798392929 140728798392929 140728798396367 0
[pid=20840/tid=20844] ppid=20838 vsize=13980732 memory=6656426216303648864 CPUtime=0 cores=1,3,5,7
/proc/20840/task/20844/stat : 20844 (java) S 20838 20838 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 127955069 14316269568 20338 18446744073709551615 4194304 4196468 140728798390848 140419601349520 140419684050645 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27766784 140728798392753 140728798392929 140728798392929 140728798396367 0
[pid=20840/tid=20845] ppid=20838 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20840/task/20845/stat : 20845 (java) S 20838 20838 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 127955069 14316269568 20338 18446744073709551615 4194304 4196468 140728798390848 140419600296720 140419684050645 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27766784 140728798392753 140728798392929 140728798392929 140728798396367 0
[pid=20840/tid=20846] ppid=20838 vsize=13980732 memory=140663601672624 CPUtime=0 cores=1,3,5,7
/proc/20840/task/20846/stat : 20846 (java) S 20838 20838 4674 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 127955070 14316269568 20338 18446744073709551615 4194304 4196468 140728798390848 140419162163568 140419684051586 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27766784 140728798392753 140728798392929 140728798392929 140728798396367 0
[pid=20840/tid=20847] ppid=20838 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20840/task/20847/stat : 20847 (java) S 20838 20838 4674 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 127955071 14316269568 20338 18446744073709551615 4194304 4196468 140728798390848 140419161109536 140419684050645 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27766784 140728798392753 140728798392929 140728798392929 140728798396367 0
[pid=20840/tid=20848] ppid=20838 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20840/task/20848/stat : 20848 (java) S 20838 20838 4674 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 127955071 14316269568 20338 18446744073709551615 4194304 4196468 140728798390848 140419160056688 140419684050645 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27766784 140728798392753 140728798392929 140728798392929 140728798396367 0
[pid=20840/tid=20849] ppid=20838 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20840/task/20849/stat : 20849 (java) S 20838 20838 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 127955073 14316269568 20338 18446744073709551615 4194304 4196468 140728798390848 140419159005008 140419684059035 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27766784 140728798392753 140728798392929 140728798392929 140728798396367 0
[pid=20840/tid=20850] ppid=20838 vsize=13980732 memory=6944656592387989600 CPUtime=1 cores=1,3,5,7
/proc/20840/task/20850/stat : 20850 (java) R 20838 20838 4674 0 -1 4202560 5173 0 0 0 100 0 0 0 20 0 15 0 127955073 14316269568 20338 18446744073709551615 4194304 4196468 140728798390848 140419157944224 140419669157547 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27766784 140728798392753 140728798392929 140728798392929 140728798396367 0
[pid=20840/tid=20851] ppid=20838 vsize=13980732 memory=6944652177228980320 CPUtime=0.99 cores=1,3,5,7
/proc/20840/task/20851/stat : 20851 (java) R 20838 20838 4674 0 -1 4202560 4398 0 0 0 99 0 0 0 20 0 15 0 127955073 14316269568 20338 18446744073709551615 4194304 4196468 140728798390848 140419156889632 140419664685350 0 4 1 16800974 0 0 0 -1 1 0 0 10 0 0 6293624 6294260 27766784 140728798392753 140728798392929 140728798392929 140728798396367 0
[pid=20840/tid=20852] ppid=20838 vsize=13980732 memory=6944652177228980320 CPUtime=0.32 cores=1,3,5,7
/proc/20840/task/20852/stat : 20852 (java) R 20838 20838 4674 0 -1 1077944384 2462 0 0 0 32 0 0 0 20 0 15 0 127955073 14316269568 20338 18446744073709551615 4194304 4196468 140728798390848 140419155847792 140419684051586 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 27766784 140728798392753 140728798392929 140728798392929 140728798396367 0
[pid=20840/tid=20853] ppid=20838 vsize=13980732 memory=6944656592455097440 CPUtime=0 cores=1,3,5,7
/proc/20840/task/20853/stat : 20853 (java) S 20838 20838 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 127955073 14316269568 20338 18446744073709551615 4194304 4196468 140728798390848 140419154795232 140419684050645 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27766784 140728798392753 140728798392929 140728798392929 140728798396367 0
[pid=20840/tid=20854] ppid=20838 vsize=13980732 memory=-7812736537705029536 CPUtime=0 cores=1,3,5,7
/proc/20840/task/20854/stat : 20854 (java) S 20838 20838 4674 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 15 0 127955077 14316269568 20338 18446744073709551615 4194304 4196468 140728798390848 140419153742512 140419684051586 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27766784 140728798392753 140728798392929 140728798392929 140728798396367 0
Current children cumulated CPU time: 3.69 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 82732 KiB
[startup+2.00075 s]*
/proc/loadavg: 1.45 1.55 1.63 3/215 20855
/proc/meminfo: memFree=31460140/32770624 swapFree=67108764/67108860
[pid=20838] ppid=20835 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/20838/stat : 20838 (xcsp3-exec) S 20835 20838 4674 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 127955057 9740288 345 18446744073709551615 4194304 5098028 140732797621008 140732797619112 140002740359804 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 10 0 0 7196144 7232144 35389440 140732797624696 140732797624901 140732797624901 140732797628395 0
/proc/20838/statm: 2378 345 289 221 0 87 0
[pid=20840] ppid=20838 vsize=13980732 memory=87884 CPUtime=4.52 cores=1,3,5,7
/proc/20840/stat : 20840 (java) S 20838 20838 4674 0 -1 1077944320 22380 0 0 0 446 6 0 0 20 0 15 0 127955068 14316269568 21971 18446744073709551615 4194304 4196468 140728798390848 140728798373392 140419684040439 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27766784 140728798392753 140728798392929 140728798392929 140728798396367 0
/proc/20840/statm: 3495183 21971 3190 1 0 3483476 0
[pid=20840/tid=20841] ppid=20838 vsize=13980732 memory=576461178948550685 CPUtime=1.74 cores=1,3,5,7
/proc/20840/task/20841/stat : 20841 (java) R 20838 20838 4674 0 -1 4202560 8494 0 0 0 171 3 0 0 20 0 15 0 127955068 14316269568 21971 18446744073709551615 4194304 4196468 140728798390848 140419688277600 140419278870018 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 27766784 140728798392753 140728798392929 140728798392929 140728798396367 0
[pid=20840/tid=20842] ppid=20838 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20840/task/20842/stat : 20842 (java) S 20838 20838 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 127955069 14316269568 21971 18446744073709551615 4194304 4196468 140728798390848 140419603455120 140419684050645 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27766784 140728798392753 140728798392929 140728798392929 140728798396367 0
[pid=20840/tid=20843] ppid=20838 vsize=13980732 memory=15542916287127045 CPUtime=0 cores=1,3,5,7
/proc/20840/task/20843/stat : 20843 (java) S 20838 20838 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 127955069 14316269568 21971 18446744073709551615 4194304 4196468 140728798390848 140419602402320 140419684050645 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27766784 140728798392753 140728798392929 140728798392929 140728798396367 0
[pid=20840/tid=20844] ppid=20838 vsize=13980732 memory=140663745665905 CPUtime=0 cores=1,3,5,7
/proc/20840/task/20844/stat : 20844 (java) S 20838 20838 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 127955069 14316269568 21971 18446744073709551615 4194304 4196468 140728798390848 140419601349520 140419684050645 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27766784 140728798392753 140728798392929 140728798392929 140728798396367 0
[pid=20840/tid=20845] ppid=20838 vsize=13980732 memory=140663601777312 CPUtime=0 cores=1,3,5,7
/proc/20840/task/20845/stat : 20845 (java) S 20838 20838 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 127955069 14316269568 21971 18446744073709551615 4194304 4196468 140728798390848 140419600296720 140419684050645 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27766784 140728798392753 140728798392929 140728798392929 140728798396367 0
[pid=20840/tid=20846] ppid=20838 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20840/task/20846/stat : 20846 (java) S 20838 20838 4674 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 127955070 14316269568 21971 18446744073709551615 4194304 4196468 140728798390848 140419162163568 140419684051586 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27766784 140728798392753 140728798392929 140728798392929 140728798396367 0
[pid=20840/tid=20847] ppid=20838 vsize=13980732 memory=140663601752223 CPUtime=0 cores=1,3,5,7
/proc/20840/task/20847/stat : 20847 (java) S 20838 20838 4674 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 127955071 14316269568 21971 18446744073709551615 4194304 4196468 140728798390848 140419161109536 140419684050645 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27766784 140728798392753 140728798392929 140728798392929 140728798396367 0
[pid=20840/tid=20848] ppid=20838 vsize=13980732 memory=281327203255208 CPUtime=0 cores=1,3,5,7
/proc/20840/task/20848/stat : 20848 (java) S 20838 20838 4674 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 127955071 14316269568 21971 18446744073709551615 4194304 4196468 140728798390848 140419160056688 140419684050645 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27766784 140728798392753 140728798392929 140728798392929 140728798396367 0
[pid=20840/tid=20849] ppid=20838 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20840/task/20849/stat : 20849 (java) S 20838 20838 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 127955073 14316269568 21971 18446744073709551615 4194304 4196468 140728798390848 140419159005008 140419684059035 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27766784 140728798392753 140728798392929 140728798392929 140728798396367 0
[pid=20840/tid=20850] ppid=20838 vsize=13980732 memory=0 CPUtime=1.23 cores=1,3,5,7
/proc/20840/task/20850/stat : 20850 (java) S 20838 20838 4674 0 -1 1077944384 5240 0 0 0 123 0 0 0 20 0 15 0 127955073 14316269568 21971 18446744073709551615 4194304 4196468 140728798390848 140419157953392 140419684051586 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27766784 140728798392753 140728798392929 140728798392929 140728798396367 0
[pid=20840/tid=20851] ppid=20838 vsize=13980732 memory=3976732485301903407 CPUtime=1.15 cores=1,3,5,7
/proc/20840/task/20851/stat : 20851 (java) S 20838 20838 4674 0 -1 1077944384 4438 0 0 0 115 0 0 0 20 0 15 0 127955073 14316269568 21971 18446744073709551615 4194304 4196468 140728798390848 140419156900592 140419684051586 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 10 0 0 6293624 6294260 27766784 140728798392753 140728798392929 140728798392929 140728798396367 0
[pid=20840/tid=20852] ppid=20838 vsize=13980732 memory=4050624098450672817 CPUtime=0.36 cores=1,3,5,7
/proc/20840/task/20852/stat : 20852 (java) S 20838 20838 4674 0 -1 1077944384 2857 0 0 0 36 0 0 0 20 0 15 0 127955073 14316269568 21971 18446744073709551615 4194304 4196468 140728798390848 140419155847792 140419684051586 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27766784 140728798392753 140728798392929 140728798392929 140728798396367 0
[pid=20840/tid=20853] ppid=20838 vsize=13980732 memory=3539884524139262239 CPUtime=0 cores=1,3,5,7
/proc/20840/task/20853/stat : 20853 (java) S 20838 20838 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 127955073 14316269568 21971 18446744073709551615 4194304 4196468 140728798390848 140419154795232 140419684050645 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27766784 140728798392753 140728798392929 140728798392929 140728798396367 0
[pid=20840/tid=20854] ppid=20838 vsize=13980732 memory=3540031767791013811 CPUtime=0 cores=1,3,5,7
/proc/20840/task/20854/stat : 20854 (java) S 20838 20838 4674 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 15 0 127955077 14316269568 21971 18446744073709551615 4194304 4196468 140728798390848 140419153742512 140419684051586 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27766784 140728798392753 140728798392929 140728798392929 140728798396367 0
Current children cumulated CPU time: 4.52 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 89264 KiB
[startup+2.40082 s]
/proc/loadavg: 1.45 1.55 1.63 3/215 20855
/proc/meminfo: memFree=31460140/32770624 swapFree=67108764/67108860
[pid=20838] ppid=20835 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/20838/stat : 20838 (xcsp3-exec) S 20835 20838 4674 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 127955057 9740288 345 18446744073709551615 4194304 5098028 140732797621008 140732797619112 140002740359804 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 10 0 0 7196144 7232144 35389440 140732797624696 140732797624901 140732797624901 140732797628395 0
/proc/20838/statm: 2378 345 289 221 0 87 0
[pid=20840] ppid=20838 vsize=13980732 memory=92536 CPUtime=5.35 cores=1,3,5,7
/proc/20840/stat : 20840 (java) S 20838 20838 4674 0 -1 1077944320 22758 0 0 0 529 6 0 0 20 0 15 0 127955068 14316269568 23134 18446744073709551615 4194304 4196468 140728798390848 140728798373392 140419684040439 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27766784 140728798392753 140728798392929 140728798392929 140728798396367 0
/proc/20840/statm: 3495183 23134 3195 1 0 3483476 0
[pid=20840/tid=20841] ppid=20838 vsize=13980732 memory=0 CPUtime=2.13 cores=1,3,5,7
/proc/20840/task/20841/stat : 20841 (java) R 20838 20838 4674 0 -1 4202560 8563 0 0 0 210 3 0 0 20 0 15 0 127955068 14316269568 23134 18446744073709551615 4194304 4196468 140728798390848 140419688277664 140419279227728 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 27766784 140728798392753 140728798392929 140728798392929 140728798396367 0
[pid=20840/tid=20842] ppid=20838 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20840/task/20842/stat : 20842 (java) S 20838 20838 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 127955069 14316269568 23134 18446744073709551615 4194304 4196468 140728798390848 140419603455120 140419684050645 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27766784 140728798392753 140728798392929 140728798392929 140728798396367 0
[pid=20840/tid=20843] ppid=20838 vsize=13980732 memory=18983755451683 CPUtime=0 cores=1,3,5,7
/proc/20840/task/20843/stat : 20843 (java) S 20838 20838 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 127955069 14316269568 23134 18446744073709551615 4194304 4196468 140728798390848 140419602402320 140419684050645 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27766784 140728798392753 140728798392929 140728798392929 140728798396367 0
[pid=20840/tid=20844] ppid=20838 vsize=13980732 memory=6371019415419958065 CPUtime=0 cores=1,3,5,7
/proc/20840/task/20844/stat : 20844 (java) S 20838 20838 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 127955069 14316269568 23134 18446744073709551615 4194304 4196468 140728798390848 140419601349520 140419684050645 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27766784 140728798392753 140728798392929 140728798392929 140728798396367 0
[pid=20840/tid=20845] ppid=20838 vsize=13980732 memory=7810487918915055718 CPUtime=0 cores=1,3,5,7
/proc/20840/task/20845/stat : 20845 (java) S 20838 20838 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 127955069 14316269568 23134 18446744073709551615 4194304 4196468 140728798390848 140419600296720 140419684050645 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27766784 140728798392753 140728798392929 140728798392929 140728798396367 0
[pid=20840/tid=20846] ppid=20838 vsize=13980732 memory=281327202992368 CPUtime=0 cores=1,3,5,7
/proc/20840/task/20846/stat : 20846 (java) S 20838 20838 4674 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 127955070 14316269568 23134 18446744073709551615 4194304 4196468 140728798390848 140419162163568 140419684051586 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27766784 140728798392753 140728798392929 140728798392929 140728798396367 0
[pid=20840/tid=20847] ppid=20838 vsize=13980732 memory=281327203435232 CPUtime=0 cores=1,3,5,7
/proc/20840/task/20847/stat : 20847 (java) S 20838 20838 4674 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 127955071 14316269568 23134 18446744073709551615 4194304 4196468 140728798390848 140419161109536 140419684050645 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27766784 140728798392753 140728798392929 140728798392929 140728798396367 0
[pid=20840/tid=20848] ppid=20838 vsize=13980732 memory=6655300316396806240 CPUtime=0 cores=1,3,5,7
/proc/20840/task/20848/stat : 20848 (java) S 20838 20838 4674 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 127955071 14316269568 23134 18446744073709551615 4194304 4196468 140728798390848 140419160056688 140419684050645 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27766784 140728798392753 140728798392929 140728798392929 140728798396367 0
[pid=20840/tid=20849] ppid=20838 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20840/task/20849/stat : 20849 (java) S 20838 20838 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 127955073 14316269568 23134 18446744073709551615 4194304 4196468 140728798390848 140419159005008 140419684059035 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27766784 140728798392753 140728798392929 140728798392929 140728798396367 0
[pid=20840/tid=20850] ppid=20838 vsize=13980732 memory=0 CPUtime=1.46 cores=1,3,5,7
/proc/20840/task/20850/stat : 20850 (java) S 20838 20838 4674 0 -1 1077944384 5408 0 0 0 145 1 0 0 20 0 15 0 127955073 14316269568 23134 18446744073709551615 4194304 4196468 140728798390848 140419157953392 140419684051586 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27766784 140728798392753 140728798392929 140728798392929 140728798396367 0
[pid=20840/tid=20851] ppid=20838 vsize=13980732 memory=0 CPUtime=1.35 cores=1,3,5,7
/proc/20840/task/20851/stat : 20851 (java) S 20838 20838 4674 0 -1 1077944384 4522 0 0 0 135 0 0 0 20 0 15 0 127955073 14316269568 23134 18446744073709551615 4194304 4196468 140728798390848 140419156900592 140419684051586 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 10 0 0 6293624 6294260 27766784 140728798392753 140728798392929 140728798392929 140728798396367 0
[pid=20840/tid=20852] ppid=20838 vsize=13980732 memory=-1807685287725067907 CPUtime=0.37 cores=1,3,5,7
/proc/20840/task/20852/stat : 20852 (java) S 20838 20838 4674 0 -1 1077944384 2893 0 0 0 37 0 0 0 20 0 15 0 127955073 14316269568 23134 18446744073709551615 4194304 4196468 140728798390848 140419155847792 140419684051586 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27766784 140728798392753 140728798392929 140728798392929 140728798396367 0
[pid=20840/tid=20853] ppid=20838 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/20840/task/20853/stat : 20853 (java) S 20838 20838 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 127955073 14316269568 23134 18446744073709551615 4194304 4196468 140728798390848 140419154795232 140419684050645 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27766784 140728798392753 140728798392929 140728798392929 140728798396367 0
[pid=20840/tid=20854] ppid=20838 vsize=13980732 memory=83724 CPUtime=0 cores=1,3,5,7
/proc/20840/task/20854/stat : 20854 (java) S 20838 20838 4674 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 15 0 127955077 14316269568 23134 18446744073709551615 4194304 4196468 140728798390848 140419153742512 140419684051586 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27766784 140728798392753 140728798392929 140728798392929 140728798396367 0
Current children cumulated CPU time: 5.35 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 93916 KiB
[startup+2.50076 s]
/proc/loadavg: 1.45 1.55 1.63 3/215 20855
/proc/meminfo: memFree=31460140/32770624 swapFree=67108764/67108860
[pid=20838] ppid=20835 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/20838/stat : 20838 (xcsp3-exec) S 20835 20838 4674 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 127955057 9740288 345 18446744073709551615 4194304 5098028 140732797621008 140732797619112 140002740359804 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 10 0 0 7196144 7232144 35389440 140732797624696 140732797624901 140732797624901 140732797628395 0
/proc/20838/statm: 2378 345 289 221 0 87 0
[pid=20840] ppid=20838 vsize=13980732 memory=94608 CPUtime=5.48 cores=1,3,5,7
/proc/20840/stat : 20840 (java) S 20838 20838 4674 0 -1 1077944320 22778 0 0 0 542 6 0 0 20 0 15 0 127955068 14316269568 23652 18446744073709551615 4194304 4196468 140728798390848 140728798373392 140419684040439 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27766784 140728798392753 140728798392929 140728798392929 140728798396367 0
/proc/20840/statm: 3495183 23652 3196 1 0 3483476 0
[pid=20840/tid=20841] ppid=20838 vsize=13980732 memory=90292 CPUtime=2.23 cores=1,3,5,7
/proc/20840/task/20841/stat : 20841 (java) R 20838 20838 4674 0 -1 4202560 8568 0 0 0 220 3 0 0 20 0 15 0 127955068 14316269568 23652 18446744073709551615 4194304 4196468 140728798390848 140419688277664 140419278872079 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 27766784 140728798392753 140728798392929 140728798392929 140728798396367 0
[pid=20840/tid=20842] ppid=20838 vsize=13980732 memory=94219 CPUtime=0 cores=1,3,5,7
/proc/20840/task/20842/stat : 20842 (java) S 20838 20838 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 127955069 14316269568 23652 18446744073709551615 4194304 4196468 140728798390848 140419603455120 140419684050645 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27766784 140728798392753 140728798392929 140728798392929 140728798396367 0
[pid=20840/tid=20843] ppid=20838 vsize=13980732 memory=85836 CPUtime=0 cores=1,3,5,7
/proc/20840/task/20843/stat : 20843 (java) S 20838 20838 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 127955069 14316269568 23652 18446744073709551615 4194304 4196468 140728798390848 140419602402320 140419684050645 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27766784 140728798392753 140728798392929 140728798392929 140728798396367 0
[pid=20840/tid=20844] ppid=20838 vsize=13980732 memory=-7385037615309293160 CPUtime=0 cores=1,3,5,7
/proc/20840/task/20844/stat : 20844 (java) S 20838 20838 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 127955069 14316269568 23652 18446744073709551615 4194304 4196468 140728798390848 140419601349520 140419684050645 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27766784 140728798392753 140728798392929 140728798392929 140728798396367 0
[pid=20840/tid=20845] ppid=20838 vsize=13980732 memory=8508281403248445856 CPUtime=0 cores=1,3,5,7
/proc/20840/task/20845/stat : 20845 (java) S 20838 20838 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 127955069 14316269568 23652 18446744073709551615 4194304 4196468 140728798390848 140419600296720 140419684050645 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27766784 140728798392753 140728798392929 140728798392929 140728798396367 0
[pid=20840/tid=20846] ppid=20838 vsize=13980732 memory=281327203466336 CPUtime=0 cores=1,3,5,7
/proc/20840/task/20846/stat : 20846 (java) S 20838 20838 4674 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 127955070 14316269568 23652 18446744073709551615 4194304 4196468 140728798390848 140419162163568 140419684051586 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27766784 140728798392753 140728798392929 140728798392929 140728798396367 0
[pid=20840/tid=20847] ppid=20838 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20840/task/20847/stat : 20847 (java) S 20838 20838 4674 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 127955071 14316269568 23652 18446744073709551615 4194304 4196468 140728798390848 140419161109536 140419684050645 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27766784 140728798392753 140728798392929 140728798392929 140728798396367 0
[pid=20840/tid=20848] ppid=20838 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20840/task/20848/stat : 20848 (java) S 20838 20838 4674 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 127955071 14316269568 23652 18446744073709551615 4194304 4196468 140728798390848 140419160056688 140419684050645 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27766784 140728798392753 140728798392929 140728798392929 140728798396367 0
[pid=20840/tid=20849] ppid=20838 vsize=13980732 memory=281327203254528 CPUtime=0 cores=1,3,5,7
/proc/20840/task/20849/stat : 20849 (java) S 20838 20838 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 127955073 14316269568 23652 18446744073709551615 4194304 4196468 140728798390848 140419159005008 140419684059035 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27766784 140728798392753 140728798392929 140728798392929 140728798396367 0
[pid=20840/tid=20850] ppid=20838 vsize=13980732 memory=6944652177228980320 CPUtime=1.49 cores=1,3,5,7
/proc/20840/task/20850/stat : 20850 (java) S 20838 20838 4674 0 -1 1077944384 5415 0 0 0 148 1 0 0 20 0 15 0 127955073 14316269568 23652 18446744073709551615 4194304 4196468 140728798390848 140419157953392 140419684051586 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27766784 140728798392753 140728798392929 140728798392929 140728798396367 0
[pid=20840/tid=20851] ppid=20838 vsize=13980732 memory=6944656575208382560 CPUtime=1.36 cores=1,3,5,7
/proc/20840/task/20851/stat : 20851 (java) S 20838 20838 4674 0 -1 1077944384 4530 0 0 0 136 0 0 0 20 0 15 0 127955073 14316269568 23652 18446744073709551615 4194304 4196468 140728798390848 140419156900592 140419684051586 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 10 0 0 6293624 6294260 27766784 140728798392753 140728798392929 140728798392929 140728798396367 0
[pid=20840/tid=20852] ppid=20838 vsize=13980732 memory=6944656575208382560 CPUtime=0.37 cores=1,3,5,7
/proc/20840/task/20852/stat : 20852 (java) S 20838 20838 4674 0 -1 1077944384 2893 0 0 0 37 0 0 0 20 0 15 0 127955073 14316269568 23652 18446744073709551615 4194304 4196468 140728798390848 140419155847792 140419684051586 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27766784 140728798392753 140728798392929 140728798392929 140728798396367 0
[pid=20840/tid=20853] ppid=20838 vsize=13980732 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/20840/task/20853/stat : 20853 (java) S 20838 20838 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 127955073 14316269568 23652 18446744073709551615 4194304 4196468 140728798390848 140419154795232 140419684050645 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27766784 140728798392753 140728798392929 140728798392929 140728798396367 0
[pid=20840/tid=20854] ppid=20838 vsize=13980732 memory=6944652177228980320 CPUtime=0 cores=1,3,5,7
/proc/20840/task/20854/stat : 20854 (java) S 20838 20838 4674 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 15 0 127955077 14316269568 23652 18446744073709551615 4194304 4196468 140728798390848 140419153742512 140419684051586 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27766784 140728798392753 140728798392929 140728798392929 140728798396367 0
Current children cumulated CPU time: 5.48 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 95988 KiB
Child status: 0
Real time (s): 2.5135
CPU time (s): 5.51162
CPU user time (s): 5.44084
CPU system time (s): 0.070779
CPU usage (%): 219.281
Max. virtual memory (cumulated for all children) (KiB): 13990244
Max. memory (cumulated for all children) (KiB): 95988
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 5.44084
system time used= 0.070779
maximum resident set size= 97040
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23668
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1789
involuntary context switches= 20
# summary of solver processes directly reported to runsolver:
# pid: 20838
# total CPU time (s): 5.51162
# total CPU user time (s): 5.44084
# total CPU system time (s): 0.070779
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.039367 second user time and 0.067799 second system time
The end