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 (5343 MiB free)
memory of node 1: 16384 MiB (9362 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4306876-1534049236/watcher-4306876-1534049236 -o /tmp/evaluation-result-4306876-1534049236/solver-4306876-1534049236 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node104-1534039196-6272 --watchdog 2580 HOME/xcsp3-exec -seed 29857802 -dir HOME -tl 2520 -ml 11000 -p 1 HOME/instance-4306876-1534049236.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=7556, runsolver pid=7553
[startup+0.100095 s]*
/proc/loadavg: 2.08 2.03 2.05 3/217 7572
/proc/meminfo: memFree=15040184/32770624 swapFree=67108504/67108860
[pid=7556] ppid=7553 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/7556/stat : 7556 (xcsp3-exec) S 7553 7556 4813 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 222486770 115843072 363 33554432000 4194304 5098028 140728226930384 140728226928488 140253149852284 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 17346560 140728226935868 140728226936068 140728226936068 140728226938826 0
/proc/7556/statm: 28282 363 305 221 0 87 0
[pid=7558] ppid=7556 vsize=14082940 memory=30844 CPUtime=0.12 cores=1,3,5,7
/proc/7558/stat : 7558 (java) S 7556 7556 4813 0 -1 1077944320 5564 0 0 0 11 1 0 0 20 0 15 0 222486770 14420930560 7711 33554432000 4194304 4196468 140723548357200 140723548339744 140317110918903 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 38813696 140723548365958 140723548366129 140723548366129 140723548368847 0
/proc/7558/statm: 3520735 7711 3027 1 0 3483012 0
[pid=7558/tid=7559] ppid=7556 vsize=14082940 memory=7900905424270103387 CPUtime=0.08 cores=1,3,5,7
/proc/7558/task/7559/stat : 7559 (java) R 7556 7556 4813 0 -1 4202560 3578 0 0 0 8 0 0 0 20 0 15 0 222486771 14420930560 7776 33554432000 4194304 4196468 140723548357200 140317115152176 140317110930838 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38813696 140723548365958 140723548366129 140723548366129 140723548368847 0
[pid=7558/tid=7560] ppid=7556 vsize=14082940 memory=-3689451258167578675 CPUtime=0 cores=1,3,5,7
/proc/7558/task/7560/stat : 7560 (java) S 7556 7556 4813 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 222486771 14420930560 7776 33554432000 4194304 4196468 140723548357200 140317063539088 140317110929109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38813696 140723548365958 140723548366129 140723548366129 140723548368847 0
[pid=7558/tid=7561] ppid=7556 vsize=14082940 memory=139772496479872 CPUtime=0 cores=1,3,5,7
/proc/7558/task/7561/stat : 7561 (java) S 7556 7556 4813 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 222486771 14420930560 7776 33554432000 4194304 4196468 140723548357200 140317062486288 140317110929109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38813696 140723548365958 140723548366129 140723548366129 140723548368847 0
[pid=7558/tid=7562] ppid=7556 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7558/task/7562/stat : 7562 (java) S 7556 7556 4813 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 222486771 14420930560 7776 33554432000 4194304 4196468 140723548357200 140317061434000 140317110929109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38813696 140723548365958 140723548366129 140723548366129 140723548368847 0
[pid=7558/tid=7563] ppid=7556 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/7558/task/7563/stat : 7563 (java) S 7556 7556 4813 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 222486771 14420930560 7776 33554432000 4194304 4196468 140723548357200 140317060381200 140317110929109 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38813696 140723548365958 140723548366129 140723548366129 140723548368847 0
[pid=7558/tid=7564] ppid=7556 vsize=14082940 memory=139772496479872 CPUtime=0 cores=1,3,5,7
/proc/7558/task/7564/stat : 7564 (java) S 7556 7556 4813 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 222486773 14420930560 7776 33554432000 4194304 4196468 140723548357200 140316652231280 140317110930050 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38813696 140723548365958 140723548366129 140723548366129 140723548368847 0
[pid=7558/tid=7565] ppid=7556 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/7558/task/7565/stat : 7565 (java) S 7556 7556 4813 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 222486773 14420930560 7776 33554432000 4194304 4196468 140723548357200 140316651177248 140317110929109 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38813696 140723548365958 140723548366129 140723548366129 140723548368847 0
[pid=7558/tid=7566] ppid=7556 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7558/task/7566/stat : 7566 (java) S 7556 7556 4813 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 222486773 14420930560 7776 33554432000 4194304 4196468 140723548357200 140316650124912 140317110929109 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38813696 140723548365958 140723548366129 140723548366129 140723548368847 0
[pid=7558/tid=7567] ppid=7556 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7558/task/7567/stat : 7567 (java) S 7556 7556 4813 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 222486776 14420930560 7776 33554432000 4194304 4196468 140723548357200 140316086889040 140317110937499 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38813696 140723548365958 140723548366129 140723548366129 140723548368847 0
[pid=7558/tid=7568] ppid=7556 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7558/task/7568/stat : 7568 (java) S 7556 7556 4813 0 -1 1077944384 416 0 0 0 0 0 0 0 20 0 15 0 222486776 14420930560 7776 33554432000 4194304 4196468 140723548357200 140316085835888 140317110930050 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38813696 140723548365958 140723548366129 140723548366129 140723548368847 0
[pid=7558/tid=7569] ppid=7556 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/7558/task/7569/stat : 7569 (java) S 7556 7556 4813 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 222486776 14420930560 7776 33554432000 4194304 4196468 140723548357200 140316084783088 140317110930050 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38813696 140723548365958 140723548366129 140723548366129 140723548368847 0
[pid=7558/tid=7570] ppid=7556 vsize=14082940 memory=139772496479872 CPUtime=0.01 cores=1,3,5,7
/proc/7558/task/7570/stat : 7570 (java) R 7556 7556 4813 0 -1 4202560 272 0 0 0 1 0 0 0 20 0 15 0 222486776 14420930560 7776 33554432000 4194304 4196468 140723548357200 140316083730800 140317091254417 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38813696 140723548365958 140723548366129 140723548366129 140723548368847 0
[pid=7558/tid=7571] ppid=7556 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/7558/task/7571/stat : 7571 (java) S 7556 7556 4813 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 222486776 14420930560 7776 33554432000 4194304 4196468 140723548357200 140316082678240 140317110929109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38813696 140723548365958 140723548366129 140723548366129 140723548368847 0
[pid=7558/tid=7572] ppid=7556 vsize=14082940 memory=139772496479872 CPUtime=0 cores=1,3,5,7
/proc/7558/task/7572/stat : 7572 (java) S 7556 7556 4813 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 222486776 14420930560 7776 33554432000 4194304 4196468 140723548357200 140316081626032 140317110930050 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38813696 140723548365958 140723548366129 140723548366129 140723548368847 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14196068 KiB
Current children cumulated memory: 32296 KiB
[startup+0.210587 s]*
/proc/loadavg: 2.08 2.03 2.05 4/217 7572
/proc/meminfo: memFree=15028400/32770624 swapFree=67108504/67108860
[pid=7556] ppid=7553 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/7556/stat : 7556 (xcsp3-exec) S 7553 7556 4813 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 222486770 115843072 363 33554432000 4194304 5098028 140728226930384 140728226928488 140253149852284 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 17346560 140728226935868 140728226936068 140728226936068 140728226938826 0
/proc/7556/statm: 28282 363 305 221 0 87 0
[pid=7558] ppid=7556 vsize=14082940 memory=43496 CPUtime=0.34 cores=1,3,5,7
/proc/7558/stat : 7558 (java) S 7556 7556 4813 0 -1 1077944320 8361 0 0 0 32 2 0 0 20 0 15 0 222486770 14420930560 10874 33554432000 4194304 4196468 140723548357200 140723548339744 140317110918903 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 38813696 140723548365958 140723548366129 140723548366129 140723548368847 0
/proc/7558/statm: 3520735 10874 3201 1 0 3483012 0
[pid=7558/tid=7559] ppid=7556 vsize=14085056 memory=7883960649037381690 CPUtime=0.19 cores=1,3,5,7
/proc/7558/task/7559/stat : 7559 (java) D 7556 7556 4813 0 -1 1077944384 5464 0 0 0 18 1 0 0 20 0 15 0 222486771 14423097344 10877 33554432000 4194304 4196468 140723548357200 140317115139896 140317113194183 0 4 0 16800975 18446744072101588516 0 0 -1 3 0 0 0 0 0 6293624 6294260 38813696 140723548365958 140723548366129 140723548366129 140723548368847 0
[pid=7558/tid=7560] ppid=7556 vsize=14085056 memory=11619 CPUtime=0 cores=1,3,5,7
/proc/7558/task/7560/stat : 7560 (java) S 7556 7556 4813 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 222486771 14423097344 10877 33554432000 4194304 4196468 140723548357200 140317063539088 140317110929109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38813696 140723548365958 140723548366129 140723548366129 140723548368847 0
[pid=7558/tid=7561] ppid=7556 vsize=14085056 memory=139772496508876 CPUtime=0 cores=1,3,5,7
/proc/7558/task/7561/stat : 7561 (java) S 7556 7556 4813 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 222486771 14423097344 10877 33554432000 4194304 4196468 140723548357200 140317062486288 140317110929109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38813696 140723548365958 140723548366129 140723548366129 140723548368847 0
[pid=7558/tid=7562] ppid=7556 vsize=14087196 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7558/task/7562/stat : 7562 (java) S 7556 7556 4813 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 222486771 14425288704 10880 33554432000 4194304 4196468 140723548357200 140317061434000 140317110929109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38813696 140723548365958 140723548366129 140723548366129 140723548368847 0
[pid=7558/tid=7563] ppid=7556 vsize=14087196 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/7558/task/7563/stat : 7563 (java) S 7556 7556 4813 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 222486771 14425288704 10880 33554432000 4194304 4196468 140723548357200 140317060381200 140317110929109 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38813696 140723548365958 140723548366129 140723548366129 140723548368847 0
[pid=7558/tid=7564] ppid=7556 vsize=14087196 memory=139772496479872 CPUtime=0 cores=1,3,5,7
/proc/7558/task/7564/stat : 7564 (java) S 7556 7556 4813 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 222486773 14425288704 10880 33554432000 4194304 4196468 140723548357200 140316652231280 140317110930050 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38813696 140723548365958 140723548366129 140723548366129 140723548368847 0
[pid=7558/tid=7565] ppid=7556 vsize=14087196 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/7558/task/7565/stat : 7565 (java) S 7556 7556 4813 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 222486773 14425288704 10880 33554432000 4194304 4196468 140723548357200 140316651177248 140317110929109 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38813696 140723548365958 140723548366129 140723548366129 140723548368847 0
[pid=7558/tid=7566] ppid=7556 vsize=14087196 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7558/task/7566/stat : 7566 (java) S 7556 7556 4813 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 222486773 14425288704 10880 33554432000 4194304 4196468 140723548357200 140316650124912 140317110929109 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38813696 140723548365958 140723548366129 140723548366129 140723548368847 0
[pid=7558/tid=7567] ppid=7556 vsize=14087196 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7558/task/7567/stat : 7567 (java) S 7556 7556 4813 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 222486776 14425288704 10880 33554432000 4194304 4196468 140723548357200 140316086889040 140317110937499 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38813696 140723548365958 140723548366129 140723548366129 140723548368847 0
[pid=7558/tid=7568] ppid=7556 vsize=14087196 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/7558/task/7568/stat : 7568 (java) S 7556 7556 4813 0 -1 1077944384 727 0 0 0 2 0 0 0 20 0 15 0 222486776 14425288704 10880 33554432000 4194304 4196468 140723548357200 140316085835888 140317110930050 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38813696 140723548365958 140723548366129 140723548366129 140723548368847 0
[pid=7558/tid=7569] ppid=7556 vsize=14087196 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/7558/task/7569/stat : 7569 (java) S 7556 7556 4813 0 -1 1077944384 111 0 0 0 2 0 0 0 20 0 15 0 222486776 14425288704 10880 33554432000 4194304 4196468 140723548357200 140316084783088 140317110930050 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38813696 140723548365958 140723548366129 140723548366129 140723548368847 0
[pid=7558/tid=7570] ppid=7556 vsize=14087196 memory=139772496479872 CPUtime=0.08 cores=1,3,5,7
/proc/7558/task/7570/stat : 7570 (java) S 7556 7556 4813 0 -1 1077944384 764 0 0 0 8 0 0 0 20 0 15 0 222486776 14425288704 10880 33554432000 4194304 4196468 140723548357200 140316083730800 140317110930050 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38813696 140723548365958 140723548366129 140723548366129 140723548368847 0
[pid=7558/tid=7571] ppid=7556 vsize=14087196 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/7558/task/7571/stat : 7571 (java) S 7556 7556 4813 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 222486776 14425288704 10880 33554432000 4194304 4196468 140723548357200 140316082678240 140317110929109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38813696 140723548365958 140723548366129 140723548366129 140723548368847 0
[pid=7558/tid=7572] ppid=7556 vsize=14087196 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7558/task/7572/stat : 7572 (java) S 7556 7556 4813 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 222486776 14425288704 10880 33554432000 4194304 4196468 140723548357200 140316081626032 140317110930050 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38813696 140723548365958 140723548366129 140723548366129 140723548368847 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 14196068 KiB
Current children cumulated memory: 44948 KiB
[startup+0.312016 s]*
/proc/loadavg: 2.08 2.03 2.05 4/217 7572
/proc/meminfo: memFree=15021700/32770624 swapFree=67108504/67108860
[pid=7556] ppid=7553 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/7556/stat : 7556 (xcsp3-exec) S 7553 7556 4813 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 222486770 115843072 363 33554432000 4194304 5098028 140728226930384 140728226928488 140253149852284 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 17346560 140728226935868 140728226936068 140728226936068 140728226938826 0
/proc/7556/statm: 28282 363 305 221 0 87 0
[pid=7558] ppid=7556 vsize=14087196 memory=50432 CPUtime=0.53 cores=1,3,5,7
/proc/7558/stat : 7558 (java) S 7556 7556 4813 0 -1 1077944320 9263 0 0 0 50 3 0 0 20 0 15 0 222486770 14425288704 12608 33554432000 4194304 4196468 140723548357200 140723548339744 140317110918903 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 38813696 140723548365958 140723548366129 140723548366129 140723548368847 0
/proc/7558/statm: 3521799 12608 3239 1 0 3483012 0
[pid=7558/tid=7559] ppid=7556 vsize=14087196 memory=8112282956445269571 CPUtime=0.29 cores=1,3,5,7
/proc/7558/task/7559/stat : 7559 (java) R 7556 7556 4813 0 -1 4202560 6192 0 0 0 27 2 0 0 20 0 15 0 222486771 14425288704 12608 33554432000 4194304 4196468 140723548357200 140317115153440 140317110940829 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38813696 140723548365958 140723548366129 140723548366129 140723548368847 0
[pid=7558/tid=7560] ppid=7556 vsize=14087196 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/7558/task/7560/stat : 7560 (java) S 7556 7556 4813 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 222486771 14425288704 12608 33554432000 4194304 4196468 140723548357200 140317063539088 140317110929109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38813696 140723548365958 140723548366129 140723548366129 140723548368847 0
[pid=7558/tid=7561] ppid=7556 vsize=14087196 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/7558/task/7561/stat : 7561 (java) S 7556 7556 4813 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 222486771 14425288704 12608 33554432000 4194304 4196468 140723548357200 140317062486288 140317110929109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38813696 140723548365958 140723548366129 140723548366129 140723548368847 0
[pid=7558/tid=7562] ppid=7556 vsize=14087196 memory=-5587046532246807594 CPUtime=0 cores=1,3,5,7
/proc/7558/task/7562/stat : 7562 (java) S 7556 7556 4813 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 222486771 14425288704 12608 33554432000 4194304 4196468 140723548357200 140317061434000 140317110929109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38813696 140723548365958 140723548366129 140723548366129 140723548368847 0
[pid=7558/tid=7563] ppid=7556 vsize=14087196 memory=7379517710693473142 CPUtime=0 cores=1,3,5,7
/proc/7558/task/7563/stat : 7563 (java) S 7556 7556 4813 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 222486771 14425288704 12608 33554432000 4194304 4196468 140723548357200 140317060381200 140317110929109 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38813696 140723548365958 140723548366129 140723548366129 140723548368847 0
[pid=7558/tid=7564] ppid=7556 vsize=14087196 memory=7016714186490735262 CPUtime=0 cores=1,3,5,7
/proc/7558/task/7564/stat : 7564 (java) S 7556 7556 4813 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 222486773 14425288704 12608 33554432000 4194304 4196468 140723548357200 140316652231280 140317110930050 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38813696 140723548365958 140723548366129 140723548366129 140723548368847 0
[pid=7558/tid=7565] ppid=7556 vsize=14087196 memory=-9062862659931694204 CPUtime=0 cores=1,3,5,7
/proc/7558/task/7565/stat : 7565 (java) S 7556 7556 4813 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 222486773 14425288704 12608 33554432000 4194304 4196468 140723548357200 140316651177248 140317110929109 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38813696 140723548365958 140723548366129 140723548366129 140723548368847 0
[pid=7558/tid=7566] ppid=7556 vsize=14087196 memory=3047711566422646390 CPUtime=0 cores=1,3,5,7
/proc/7558/task/7566/stat : 7566 (java) S 7556 7556 4813 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 222486773 14425288704 12608 33554432000 4194304 4196468 140723548357200 140316650124912 140317110929109 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38813696 140723548365958 140723548366129 140723548366129 140723548368847 0
[pid=7558/tid=7567] ppid=7556 vsize=14087196 memory=8693815914432465728 CPUtime=0 cores=1,3,5,7
/proc/7558/task/7567/stat : 7567 (java) S 7556 7556 4813 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 222486776 14425288704 12608 33554432000 4194304 4196468 140723548357200 140316086889040 140317110937499 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38813696 140723548365958 140723548366129 140723548366129 140723548368847 0
[pid=7558/tid=7568] ppid=7556 vsize=14087196 memory=8325818968683490714 CPUtime=0.05 cores=1,3,5,7
/proc/7558/task/7568/stat : 7568 (java) S 7556 7556 4813 0 -1 1077944384 823 0 0 0 5 0 0 0 20 0 15 0 222486776 14425288704 12608 33554432000 4194304 4196468 140723548357200 140316085835888 140317110930050 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38813696 140723548365958 140723548366129 140723548366129 140723548368847 0
[pid=7558/tid=7569] ppid=7556 vsize=14087196 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/7558/task/7569/stat : 7569 (java) S 7556 7556 4813 0 -1 1077944384 125 0 0 0 4 0 0 0 20 0 15 0 222486776 14425288704 12608 33554432000 4194304 4196468 140723548357200 140316084783088 140317110930050 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38813696 140723548365958 140723548366129 140723548366129 140723548368847 0
[pid=7558/tid=7570] ppid=7556 vsize=14087196 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/7558/task/7570/stat : 7570 (java) S 7556 7556 4813 0 -1 1077944384 826 0 0 0 12 0 0 0 20 0 15 0 222486776 14425288704 12608 33554432000 4194304 4196468 140723548357200 140316083730800 140317110930050 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38813696 140723548365958 140723548366129 140723548366129 140723548368847 0
[pid=7558/tid=7571] ppid=7556 vsize=14087196 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7558/task/7571/stat : 7571 (java) S 7556 7556 4813 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 222486776 14425288704 12608 33554432000 4194304 4196468 140723548357200 140316082678240 140317110929109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38813696 140723548365958 140723548366129 140723548366129 140723548368847 0
[pid=7558/tid=7572] ppid=7556 vsize=14087196 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7558/task/7572/stat : 7572 (java) S 7556 7556 4813 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 222486776 14425288704 12608 33554432000 4194304 4196468 140723548357200 140316081626032 140317110930050 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38813696 140723548365958 140723548366129 140723548366129 140723548368847 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 14200324 KiB
Current children cumulated memory: 51884 KiB
[startup+0.701052 s]
/proc/loadavg: 2.08 2.03 2.05 6/217 7572
/proc/meminfo: memFree=15002844/32770624 swapFree=67108504/67108860
[pid=7556] ppid=7553 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/7556/stat : 7556 (xcsp3-exec) S 7553 7556 4813 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 222486770 115843072 363 33554432000 4194304 5098028 140728226930384 140728226928488 140253149852284 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 17346560 140728226935868 140728226936068 140728226936068 140728226938826 0
/proc/7556/statm: 28282 363 305 221 0 87 0
[pid=7558] ppid=7556 vsize=14089320 memory=85724 CPUtime=1.57 cores=1,3,5,7
/proc/7558/stat : 7558 (java) S 7556 7556 4813 0 -1 1077944320 15771 0 0 0 151 6 0 0 20 0 15 0 222486770 14427463680 21431 33554432000 4194304 4196468 140723548357200 140723548339744 140317110918903 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 38813696 140723548365958 140723548366129 140723548366129 140723548368847 0
/proc/7558/statm: 3522330 21431 3369 1 0 3483524 0
[pid=7558/tid=7559] ppid=7556 vsize=14089320 memory=3472328296227679313 CPUtime=0.66 cores=1,3,5,7
/proc/7558/task/7559/stat : 7559 (java) R 7556 7556 4813 0 -1 4202560 7222 0 0 0 63 3 0 0 20 0 15 0 222486771 14427463680 21431 33554432000 4194304 4196468 140723548357200 140317115154328 140316733689591 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38813696 140723548365958 140723548366129 140723548366129 140723548368847 0
[pid=7558/tid=7560] ppid=7556 vsize=14089320 memory=-7816663703405220396 CPUtime=0 cores=1,3,5,7
/proc/7558/task/7560/stat : 7560 (java) S 7556 7556 4813 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 222486771 14427463680 21431 33554432000 4194304 4196468 140723548357200 140317063539088 140317110929109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38813696 140723548365958 140723548366129 140723548366129 140723548368847 0
[pid=7558/tid=7561] ppid=7556 vsize=14089320 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7558/task/7561/stat : 7561 (java) S 7556 7556 4813 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 222486771 14427463680 21431 33554432000 4194304 4196468 140723548357200 140317062486288 140317110929109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38813696 140723548365958 140723548366129 140723548366129 140723548368847 0
[pid=7558/tid=7562] ppid=7556 vsize=14089320 memory=60344 CPUtime=0 cores=1,3,5,7
/proc/7558/task/7562/stat : 7562 (java) S 7556 7556 4813 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 222486771 14427463680 21431 33554432000 4194304 4196468 140723548357200 140317061434000 140317110929109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38813696 140723548365958 140723548366129 140723548366129 140723548368847 0
[pid=7558/tid=7563] ppid=7556 vsize=14089320 memory=1116 CPUtime=0 cores=1,3,5,7
/proc/7558/task/7563/stat : 7563 (java) S 7556 7556 4813 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 222486771 14427463680 21431 33554432000 4194304 4196468 140723548357200 140317060381200 140317110929109 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38813696 140723548365958 140723548366129 140723548366129 140723548368847 0
[pid=7558/tid=7564] ppid=7556 vsize=14089320 memory=2144 CPUtime=0 cores=1,3,5,7
/proc/7558/task/7564/stat : 7564 (java) S 7556 7556 4813 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 222486773 14427463680 21431 33554432000 4194304 4196468 140723548357200 140316652231280 140317110930050 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38813696 140723548365958 140723548366129 140723548366129 140723548368847 0
[pid=7558/tid=7565] ppid=7556 vsize=14089320 memory=1752 CPUtime=0 cores=1,3,5,7
/proc/7558/task/7565/stat : 7565 (java) S 7556 7556 4813 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 222486773 14427463680 21431 33554432000 4194304 4196468 140723548357200 140316651177248 140317110929109 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38813696 140723548365958 140723548366129 140723548366129 140723548368847 0
[pid=7558/tid=7566] ppid=7556 vsize=14089320 memory=748 CPUtime=0 cores=1,3,5,7
/proc/7558/task/7566/stat : 7566 (java) S 7556 7556 4813 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 222486773 14427463680 21431 33554432000 4194304 4196468 140723548357200 140316650124912 140317110929109 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38813696 140723548365958 140723548366129 140723548366129 140723548368847 0
[pid=7558/tid=7567] ppid=7556 vsize=14089320 memory=1820 CPUtime=0 cores=1,3,5,7
/proc/7558/task/7567/stat : 7567 (java) S 7556 7556 4813 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 222486776 14427463680 21431 33554432000 4194304 4196468 140723548357200 140316086889040 140317110937499 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38813696 140723548365958 140723548366129 140723548366129 140723548368847 0
[pid=7558/tid=7568] ppid=7556 vsize=14089320 memory=4552 CPUtime=0.25 cores=1,3,5,7
/proc/7558/task/7568/stat : 7568 (java) R 7556 7556 4813 0 -1 4202560 2594 0 0 0 24 1 0 0 20 0 15 0 222486776 14427463680 21431 33554432000 4194304 4196468 140723548357200 140316085816904 140317094825489 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38813696 140723548365958 140723548366129 140723548366129 140723548368847 0
[pid=7558/tid=7569] ppid=7556 vsize=14089320 memory=3732 CPUtime=0.25 cores=1,3,5,7
/proc/7558/task/7569/stat : 7569 (java) R 7556 7556 4813 0 -1 4202560 2278 0 0 0 25 0 0 0 20 0 15 0 222486776 14427463680 21497 33554432000 4194304 4196468 140723548357200 140316084764104 140317090772499 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38813696 140723548365958 140723548366129 140723548366129 140723548368847 0
[pid=7558/tid=7570] ppid=7556 vsize=14089320 memory=1228 CPUtime=0.37 cores=1,3,5,7
/proc/7558/task/7570/stat : 7570 (java) S 7556 7556 4813 0 -1 1077944384 2371 0 0 0 37 0 0 0 20 0 15 0 222486776 14427463680 21497 33554432000 4194304 4196468 140723548357200 140316083730800 140317110930050 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38813696 140723548365958 140723548366129 140723548366129 140723548368847 0
[pid=7558/tid=7571] ppid=7556 vsize=14089320 memory=10624 CPUtime=0 cores=1,3,5,7
/proc/7558/task/7571/stat : 7571 (java) S 7556 7556 4813 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 222486776 14427463680 21497 33554432000 4194304 4196468 140723548357200 140316082678240 140317110929109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38813696 140723548365958 140723548366129 140723548366129 140723548368847 0
[pid=7558/tid=7572] ppid=7556 vsize=14089320 memory=1624 CPUtime=0 cores=1,3,5,7
/proc/7558/task/7572/stat : 7572 (java) S 7556 7556 4813 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 222486776 14427463680 21497 33554432000 4194304 4196468 140723548357200 140316081626032 140317110930050 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38813696 140723548365958 140723548366129 140723548366129 140723548368847 0
Current children cumulated CPU time: 1.57 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 87176 KiB
[startup+1.50194 s]
/proc/loadavg: 2.08 2.03 2.05 5/217 7572
/proc/meminfo: memFree=14961236/32770624 swapFree=67108504/67108860
[pid=7556] ppid=7553 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/7556/stat : 7556 (xcsp3-exec) S 7553 7556 4813 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 222486770 115843072 363 33554432000 4194304 5098028 140728226930384 140728226928488 140253149852284 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 17346560 140728226935868 140728226936068 140728226936068 140728226938826 0
/proc/7556/statm: 28282 363 305 221 0 87 0
################
# More data... #
################
/proc/7556/stat : 7556 (xcsp3-exec) S 7553 7556 4813 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 222486770 115843072 363 33554432000 4194304 5098028 140728226930384 140728226928488 140253149852284 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 17346560 140728226935868 140728226936068 140728226936068 140728226938826 0
/proc/7556/statm: 28282 363 305 221 0 87 0
[pid=7558] ppid=7556 vsize=14089320 memory=228608 CPUtime=27.6 cores=1,3,5,7
/proc/7558/stat : 7558 (java) S 7556 7556 4813 0 -1 1077944320 50095 0 0 0 2747 13 0 0 20 0 15 0 222486770 14427463680 57152 33554432000 4194304 4196468 140723548357200 140723548339744 140317110918903 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 38813696 140723548365958 140723548366129 140723548366129 140723548368847 0
/proc/7558/statm: 3522330 57152 3416 1 0 3483524 0
[pid=7558/tid=7559] ppid=7556 vsize=14089320 memory=1116 CPUtime=21.55 cores=1,3,5,7
/proc/7558/task/7559/stat : 7559 (java) R 7556 7556 4813 0 -1 4202560 9903 0 0 0 2150 5 0 0 20 0 15 0 222486771 14427463680 57152 33554432000 4194304 4196468 140723548357200 140317115155776 140316738661914 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38813696 140723548365958 140723548366129 140723548366129 140723548368847 0
[pid=7558/tid=7560] ppid=7556 vsize=14089320 memory=2144 CPUtime=0 cores=1,3,5,7
/proc/7558/task/7560/stat : 7560 (java) S 7556 7556 4813 0 -1 1077944384 91 0 0 0 0 0 0 0 20 0 15 0 222486771 14427463680 57152 33554432000 4194304 4196468 140723548357200 140317063539088 140317110929109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38813696 140723548365958 140723548366129 140723548366129 140723548368847 0
[pid=7558/tid=7561] ppid=7556 vsize=14089320 memory=1752 CPUtime=0 cores=1,3,5,7
/proc/7558/task/7561/stat : 7561 (java) S 7556 7556 4813 0 -1 1077944384 587 0 0 0 0 0 0 0 20 0 15 0 222486771 14427463680 57152 33554432000 4194304 4196468 140723548357200 140317062486288 140317110929109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38813696 140723548365958 140723548366129 140723548366129 140723548368847 0
[pid=7558/tid=7562] ppid=7556 vsize=14089320 memory=748 CPUtime=0 cores=1,3,5,7
/proc/7558/task/7562/stat : 7562 (java) S 7556 7556 4813 0 -1 1077944384 423 0 0 0 0 0 0 0 20 0 15 0 222486771 14427463680 57152 33554432000 4194304 4196468 140723548357200 140317061434000 140317110929109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38813696 140723548365958 140723548366129 140723548366129 140723548368847 0
[pid=7558/tid=7563] ppid=7556 vsize=14089320 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7558/task/7563/stat : 7563 (java) S 7556 7556 4813 0 -1 1077944384 119 0 0 0 0 0 0 0 20 0 15 0 222486771 14427463680 57152 33554432000 4194304 4196468 140723548357200 140317060381200 140317110929109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38813696 140723548365958 140723548366129 140723548366129 140723548368847 0
[pid=7558/tid=7564] ppid=7556 vsize=14089320 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7558/task/7564/stat : 7564 (java) S 7556 7556 4813 0 -1 1077944384 579 0 0 0 0 0 0 0 20 0 15 0 222486773 14427463680 57152 33554432000 4194304 4196468 140723548357200 140316652231280 140317110930050 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38813696 140723548365958 140723548366129 140723548366129 140723548368847 0
[pid=7558/tid=7565] ppid=7556 vsize=14089320 memory=4580 CPUtime=0 cores=1,3,5,7
/proc/7558/task/7565/stat : 7565 (java) S 7556 7556 4813 0 -1 1077944384 75 0 0 0 0 0 0 0 20 0 15 0 222486773 14427463680 57152 33554432000 4194304 4196468 140723548357200 140316651177248 140317110929109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38813696 140723548365958 140723548366129 140723548366129 140723548368847 0
[pid=7558/tid=7566] ppid=7556 vsize=14089320 memory=6944652027076318631 CPUtime=0 cores=1,3,5,7
/proc/7558/task/7566/stat : 7566 (java) S 7556 7556 4813 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 222486773 14427463680 57152 33554432000 4194304 4196468 140723548357200 140316650124912 140317110929109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38813696 140723548365958 140723548366129 140723548366129 140723548368847 0
[pid=7558/tid=7567] ppid=7556 vsize=14089320 memory=-6368199152461293614 CPUtime=0 cores=1,3,5,7
/proc/7558/task/7567/stat : 7567 (java) S 7556 7556 4813 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 222486776 14427463680 57152 33554432000 4194304 4196468 140723548357200 140316086889040 140317110937499 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38813696 140723548365958 140723548366129 140723548366129 140723548368847 0
[pid=7558/tid=7568] ppid=7556 vsize=14089320 memory=6944652027076318631 CPUtime=2.73 cores=1,3,5,7
/proc/7558/task/7568/stat : 7568 (java) S 7556 7556 4813 0 -1 1077944384 12868 0 0 0 271 2 0 0 20 0 15 0 222486776 14427463680 57152 33554432000 4194304 4196468 140723548357200 140316085835888 140317110930050 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38813696 140723548365958 140723548366129 140723548366129 140723548368847 0
[pid=7558/tid=7569] ppid=7556 vsize=14089320 memory=6943487855420614559 CPUtime=2.67 cores=1,3,5,7
/proc/7558/task/7569/stat : 7569 (java) S 7556 7556 4813 0 -1 1077944384 16230 0 0 0 266 1 0 0 20 0 15 0 222486776 14427463680 57152 33554432000 4194304 4196468 140723548357200 140316084783088 140317110930050 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38813696 140723548365958 140723548366129 140723548366129 140723548368847 0
[pid=7558/tid=7570] ppid=7556 vsize=14089320 memory=6944656592385698452 CPUtime=0.57 cores=1,3,5,7
/proc/7558/task/7570/stat : 7570 (java) S 7556 7556 4813 0 -1 1077944384 6553 0 0 0 56 1 0 0 20 0 15 0 222486776 14427463680 57152 33554432000 4194304 4196468 140723548357200 140316083730800 140317110930050 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38813696 140723548365958 140723548366129 140723548366129 140723548368847 0
[pid=7558/tid=7571] ppid=7556 vsize=14089320 memory=6944656592455360604 CPUtime=0 cores=1,3,5,7
/proc/7558/task/7571/stat : 7571 (java) S 7556 7556 4813 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 222486776 14427463680 57152 33554432000 4194304 4196468 140723548357200 140316082678240 140317110929109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38813696 140723548365958 140723548366129 140723548366129 140723548368847 0
[pid=7558/tid=7572] ppid=7556 vsize=14089320 memory=3356 CPUtime=0 cores=1,3,5,7
/proc/7558/task/7572/stat : 7572 (java) S 7556 7556 4813 0 -1 1077944384 1364 0 0 0 0 0 0 0 20 0 15 0 222486776 14427463680 57152 33554432000 4194304 4196468 140723548357200 140316081626032 140317110930050 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 24 0 0 6293624 6294260 38813696 140723548365958 140723548366129 140723548366129 140723548368847 0
Current children cumulated CPU time: 27.6 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 230060 KiB
[startup+22.0007 s]*
/proc/loadavg: 2.12 2.05 2.05 3/217 7572
/proc/meminfo: memFree=14842388/32770624 swapFree=67108504/67108860
[pid=7556] ppid=7553 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/7556/stat : 7556 (xcsp3-exec) S 7553 7556 4813 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 222486770 115843072 363 33554432000 4194304 5098028 140728226930384 140728226928488 140253149852284 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 17346560 140728226935868 140728226936068 140728226936068 140728226938826 0
/proc/7556/statm: 28282 363 305 221 0 87 0
[pid=7558] ppid=7556 vsize=14089320 memory=228612 CPUtime=28.03 cores=1,3,5,7
/proc/7558/stat : 7558 (java) S 7556 7556 4813 0 -1 1077944320 50947 0 0 0 2790 13 0 0 20 0 15 0 222486770 14427463680 57153 33554432000 4194304 4196468 140723548357200 140723548339744 140317110918903 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 38813696 140723548365958 140723548366129 140723548366129 140723548368847 0
/proc/7558/statm: 3522330 57153 3417 1 0 3483524 0
[pid=7558/tid=7559] ppid=7556 vsize=14089320 memory=7883960649037381690 CPUtime=21.96 cores=1,3,5,7
/proc/7558/task/7559/stat : 7559 (java) R 7556 7556 4813 0 -1 4202560 9956 0 0 0 2191 5 0 0 20 0 15 0 222486771 14427463680 57153 33554432000 4194304 4196468 140723548357200 140317115155776 140316739825643 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38813696 140723548365958 140723548366129 140723548366129 140723548368847 0
[pid=7558/tid=7560] ppid=7556 vsize=14089320 memory=12165 CPUtime=0 cores=1,3,5,7
/proc/7558/task/7560/stat : 7560 (java) S 7556 7556 4813 0 -1 1077944384 91 0 0 0 0 0 0 0 20 0 15 0 222486771 14427463680 57153 33554432000 4194304 4196468 140723548357200 140317063539088 140317110929109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38813696 140723548365958 140723548366129 140723548366129 140723548368847 0
[pid=7558/tid=7561] ppid=7556 vsize=14089320 memory=3545796593779503468 CPUtime=0 cores=1,3,5,7
/proc/7558/task/7561/stat : 7561 (java) S 7556 7556 4813 0 -1 1077944384 587 0 0 0 0 0 0 0 20 0 15 0 222486771 14427463680 57153 33554432000 4194304 4196468 140723548357200 140317062486288 140317110929109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38813696 140723548365958 140723548366129 140723548366129 140723548368847 0
[pid=7558/tid=7562] ppid=7556 vsize=14089320 memory=300668258653127592 CPUtime=0 cores=1,3,5,7
/proc/7558/task/7562/stat : 7562 (java) S 7556 7556 4813 0 -1 1077944384 423 0 0 0 0 0 0 0 20 0 15 0 222486771 14427463680 57153 33554432000 4194304 4196468 140723548357200 140317061434000 140317110929109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38813696 140723548365958 140723548366129 140723548366129 140723548368847 0
[pid=7558/tid=7563] ppid=7556 vsize=14089320 memory=3184097920075968559 CPUtime=0 cores=1,3,5,7
/proc/7558/task/7563/stat : 7563 (java) S 7556 7556 4813 0 -1 1077944384 119 0 0 0 0 0 0 0 20 0 15 0 222486771 14427463680 57153 33554432000 4194304 4196468 140723548357200 140317060381200 140317110929109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38813696 140723548365958 140723548366129 140723548366129 140723548368847 0
[pid=7558/tid=7564] ppid=7556 vsize=14089320 memory=6944656592455360604 CPUtime=0 cores=1,3,5,7
/proc/7558/task/7564/stat : 7564 (java) S 7556 7556 4813 0 -1 1077944384 579 0 0 0 0 0 0 0 20 0 15 0 222486773 14427463680 57153 33554432000 4194304 4196468 140723548357200 140316652231280 140317110930050 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38813696 140723548365958 140723548366129 140723548366129 140723548368847 0
[pid=7558/tid=7565] ppid=7556 vsize=14089320 memory=87184 CPUtime=0 cores=1,3,5,7
/proc/7558/task/7565/stat : 7565 (java) S 7556 7556 4813 0 -1 1077944384 75 0 0 0 0 0 0 0 20 0 15 0 222486773 14427463680 57153 33554432000 4194304 4196468 140723548357200 140316651177248 140317110929109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38813696 140723548365958 140723548366129 140723548366129 140723548368847 0
[pid=7558/tid=7566] ppid=7556 vsize=14089320 memory=139772496479872 CPUtime=0 cores=1,3,5,7
/proc/7558/task/7566/stat : 7566 (java) S 7556 7556 4813 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 222486773 14427463680 57153 33554432000 4194304 4196468 140723548357200 140316650124912 140317110929109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38813696 140723548365958 140723548366129 140723548366129 140723548368847 0
[pid=7558/tid=7567] ppid=7556 vsize=14089320 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/7558/task/7567/stat : 7567 (java) S 7556 7556 4813 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 222486776 14427463680 57153 33554432000 4194304 4196468 140723548357200 140316086889040 140317110937499 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38813696 140723548365958 140723548366129 140723548366129 140723548368847 0
[pid=7558/tid=7568] ppid=7556 vsize=14089320 memory=0 CPUtime=2.73 cores=1,3,5,7
/proc/7558/task/7568/stat : 7568 (java) S 7556 7556 4813 0 -1 1077944384 12868 0 0 0 271 2 0 0 20 0 15 0 222486776 14427463680 57153 33554432000 4194304 4196468 140723548357200 140316085835888 140317110930050 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38813696 140723548365958 140723548366129 140723548366129 140723548368847 0
[pid=7558/tid=7569] ppid=7556 vsize=14089320 memory=-1 CPUtime=2.7 cores=1,3,5,7
/proc/7558/task/7569/stat : 7569 (java) S 7556 7556 4813 0 -1 1077944384 17029 0 0 0 269 1 0 0 20 0 15 0 222486776 14427463680 57153 33554432000 4194304 4196468 140723548357200 140316084783088 140317110930050 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38813696 140723548365958 140723548366129 140723548366129 140723548368847 0
[pid=7558/tid=7570] ppid=7556 vsize=14089320 memory=0 CPUtime=0.57 cores=1,3,5,7
/proc/7558/task/7570/stat : 7570 (java) S 7556 7556 4813 0 -1 1077944384 6553 0 0 0 56 1 0 0 20 0 15 0 222486776 14427463680 57153 33554432000 4194304 4196468 140723548357200 140316083730800 140317110930050 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38813696 140723548365958 140723548366129 140723548366129 140723548368847 0
[pid=7558/tid=7571] ppid=7556 vsize=14089320 memory=32452772903697 CPUtime=0 cores=1,3,5,7
/proc/7558/task/7571/stat : 7571 (java) S 7556 7556 4813 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 222486776 14427463680 57153 33554432000 4194304 4196468 140723548357200 140316082678240 140317110929109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38813696 140723548365958 140723548366129 140723548366129 140723548368847 0
[pid=7558/tid=7572] ppid=7556 vsize=14089320 memory=7019467088023926071 CPUtime=0 cores=1,3,5,7
/proc/7558/task/7572/stat : 7572 (java) S 7556 7556 4813 0 -1 1077944384 1364 0 0 0 0 0 0 0 20 0 15 0 222486776 14427463680 57153 33554432000 4194304 4196468 140723548357200 140316081626032 140317110930050 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 24 0 0 6293624 6294260 38813696 140723548365958 140723548366129 140723548366129 140723548368847 0
Current children cumulated CPU time: 28.03 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 230064 KiB
[startup+22.2006 s]
/proc/loadavg: 2.12 2.05 2.05 3/217 7572
/proc/meminfo: memFree=14842388/32770624 swapFree=67108504/67108860
[pid=7556] ppid=7553 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/7556/stat : 7556 (xcsp3-exec) S 7553 7556 4813 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 222486770 115843072 363 33554432000 4194304 5098028 140728226930384 140728226928488 140253149852284 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 17346560 140728226935868 140728226936068 140728226936068 140728226938826 0
/proc/7556/statm: 28282 363 305 221 0 87 0
[pid=7558] ppid=7556 vsize=14089320 memory=228612 CPUtime=28.22 cores=1,3,5,7
/proc/7558/stat : 7558 (java) S 7556 7556 4813 0 -1 1077944320 50953 0 0 0 2809 13 0 0 20 0 15 0 222486770 14427463680 57153 33554432000 4194304 4196468 140723548357200 140723548339744 140317110918903 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 38813696 140723548365958 140723548366129 140723548366129 140723548368847 0
/proc/7558/statm: 3522330 57153 3417 1 0 3483524 0
[pid=7558/tid=7559] ppid=7556 vsize=14089320 memory=0 CPUtime=22.15 cores=1,3,5,7
/proc/7558/task/7559/stat : 7559 (java) R 7556 7556 4813 0 -1 4202560 9962 0 0 0 2210 5 0 0 20 0 15 0 222486771 14427463680 57153 33554432000 4194304 4196468 140723548357200 140317115155776 140316738786176 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38813696 140723548365958 140723548366129 140723548366129 140723548368847 0
[pid=7558/tid=7560] ppid=7556 vsize=14089320 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7558/task/7560/stat : 7560 (java) S 7556 7556 4813 0 -1 1077944384 91 0 0 0 0 0 0 0 20 0 15 0 222486771 14427463680 57153 33554432000 4194304 4196468 140723548357200 140317063539088 140317110929109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38813696 140723548365958 140723548366129 140723548366129 140723548368847 0
[pid=7558/tid=7561] ppid=7556 vsize=14089320 memory=279544792944192 CPUtime=0 cores=1,3,5,7
/proc/7558/task/7561/stat : 7561 (java) S 7556 7556 4813 0 -1 1077944384 587 0 0 0 0 0 0 0 20 0 15 0 222486771 14427463680 57153 33554432000 4194304 4196468 140723548357200 140317062486288 140317110929109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38813696 140723548365958 140723548366129 140723548366129 140723548368847 0
[pid=7558/tid=7562] ppid=7556 vsize=14089320 memory=279544793023616 CPUtime=0 cores=1,3,5,7
/proc/7558/task/7562/stat : 7562 (java) S 7556 7556 4813 0 -1 1077944384 423 0 0 0 0 0 0 0 20 0 15 0 222486771 14427463680 57153 33554432000 4194304 4196468 140723548357200 140317061434000 140317110929109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38813696 140723548365958 140723548366129 140723548366129 140723548368847 0
[pid=7558/tid=7563] ppid=7556 vsize=14089320 memory=279544793114544 CPUtime=0 cores=1,3,5,7
/proc/7558/task/7563/stat : 7563 (java) S 7556 7556 4813 0 -1 1077944384 119 0 0 0 0 0 0 0 20 0 15 0 222486771 14427463680 57153 33554432000 4194304 4196468 140723548357200 140317060381200 140317110929109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38813696 140723548365958 140723548366129 140723548366129 140723548368847 0
[pid=7558/tid=7564] ppid=7556 vsize=14089320 memory=279544792255000 CPUtime=0 cores=1,3,5,7
/proc/7558/task/7564/stat : 7564 (java) S 7556 7556 4813 0 -1 1077944384 579 0 0 0 0 0 0 0 20 0 15 0 222486773 14427463680 57153 33554432000 4194304 4196468 140723548357200 140316652231280 140317110930050 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38813696 140723548365958 140723548366129 140723548366129 140723548368847 0
[pid=7558/tid=7565] ppid=7556 vsize=14089320 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7558/task/7565/stat : 7565 (java) S 7556 7556 4813 0 -1 1077944384 75 0 0 0 0 0 0 0 20 0 15 0 222486773 14427463680 57153 33554432000 4194304 4196468 140723548357200 140316651177248 140317110929109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38813696 140723548365958 140723548366129 140723548366129 140723548368847 0
[pid=7558/tid=7566] ppid=7556 vsize=14089320 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7558/task/7566/stat : 7566 (java) S 7556 7556 4813 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 222486773 14427463680 57153 33554432000 4194304 4196468 140723548357200 140316650124912 140317110929109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38813696 140723548365958 140723548366129 140723548366129 140723548368847 0
[pid=7558/tid=7567] ppid=7556 vsize=14089320 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7558/task/7567/stat : 7567 (java) S 7556 7556 4813 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 222486776 14427463680 57153 33554432000 4194304 4196468 140723548357200 140316086889040 140317110937499 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38813696 140723548365958 140723548366129 140723548366129 140723548368847 0
[pid=7558/tid=7568] ppid=7556 vsize=14089320 memory=0 CPUtime=2.73 cores=1,3,5,7
/proc/7558/task/7568/stat : 7568 (java) S 7556 7556 4813 0 -1 1077944384 12868 0 0 0 271 2 0 0 20 0 15 0 222486776 14427463680 57153 33554432000 4194304 4196468 140723548357200 140316085835888 140317110930050 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38813696 140723548365958 140723548366129 140723548366129 140723548368847 0
[pid=7558/tid=7569] ppid=7556 vsize=14089320 memory=6944656575208382560 CPUtime=2.7 cores=1,3,5,7
/proc/7558/task/7569/stat : 7569 (java) S 7556 7556 4813 0 -1 1077944384 17029 0 0 0 269 1 0 0 20 0 15 0 222486776 14427463680 57153 33554432000 4194304 4196468 140723548357200 140316084783088 140317110930050 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38813696 140723548365958 140723548366129 140723548366129 140723548368847 0
[pid=7558/tid=7570] ppid=7556 vsize=14089320 memory=6944656575208382560 CPUtime=0.57 cores=1,3,5,7
/proc/7558/task/7570/stat : 7570 (java) S 7556 7556 4813 0 -1 1077944384 6553 0 0 0 56 1 0 0 20 0 15 0 222486776 14427463680 57153 33554432000 4194304 4196468 140723548357200 140316083730800 140317110930050 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38813696 140723548365958 140723548366129 140723548366129 140723548368847 0
[pid=7558/tid=7571] ppid=7556 vsize=14089320 memory=9215612443221087420 CPUtime=0 cores=1,3,5,7
/proc/7558/task/7571/stat : 7571 (java) S 7556 7556 4813 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 222486776 14427463680 57153 33554432000 4194304 4196468 140723548357200 140316082678240 140317110929109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38813696 140723548365958 140723548366129 140723548366129 140723548368847 0
[pid=7558/tid=7572] ppid=7556 vsize=14089320 memory=7589811567272420967 CPUtime=0 cores=1,3,5,7
/proc/7558/task/7572/stat : 7572 (java) S 7556 7556 4813 0 -1 1077944384 1364 0 0 0 0 0 0 0 20 0 15 0 222486776 14427463680 57153 33554432000 4194304 4196468 140723548357200 140316081626032 140317110930050 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 24 0 0 6293624 6294260 38813696 140723548365958 140723548366129 140723548366129 140723548368847 0
Current children cumulated CPU time: 28.22 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 230064 KiB
[startup+22.3007 s]
/proc/loadavg: 2.12 2.05 2.05 3/217 7572
/proc/meminfo: memFree=14842388/32770624 swapFree=67108504/67108860
[pid=7556] ppid=7553 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/7556/stat : 7556 (xcsp3-exec) S 7553 7556 4813 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 222486770 115843072 363 33554432000 4194304 5098028 140728226930384 140728226928488 140253149852284 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 17346560 140728226935868 140728226936068 140728226936068 140728226938826 0
/proc/7556/statm: 28282 363 305 221 0 87 0
[pid=7558] ppid=7556 vsize=14089320 memory=228612 CPUtime=28.32 cores=1,3,5,7
/proc/7558/stat : 7558 (java) S 7556 7556 4813 0 -1 1077944320 50955 0 0 0 2819 13 0 0 20 0 15 0 222486770 14427463680 57153 33554432000 4194304 4196468 140723548357200 140723548339744 140317110918903 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 38813696 140723548365958 140723548366129 140723548366129 140723548368847 0
/proc/7558/statm: 3522330 57153 3417 1 0 3483524 0
[pid=7558/tid=7559] ppid=7556 vsize=14089320 memory=228612 CPUtime=22.25 cores=1,3,5,7
/proc/7558/task/7559/stat : 7559 (java) R 7556 7556 4813 0 -1 4202560 9964 0 0 0 2220 5 0 0 20 0 15 0 222486771 14427463680 57153 33554432000 4194304 4196468 140723548357200 140317115155776 140316738889295 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38813696 140723548365958 140723548366129 140723548366129 140723548368847 0
[pid=7558/tid=7560] ppid=7556 vsize=14089320 memory=228568 CPUtime=0 cores=1,3,5,7
/proc/7558/task/7560/stat : 7560 (java) S 7556 7556 4813 0 -1 1077944384 91 0 0 0 0 0 0 0 20 0 15 0 222486771 14427463680 57153 33554432000 4194304 4196468 140723548357200 140317063539088 140317110929109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38813696 140723548365958 140723548366129 140723548366129 140723548368847 0
[pid=7558/tid=7561] ppid=7556 vsize=14089320 memory=228568 CPUtime=0 cores=1,3,5,7
/proc/7558/task/7561/stat : 7561 (java) S 7556 7556 4813 0 -1 1077944384 587 0 0 0 0 0 0 0 20 0 15 0 222486771 14427463680 57153 33554432000 4194304 4196468 140723548357200 140317062486288 140317110929109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38813696 140723548365958 140723548366129 140723548366129 140723548368847 0
[pid=7558/tid=7562] ppid=7556 vsize=14089320 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7558/task/7562/stat : 7562 (java) S 7556 7556 4813 0 -1 1077944384 423 0 0 0 0 0 0 0 20 0 15 0 222486771 14427463680 57153 33554432000 4194304 4196468 140723548357200 140317061434000 140317110929109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38813696 140723548365958 140723548366129 140723548366129 140723548368847 0
[pid=7558/tid=7563] ppid=7556 vsize=14089320 memory=228608 CPUtime=0 cores=1,3,5,7
/proc/7558/task/7563/stat : 7563 (java) S 7556 7556 4813 0 -1 1077944384 119 0 0 0 0 0 0 0 20 0 15 0 222486771 14427463680 57153 33554432000 4194304 4196468 140723548357200 140317060381200 140317110929109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38813696 140723548365958 140723548366129 140723548366129 140723548368847 0
[pid=7558/tid=7564] ppid=7556 vsize=14089320 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/7558/task/7564/stat : 7564 (java) S 7556 7556 4813 0 -1 1077944384 579 0 0 0 0 0 0 0 20 0 15 0 222486773 14427463680 57153 33554432000 4194304 4196468 140723548357200 140316652231280 140317110930050 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38813696 140723548365958 140723548366129 140723548366129 140723548368847 0
[pid=7558/tid=7565] ppid=7556 vsize=14089320 memory=3816 CPUtime=0 cores=1,3,5,7
/proc/7558/task/7565/stat : 7565 (java) S 7556 7556 4813 0 -1 1077944384 75 0 0 0 0 0 0 0 20 0 15 0 222486773 14427463680 57153 33554432000 4194304 4196468 140723548357200 140316651177248 140317110929109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38813696 140723548365958 140723548366129 140723548366129 140723548368847 0
[pid=7558/tid=7566] ppid=7556 vsize=14089320 memory=60344 CPUtime=0 cores=1,3,5,7
/proc/7558/task/7566/stat : 7566 (java) S 7556 7556 4813 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 222486773 14427463680 57153 33554432000 4194304 4196468 140723548357200 140316650124912 140317110929109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38813696 140723548365958 140723548366129 140723548366129 140723548368847 0
[pid=7558/tid=7567] ppid=7556 vsize=14089320 memory=228612 CPUtime=0 cores=1,3,5,7
/proc/7558/task/7567/stat : 7567 (java) S 7556 7556 4813 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 222486776 14427463680 57153 33554432000 4194304 4196468 140723548357200 140316086889040 140317110937499 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38813696 140723548365958 140723548366129 140723548366129 140723548368847 0
[pid=7558/tid=7568] ppid=7556 vsize=14089320 memory=3816 CPUtime=2.73 cores=1,3,5,7
/proc/7558/task/7568/stat : 7568 (java) S 7556 7556 4813 0 -1 1077944384 12868 0 0 0 271 2 0 0 20 0 15 0 222486776 14427463680 57153 33554432000 4194304 4196468 140723548357200 140316085835888 140317110930050 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38813696 140723548365958 140723548366129 140723548366129 140723548368847 0
[pid=7558/tid=7569] ppid=7556 vsize=14089320 memory=60344 CPUtime=2.7 cores=1,3,5,7
/proc/7558/task/7569/stat : 7569 (java) S 7556 7556 4813 0 -1 1077944384 17029 0 0 0 269 1 0 0 20 0 15 0 222486776 14427463680 57153 33554432000 4194304 4196468 140723548357200 140316084783088 140317110930050 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38813696 140723548365958 140723548366129 140723548366129 140723548368847 0
[pid=7558/tid=7570] ppid=7556 vsize=14089320 memory=1116 CPUtime=0.57 cores=1,3,5,7
/proc/7558/task/7570/stat : 7570 (java) S 7556 7556 4813 0 -1 1077944384 6553 0 0 0 56 1 0 0 20 0 15 0 222486776 14427463680 57153 33554432000 4194304 4196468 140723548357200 140316083730800 140317110930050 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38813696 140723548365958 140723548366129 140723548366129 140723548368847 0
[pid=7558/tid=7571] ppid=7556 vsize=14089320 memory=2144 CPUtime=0 cores=1,3,5,7
/proc/7558/task/7571/stat : 7571 (java) S 7556 7556 4813 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 222486776 14427463680 57153 33554432000 4194304 4196468 140723548357200 140316082678240 140317110929109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38813696 140723548365958 140723548366129 140723548366129 140723548368847 0
[pid=7558/tid=7572] ppid=7556 vsize=14089320 memory=1752 CPUtime=0 cores=1,3,5,7
/proc/7558/task/7572/stat : 7572 (java) S 7556 7556 4813 0 -1 1077944384 1364 0 0 0 0 0 0 0 20 0 15 0 222486776 14427463680 57153 33554432000 4194304 4196468 140723548357200 140316081626032 140317110930050 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 24 0 0 6293624 6294260 38813696 140723548365958 140723548366129 140723548366129 140723548368847 0
Current children cumulated CPU time: 28.32 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 230064 KiB
Child status: 0
Real time (s): 22.3738
CPU time (s): 28.4126
CPU user time (s): 28.2691
CPU system time (s): 0.143519
CPU usage (%): 126.99
Max. virtual memory (cumulated for all children) (KiB): 14206336
Max. memory (cumulated for all children) (KiB): 230064
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 28.2691
system time used= 0.143519
maximum resident set size= 228840
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 52143
page faults= 0
swaps= 0
block input operations= 40
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3059
involuntary context switches= 30
# summary of solver processes directly reported to runsolver:
# pid: 7556
# total CPU time (s): 28.4126
# total CPU user time (s): 28.2691
# total CPU system time (s): 0.143519
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.173195 second user time and 0.231482 second system time
The end