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 (14584 MiB free)
memory of node 1: 16384 MiB (15170 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4400498-1568694475/watcher-4400498-1568694475 -o /tmp/evaluation-result-4400498-1568694475/solver-4400498-1568694475 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node127-1568694277-30437 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 12000 -tdir HOME -seed 636694279 HOME/instance-4400498-1568694475.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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=31847, runsolver pid=31844
Current StackSize limit: 8192 KiB
[startup+0.100138 s]*
/proc/loadavg: 8.39 4.35 2.62 12/234 31863
/proc/meminfo: memFree=30450044/32770624 swapFree=66953076/67108860
[pid=31847] ppid=31844 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/31847/stat : 31847 (xcsp3-exec) S 31844 31847 30406 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 445716344 115843072 362 33554432000 4194304 5098028 140723923979456 140723923977560 140238679126652 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 13168640 140723923981179 140723923981421 140723923981421 140723923984330 0
/proc/31847/statm: 28282 362 304 221 0 87 0
[pid=31849] ppid=31847 vsize=15144776 memory=29092 CPUtime=0.13 cores=0,2,4,6
/proc/31849/stat : 31849 (java) S 31847 31847 30406 0 -1 1077944320 5701 0 0 0 12 1 0 0 20 0 15 0 445716344 15508250624 7273 33554432000 4194304 4196468 140725376357936 140725376340480 140513818115831 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 37412864 140725376361455 140725376361626 140725376361626 140725376364495 0
/proc/31849/statm: 3786194 7273 3154 1 0 3748377 0
[pid=31849/tid=31850] ppid=31847 vsize=15144776 memory=-6962121287837372198 CPUtime=0.09 cores=0,2,4,6
/proc/31849/task/31850/stat : 31850 (java) R 31847 31847 30406 0 -1 4202560 3606 0 0 0 9 0 0 0 20 0 15 0 445716344 15508250624 7273 33554432000 4194304 4196468 140725376357936 140513822346976 140513802202260 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37412864 140725376361455 140725376361626 140725376361626 140725376364495 0
[pid=31849/tid=31851] ppid=31847 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31849/task/31851/stat : 31851 (java) S 31847 31847 30406 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445716345 15508250624 7273 33554432000 4194304 4196468 140725376357936 140513754352656 140513818126037 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37412864 140725376361455 140725376361626 140725376361626 140725376364495 0
[pid=31849/tid=31852] ppid=31847 vsize=15144776 memory=139954219079296 CPUtime=0 cores=0,2,4,6
/proc/31849/task/31852/stat : 31852 (java) S 31847 31847 30406 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445716345 15508250624 7273 33554432000 4194304 4196468 140725376357936 140513753300112 140513818126037 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37412864 140725376361455 140725376361626 140725376361626 140725376364495 0
[pid=31849/tid=31853] ppid=31847 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31849/task/31853/stat : 31853 (java) S 31847 31847 30406 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445716345 15508250624 7273 33554432000 4194304 4196468 140725376357936 140513752247056 140513818126037 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37412864 140725376361455 140725376361626 140725376361626 140725376364495 0
[pid=31849/tid=31854] ppid=31847 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31849/task/31854/stat : 31854 (java) S 31847 31847 30406 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445716345 15508250624 7273 33554432000 4194304 4196468 140725376357936 140513751194512 140513818126037 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37412864 140725376361455 140725376361626 140725376361626 140725376364495 0
[pid=31849/tid=31855] ppid=31847 vsize=15144776 memory=139954219079296 CPUtime=0 cores=0,2,4,6
/proc/31849/task/31855/stat : 31855 (java) S 31847 31847 30406 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445716347 15508250624 7273 33554432000 4194304 4196468 140725376357936 140513353869552 140513818126978 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37412864 140725376361455 140725376361626 140725376361626 140725376364495 0
[pid=31849/tid=31856] ppid=31847 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31849/task/31856/stat : 31856 (java) S 31847 31847 30406 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445716347 15508250624 7273 33554432000 4194304 4196468 140725376357936 140513352815776 140513818126037 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37412864 140725376361455 140725376361626 140725376361626 140725376364495 0
[pid=31849/tid=31857] ppid=31847 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31849/task/31857/stat : 31857 (java) S 31847 31847 30406 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445716347 15508250624 7273 33554432000 4194304 4196468 140725376357936 140513351762672 140513818126037 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37412864 140725376361455 140725376361626 140725376361626 140725376364495 0
[pid=31849/tid=31858] ppid=31847 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31849/task/31858/stat : 31858 (java) S 31847 31847 30406 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445716350 15508250624 7273 33554432000 4194304 4196468 140725376357936 140513350711248 140513818134427 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37412864 140725376361455 140725376361626 140725376361626 140725376364495 0
[pid=31849/tid=31859] ppid=31847 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31849/task/31859/stat : 31859 (java) R 31847 31847 30406 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 15 0 445716350 15508250624 7273 33554432000 4194304 4196468 140725376357936 140513349659376 140513818126978 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37412864 140725376361455 140725376361626 140725376361626 140725376364495 0
[pid=31849/tid=31860] ppid=31847 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31849/task/31860/stat : 31860 (java) R 31847 31847 30406 0 -1 4202560 432 0 0 0 0 0 0 0 20 0 15 0 445716350 15508250624 7273 33554432000 4194304 4196468 140725376357936 140513348606832 140513795948688 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37412864 140725376361455 140725376361626 140725376361626 140725376364495 0
[pid=31849/tid=31861] ppid=31847 vsize=15144776 memory=139954219079296 CPUtime=0.02 cores=0,2,4,6
/proc/31849/task/31861/stat : 31861 (java) S 31847 31847 30406 0 -1 1077944384 340 0 0 0 2 0 0 0 20 0 15 0 445716350 15508250624 7273 33554432000 4194304 4196468 140725376357936 140513347553776 140513818126978 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37412864 140725376361455 140725376361626 140725376361626 140725376364495 0
[pid=31849/tid=31862] ppid=31847 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31849/task/31862/stat : 31862 (java) S 31847 31847 30406 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445716350 15508250624 7273 33554432000 4194304 4196468 140725376357936 140513346501472 140513818126037 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37412864 140725376361455 140725376361626 140725376361626 140725376364495 0
[pid=31849/tid=31863] ppid=31847 vsize=15144776 memory=139954219079296 CPUtime=0 cores=0,2,4,6
/proc/31849/task/31863/stat : 31863 (java) S 31847 31847 30406 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445716350 15508250624 7273 33554432000 4194304 4196468 140725376357936 140513277635120 140513818126978 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37412864 140725376361455 140725376361626 140725376361626 140725376364495 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 30540 KiB
[startup+0.220825 s]*
/proc/loadavg: 8.39 4.35 2.62 6/234 31863
/proc/meminfo: memFree=30437644/32770624 swapFree=66953076/67108860
[pid=31847] ppid=31844 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/31847/stat : 31847 (xcsp3-exec) S 31844 31847 30406 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 445716344 115843072 362 33554432000 4194304 5098028 140723923979456 140723923977560 140238679126652 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 13168640 140723923981179 140723923981421 140723923981421 140723923984330 0
/proc/31847/statm: 28282 362 304 221 0 87 0
[pid=31849] ppid=31847 vsize=15149032 memory=40800 CPUtime=0.35 cores=0,2,4,6
/proc/31849/stat : 31849 (java) S 31847 31847 30406 0 -1 1077944320 9524 0 0 0 32 3 0 0 20 0 15 0 445716344 15512608768 10200 33554432000 4194304 4196468 140725376357936 140725376340480 140513818115831 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 37412864 140725376361455 140725376361626 140725376361626 140725376364495 0
/proc/31849/statm: 3787258 10200 3324 1 0 3748377 0
[pid=31849/tid=31850] ppid=31847 vsize=15149032 memory=7883960649037381690 CPUtime=0.21 cores=0,2,4,6
/proc/31849/task/31850/stat : 31850 (java) R 31847 31847 30406 0 -1 4202560 6817 0 0 0 19 2 0 0 20 0 15 0 445716344 15512608768 10712 33554432000 4194304 4196468 140725376357936 140513822327904 140513818137757 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37412864 140725376361455 140725376361626 140725376361626 140725376364495 0
[pid=31849/tid=31851] ppid=31847 vsize=15149032 memory=1946935 CPUtime=0 cores=0,2,4,6
/proc/31849/task/31851/stat : 31851 (java) S 31847 31847 30406 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445716345 15512608768 10712 33554432000 4194304 4196468 140725376357936 140513754352656 140513818126037 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37412864 140725376361455 140725376361626 140725376361626 140725376364495 0
[pid=31849/tid=31852] ppid=31847 vsize=15149032 memory=139954219108876 CPUtime=0 cores=0,2,4,6
/proc/31849/task/31852/stat : 31852 (java) S 31847 31847 30406 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445716345 15512608768 10712 33554432000 4194304 4196468 140725376357936 140513753300112 140513818126037 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37412864 140725376361455 140725376361626 140725376361626 140725376364495 0
[pid=31849/tid=31853] ppid=31847 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31849/task/31853/stat : 31853 (java) S 31847 31847 30406 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445716345 15512608768 10712 33554432000 4194304 4196468 140725376357936 140513752247056 140513818126037 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37412864 140725376361455 140725376361626 140725376361626 140725376364495 0
[pid=31849/tid=31854] ppid=31847 vsize=15149032 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31849/task/31854/stat : 31854 (java) S 31847 31847 30406 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445716345 15512608768 10712 33554432000 4194304 4196468 140725376357936 140513751194512 140513818126037 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37412864 140725376361455 140725376361626 140725376361626 140725376364495 0
[pid=31849/tid=31855] ppid=31847 vsize=15149032 memory=139954219079296 CPUtime=0 cores=0,2,4,6
/proc/31849/task/31855/stat : 31855 (java) S 31847 31847 30406 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 445716347 15512608768 10712 33554432000 4194304 4196468 140725376357936 140513353869552 140513818126978 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37412864 140725376361455 140725376361626 140725376361626 140725376364495 0
[pid=31849/tid=31856] ppid=31847 vsize=15149032 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31849/task/31856/stat : 31856 (java) S 31847 31847 30406 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445716347 15512608768 10712 33554432000 4194304 4196468 140725376357936 140513352815776 140513818126037 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37412864 140725376361455 140725376361626 140725376361626 140725376364495 0
[pid=31849/tid=31857] ppid=31847 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31849/task/31857/stat : 31857 (java) S 31847 31847 30406 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445716347 15512608768 10712 33554432000 4194304 4196468 140725376357936 140513351762672 140513818126037 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37412864 140725376361455 140725376361626 140725376361626 140725376364495 0
[pid=31849/tid=31858] ppid=31847 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31849/task/31858/stat : 31858 (java) S 31847 31847 30406 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445716350 15512608768 10712 33554432000 4194304 4196468 140725376357936 140513350711248 140513818134427 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37412864 140725376361455 140725376361626 140725376361626 140725376364495 0
[pid=31849/tid=31859] ppid=31847 vsize=15149032 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/31849/task/31859/stat : 31859 (java) S 31847 31847 30406 0 -1 1077944384 72 0 0 0 1 0 0 0 20 0 15 0 445716350 15512608768 10712 33554432000 4194304 4196468 140725376357936 140513349659376 140513818126978 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37412864 140725376361455 140725376361626 140725376361626 140725376364495 0
[pid=31849/tid=31860] ppid=31847 vsize=15149032 memory=-1 CPUtime=0.03 cores=0,2,4,6
/proc/31849/task/31860/stat : 31860 (java) S 31847 31847 30406 0 -1 1077944384 552 0 0 0 3 0 0 0 20 0 15 0 445716350 15512608768 10712 33554432000 4194304 4196468 140725376357936 140513348606832 140513818126978 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37412864 140725376361455 140725376361626 140725376361626 140725376364495 0
[pid=31849/tid=31861] ppid=31847 vsize=15149032 memory=139954219079296 CPUtime=0.08 cores=0,2,4,6
/proc/31849/task/31861/stat : 31861 (java) R 31847 31847 30406 0 -1 4202560 779 0 0 0 8 0 0 0 20 0 15 0 445716350 15512608768 10712 33554432000 4194304 4196468 140725376357936 140513347553776 140513802196318 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37412864 140725376361455 140725376361626 140725376361626 140725376364495 0
[pid=31849/tid=31862] ppid=31847 vsize=15149032 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31849/task/31862/stat : 31862 (java) S 31847 31847 30406 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445716350 15512608768 10712 33554432000 4194304 4196468 140725376357936 140513346501472 140513818126037 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37412864 140725376361455 140725376361626 140725376361626 140725376364495 0
[pid=31849/tid=31863] ppid=31847 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31849/task/31863/stat : 31863 (java) S 31847 31847 30406 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445716350 15512608768 10712 33554432000 4194304 4196468 140725376357936 140513277635120 140513818126978 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37412864 140725376361455 140725376361626 140725376361626 140725376364495 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 42248 KiB
[startup+0.316922 s]*
/proc/loadavg: 8.39 4.35 2.62 9/234 31863
/proc/meminfo: memFree=30429508/32770624 swapFree=66953076/67108860
[pid=31847] ppid=31844 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/31847/stat : 31847 (xcsp3-exec) S 31844 31847 30406 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 445716344 115843072 362 33554432000 4194304 5098028 140723923979456 140723923977560 140238679126652 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 13168640 140723923981179 140723923981421 140723923981421 140723923984330 0
/proc/31847/statm: 28282 362 304 221 0 87 0
[pid=31849] ppid=31847 vsize=15149032 memory=50236 CPUtime=0.53 cores=0,2,4,6
/proc/31849/stat : 31849 (java) S 31847 31847 30406 0 -1 1077944320 10854 0 0 0 49 4 0 0 20 0 15 0 445716344 15512608768 12559 33554432000 4194304 4196468 140725376357936 140725376340480 140513818115831 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 37412864 140725376361455 140725376361626 140725376361626 140725376364495 0
/proc/31849/statm: 3787258 12559 3351 1 0 3748377 0
[pid=31849/tid=31850] ppid=31847 vsize=15149032 memory=6791534058613427641 CPUtime=0.31 cores=0,2,4,6
/proc/31849/task/31850/stat : 31850 (java) R 31847 31847 30406 0 -1 4202560 7847 0 0 0 28 3 0 0 20 0 15 0 445716344 15512608768 12559 33554432000 4194304 4196468 140725376357936 140513822346944 140513818137757 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37412864 140725376361455 140725376361626 140725376361626 140725376364495 0
[pid=31849/tid=31851] ppid=31847 vsize=15149032 memory=6655300316396806240 CPUtime=0 cores=0,2,4,6
/proc/31849/task/31851/stat : 31851 (java) S 31847 31847 30406 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445716345 15512608768 12559 33554432000 4194304 4196468 140725376357936 140513754352656 140513818126037 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37412864 140725376361455 140725376361626 140725376361626 140725376364495 0
[pid=31849/tid=31852] ppid=31847 vsize=15149032 memory=6943526294502006880 CPUtime=0 cores=0,2,4,6
/proc/31849/task/31852/stat : 31852 (java) S 31847 31847 30406 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445716345 15512608768 12559 33554432000 4194304 4196468 140725376357936 140513753300112 140513818126037 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37412864 140725376361455 140725376361626 140725376361626 140725376364495 0
[pid=31849/tid=31853] ppid=31847 vsize=15149032 memory=-3258418265892434876 CPUtime=0 cores=0,2,4,6
/proc/31849/task/31853/stat : 31853 (java) S 31847 31847 30406 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445716345 15512608768 12559 33554432000 4194304 4196468 140725376357936 140513752247056 140513818126037 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37412864 140725376361455 140725376361626 140725376361626 140725376364495 0
[pid=31849/tid=31854] ppid=31847 vsize=15149032 memory=4500088463514900084 CPUtime=0 cores=0,2,4,6
/proc/31849/task/31854/stat : 31854 (java) S 31847 31847 30406 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445716345 15512608768 12559 33554432000 4194304 4196468 140725376357936 140513751194512 140513818126037 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37412864 140725376361455 140725376361626 140725376361626 140725376364495 0
[pid=31849/tid=31855] ppid=31847 vsize=15149032 memory=6944613755495348631 CPUtime=0 cores=0,2,4,6
/proc/31849/task/31855/stat : 31855 (java) S 31847 31847 30406 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 445716347 15512608768 12559 33554432000 4194304 4196468 140725376357936 140513353869552 140513818126978 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37412864 140725376361455 140725376361626 140725376361626 140725376364495 0
[pid=31849/tid=31856] ppid=31847 vsize=15149032 memory=7893295687695687954 CPUtime=0 cores=0,2,4,6
/proc/31849/task/31856/stat : 31856 (java) S 31847 31847 30406 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445716347 15512608768 12559 33554432000 4194304 4196468 140725376357936 140513352815776 140513818126037 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37412864 140725376361455 140725376361626 140725376361626 140725376364495 0
[pid=31849/tid=31857] ppid=31847 vsize=15149032 memory=-8813974798734826869 CPUtime=0 cores=0,2,4,6
/proc/31849/task/31857/stat : 31857 (java) S 31847 31847 30406 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445716347 15512608768 12559 33554432000 4194304 4196468 140725376357936 140513351762672 140513818126037 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37412864 140725376361455 140725376361626 140725376361626 140725376364495 0
[pid=31849/tid=31858] ppid=31847 vsize=15149032 memory=7827413994055111515 CPUtime=0 cores=0,2,4,6
/proc/31849/task/31858/stat : 31858 (java) S 31847 31847 30406 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445716350 15512608768 12559 33554432000 4194304 4196468 140725376357936 140513350711248 140513818134427 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37412864 140725376361455 140725376361626 140725376361626 140725376364495 0
[pid=31849/tid=31859] ppid=31847 vsize=15149032 memory=8508281356422055839 CPUtime=0.04 cores=0,2,4,6
/proc/31849/task/31859/stat : 31859 (java) S 31847 31847 30406 0 -1 1077944384 221 0 0 0 4 0 0 0 20 0 15 0 445716350 15512608768 12559 33554432000 4194304 4196468 140725376357936 140513349659376 140513818126978 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37412864 140725376361455 140725376361626 140725376361626 140725376364495 0
[pid=31849/tid=31860] ppid=31847 vsize=15149032 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/31849/task/31860/stat : 31860 (java) S 31847 31847 30406 0 -1 1077944384 564 0 0 0 4 0 0 0 20 0 15 0 445716350 15512608768 12559 33554432000 4194304 4196468 140725376357936 140513348606832 140513818126978 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37412864 140725376361455 140725376361626 140725376361626 140725376364495 0
[pid=31849/tid=31861] ppid=31847 vsize=15149032 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/31849/task/31861/stat : 31861 (java) S 31847 31847 30406 0 -1 1077944384 916 0 0 0 12 0 0 0 20 0 15 0 445716350 15512608768 12559 33554432000 4194304 4196468 140725376357936 140513347553776 140513818126978 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37412864 140725376361455 140725376361626 140725376361626 140725376364495 0
[pid=31849/tid=31862] ppid=31847 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31849/task/31862/stat : 31862 (java) S 31847 31847 30406 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445716350 15512608768 12559 33554432000 4194304 4196468 140725376357936 140513346501472 140513818126037 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37412864 140725376361455 140725376361626 140725376361626 140725376364495 0
[pid=31849/tid=31863] ppid=31847 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31849/task/31863/stat : 31863 (java) S 31847 31847 30406 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445716350 15512608768 12559 33554432000 4194304 4196468 140725376357936 140513277635120 140513818126978 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37412864 140725376361455 140725376361626 140725376361626 140725376364495 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51684 KiB
[startup+0.700736 s]
/proc/loadavg: 8.39 4.35 2.62 9/234 31867
/proc/meminfo: memFree=30410544/32770624 swapFree=66953076/67108860
[pid=31847] ppid=31844 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/31847/stat : 31847 (xcsp3-exec) S 31844 31847 30406 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 445716344 115843072 362 33554432000 4194304 5098028 140723923979456 140723923977560 140238679126652 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 13168640 140723923981179 140723923981421 140723923981421 140723923984330 0
/proc/31847/statm: 28282 362 304 221 0 87 0
[pid=31849] ppid=31847 vsize=15417412 memory=89476 CPUtime=1.58 cores=0,2,4,6
/proc/31849/stat : 31849 (java) S 31847 31847 30406 0 -1 1077944320 15557 0 0 0 152 6 0 0 20 0 19 0 445716344 15787429888 22369 33554432000 4194304 4196468 140725376357936 140725376340480 140513818115831 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 37412864 140725376361455 140725376361626 140725376361626 140725376364495 0
/proc/31849/statm: 3854353 22369 3454 1 0 3815453 0
[pid=31849/tid=31850] ppid=31847 vsize=15417412 memory=33 CPUtime=0.62 cores=0,2,4,6
/proc/31849/task/31850/stat : 31850 (java) S 31847 31847 30406 0 -1 1077944384 9332 0 0 0 58 4 0 0 20 0 19 0 445716344 15787429888 22369 33554432000 4194304 4196468 140725376357936 140513822356608 140513818126037 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37412864 140725376361455 140725376361626 140725376361626 140725376364495 0
[pid=31849/tid=31851] ppid=31847 vsize=15417412 memory=288230377059890465 CPUtime=0 cores=0,2,4,6
/proc/31849/task/31851/stat : 31851 (java) S 31847 31847 30406 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 445716345 15787429888 22369 33554432000 4194304 4196468 140725376357936 140513754352656 140513818126037 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37412864 140725376361455 140725376361626 140725376361626 140725376364495 0
[pid=31849/tid=31852] ppid=31847 vsize=15417412 memory=288289995551257981 CPUtime=0 cores=0,2,4,6
/proc/31849/task/31852/stat : 31852 (java) S 31847 31847 30406 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 445716345 15787429888 22369 33554432000 4194304 4196468 140725376357936 140513753300112 140513818126037 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37412864 140725376361455 140725376361626 140725376361626 140725376364495 0
[pid=31849/tid=31853] ppid=31847 vsize=15417412 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31849/task/31853/stat : 31853 (java) S 31847 31847 30406 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 445716345 15787429888 22369 33554432000 4194304 4196468 140725376357936 140513752247056 140513818126037 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37412864 140725376361455 140725376361626 140725376361626 140725376364495 0
[pid=31849/tid=31854] ppid=31847 vsize=15417412 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31849/task/31854/stat : 31854 (java) S 31847 31847 30406 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 445716345 15787429888 22369 33554432000 4194304 4196468 140725376357936 140513751194512 140513818126037 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37412864 140725376361455 140725376361626 140725376361626 140725376364495 0
[pid=31849/tid=31855] ppid=31847 vsize=15417412 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31849/task/31855/stat : 31855 (java) S 31847 31847 30406 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 445716347 15787429888 22369 33554432000 4194304 4196468 140725376357936 140513353869552 140513818126978 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37412864 140725376361455 140725376361626 140725376361626 140725376364495 0
[pid=31849/tid=31856] ppid=31847 vsize=15417412 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31849/task/31856/stat : 31856 (java) S 31847 31847 30406 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 445716347 15787429888 22369 33554432000 4194304 4196468 140725376357936 140513352815776 140513818126037 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37412864 140725376361455 140725376361626 140725376361626 140725376364495 0
[pid=31849/tid=31857] ppid=31847 vsize=15417412 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31849/task/31857/stat : 31857 (java) S 31847 31847 30406 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 445716347 15787429888 22369 33554432000 4194304 4196468 140725376357936 140513351762672 140513818126037 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37412864 140725376361455 140725376361626 140725376361626 140725376364495 0
[pid=31849/tid=31858] ppid=31847 vsize=15417412 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31849/task/31858/stat : 31858 (java) S 31847 31847 30406 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445716350 15787429888 22369 33554432000 4194304 4196468 140725376357936 140513350711248 140513818134427 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37412864 140725376361455 140725376361626 140725376361626 140725376364495 0
[pid=31849/tid=31859] ppid=31847 vsize=15417412 memory=0 CPUtime=0.2 cores=0,2,4,6
/proc/31849/task/31859/stat : 31859 (java) R 31847 31847 30406 0 -1 4202560 845 0 0 0 20 0 0 0 20 0 19 0 445716350 15787429888 22369 33554432000 4194304 4196468 140725376357936 140513349645920 140513801672587 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 37412864 140725376361455 140725376361626 140725376361626 140725376364495 0
[pid=31849/tid=31860] ppid=31847 vsize=15417412 memory=6935650410838380624 CPUtime=0.23 cores=0,2,4,6
/proc/31849/task/31860/stat : 31860 (java) R 31847 31847 30406 0 -1 4202560 1405 0 0 0 23 0 0 0 20 0 19 0 445716350 15787429888 22369 33554432000 4194304 4196468 140725376357936 140513348591904 140513799660489 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37412864 140725376361455 140725376361626 140725376361626 140725376364495 0
[pid=31849/tid=31861] ppid=31847 vsize=15417412 memory=6947481186371791211 CPUtime=0.39 cores=0,2,4,6
/proc/31849/task/31861/stat : 31861 (java) R 31847 31847 30406 0 -1 4202560 2005 0 0 0 39 0 0 0 20 0 19 0 445716350 15787429888 22369 33554432000 4194304 4196468 140725376357936 140513347551736 140513796630881 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 37412864 140725376361455 140725376361626 140725376361626 140725376364495 0
[pid=31849/tid=31862] ppid=31847 vsize=15417412 memory=7522230054818965332 CPUtime=0 cores=0,2,4,6
/proc/31849/task/31862/stat : 31862 (java) S 31847 31847 30406 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445716350 15787429888 22369 33554432000 4194304 4196468 140725376357936 140513346501472 140513818126037 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37412864 140725376361455 140725376361626 140725376361626 140725376364495 0
[pid=31849/tid=31863] ppid=31847 vsize=15417412 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31849/task/31863/stat : 31863 (java) S 31847 31847 30406 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 445716350 15787429888 22369 33554432000 4194304 4196468 140725376357936 140513277635120 140513818126978 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37412864 140725376361455 140725376361626 140725376361626 140725376364495 0
Current children cumulated CPU time: 1.58 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 90924 KiB
[startup+1.50092 s]
/proc/loadavg: 8.39 4.35 2.62 12/238 31887
/proc/meminfo: memFree=30333940/32770624 swapFree=66953076/67108860
[pid=31847] ppid=31844 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/31847/stat : 31847 (xcsp3-exec) S 31844 31847 30406 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 445716344 115843072 362 33554432000 4194304 5098028 140723923979456 140723923977560 140238679126652 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 13168640 140723923981179 140723923981421 140723923981421 140723923984330 0
/proc/31847/statm: 28282 362 304 221 0 87 0
################
# More data... #
################
/proc/31849/task/31863/stat : 31863 (java) S 31847 31847 30406 0 -1 1077944384 869 0 0 0 0 1 0 0 20 0 19 0 445716350 15857688576 55540 33554432000 4194304 4196468 140725376357936 140513277635120 140513818126978 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37412864 140725376361455 140725376361626 140725376361626 140725376364495 0
[pid=31849/tid=31913] ppid=31847 vsize=15486024 memory=279908121076128 CPUtime=68.36 cores=0,2,4,6
/proc/31849/task/31913/stat : 31913 (java) R 31847 31847 30406 0 -1 4202560 365 0 0 0 6836 0 0 0 20 0 19 0 445717058 15857688576 55540 33554432000 4194304 4196468 140725376357936 140513266547848 140513435081870 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37412864 140725376361455 140725376361626 140725376361626 140725376364495 0
[pid=31849/tid=31914] ppid=31847 vsize=15486024 memory=0 CPUtime=67.97 cores=0,2,4,6
/proc/31849/task/31914/stat : 31914 (java) R 31847 31847 30406 0 -1 4202560 1594 0 0 0 6797 0 0 0 20 0 19 0 445717058 15857688576 55540 33554432000 4194304 4196468 140725376357936 140513267603648 140513435323748 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 37412864 140725376361455 140725376361626 140725376361626 140725376364495 0
[pid=31849/tid=31915] ppid=31847 vsize=15486024 memory=0 CPUtime=68.2 cores=0,2,4,6
/proc/31849/task/31915/stat : 31915 (java) R 31847 31847 30406 0 -1 4202560 1616 0 0 0 6820 0 0 0 20 0 19 0 445717058 15857688576 55540 33554432000 4194304 4196468 140725376357936 140513268654520 140513434000639 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37412864 140725376361455 140725376361626 140725376361626 140725376364495 0
[pid=31849/tid=31916] ppid=31847 vsize=15486024 memory=33 CPUtime=68.26 cores=0,2,4,6
/proc/31849/task/31916/stat : 31916 (java) R 31847 31847 30406 0 -1 4202560 978 0 0 0 6826 0 0 0 20 0 19 0 445717058 15857688576 55540 33554432000 4194304 4196468 140725376357936 140513264442768 140513434814107 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37412864 140725376361455 140725376361626 140725376361626 140725376364495 0
Current children cumulated CPU time: 301.28 s
Current children cumulated vsize: 15599152 KiB
Current children cumulated memory: 223608 KiB
[startup+76.8009 s]
/proc/loadavg: 8.97 5.46 3.14 9/237 32025
/proc/meminfo: memFree=30253588/32770624 swapFree=66953076/67108860
[pid=31847] ppid=31844 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/31847/stat : 31847 (xcsp3-exec) S 31844 31847 30406 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 445716344 115843072 362 33554432000 4194304 5098028 140723923979456 140723923977560 140238679126652 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 13168640 140723923981179 140723923981421 140723923981421 140723923984330 0
/proc/31847/statm: 28282 362 304 221 0 87 0
[pid=31849] ppid=31847 vsize=15486024 memory=222160 CPUtime=304.44 cores=0,2,4,6
/proc/31849/stat : 31849 (java) S 31847 31847 30406 0 -1 1077944320 70539 0 0 0 30426 18 0 0 20 0 19 0 445716344 15857688576 55540 33554432000 4194304 4196468 140725376357936 140725376340480 140513818115831 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 37412864 140725376361455 140725376361626 140725376361626 140725376364495 0
/proc/31849/statm: 3871506 55540 3520 1 0 3832606 0
[pid=31849/tid=31850] ppid=31847 vsize=15486024 memory=223192 CPUtime=0.63 cores=0,2,4,6
/proc/31849/task/31850/stat : 31850 (java) S 31847 31847 30406 0 -1 1077944384 9638 0 0 0 59 4 0 0 20 0 19 0 445716344 15857688576 55540 33554432000 4194304 4196468 140725376357936 140513822356608 140513818126037 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37412864 140725376361455 140725376361626 140725376361626 140725376364495 0
[pid=31849/tid=31851] ppid=31847 vsize=15486024 memory=1448 CPUtime=0.02 cores=0,2,4,6
/proc/31849/task/31851/stat : 31851 (java) S 31847 31847 30406 0 -1 1077944384 1499 0 0 0 2 0 0 0 20 0 19 0 445716345 15857688576 55540 33554432000 4194304 4196468 140725376357936 140513754352656 140513818126037 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37412864 140725376361455 140725376361626 140725376361626 140725376364495 0
[pid=31849/tid=31852] ppid=31847 vsize=15486024 memory=223200 CPUtime=0.02 cores=0,2,4,6
/proc/31849/task/31852/stat : 31852 (java) S 31847 31847 30406 0 -1 1077944384 1731 0 0 0 2 0 0 0 20 0 19 0 445716345 15857688576 55540 33554432000 4194304 4196468 140725376357936 140513753300112 140513818126037 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37412864 140725376361455 140725376361626 140725376361626 140725376364495 0
[pid=31849/tid=31853] ppid=31847 vsize=15486024 memory=6673 CPUtime=0.02 cores=0,2,4,6
/proc/31849/task/31853/stat : 31853 (java) S 31847 31847 30406 0 -1 1077944384 1811 0 0 0 1 1 0 0 20 0 19 0 445716345 15857688576 55540 33554432000 4194304 4196468 140725376357936 140513752247056 140513818126037 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37412864 140725376361455 140725376361626 140725376361626 140725376364495 0
[pid=31849/tid=31854] ppid=31847 vsize=15486024 memory=4420 CPUtime=0.02 cores=0,2,4,6
/proc/31849/task/31854/stat : 31854 (java) S 31847 31847 30406 0 -1 1077944384 1469 0 0 0 2 0 0 0 20 0 19 0 445716345 15857688576 55540 33554432000 4194304 4196468 140725376357936 140513751194512 140513818126037 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37412864 140725376361455 140725376361626 140725376361626 140725376364495 0
[pid=31849/tid=31855] ppid=31847 vsize=15486024 memory=6628 CPUtime=0.03 cores=0,2,4,6
/proc/31849/task/31855/stat : 31855 (java) S 31847 31847 30406 0 -1 1077944384 1416 0 0 0 2 1 0 0 20 0 19 0 445716347 15857688576 55540 33554432000 4194304 4196468 140725376357936 140513353869552 140513818126978 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37412864 140725376361455 140725376361626 140725376361626 140725376364495 0
[pid=31849/tid=31856] ppid=31847 vsize=15486024 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/31849/task/31856/stat : 31856 (java) S 31847 31847 30406 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 19 0 445716347 15857688576 55540 33554432000 4194304 4196468 140725376357936 140513352815840 140513818126037 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37412864 140725376361455 140725376361626 140725376361626 140725376364495 0
[pid=31849/tid=31857] ppid=31847 vsize=15486024 memory=223576 CPUtime=0 cores=0,2,4,6
/proc/31849/task/31857/stat : 31857 (java) S 31847 31847 30406 0 -1 1077944384 111 0 0 0 0 0 0 0 20 0 19 0 445716347 15857688576 55540 33554432000 4194304 4196468 140725376357936 140513351762688 140513818126037 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37412864 140725376361455 140725376361626 140725376361626 140725376364495 0
[pid=31849/tid=31858] ppid=31847 vsize=15486024 memory=2601 CPUtime=0 cores=0,2,4,6
/proc/31849/task/31858/stat : 31858 (java) S 31847 31847 30406 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445716350 15857688576 55540 33554432000 4194304 4196468 140725376357936 140513350711248 140513818134427 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37412864 140725376361455 140725376361626 140725376361626 140725376364495 0
[pid=31849/tid=31859] ppid=31847 vsize=15486024 memory=1181 CPUtime=2.88 cores=0,2,4,6
/proc/31849/task/31859/stat : 31859 (java) S 31847 31847 30406 0 -1 1077944384 13829 0 0 0 287 1 0 0 20 0 19 0 445716350 15857688576 55540 33554432000 4194304 4196468 140725376357936 140513349659376 140513818126978 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37412864 140725376361455 140725376361626 140725376361626 140725376364495 0
[pid=31849/tid=31860] ppid=31847 vsize=15486024 memory=14012 CPUtime=3.17 cores=0,2,4,6
/proc/31849/task/31860/stat : 31860 (java) S 31847 31847 30406 0 -1 1077944384 21531 0 0 0 315 2 0 0 20 0 19 0 445716350 15857688576 55540 33554432000 4194304 4196468 140725376357936 140513348606832 140513818126978 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37412864 140725376361455 140725376361626 140725376361626 140725376364495 0
[pid=31849/tid=31861] ppid=31847 vsize=15486024 memory=2116 CPUtime=0.72 cores=0,2,4,6
/proc/31849/task/31861/stat : 31861 (java) S 31847 31847 30406 0 -1 1077944384 6870 0 0 0 72 0 0 0 20 0 19 0 445716350 15857688576 55540 33554432000 4194304 4196468 140725376357936 140513347553776 140513818126978 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37412864 140725376361455 140725376361626 140725376361626 140725376364495 0
[pid=31849/tid=31862] ppid=31847 vsize=15486024 memory=26016 CPUtime=0 cores=0,2,4,6
/proc/31849/task/31862/stat : 31862 (java) S 31847 31847 30406 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445716350 15857688576 55540 33554432000 4194304 4196468 140725376357936 140513346501472 140513818126037 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37412864 140725376361455 140725376361626 140725376361626 140725376364495 0
[pid=31849/tid=31863] ppid=31847 vsize=15486024 memory=14068 CPUtime=0.01 cores=0,2,4,6
/proc/31849/task/31863/stat : 31863 (java) S 31847 31847 30406 0 -1 1077944384 869 0 0 0 0 1 0 0 20 0 19 0 445716350 15857688576 55540 33554432000 4194304 4196468 140725376357936 140513277635120 140513818126978 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37412864 140725376361455 140725376361626 140725376361626 140725376364495 0
[pid=31849/tid=31913] ppid=31847 vsize=15486024 memory=303 CPUtime=69.15 cores=0,2,4,6
/proc/31849/task/31913/stat : 31913 (java) R 31847 31847 30406 0 -1 4202560 365 0 0 0 6915 0 0 0 20 0 19 0 445717058 15857688576 55540 33554432000 4194304 4196468 140725376357936 140513266547848 140513434407206 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37412864 140725376361455 140725376361626 140725376361626 140725376364495 0
[pid=31849/tid=31914] ppid=31847 vsize=15486024 memory=72 CPUtime=68.76 cores=0,2,4,6
/proc/31849/task/31914/stat : 31914 (java) R 31847 31847 30406 0 -1 4202560 1594 0 0 0 6876 0 0 0 20 0 19 0 445717058 15857688576 55540 33554432000 4194304 4196468 140725376357936 140513267603648 140513433171933 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 37412864 140725376361455 140725376361626 140725376361626 140725376364495 0
[pid=31849/tid=31915] ppid=31847 vsize=15486024 memory=0 CPUtime=68.99 cores=0,2,4,6
/proc/31849/task/31915/stat : 31915 (java) R 31847 31847 30406 0 -1 4202560 1616 0 0 0 6899 0 0 0 20 0 19 0 445717058 15857688576 55540 33554432000 4194304 4196468 140725376357936 140513268654520 140513434727953 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37412864 140725376361455 140725376361626 140725376361626 140725376364495 0
[pid=31849/tid=31916] ppid=31847 vsize=15486024 memory=0 CPUtime=69.05 cores=0,2,4,6
/proc/31849/task/31916/stat : 31916 (java) R 31847 31847 30406 0 -1 4202560 978 0 0 0 6905 0 0 0 20 0 19 0 445717058 15857688576 55540 33554432000 4194304 4196468 140725376357936 140513264442768 140513434520050 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37412864 140725376361455 140725376361626 140725376361626 140725376364495 0
Current children cumulated CPU time: 304.44 s
Current children cumulated vsize: 15599152 KiB
Current children cumulated memory: 223608 KiB
[startup+77.0009 s]*
/proc/loadavg: 8.97 5.46 3.14 9/237 32025
/proc/meminfo: memFree=30253832/32770624 swapFree=66953076/67108860
[pid=31847] ppid=31844 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/31847/stat : 31847 (xcsp3-exec) S 31844 31847 30406 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 445716344 115843072 362 33554432000 4194304 5098028 140723923979456 140723923977560 140238679126652 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 13168640 140723923981179 140723923981421 140723923981421 140723923984330 0
/proc/31847/statm: 28282 362 304 221 0 87 0
[pid=31849] ppid=31847 vsize=15486024 memory=222160 CPUtime=305.26 cores=0,2,4,6
/proc/31849/stat : 31849 (java) S 31847 31847 30406 0 -1 1077944320 70539 0 0 0 30508 18 0 0 20 0 19 0 445716344 15857688576 55540 33554432000 4194304 4196468 140725376357936 140725376340480 140513818115831 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 37412864 140725376361455 140725376361626 140725376361626 140725376364495 0
/proc/31849/statm: 3871506 55540 3520 1 0 3832606 0
[pid=31849/tid=31850] ppid=31847 vsize=15486024 memory=3624 CPUtime=0.63 cores=0,2,4,6
/proc/31849/task/31850/stat : 31850 (java) S 31847 31847 30406 0 -1 1077944384 9638 0 0 0 59 4 0 0 20 0 19 0 445716344 15857688576 55540 33554432000 4194304 4196468 140725376357936 140513822356608 140513818126037 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37412864 140725376361455 140725376361626 140725376361626 140725376364495 0
[pid=31849/tid=31851] ppid=31847 vsize=15486024 memory=6791534058613427641 CPUtime=0.02 cores=0,2,4,6
/proc/31849/task/31851/stat : 31851 (java) S 31847 31847 30406 0 -1 1077944384 1499 0 0 0 2 0 0 0 20 0 19 0 445716345 15857688576 55540 33554432000 4194304 4196468 140725376357936 140513754352656 140513818126037 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37412864 140725376361455 140725376361626 140725376361626 140725376364495 0
[pid=31849/tid=31852] ppid=31847 vsize=15486024 memory=928 CPUtime=0.02 cores=0,2,4,6
/proc/31849/task/31852/stat : 31852 (java) S 31847 31847 30406 0 -1 1077944384 1731 0 0 0 2 0 0 0 20 0 19 0 445716345 15857688576 55540 33554432000 4194304 4196468 140725376357936 140513753300112 140513818126037 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37412864 140725376361455 140725376361626 140725376361626 140725376364495 0
[pid=31849/tid=31853] ppid=31847 vsize=15486024 memory=3520 CPUtime=0.02 cores=0,2,4,6
/proc/31849/task/31853/stat : 31853 (java) S 31847 31847 30406 0 -1 1077944384 1811 0 0 0 1 1 0 0 20 0 19 0 445716345 15857688576 55540 33554432000 4194304 4196468 140725376357936 140513752247056 140513818126037 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37412864 140725376361455 140725376361626 140725376361626 140725376364495 0
[pid=31849/tid=31854] ppid=31847 vsize=15486024 memory=1976 CPUtime=0.02 cores=0,2,4,6
/proc/31849/task/31854/stat : 31854 (java) S 31847 31847 30406 0 -1 1077944384 1469 0 0 0 2 0 0 0 20 0 19 0 445716345 15857688576 55540 33554432000 4194304 4196468 140725376357936 140513751194512 140513818126037 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37412864 140725376361455 140725376361626 140725376361626 140725376364495 0
[pid=31849/tid=31855] ppid=31847 vsize=15486024 memory=2512 CPUtime=0.03 cores=0,2,4,6
/proc/31849/task/31855/stat : 31855 (java) S 31847 31847 30406 0 -1 1077944384 1416 0 0 0 2 1 0 0 20 0 19 0 445716347 15857688576 55540 33554432000 4194304 4196468 140725376357936 140513353869552 140513818126978 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37412864 140725376361455 140725376361626 140725376361626 140725376364495 0
[pid=31849/tid=31856] ppid=31847 vsize=15486024 memory=808 CPUtime=0 cores=0,2,4,6
/proc/31849/task/31856/stat : 31856 (java) S 31847 31847 30406 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 19 0 445716347 15857688576 55540 33554432000 4194304 4196468 140725376357936 140513352815840 140513818126037 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37412864 140725376361455 140725376361626 140725376361626 140725376364495 0
[pid=31849/tid=31857] ppid=31847 vsize=15486024 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/31849/task/31857/stat : 31857 (java) S 31847 31847 30406 0 -1 1077944384 111 0 0 0 0 0 0 0 20 0 19 0 445716347 15857688576 55540 33554432000 4194304 4196468 140725376357936 140513351762688 140513818126037 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37412864 140725376361455 140725376361626 140725376361626 140725376364495 0
[pid=31849/tid=31858] ppid=31847 vsize=15486024 memory=1764 CPUtime=0 cores=0,2,4,6
/proc/31849/task/31858/stat : 31858 (java) S 31847 31847 30406 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445716350 15857688576 55540 33554432000 4194304 4196468 140725376357936 140513350711248 140513818134427 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37412864 140725376361455 140725376361626 140725376361626 140725376364495 0
[pid=31849/tid=31859] ppid=31847 vsize=15486024 memory=111632 CPUtime=2.88 cores=0,2,4,6
/proc/31849/task/31859/stat : 31859 (java) S 31847 31847 30406 0 -1 1077944384 13829 0 0 0 287 1 0 0 20 0 19 0 445716350 15857688576 55540 33554432000 4194304 4196468 140725376357936 140513349659376 140513818126978 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37412864 140725376361455 140725376361626 140725376361626 140725376364495 0
[pid=31849/tid=31860] ppid=31847 vsize=15486024 memory=800 CPUtime=3.17 cores=0,2,4,6
/proc/31849/task/31860/stat : 31860 (java) S 31847 31847 30406 0 -1 1077944384 21531 0 0 0 315 2 0 0 20 0 19 0 445716350 15857688576 55540 33554432000 4194304 4196468 140725376357936 140513348606832 140513818126978 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37412864 140725376361455 140725376361626 140725376361626 140725376364495 0
[pid=31849/tid=31861] ppid=31847 vsize=15486024 memory=1448 CPUtime=0.72 cores=0,2,4,6
/proc/31849/task/31861/stat : 31861 (java) S 31847 31847 30406 0 -1 1077944384 6870 0 0 0 72 0 0 0 20 0 19 0 445716350 15857688576 55540 33554432000 4194304 4196468 140725376357936 140513347553776 140513818126978 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37412864 140725376361455 140725376361626 140725376361626 140725376364495 0
[pid=31849/tid=31862] ppid=31847 vsize=15486024 memory=218560 CPUtime=0 cores=0,2,4,6
/proc/31849/task/31862/stat : 31862 (java) S 31847 31847 30406 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445716350 15857688576 55540 33554432000 4194304 4196468 140725376357936 140513346501472 140513818126037 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37412864 140725376361455 140725376361626 140725376361626 140725376364495 0
[pid=31849/tid=31863] ppid=31847 vsize=15486024 memory=4156 CPUtime=0.01 cores=0,2,4,6
/proc/31849/task/31863/stat : 31863 (java) S 31847 31847 30406 0 -1 1077944384 869 0 0 0 0 1 0 0 20 0 19 0 445716350 15857688576 55540 33554432000 4194304 4196468 140725376357936 140513277635120 140513818126978 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37412864 140725376361455 140725376361626 140725376361626 140725376364495 0
[pid=31849/tid=31913] ppid=31847 vsize=15486024 memory=223192 CPUtime=69.36 cores=0,2,4,6
/proc/31849/task/31913/stat : 31913 (java) R 31847 31847 30406 0 -1 4202560 365 0 0 0 6936 0 0 0 20 0 19 0 445717058 15857688576 55540 33554432000 4194304 4196468 140725376357936 140513266547848 140513435083707 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37412864 140725376361455 140725376361626 140725376361626 140725376364495 0
[pid=31849/tid=31914] ppid=31847 vsize=15486024 memory=988 CPUtime=68.96 cores=0,2,4,6
/proc/31849/task/31914/stat : 31914 (java) R 31847 31847 30406 0 -1 4202560 1594 0 0 0 6896 0 0 0 20 0 19 0 445717058 15857688576 55540 33554432000 4194304 4196468 140725376357936 140513267603648 140513435475106 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 37412864 140725376361455 140725376361626 140725376361626 140725376364495 0
[pid=31849/tid=31915] ppid=31847 vsize=15486024 memory=2024 CPUtime=69.2 cores=0,2,4,6
/proc/31849/task/31915/stat : 31915 (java) R 31847 31847 30406 0 -1 4202560 1616 0 0 0 6920 0 0 0 20 0 19 0 445717058 15857688576 55540 33554432000 4194304 4196468 140725376357936 140513268654520 140513434864525 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37412864 140725376361455 140725376361626 140725376361626 140725376364495 0
[pid=31849/tid=31916] ppid=31847 vsize=15486024 memory=1384 CPUtime=69.26 cores=0,2,4,6
/proc/31849/task/31916/stat : 31916 (java) R 31847 31847 30406 0 -1 4202560 978 0 0 0 6926 0 0 0 20 0 19 0 445717058 15857688576 55540 33554432000 4194304 4196468 140725376357936 140513264442768 140513434000361 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37412864 140725376361455 140725376361626 140725376361626 140725376364495 0
Current children cumulated CPU time: 305.26 s
Current children cumulated vsize: 15599152 KiB
Current children cumulated memory: 223608 KiB
[startup+77.1109 s]
/proc/loadavg: 8.97 5.46 3.14 9/237 32025
/proc/meminfo: memFree=30253832/32770624 swapFree=66953076/67108860
[pid=31847] ppid=31844 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/31847/stat : 31847 (xcsp3-exec) S 31844 31847 30406 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 445716344 115843072 362 33554432000 4194304 5098028 140723923979456 140723923977560 140238679126652 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 13168640 140723923981179 140723923981421 140723923981421 140723923984330 0
/proc/31847/statm: 28282 362 304 221 0 87 0
[pid=31849] ppid=31847 vsize=15486024 memory=222160 CPUtime=305.66 cores=0,2,4,6
/proc/31849/stat : 31849 (java) S 31847 31847 30406 0 -1 1077944320 70539 0 0 0 30548 18 0 0 20 0 19 0 445716344 15857688576 55540 33554432000 4194304 4196468 140725376357936 140725376340480 140513818115831 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 37412864 140725376361455 140725376361626 140725376361626 140725376364495 0
/proc/31849/statm: 3871506 55540 3520 1 0 3832606 0
[pid=31849/tid=31850] ppid=31847 vsize=15486024 memory=1448 CPUtime=0.63 cores=0,2,4,6
/proc/31849/task/31850/stat : 31850 (java) S 31847 31847 30406 0 -1 1077944384 9638 0 0 0 59 4 0 0 20 0 19 0 445716344 15857688576 55540 33554432000 4194304 4196468 140725376357936 140513822356608 140513818126037 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37412864 140725376361455 140725376361626 140725376361626 140725376364495 0
[pid=31849/tid=31851] ppid=31847 vsize=15486024 memory=222160 CPUtime=0.02 cores=0,2,4,6
/proc/31849/task/31851/stat : 31851 (java) S 31847 31847 30406 0 -1 1077944384 1499 0 0 0 2 0 0 0 20 0 19 0 445716345 15857688576 55540 33554432000 4194304 4196468 140725376357936 140513754352656 140513818126037 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37412864 140725376361455 140725376361626 140725376361626 140725376364495 0
[pid=31849/tid=31852] ppid=31847 vsize=15486024 memory=4156 CPUtime=0.02 cores=0,2,4,6
/proc/31849/task/31852/stat : 31852 (java) S 31847 31847 30406 0 -1 1077944384 1731 0 0 0 2 0 0 0 20 0 19 0 445716345 15857688576 55540 33554432000 4194304 4196468 140725376357936 140513753300112 140513818126037 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37412864 140725376361455 140725376361626 140725376361626 140725376364495 0
[pid=31849/tid=31853] ppid=31847 vsize=15486024 memory=4984 CPUtime=0.02 cores=0,2,4,6
/proc/31849/task/31853/stat : 31853 (java) S 31847 31847 30406 0 -1 1077944384 1811 0 0 0 1 1 0 0 20 0 19 0 445716345 15857688576 55540 33554432000 4194304 4196468 140725376357936 140513752247056 140513818126037 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37412864 140725376361455 140725376361626 140725376361626 140725376364495 0
[pid=31849/tid=31854] ppid=31847 vsize=15486024 memory=5003 CPUtime=0.02 cores=0,2,4,6
/proc/31849/task/31854/stat : 31854 (java) S 31847 31847 30406 0 -1 1077944384 1469 0 0 0 2 0 0 0 20 0 19 0 445716345 15857688576 55540 33554432000 4194304 4196468 140725376357936 140513751194512 140513818126037 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37412864 140725376361455 140725376361626 140725376361626 140725376364495 0
[pid=31849/tid=31855] ppid=31847 vsize=15486024 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/31849/task/31855/stat : 31855 (java) S 31847 31847 30406 0 -1 1077944384 1416 0 0 0 2 1 0 0 20 0 19 0 445716347 15857688576 55540 33554432000 4194304 4196468 140725376357936 140513353869552 140513818126978 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37412864 140725376361455 140725376361626 140725376361626 140725376364495 0
[pid=31849/tid=31856] ppid=31847 vsize=15486024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31849/task/31856/stat : 31856 (java) S 31847 31847 30406 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 19 0 445716347 15857688576 55540 33554432000 4194304 4196468 140725376357936 140513352815840 140513818126037 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37412864 140725376361455 140725376361626 140725376361626 140725376364495 0
[pid=31849/tid=31857] ppid=31847 vsize=15486024 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/31849/task/31857/stat : 31857 (java) S 31847 31847 30406 0 -1 1077944384 111 0 0 0 0 0 0 0 20 0 19 0 445716347 15857688576 55540 33554432000 4194304 4196468 140725376357936 140513351762688 140513818126037 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37412864 140725376361455 140725376361626 140725376361626 140725376364495 0
[pid=31849/tid=31858] ppid=31847 vsize=15486024 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/31849/task/31858/stat : 31858 (java) S 31847 31847 30406 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445716350 15857688576 55540 33554432000 4194304 4196468 140725376357936 140513350711248 140513818134427 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37412864 140725376361455 140725376361626 140725376361626 140725376364495 0
[pid=31849/tid=31859] ppid=31847 vsize=15486024 memory=223548 CPUtime=2.88 cores=0,2,4,6
/proc/31849/task/31859/stat : 31859 (java) S 31847 31847 30406 0 -1 1077944384 13829 0 0 0 287 1 0 0 20 0 19 0 445716350 15857688576 55540 33554432000 4194304 4196468 140725376357936 140513349659376 140513818126978 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37412864 140725376361455 140725376361626 140725376361626 140725376364495 0
[pid=31849/tid=31860] ppid=31847 vsize=15486024 memory=7305792226148509288 CPUtime=3.17 cores=0,2,4,6
/proc/31849/task/31860/stat : 31860 (java) S 31847 31847 30406 0 -1 1077944384 21531 0 0 0 315 2 0 0 20 0 19 0 445716350 15857688576 55540 33554432000 4194304 4196468 140725376357936 140513348606832 140513818126978 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37412864 140725376361455 140725376361626 140725376361626 140725376364495 0
[pid=31849/tid=31861] ppid=31847 vsize=15486024 memory=218560 CPUtime=0.72 cores=0,2,4,6
/proc/31849/task/31861/stat : 31861 (java) S 31847 31847 30406 0 -1 1077944384 6870 0 0 0 72 0 0 0 20 0 19 0 445716350 15857688576 55540 33554432000 4194304 4196468 140725376357936 140513347553776 140513818126978 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37412864 140725376361455 140725376361626 140725376361626 140725376364495 0
[pid=31849/tid=31862] ppid=31847 vsize=15486024 memory=3624 CPUtime=0 cores=0,2,4,6
/proc/31849/task/31862/stat : 31862 (java) S 31847 31847 30406 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445716350 15857688576 55540 33554432000 4194304 4196468 140725376357936 140513346501472 140513818126037 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37412864 140725376361455 140725376361626 140725376361626 140725376364495 0
[pid=31849/tid=31863] ppid=31847 vsize=15486024 memory=1448 CPUtime=0.01 cores=0,2,4,6
/proc/31849/task/31863/stat : 31863 (java) S 31847 31847 30406 0 -1 1077944384 869 0 0 0 0 1 0 0 20 0 19 0 445716350 15857688576 55540 33554432000 4194304 4196468 140725376357936 140513277635120 140513818126978 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37412864 140725376361455 140725376361626 140725376361626 140725376364495 0
[pid=31849/tid=31913] ppid=31847 vsize=15486024 memory=1448 CPUtime=69.46 cores=0,2,4,6
/proc/31849/task/31913/stat : 31913 (java) R 31847 31847 30406 0 -1 4202560 365 0 0 0 6946 0 0 0 20 0 19 0 445717058 15857688576 55540 33554432000 4194304 4196468 140725376357936 140513266547848 140513434944641 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37412864 140725376361455 140725376361626 140725376361626 140725376364495 0
[pid=31849/tid=31914] ppid=31847 vsize=15486024 memory=1448 CPUtime=69.06 cores=0,2,4,6
/proc/31849/task/31914/stat : 31914 (java) R 31847 31847 30406 0 -1 4202560 1594 0 0 0 6906 0 0 0 20 0 19 0 445717058 15857688576 55540 33554432000 4194304 4196468 140725376357936 140513267603648 140513435558681 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 37412864 140725376361455 140725376361626 140725376361626 140725376364495 0
[pid=31849/tid=31915] ppid=31847 vsize=15486024 memory=218576 CPUtime=69.3 cores=0,2,4,6
/proc/31849/task/31915/stat : 31915 (java) R 31847 31847 30406 0 -1 4202560 1616 0 0 0 6930 0 0 0 20 0 19 0 445717058 15857688576 55540 33554432000 4194304 4196468 140725376357936 140513268654520 140513434000102 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37412864 140725376361455 140725376361626 140725376361626 140725376364495 0
[pid=31849/tid=31916] ppid=31847 vsize=15486024 memory=11 CPUtime=69.36 cores=0,2,4,6
/proc/31849/task/31916/stat : 31916 (java) R 31847 31847 30406 0 -1 4202560 978 0 0 0 6936 0 0 0 20 0 19 0 445717058 15857688576 55540 33554432000 4194304 4196468 140725376357936 140513264442768 140513434520484 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37412864 140725376361455 140725376361626 140725376361626 140725376364495 0
Current children cumulated CPU time: 305.66 s
Current children cumulated vsize: 15599152 KiB
Current children cumulated memory: 223608 KiB
Child status: 0
Real time (s): 77.1457
CPU time (s): 305.785
CPU user time (s): 305.595
CPU system time (s): 0.190508
CPU usage (%): 396.374
Max. virtual memory (cumulated for all children) (KiB): 15600920
Max. memory (cumulated for all children) (KiB): 225148
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 305.595
system time used= 0.190508
maximum resident set size= 227296
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 71745
page faults= 0
swaps= 0
block input operations= 0
block output operations= 192
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5390
involuntary context switches= 7468
# summary of solver processes directly reported to runsolver:
# pid: 31847
# total CPU time (s): 305.785
# total CPU user time (s): 305.595
# total CPU system time (s): 0.190508
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.45708 second user time and 0.866612 second system time
The end