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 (15091 MiB free)
memory of node 1: 16384 MiB (15069 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4283361-1503207091/watcher-4283361-1503207091 -o /tmp/evaluation-result-4283361-1503207091/solver-4283361-1503207091 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node124-1503172076-28736 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 1753418402 HOME/instance-4283361-1503207091.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=2394, runsolver pid=2391
[startup+0.100152 s]*
/proc/loadavg: 3.90 2.62 2.28 2/196 2395
/proc/meminfo: memFree=30885504/32770624 swapFree=67108860/67108860
[pid=2394] ppid=2391 vsize=9504 memory=256 CPUtime=0 cores=0,2,4,6
/proc/2394/stat : 2394 (xcsp3-exec) R 2391 2394 13977 0 -1 4194304 194 0 0 0 0 0 0 0 20 0 1 0 109049685 9732096 64 18446744073709551615 4194304 5098028 140732782651184 140732782651184 139694340679949 0 0 1 0 0 0 0 17 0 0 0 10 0 0 7196144 7232144 19935232 140732782657912 140732782658117 140732782658117 140732782661611 0
/proc/2394/statm: 2376 64 49 221 0 53 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 9504 KiB
Current children cumulated memory: 256 KiB
[startup+0.209298 s]*
/proc/loadavg: 3.90 2.62 2.28 2/210 2409
/proc/meminfo: memFree=30875084/32770624 swapFree=67108860/67108860
[pid=2394] ppid=2391 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/2394/stat : 2394 (xcsp3-exec) S 2391 2394 13977 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 109049685 9740288 345 18446744073709551615 4194304 5098028 140732782651184 140732782649288 139694333067900 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 10 0 0 7196144 7232144 19935232 140732782657912 140732782658117 140732782658117 140732782661611 0
/proc/2394/statm: 2378 345 289 221 0 87 0
[pid=2396] ppid=2394 vsize=13973868 memory=21456 CPUtime=0.06 cores=0,2,4,6
/proc/2396/stat : 2396 (java) S 2394 2394 13977 0 -1 1077944320 4768 0 0 0 5 1 0 0 20 0 15 0 109049696 14309240832 5364 18446744073709551615 4194304 4196468 140722980129008 140722980111552 140175262629623 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 21172224 140722980135345 140722980135521 140722980135521 140722980138959 0
/proc/2396/statm: 3493467 5364 2574 1 0 3482964 0
[pid=2396/tid=2397] ppid=2394 vsize=13973868 memory=1404226546352693642 CPUtime=0.04 cores=0,2,4,6
/proc/2396/task/2397/stat : 2397 (java) R 2394 2394 13977 0 -1 4202560 2950 0 0 0 4 0 0 0 20 0 15 0 109049697 14309240832 5364 18446744073709551615 4194304 4196468 140722980129008 140175266860528 140175255307797 0 4 1 16800974 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 21172224 140722980135345 140722980135521 140722980135521 140722980138959 0
[pid=2396/tid=2398] ppid=2394 vsize=13973868 memory=3691042058319900680 CPUtime=0 cores=0,2,4,6
/proc/2396/task/2398/stat : 2398 (java) S 2394 2394 13977 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 109049697 14309240832 5364 18446744073709551615 4194304 4196468 140722980129008 140175197063824 140175262639829 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21172224 140722980135345 140722980135521 140722980135521 140722980138959 0
[pid=2396/tid=2399] ppid=2394 vsize=13973868 memory=140229504644736 CPUtime=0 cores=0,2,4,6
/proc/2396/task/2399/stat : 2399 (java) S 2394 2394 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 109049697 14309240832 5364 18446744073709551615 4194304 4196468 140722980129008 140175196011024 140175262639829 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21172224 140722980135345 140722980135521 140722980135521 140722980138959 0
[pid=2396/tid=2400] ppid=2394 vsize=13973868 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2396/task/2400/stat : 2400 (java) S 2394 2394 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 109049697 14309240832 5364 18446744073709551615 4194304 4196468 140722980129008 140175194958224 140175262639829 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21172224 140722980135345 140722980135521 140722980135521 140722980138959 0
[pid=2396/tid=2401] ppid=2394 vsize=13973868 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2396/task/2401/stat : 2401 (java) S 2394 2394 13977 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 109049697 14309240832 5364 18446744073709551615 4194304 4196468 140722980129008 140175193905424 140175262639829 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21172224 140722980135345 140722980135521 140722980135521 140722980138959 0
[pid=2396/tid=2402] ppid=2394 vsize=13973868 memory=140229504644736 CPUtime=0 cores=0,2,4,6
/proc/2396/task/2402/stat : 2402 (java) S 2394 2394 13977 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 109049699 14309240832 5364 18446744073709551615 4194304 4196468 140722980129008 140174741052272 140175262640770 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21172224 140722980135345 140722980135521 140722980135521 140722980138959 0
[pid=2396/tid=2403] ppid=2394 vsize=13973868 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2396/task/2403/stat : 2403 (java) S 2394 2394 13977 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 109049699 14309240832 5364 18446744073709551615 4194304 4196468 140722980129008 140174739998240 140175262639829 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21172224 140722980135345 140722980135521 140722980135521 140722980138959 0
[pid=2396/tid=2404] ppid=2394 vsize=13973868 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2396/task/2404/stat : 2404 (java) S 2394 2394 13977 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 109049699 14309240832 5364 18446744073709551615 4194304 4196468 140722980129008 140174738945392 140175262639829 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21172224 140722980135345 140722980135521 140722980135521 140722980138959 0
[pid=2396/tid=2405] ppid=2394 vsize=13973868 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2396/task/2405/stat : 2405 (java) S 2394 2394 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 109049702 14309240832 5364 18446744073709551615 4194304 4196468 140722980129008 140174737893712 140175262648219 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21172224 140722980135345 140722980135521 140722980135521 140722980138959 0
[pid=2396/tid=2406] ppid=2394 vsize=13973868 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2396/task/2406/stat : 2406 (java) S 2394 2394 13977 0 -1 1077944384 309 0 0 0 0 0 0 0 20 0 15 0 109049702 14309240832 5364 18446744073709551615 4194304 4196468 140722980129008 140174736841072 140175262640770 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21172224 140722980135345 140722980135521 140722980135521 140722980138959 0
[pid=2396/tid=2407] ppid=2394 vsize=13973868 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2396/task/2407/stat : 2407 (java) S 2394 2394 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 109049702 14309240832 5364 18446744073709551615 4194304 4196468 140722980129008 140174735788272 140175262640770 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21172224 140722980135345 140722980135521 140722980135521 140722980138959 0
[pid=2396/tid=2408] ppid=2394 vsize=13973868 memory=140229504644736 CPUtime=0 cores=0,2,4,6
/proc/2396/task/2408/stat : 2408 (java) R 2394 2394 13977 0 -1 4202560 224 0 0 0 0 0 0 0 20 0 15 0 109049702 14309240832 5364 18446744073709551615 4194304 4196468 140722980129008 140174734735472 140175262650970 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21172224 140722980135345 140722980135521 140722980135521 140722980138959 0
[pid=2396/tid=2409] ppid=2394 vsize=13973868 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2396/task/2409/stat : 2409 (java) S 2394 2394 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 109049702 14309240832 5364 18446744073709551615 4194304 4196468 140722980129008 140174733682912 140175262639829 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21172224 140722980135345 140722980135521 140722980135521 140722980138959 0
[pid=2396/tid=2410] ppid=2394 vsize=13973868 memory=140229504644736 CPUtime=0 cores=0,2,4,6
/proc/2396/task/2410/stat : 2410 (java) S 2394 2394 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 109049707 14309240832 5364 18446744073709551615 4194304 4196468 140722980129008 140174732631216 140175262640770 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21172224 140722980135345 140722980135521 140722980135521 140722980138959 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 13983380 KiB
Current children cumulated memory: 22836 KiB
[startup+0.310201 s]*
/proc/loadavg: 3.90 2.62 2.28 3/211 2410
/proc/meminfo: memFree=30861392/32770624 swapFree=67108860/67108860
[pid=2394] ppid=2391 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/2394/stat : 2394 (xcsp3-exec) S 2391 2394 13977 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 109049685 9740288 345 18446744073709551615 4194304 5098028 140732782651184 140732782649288 139694333067900 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 10 0 0 7196144 7232144 19935232 140732782657912 140732782658117 140732782658117 140732782661611 0
/proc/2394/statm: 2378 345 289 221 0 87 0
[pid=2396] ppid=2394 vsize=13974352 memory=36532 CPUtime=0.24 cores=0,2,4,6
/proc/2396/stat : 2396 (java) S 2394 2394 13977 0 -1 1077944320 8726 0 0 0 22 2 0 0 20 0 15 0 109049696 14309736448 9133 18446744073709551615 4194304 4196468 140722980129008 140722980111552 140175262629623 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 21172224 140722980135345 140722980135521 140722980135521 140722980138959 0
/proc/2396/statm: 3493588 9133 2979 1 0 3482964 0
[pid=2396/tid=2397] ppid=2394 vsize=13974352 memory=6933928925625698159 CPUtime=0.14 cores=0,2,4,6
/proc/2396/task/2397/stat : 2397 (java) R 2394 2394 13977 0 -1 4202560 5921 0 0 0 13 1 0 0 20 0 15 0 109049697 14309736448 9209 18446744073709551615 4194304 4196468 140722980129008 140175266852000 140175262651549 0 4 1 16800974 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 21172224 140722980135345 140722980135521 140722980135521 140722980138959 0
[pid=2396/tid=2398] ppid=2394 vsize=13974352 memory=4126316290023845779 CPUtime=0 cores=0,2,4,6
/proc/2396/task/2398/stat : 2398 (java) S 2394 2394 13977 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 109049697 14309736448 9209 18446744073709551615 4194304 4196468 140722980129008 140175197063824 140175262639829 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21172224 140722980135345 140722980135521 140722980135521 140722980138959 0
[pid=2396/tid=2399] ppid=2394 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2396/task/2399/stat : 2399 (java) S 2394 2394 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 109049697 14309736448 9209 18446744073709551615 4194304 4196468 140722980129008 140175196011024 140175262639829 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21172224 140722980135345 140722980135521 140722980135521 140722980138959 0
[pid=2396/tid=2400] ppid=2394 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2396/task/2400/stat : 2400 (java) S 2394 2394 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 109049697 14309736448 9209 18446744073709551615 4194304 4196468 140722980129008 140175194958224 140175262639829 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21172224 140722980135345 140722980135521 140722980135521 140722980138959 0
[pid=2396/tid=2401] ppid=2394 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2396/task/2401/stat : 2401 (java) S 2394 2394 13977 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 109049697 14309736448 9209 18446744073709551615 4194304 4196468 140722980129008 140175193905424 140175262639829 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21172224 140722980135345 140722980135521 140722980135521 140722980138959 0
[pid=2396/tid=2402] ppid=2394 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2396/task/2402/stat : 2402 (java) S 2394 2394 13977 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 109049699 14309736448 9209 18446744073709551615 4194304 4196468 140722980129008 140174741052272 140175262640770 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21172224 140722980135345 140722980135521 140722980135521 140722980138959 0
[pid=2396/tid=2403] ppid=2394 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2396/task/2403/stat : 2403 (java) S 2394 2394 13977 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 109049699 14309736448 9209 18446744073709551615 4194304 4196468 140722980129008 140174739998240 140175262639829 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21172224 140722980135345 140722980135521 140722980135521 140722980138959 0
[pid=2396/tid=2404] ppid=2394 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2396/task/2404/stat : 2404 (java) S 2394 2394 13977 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 109049699 14309736448 9209 18446744073709551615 4194304 4196468 140722980129008 140174738945392 140175262639829 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21172224 140722980135345 140722980135521 140722980135521 140722980138959 0
[pid=2396/tid=2405] ppid=2394 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2396/task/2405/stat : 2405 (java) S 2394 2394 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 109049702 14309736448 9209 18446744073709551615 4194304 4196468 140722980129008 140174737893712 140175262648219 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21172224 140722980135345 140722980135521 140722980135521 140722980138959 0
[pid=2396/tid=2406] ppid=2394 vsize=13974352 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/2396/task/2406/stat : 2406 (java) R 2394 2394 13977 0 -1 1077944384 402 0 0 0 1 0 0 0 20 0 15 0 109049702 14309736448 9209 18446744073709551615 4194304 4196468 140722980129008 140174736841072 140175262640770 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21172224 140722980135345 140722980135521 140722980135521 140722980138959 0
[pid=2396/tid=2407] ppid=2394 vsize=13974352 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/2396/task/2407/stat : 2407 (java) R 2394 2394 13977 0 -1 4202560 400 0 0 0 1 0 0 0 20 0 15 0 109049702 14309736448 9209 18446744073709551615 4194304 4196468 140722980129008 140174735788272 140175241847233 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21172224 140722980135345 140722980135521 140722980135521 140722980138959 0
[pid=2396/tid=2408] ppid=2394 vsize=13974352 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/2396/task/2408/stat : 2408 (java) R 2394 2394 13977 0 -1 4202560 708 0 0 0 5 0 0 0 20 0 15 0 109049702 14309736448 9209 18446744073709551615 4194304 4196468 140722980129008 140174734735472 140175262650970 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21172224 140722980135345 140722980135521 140722980135521 140722980138959 0
[pid=2396/tid=2409] ppid=2394 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2396/task/2409/stat : 2409 (java) S 2394 2394 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 109049702 14309736448 9209 18446744073709551615 4194304 4196468 140722980129008 140174733682912 140175262639829 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21172224 140722980135345 140722980135521 140722980135521 140722980138959 0
[pid=2396/tid=2410] ppid=2394 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2396/task/2410/stat : 2410 (java) S 2394 2394 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 109049707 14309736448 9209 18446744073709551615 4194304 4196468 140722980129008 140174732631216 140175262640770 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21172224 140722980135345 140722980135521 140722980135521 140722980138959 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 37912 KiB
[startup+0.701313 s]
/proc/loadavg: 3.90 2.62 2.28 5/211 2410
/proc/meminfo: memFree=30850680/32770624 swapFree=67108860/67108860
[pid=2394] ppid=2391 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/2394/stat : 2394 (xcsp3-exec) S 2391 2394 13977 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 109049685 9740288 345 18446744073709551615 4194304 5098028 140732782651184 140732782649288 139694333067900 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 10 0 0 7196144 7232144 19935232 140732782657912 140732782658117 140732782658117 140732782661611 0
/proc/2394/statm: 2378 345 289 221 0 87 0
[pid=2396] ppid=2394 vsize=13980732 memory=64092 CPUtime=1.09 cores=0,2,4,6
/proc/2396/stat : 2396 (java) S 2394 2394 13977 0 -1 1077944320 13115 0 0 0 105 4 0 0 20 0 15 0 109049696 14316269568 16023 18446744073709551615 4194304 4196468 140722980129008 140722980111552 140175262629623 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 21172224 140722980135345 140722980135521 140722980135521 140722980138959 0
/proc/2396/statm: 3495183 16023 3174 1 0 3483476 0
[pid=2396/tid=2397] ppid=2394 vsize=13980732 memory=55 CPUtime=0.53 cores=0,2,4,6
/proc/2396/task/2397/stat : 2397 (java) R 2394 2394 13977 0 -1 4202560 8491 0 0 0 50 3 0 0 20 0 15 0 109049697 14316269568 16023 18446744073709551615 4194304 4196468 140722980129008 140175266864712 140175240865953 0 4 1 16800974 0 0 0 -1 6 0 0 4 0 0 6293624 6294260 21172224 140722980135345 140722980135521 140722980135521 140722980138959 0
[pid=2396/tid=2398] ppid=2394 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2396/task/2398/stat : 2398 (java) S 2394 2394 13977 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 109049697 14316269568 16023 18446744073709551615 4194304 4196468 140722980129008 140175197063824 140175262639829 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21172224 140722980135345 140722980135521 140722980135521 140722980138959 0
[pid=2396/tid=2399] ppid=2394 vsize=13980732 memory=796 CPUtime=0 cores=0,2,4,6
/proc/2396/task/2399/stat : 2399 (java) S 2394 2394 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 109049697 14316269568 16023 18446744073709551615 4194304 4196468 140722980129008 140175196011024 140175262639829 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21172224 140722980135345 140722980135521 140722980135521 140722980138959 0
[pid=2396/tid=2400] ppid=2394 vsize=13980732 memory=10096 CPUtime=0 cores=0,2,4,6
/proc/2396/task/2400/stat : 2400 (java) S 2394 2394 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 109049697 14316269568 16023 18446744073709551615 4194304 4196468 140722980129008 140175194958224 140175262639829 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21172224 140722980135345 140722980135521 140722980135521 140722980138959 0
[pid=2396/tid=2401] ppid=2394 vsize=13980732 memory=1716 CPUtime=0 cores=0,2,4,6
/proc/2396/task/2401/stat : 2401 (java) S 2394 2394 13977 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 109049697 14316269568 16023 18446744073709551615 4194304 4196468 140722980129008 140175193905424 140175262639829 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21172224 140722980135345 140722980135521 140722980135521 140722980138959 0
[pid=2396/tid=2402] ppid=2394 vsize=13980732 memory=1008 CPUtime=0 cores=0,2,4,6
/proc/2396/task/2402/stat : 2402 (java) S 2394 2394 13977 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 109049699 14316269568 16023 18446744073709551615 4194304 4196468 140722980129008 140174741052272 140175262640770 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21172224 140722980135345 140722980135521 140722980135521 140722980138959 0
[pid=2396/tid=2403] ppid=2394 vsize=13980732 memory=1232 CPUtime=0 cores=0,2,4,6
/proc/2396/task/2403/stat : 2403 (java) S 2394 2394 13977 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 109049699 14316269568 16023 18446744073709551615 4194304 4196468 140722980129008 140174739998240 140175262639829 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21172224 140722980135345 140722980135521 140722980135521 140722980138959 0
[pid=2396/tid=2404] ppid=2394 vsize=13980732 memory=9024 CPUtime=0 cores=0,2,4,6
/proc/2396/task/2404/stat : 2404 (java) S 2394 2394 13977 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 109049699 14316269568 16023 18446744073709551615 4194304 4196468 140722980129008 140174738945392 140175262639829 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21172224 140722980135345 140722980135521 140722980135521 140722980138959 0
[pid=2396/tid=2405] ppid=2394 vsize=13980732 memory=4616 CPUtime=0 cores=0,2,4,6
/proc/2396/task/2405/stat : 2405 (java) S 2394 2394 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 109049702 14316269568 16023 18446744073709551615 4194304 4196468 140722980129008 140174737893712 140175262648219 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21172224 140722980135345 140722980135521 140722980135521 140722980138959 0
[pid=2396/tid=2406] ppid=2394 vsize=13980732 memory=1440 CPUtime=0.13 cores=0,2,4,6
/proc/2396/task/2406/stat : 2406 (java) R 2394 2394 13977 0 -1 4202560 950 0 0 0 13 0 0 0 20 0 15 0 109049702 14316269568 16023 18446744073709551615 4194304 4196468 140722980129008 140174736839088 140175242872384 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21172224 140722980135345 140722980135521 140722980135521 140722980138959 0
[pid=2396/tid=2407] ppid=2394 vsize=13980732 memory=1204 CPUtime=0.12 cores=0,2,4,6
/proc/2396/task/2407/stat : 2407 (java) R 2394 2394 13977 0 -1 4202560 960 0 0 0 12 0 0 0 20 0 15 0 109049702 14316269568 16023 18446744073709551615 4194304 4196468 140722980129008 140174735774704 140175246616736 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21172224 140722980135345 140722980135521 140722980135521 140722980138959 0
[pid=2396/tid=2408] ppid=2394 vsize=13980732 memory=15880 CPUtime=0.29 cores=0,2,4,6
/proc/2396/task/2408/stat : 2408 (java) S 2394 2394 13977 0 -1 1077944384 1407 0 0 0 29 0 0 0 20 0 15 0 109049702 14316269568 16023 18446744073709551615 4194304 4196468 140722980129008 140174734735472 140175262640770 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21172224 140722980135345 140722980135521 140722980135521 140722980138959 0
[pid=2396/tid=2409] ppid=2394 vsize=13980732 memory=16240 CPUtime=0 cores=0,2,4,6
/proc/2396/task/2409/stat : 2409 (java) S 2394 2394 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 109049702 14316269568 16023 18446744073709551615 4194304 4196468 140722980129008 140174733682912 140175262639829 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21172224 140722980135345 140722980135521 140722980135521 140722980138959 0
[pid=2396/tid=2410] ppid=2394 vsize=13980732 memory=33484 CPUtime=0 cores=0,2,4,6
/proc/2396/task/2410/stat : 2410 (java) S 2394 2394 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 109049707 14316269568 16023 18446744073709551615 4194304 4196468 140722980129008 140174732631216 140175262640770 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21172224 140722980135345 140722980135521 140722980135521 140722980138959 0
Current children cumulated CPU time: 1.09 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 65472 KiB
[startup+1.5008 s]
/proc/loadavg: 3.90 2.62 2.28 5/211 2410
/proc/meminfo: memFree=30817728/32770624 swapFree=67108860/67108860
[pid=2394] ppid=2391 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/2394/stat : 2394 (xcsp3-exec) S 2391 2394 13977 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 109049685 9740288 345 18446744073709551615 4194304 5098028 140732782651184 140732782649288 139694333067900 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 10 0 0 7196144 7232144 19935232 140732782657912 140732782658117 140732782658117 140732782661611 0
/proc/2394/statm: 2378 345 289 221 0 87 0
[pid=2396] ppid=2394 vsize=13980732 memory=112732 CPUtime=3.62 cores=0,2,4,6
/proc/2396/stat : 2396 (java) S 2394 2394 13977 0 -1 1077944320 25303 0 0 0 356 6 0 0 20 0 15 0 109049696 14316269568 28183 18446744073709551615 4194304 4196468 140722980129008 140722980111552 140175262629623 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 21172224 140722980135345 140722980135521 140722980135521 140722980138959 0
/proc/2396/statm: 3495183 28183 3194 1 0 3483476 0
[pid=2396/tid=2397] ppid=2394 vsize=13980732 memory=0 CPUtime=1.32 cores=0,2,4,6
/proc/2396/task/2397/stat : 2397 (java) R 2394 2394 13977 0 -1 4202560 10061 0 0 0 129 3 0 0 20 0 15 0 109049697 14316269568 28183 18446744073709551615 4194304 4196468 140722980129008 140175266860880 140174868279709 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 21172224 140722980135345 140722980135521 140722980135521 140722980138959 0
[pid=2396/tid=2398] ppid=2394 vsize=13980732 memory=4120 CPUtime=0 cores=0,2,4,6
/proc/2396/task/2398/stat : 2398 (java) S 2394 2394 13977 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 109049697 14316269568 28183 18446744073709551615 4194304 4196468 140722980129008 140175197063824 140175262639829 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21172224 140722980135345 140722980135521 140722980135521 140722980138959 0
[pid=2396/tid=2399] ppid=2394 vsize=13980732 memory=59068 CPUtime=0 cores=0,2,4,6
/proc/2396/task/2399/stat : 2399 (java) S 2394 2394 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 109049697 14316269568 28183 18446744073709551615 4194304 4196468 140722980129008 140175196011024 140175262639829 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21172224 140722980135345 140722980135521 140722980135521 140722980138959 0
[pid=2396/tid=2400] ppid=2394 vsize=13980732 memory=2384 CPUtime=0 cores=0,2,4,6
/proc/2396/task/2400/stat : 2400 (java) S 2394 2394 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 109049697 14316269568 28183 18446744073709551615 4194304 4196468 140722980129008 140175194958224 140175262639829 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21172224 140722980135345 140722980135521 140722980135521 140722980138959 0
[pid=2396/tid=2401] ppid=2394 vsize=13980732 memory=1296 CPUtime=0 cores=0,2,4,6
/proc/2396/task/2401/stat : 2401 (java) S 2394 2394 13977 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 109049697 14316269568 28183 18446744073709551615 4194304 4196468 140722980129008 140175193905424 140175262639829 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21172224 140722980135345 140722980135521 140722980135521 140722980138959 0
[pid=2396/tid=2402] ppid=2394 vsize=13980732 memory=1728 CPUtime=0 cores=0,2,4,6
/proc/2396/task/2402/stat : 2402 (java) S 2394 2394 13977 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 15 0 109049699 14316269568 28183 18446744073709551615 4194304 4196468 140722980129008 140174741052272 140175262640770 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21172224 140722980135345 140722980135521 140722980135521 140722980138959 0
[pid=2396/tid=2403] ppid=2394 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2396/task/2403/stat : 2403 (java) S 2394 2394 13977 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 109049699 14316269568 28183 18446744073709551615 4194304 4196468 140722980129008 140174739998240 140175262639829 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21172224 140722980135345 140722980135521 140722980135521 140722980138959 0
[pid=2396/tid=2404] ppid=2394 vsize=13980732 memory=7378422738674866285 CPUtime=0 cores=0,2,4,6
/proc/2396/task/2404/stat : 2404 (java) S 2394 2394 13977 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 109049699 14316269568 28183 18446744073709551615 4194304 4196468 140722980129008 140174738945392 140175262639829 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21172224 140722980135345 140722980135521 140722980135521 140722980138959 0
[pid=2396/tid=2405] ppid=2394 vsize=13980732 memory=7524512692651257697 CPUtime=0 cores=0,2,4,6
/proc/2396/task/2405/stat : 2405 (java) S 2394 2394 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 109049702 14316269568 28183 18446744073709551615 4194304 4196468 140722980129008 140174737893712 140175262648219 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21172224 140722980135345 140722980135521 140722980135521 140722980138959 0
[pid=2396/tid=2406] ppid=2394 vsize=13980732 memory=6372983122637776225 CPUtime=0.87 cores=0,2,4,6
/proc/2396/task/2406/stat : 2406 (java) R 2394 2394 13977 0 -1 4202560 4993 0 0 0 87 0 0 0 20 0 15 0 109049702 14316269568 28183 18446744073709551615 4194304 4196468 140722980129008 140174736830672 140175242465975 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21172224 140722980135345 140722980135521 140722980135521 140722980138959 0
[pid=2396/tid=2407] ppid=2394 vsize=13980732 memory=7521694631430744656 CPUtime=0.84 cores=0,2,4,6
/proc/2396/task/2407/stat : 2407 (java) R 2394 2394 13977 0 -1 4202560 6222 0 0 0 84 0 0 0 20 0 15 0 109049702 14316269568 28183 18446744073709551615 4194304 4196468 140722980129008 140174735775888 140175244152527 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21172224 140722980135345 140722980135521 140722980135521 140722980138959 0
[pid=2396/tid=2408] ppid=2394 vsize=13980732 memory=6009589186213549487 CPUtime=0.55 cores=0,2,4,6
/proc/2396/task/2408/stat : 2408 (java) R 2394 2394 13977 0 -1 1077944384 2676 0 0 0 54 1 0 0 20 0 15 0 109049702 14316269568 28183 18446744073709551615 4194304 4196468 140722980129008 140174734735472 140175262640770 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21172224 140722980135345 140722980135521 140722980135521 140722980138959 0
[pid=2396/tid=2409] ppid=2394 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2396/task/2409/stat : 2409 (java) S 2394 2394 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 109049702 14316269568 28183 18446744073709551615 4194304 4196468 140722980129008 140174733682912 140175262639829 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21172224 140722980135345 140722980135521 140722980135521 140722980138959 0
[pid=2396/tid=2410] ppid=2394 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2396/task/2410/stat : 2410 (java) S 2394 2394 13977 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 15 0 109049707 14316269568 28183 18446744073709551615 4194304 4196468 140722980129008 140174732631216 140175262640770 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21172224 140722980135345 140722980135521 140722980135521 140722980138959 0
################
# More data... #
################
/proc/2394/stat : 2394 (xcsp3-exec) S 2391 2394 13977 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 109049685 9740288 345 18446744073709551615 4194304 5098028 140732782651184 140732782649288 139694333067900 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 10 0 0 7196144 7232144 19935232 140732782657912 140732782658117 140732782658117 140732782661611 0
/proc/2394/statm: 2378 345 289 221 0 87 0
[pid=2396] ppid=2394 vsize=13980732 memory=455876 CPUtime=1043.64 cores=0,2,4,6
/proc/2396/stat : 2396 (java) S 2394 2394 13977 0 -1 1077944320 198562 0 0 0 104162 202 0 0 20 0 15 0 109049696 14316269568 113969 18446744073709551615 4194304 4196468 140722980129008 140722980111552 140175262629623 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 21172224 140722980135345 140722980135521 140722980135521 140722980138959 0
/proc/2396/statm: 3495183 113969 3258 1 0 3483476 0
[pid=2396/tid=2397] ppid=2394 vsize=13980732 memory=4284 CPUtime=998.91 cores=0,2,4,6
/proc/2396/task/2397/stat : 2397 (java) R 2394 2394 13977 0 -1 4202560 39326 0 0 0 99882 9 0 0 20 0 15 0 109049697 14316269568 113969 18446744073709551615 4194304 4196468 140722980129008 140175266868976 140174865553918 0 4 1 16800974 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 21172224 140722980135345 140722980135521 140722980135521 140722980138959 0
[pid=2396/tid=2398] ppid=2394 vsize=13980732 memory=1160 CPUtime=8.42 cores=0,2,4,6
/proc/2396/task/2398/stat : 2398 (java) S 2394 2394 13977 0 -1 1077944384 12212 0 0 0 804 38 0 0 20 0 15 0 109049697 14316269568 113969 18446744073709551615 4194304 4196468 140722980129008 140175197063824 140175262639829 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21172224 140722980135345 140722980135521 140722980135521 140722980138959 0
[pid=2396/tid=2399] ppid=2394 vsize=13980732 memory=1380 CPUtime=8.4 cores=0,2,4,6
/proc/2396/task/2399/stat : 2399 (java) S 2394 2394 13977 0 -1 1077944384 14001 0 0 0 803 37 0 0 20 0 15 0 109049697 14316269568 113969 18446744073709551615 4194304 4196468 140722980129008 140175196011024 140175262639829 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21172224 140722980135345 140722980135521 140722980135521 140722980138959 0
[pid=2396/tid=2400] ppid=2394 vsize=13980732 memory=455876 CPUtime=8.39 cores=0,2,4,6
/proc/2396/task/2400/stat : 2400 (java) S 2394 2394 13977 0 -1 1077944384 12705 0 0 0 802 37 0 0 20 0 15 0 109049697 14316269568 113969 18446744073709551615 4194304 4196468 140722980129008 140175194958224 140175262639829 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21172224 140722980135345 140722980135521 140722980135521 140722980138959 0
[pid=2396/tid=2401] ppid=2394 vsize=13980732 memory=0 CPUtime=8.39 cores=0,2,4,6
/proc/2396/task/2401/stat : 2401 (java) S 2394 2394 13977 0 -1 1077944384 13058 0 0 0 803 36 0 0 20 0 15 0 109049697 14316269568 113969 18446744073709551615 4194304 4196468 140722980129008 140175193905424 140175262639829 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21172224 140722980135345 140722980135521 140722980135521 140722980138959 0
[pid=2396/tid=2402] ppid=2394 vsize=13980732 memory=0 CPUtime=0.73 cores=0,2,4,6
/proc/2396/task/2402/stat : 2402 (java) S 2394 2394 13977 0 -1 1077944384 30296 0 0 0 59 14 0 0 20 0 15 0 109049699 14316269568 113969 18446744073709551615 4194304 4196468 140722980129008 140174741052272 140175262640770 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21172224 140722980135345 140722980135521 140722980135521 140722980138959 0
[pid=2396/tid=2403] ppid=2394 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2396/task/2403/stat : 2403 (java) S 2394 2394 13977 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 109049699 14316269568 113969 18446744073709551615 4194304 4196468 140722980129008 140174739998240 140175262639829 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21172224 140722980135345 140722980135521 140722980135521 140722980138959 0
[pid=2396/tid=2404] ppid=2394 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/2396/task/2404/stat : 2404 (java) S 2394 2394 13977 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 109049699 14316269568 113969 18446744073709551615 4194304 4196468 140722980129008 140174738945392 140175262639829 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21172224 140722980135345 140722980135521 140722980135521 140722980138959 0
[pid=2396/tid=2405] ppid=2394 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/2396/task/2405/stat : 2405 (java) S 2394 2394 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 109049702 14316269568 113969 18446744073709551615 4194304 4196468 140722980129008 140174737893712 140175262648219 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21172224 140722980135345 140722980135521 140722980135521 140722980138959 0
[pid=2396/tid=2406] ppid=2394 vsize=13980732 memory=455876 CPUtime=4.56 cores=0,2,4,6
/proc/2396/task/2406/stat : 2406 (java) S 2394 2394 13977 0 -1 1077944384 32804 0 0 0 454 2 0 0 20 0 15 0 109049702 14316269568 113969 18446744073709551615 4194304 4196468 140722980129008 140174736841072 140175262640770 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21172224 140722980135345 140722980135521 140722980135521 140722980138959 0
[pid=2396/tid=2407] ppid=2394 vsize=13980732 memory=796 CPUtime=4.42 cores=0,2,4,6
/proc/2396/task/2407/stat : 2407 (java) S 2394 2394 13977 0 -1 1077944384 30178 0 0 0 440 2 0 0 20 0 15 0 109049702 14316269568 113969 18446744073709551615 4194304 4196468 140722980129008 140174735788272 140175262640770 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21172224 140722980135345 140722980135521 140722980135521 140722980138959 0
[pid=2396/tid=2408] ppid=2394 vsize=13980732 memory=10096 CPUtime=0.8 cores=0,2,4,6
/proc/2396/task/2408/stat : 2408 (java) S 2394 2394 13977 0 -1 1077944384 11392 0 0 0 78 2 0 0 20 0 15 0 109049702 14316269568 113969 18446744073709551615 4194304 4196468 140722980129008 140174734735472 140175262640770 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21172224 140722980135345 140722980135521 140722980135521 140722980138959 0
[pid=2396/tid=2409] ppid=2394 vsize=13980732 memory=1716 CPUtime=0 cores=0,2,4,6
/proc/2396/task/2409/stat : 2409 (java) S 2394 2394 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 109049702 14316269568 113969 18446744073709551615 4194304 4196468 140722980129008 140174733682912 140175262639829 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21172224 140722980135345 140722980135521 140722980135521 140722980138959 0
[pid=2396/tid=2410] ppid=2394 vsize=13980732 memory=7680170660397595203 CPUtime=0.49 cores=0,2,4,6
/proc/2396/task/2410/stat : 2410 (java) S 2394 2394 13977 0 -1 1077944384 1246 0 0 0 22 27 0 0 20 0 15 0 109049707 14316269568 113969 18446744073709551615 4194304 4196468 140722980129008 140174732631216 140175262640770 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21172224 140722980135345 140722980135521 140722980135521 140722980138959 0
Current children cumulated CPU time: 1043.64 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 457256 KiB
[startup+1009.2 s]
/proc/loadavg: 1.65 1.71 1.89 3/212 2475
/proc/meminfo: memFree=29717852/32770624 swapFree=67108860/67108860
[pid=2394] ppid=2391 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/2394/stat : 2394 (xcsp3-exec) S 2391 2394 13977 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 109049685 9740288 345 18446744073709551615 4194304 5098028 140732782651184 140732782649288 139694333067900 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 10 0 0 7196144 7232144 19935232 140732782657912 140732782658117 140732782658117 140732782661611 0
/proc/2394/statm: 2378 345 289 221 0 87 0
[pid=2396] ppid=2394 vsize=13980732 memory=455876 CPUtime=1044.04 cores=0,2,4,6
/proc/2396/stat : 2396 (java) S 2394 2394 13977 0 -1 1077944320 198562 0 0 0 104202 202 0 0 20 0 15 0 109049696 14316269568 113969 18446744073709551615 4194304 4196468 140722980129008 140722980111552 140175262629623 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 21172224 140722980135345 140722980135521 140722980135521 140722980138959 0
/proc/2396/statm: 3495183 113969 3258 1 0 3483476 0
[pid=2396/tid=2397] ppid=2394 vsize=13980732 memory=9024 CPUtime=999.31 cores=0,2,4,6
/proc/2396/task/2397/stat : 2397 (java) R 2394 2394 13977 0 -1 4202560 39326 0 0 0 99922 9 0 0 20 0 15 0 109049697 14316269568 113969 18446744073709551615 4194304 4196468 140722980129008 140175266868976 140174869415564 0 4 1 16800974 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 21172224 140722980135345 140722980135521 140722980135521 140722980138959 0
[pid=2396/tid=2398] ppid=2394 vsize=13980732 memory=4616 CPUtime=8.42 cores=0,2,4,6
/proc/2396/task/2398/stat : 2398 (java) S 2394 2394 13977 0 -1 1077944384 12212 0 0 0 804 38 0 0 20 0 15 0 109049697 14316269568 113969 18446744073709551615 4194304 4196468 140722980129008 140175197063824 140175262639829 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21172224 140722980135345 140722980135521 140722980135521 140722980138959 0
[pid=2396/tid=2399] ppid=2394 vsize=13980732 memory=1440 CPUtime=8.4 cores=0,2,4,6
/proc/2396/task/2399/stat : 2399 (java) S 2394 2394 13977 0 -1 1077944384 14001 0 0 0 803 37 0 0 20 0 15 0 109049697 14316269568 113969 18446744073709551615 4194304 4196468 140722980129008 140175196011024 140175262639829 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21172224 140722980135345 140722980135521 140722980135521 140722980138959 0
[pid=2396/tid=2400] ppid=2394 vsize=13980732 memory=1204 CPUtime=8.39 cores=0,2,4,6
/proc/2396/task/2400/stat : 2400 (java) S 2394 2394 13977 0 -1 1077944384 12705 0 0 0 802 37 0 0 20 0 15 0 109049697 14316269568 113969 18446744073709551615 4194304 4196468 140722980129008 140175194958224 140175262639829 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21172224 140722980135345 140722980135521 140722980135521 140722980138959 0
[pid=2396/tid=2401] ppid=2394 vsize=13980732 memory=1380 CPUtime=8.39 cores=0,2,4,6
/proc/2396/task/2401/stat : 2401 (java) S 2394 2394 13977 0 -1 1077944384 13058 0 0 0 803 36 0 0 20 0 15 0 109049697 14316269568 113969 18446744073709551615 4194304 4196468 140722980129008 140175193905424 140175262639829 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21172224 140722980135345 140722980135521 140722980135521 140722980138959 0
[pid=2396/tid=2402] ppid=2394 vsize=13980732 memory=455876 CPUtime=0.73 cores=0,2,4,6
/proc/2396/task/2402/stat : 2402 (java) S 2394 2394 13977 0 -1 1077944384 30296 0 0 0 59 14 0 0 20 0 15 0 109049699 14316269568 113969 18446744073709551615 4194304 4196468 140722980129008 140174741052272 140175262640770 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21172224 140722980135345 140722980135521 140722980135521 140722980138959 0
[pid=2396/tid=2403] ppid=2394 vsize=13980732 memory=2384 CPUtime=0 cores=0,2,4,6
/proc/2396/task/2403/stat : 2403 (java) S 2394 2394 13977 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 109049699 14316269568 113969 18446744073709551615 4194304 4196468 140722980129008 140174739998240 140175262639829 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21172224 140722980135345 140722980135521 140722980135521 140722980138959 0
[pid=2396/tid=2404] ppid=2394 vsize=13980732 memory=1296 CPUtime=0 cores=0,2,4,6
/proc/2396/task/2404/stat : 2404 (java) S 2394 2394 13977 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 109049699 14316269568 113969 18446744073709551615 4194304 4196468 140722980129008 140174738945392 140175262639829 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21172224 140722980135345 140722980135521 140722980135521 140722980138959 0
[pid=2396/tid=2405] ppid=2394 vsize=13980732 memory=1728 CPUtime=0 cores=0,2,4,6
/proc/2396/task/2405/stat : 2405 (java) S 2394 2394 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 109049702 14316269568 113969 18446744073709551615 4194304 4196468 140722980129008 140174737893712 140175262648219 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21172224 140722980135345 140722980135521 140722980135521 140722980138959 0
[pid=2396/tid=2406] ppid=2394 vsize=13980732 memory=5788 CPUtime=4.56 cores=0,2,4,6
/proc/2396/task/2406/stat : 2406 (java) S 2394 2394 13977 0 -1 1077944384 32804 0 0 0 454 2 0 0 20 0 15 0 109049702 14316269568 113969 18446744073709551615 4194304 4196468 140722980129008 140174736841072 140175262640770 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21172224 140722980135345 140722980135521 140722980135521 140722980138959 0
[pid=2396/tid=2407] ppid=2394 vsize=13980732 memory=1996 CPUtime=4.42 cores=0,2,4,6
/proc/2396/task/2407/stat : 2407 (java) S 2394 2394 13977 0 -1 1077944384 30178 0 0 0 440 2 0 0 20 0 15 0 109049702 14316269568 113969 18446744073709551615 4194304 4196468 140722980129008 140174735788272 140175262640770 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21172224 140722980135345 140722980135521 140722980135521 140722980138959 0
[pid=2396/tid=2408] ppid=2394 vsize=13980732 memory=796 CPUtime=0.8 cores=0,2,4,6
/proc/2396/task/2408/stat : 2408 (java) S 2394 2394 13977 0 -1 1077944384 11392 0 0 0 78 2 0 0 20 0 15 0 109049702 14316269568 113969 18446744073709551615 4194304 4196468 140722980129008 140174734735472 140175262640770 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21172224 140722980135345 140722980135521 140722980135521 140722980138959 0
[pid=2396/tid=2409] ppid=2394 vsize=13980732 memory=10096 CPUtime=0 cores=0,2,4,6
/proc/2396/task/2409/stat : 2409 (java) S 2394 2394 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 109049702 14316269568 113969 18446744073709551615 4194304 4196468 140722980129008 140174733682912 140175262639829 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21172224 140722980135345 140722980135521 140722980135521 140722980138959 0
[pid=2396/tid=2410] ppid=2394 vsize=13980732 memory=1716 CPUtime=0.49 cores=0,2,4,6
/proc/2396/task/2410/stat : 2410 (java) S 2394 2394 13977 0 -1 1077944384 1246 0 0 0 22 27 0 0 20 0 15 0 109049707 14316269568 113969 18446744073709551615 4194304 4196468 140722980129008 140174732631216 140175262640770 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21172224 140722980135345 140722980135521 140722980135521 140722980138959 0
Current children cumulated CPU time: 1044.04 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 457256 KiB
[startup+1009.4 s]
/proc/loadavg: 1.65 1.71 1.89 3/212 2475
/proc/meminfo: memFree=29717852/32770624 swapFree=67108860/67108860
[pid=2394] ppid=2391 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/2394/stat : 2394 (xcsp3-exec) S 2391 2394 13977 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 109049685 9740288 345 18446744073709551615 4194304 5098028 140732782651184 140732782649288 139694333067900 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 10 0 0 7196144 7232144 19935232 140732782657912 140732782658117 140732782658117 140732782661611 0
/proc/2394/statm: 2378 345 289 221 0 87 0
[pid=2396] ppid=2394 vsize=13980732 memory=455876 CPUtime=1044.24 cores=0,2,4,6
/proc/2396/stat : 2396 (java) S 2394 2394 13977 0 -1 1077944320 198562 0 0 0 104222 202 0 0 20 0 15 0 109049696 14316269568 113969 18446744073709551615 4194304 4196468 140722980129008 140722980111552 140175262629623 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 21172224 140722980135345 140722980135521 140722980135521 140722980138959 0
/proc/2396/statm: 3495183 113969 3258 1 0 3483476 0
[pid=2396/tid=2397] ppid=2394 vsize=13980732 memory=15257043212699282 CPUtime=999.51 cores=0,2,4,6
/proc/2396/task/2397/stat : 2397 (java) R 2394 2394 13977 0 -1 4202560 39326 0 0 0 99942 9 0 0 20 0 15 0 109049697 14316269568 113969 18446744073709551615 4194304 4196468 140722980129008 140175266868976 140174874016071 0 4 1 16800974 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 21172224 140722980135345 140722980135521 140722980135521 140722980138959 0
[pid=2396/tid=2398] ppid=2394 vsize=13980732 memory=928 CPUtime=8.42 cores=0,2,4,6
/proc/2396/task/2398/stat : 2398 (java) S 2394 2394 13977 0 -1 1077944384 12212 0 0 0 804 38 0 0 20 0 15 0 109049697 14316269568 113969 18446744073709551615 4194304 4196468 140722980129008 140175197063824 140175262639829 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21172224 140722980135345 140722980135521 140722980135521 140722980138959 0
[pid=2396/tid=2399] ppid=2394 vsize=13980732 memory=1580 CPUtime=8.4 cores=0,2,4,6
/proc/2396/task/2399/stat : 2399 (java) S 2394 2394 13977 0 -1 1077944384 14001 0 0 0 803 37 0 0 20 0 15 0 109049697 14316269568 113969 18446744073709551615 4194304 4196468 140722980129008 140175196011024 140175262639829 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21172224 140722980135345 140722980135521 140722980135521 140722980138959 0
[pid=2396/tid=2400] ppid=2394 vsize=13980732 memory=1168280 CPUtime=8.39 cores=0,2,4,6
/proc/2396/task/2400/stat : 2400 (java) S 2394 2394 13977 0 -1 1077944384 12705 0 0 0 802 37 0 0 20 0 15 0 109049697 14316269568 113969 18446744073709551615 4194304 4196468 140722980129008 140175194958224 140175262639829 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21172224 140722980135345 140722980135521 140722980135521 140722980138959 0
[pid=2396/tid=2401] ppid=2394 vsize=13980732 memory=2168 CPUtime=8.39 cores=0,2,4,6
/proc/2396/task/2401/stat : 2401 (java) S 2394 2394 13977 0 -1 1077944384 13058 0 0 0 803 36 0 0 20 0 15 0 109049697 14316269568 113969 18446744073709551615 4194304 4196468 140722980129008 140175193905424 140175262639829 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21172224 140722980135345 140722980135521 140722980135521 140722980138959 0
[pid=2396/tid=2402] ppid=2394 vsize=13980732 memory=836 CPUtime=0.73 cores=0,2,4,6
/proc/2396/task/2402/stat : 2402 (java) S 2394 2394 13977 0 -1 1077944384 30296 0 0 0 59 14 0 0 20 0 15 0 109049699 14316269568 113969 18446744073709551615 4194304 4196468 140722980129008 140174741052272 140175262640770 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21172224 140722980135345 140722980135521 140722980135521 140722980138959 0
[pid=2396/tid=2403] ppid=2394 vsize=13980732 memory=1160 CPUtime=0 cores=0,2,4,6
/proc/2396/task/2403/stat : 2403 (java) S 2394 2394 13977 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 109049699 14316269568 113969 18446744073709551615 4194304 4196468 140722980129008 140174739998240 140175262639829 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21172224 140722980135345 140722980135521 140722980135521 140722980138959 0
[pid=2396/tid=2404] ppid=2394 vsize=13980732 memory=3200 CPUtime=0 cores=0,2,4,6
/proc/2396/task/2404/stat : 2404 (java) S 2394 2394 13977 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 109049699 14316269568 113969 18446744073709551615 4194304 4196468 140722980129008 140174738945392 140175262639829 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21172224 140722980135345 140722980135521 140722980135521 140722980138959 0
[pid=2396/tid=2405] ppid=2394 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/2396/task/2405/stat : 2405 (java) S 2394 2394 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 109049702 14316269568 113969 18446744073709551615 4194304 4196468 140722980129008 140174737893712 140175262648219 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21172224 140722980135345 140722980135521 140722980135521 140722980138959 0
[pid=2396/tid=2406] ppid=2394 vsize=13980732 memory=446620 CPUtime=4.56 cores=0,2,4,6
/proc/2396/task/2406/stat : 2406 (java) S 2394 2394 13977 0 -1 1077944384 32804 0 0 0 454 2 0 0 20 0 15 0 109049702 14316269568 113969 18446744073709551615 4194304 4196468 140722980129008 140174736841072 140175262640770 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21172224 140722980135345 140722980135521 140722980135521 140722980138959 0
[pid=2396/tid=2407] ppid=2394 vsize=13980732 memory=4064 CPUtime=4.42 cores=0,2,4,6
/proc/2396/task/2407/stat : 2407 (java) S 2394 2394 13977 0 -1 1077944384 30178 0 0 0 440 2 0 0 20 0 15 0 109049702 14316269568 113969 18446744073709551615 4194304 4196468 140722980129008 140174735788272 140175262640770 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21172224 140722980135345 140722980135521 140722980135521 140722980138959 0
[pid=2396/tid=2408] ppid=2394 vsize=13980732 memory=3916 CPUtime=0.8 cores=0,2,4,6
/proc/2396/task/2408/stat : 2408 (java) S 2394 2394 13977 0 -1 1077944384 11392 0 0 0 78 2 0 0 20 0 15 0 109049702 14316269568 113969 18446744073709551615 4194304 4196468 140722980129008 140174734735472 140175262640770 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21172224 140722980135345 140722980135521 140722980135521 140722980138959 0
[pid=2396/tid=2409] ppid=2394 vsize=13980732 memory=7680170660397595203 CPUtime=0 cores=0,2,4,6
/proc/2396/task/2409/stat : 2409 (java) S 2394 2394 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 109049702 14316269568 113969 18446744073709551615 4194304 4196468 140722980129008 140174733682912 140175262639829 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21172224 140722980135345 140722980135521 140722980135521 140722980138959 0
[pid=2396/tid=2410] ppid=2394 vsize=13980732 memory=2752 CPUtime=0.49 cores=0,2,4,6
/proc/2396/task/2410/stat : 2410 (java) S 2394 2394 13977 0 -1 1077944384 1246 0 0 0 22 27 0 0 20 0 15 0 109049707 14316269568 113969 18446744073709551615 4194304 4196468 140722980129008 140174732631216 140175262640770 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21172224 140722980135345 140722980135521 140722980135521 140722980138959 0
Current children cumulated CPU time: 1044.24 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 457256 KiB
[startup+1009.5 s]
/proc/loadavg: 1.65 1.71 1.89 3/212 2475
/proc/meminfo: memFree=29717852/32770624 swapFree=67108860/67108860
[pid=2394] ppid=2391 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/2394/stat : 2394 (xcsp3-exec) S 2391 2394 13977 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 109049685 9740288 345 18446744073709551615 4194304 5098028 140732782651184 140732782649288 139694333067900 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 10 0 0 7196144 7232144 19935232 140732782657912 140732782658117 140732782658117 140732782661611 0
/proc/2394/statm: 2378 345 289 221 0 87 0
[pid=2396] ppid=2394 vsize=13980732 memory=455876 CPUtime=1044.34 cores=0,2,4,6
/proc/2396/stat : 2396 (java) S 2394 2394 13977 0 -1 1077944320 198562 0 0 0 104232 202 0 0 20 0 15 0 109049696 14316269568 113969 18446744073709551615 4194304 4196468 140722980129008 140722980111552 140175262629623 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 21172224 140722980135345 140722980135521 140722980135521 140722980138959 0
/proc/2396/statm: 3495183 113969 3258 1 0 3483476 0
[pid=2396/tid=2397] ppid=2394 vsize=13980732 memory=455876 CPUtime=999.61 cores=0,2,4,6
/proc/2396/task/2397/stat : 2397 (java) R 2394 2394 13977 0 -1 4202560 39326 0 0 0 99952 9 0 0 20 0 15 0 109049697 14316269568 113969 18446744073709551615 4194304 4196468 140722980129008 140175266868976 140174869415680 0 4 1 16800974 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 21172224 140722980135345 140722980135521 140722980135521 140722980138959 0
[pid=2396/tid=2398] ppid=2394 vsize=13980732 memory=446620 CPUtime=8.42 cores=0,2,4,6
/proc/2396/task/2398/stat : 2398 (java) S 2394 2394 13977 0 -1 1077944384 12212 0 0 0 804 38 0 0 20 0 15 0 109049697 14316269568 113969 18446744073709551615 4194304 4196468 140722980129008 140175197063824 140175262639829 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21172224 140722980135345 140722980135521 140722980135521 140722980138959 0
[pid=2396/tid=2399] ppid=2394 vsize=13980732 memory=446620 CPUtime=8.4 cores=0,2,4,6
/proc/2396/task/2399/stat : 2399 (java) S 2394 2394 13977 0 -1 1077944384 14001 0 0 0 803 37 0 0 20 0 15 0 109049697 14316269568 113969 18446744073709551615 4194304 4196468 140722980129008 140175196011024 140175262639829 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21172224 140722980135345 140722980135521 140722980135521 140722980138959 0
[pid=2396/tid=2400] ppid=2394 vsize=13980732 memory=388160 CPUtime=8.39 cores=0,2,4,6
/proc/2396/task/2400/stat : 2400 (java) S 2394 2394 13977 0 -1 1077944384 12705 0 0 0 802 37 0 0 20 0 15 0 109049697 14316269568 113969 18446744073709551615 4194304 4196468 140722980129008 140175194958224 140175262639829 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21172224 140722980135345 140722980135521 140722980135521 140722980138959 0
[pid=2396/tid=2401] ppid=2394 vsize=13980732 memory=1380 CPUtime=8.39 cores=0,2,4,6
/proc/2396/task/2401/stat : 2401 (java) S 2394 2394 13977 0 -1 1077944384 13058 0 0 0 803 36 0 0 20 0 15 0 109049697 14316269568 113969 18446744073709551615 4194304 4196468 140722980129008 140175193905424 140175262639829 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21172224 140722980135345 140722980135521 140722980135521 140722980138959 0
[pid=2396/tid=2402] ppid=2394 vsize=13980732 memory=424052 CPUtime=0.73 cores=0,2,4,6
/proc/2396/task/2402/stat : 2402 (java) S 2394 2394 13977 0 -1 1077944384 30296 0 0 0 59 14 0 0 20 0 15 0 109049699 14316269568 113969 18446744073709551615 4194304 4196468 140722980129008 140174741052272 140175262640770 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21172224 140722980135345 140722980135521 140722980135521 140722980138959 0
[pid=2396/tid=2403] ppid=2394 vsize=13980732 memory=434332 CPUtime=0 cores=0,2,4,6
/proc/2396/task/2403/stat : 2403 (java) S 2394 2394 13977 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 109049699 14316269568 113969 18446744073709551615 4194304 4196468 140722980129008 140174739998240 140175262639829 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21172224 140722980135345 140722980135521 140722980135521 140722980138959 0
[pid=2396/tid=2404] ppid=2394 vsize=13980732 memory=434332 CPUtime=0 cores=0,2,4,6
/proc/2396/task/2404/stat : 2404 (java) S 2394 2394 13977 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 109049699 14316269568 113969 18446744073709551615 4194304 4196468 140722980129008 140174738945392 140175262639829 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21172224 140722980135345 140722980135521 140722980135521 140722980138959 0
[pid=2396/tid=2405] ppid=2394 vsize=13980732 memory=455876 CPUtime=0 cores=0,2,4,6
/proc/2396/task/2405/stat : 2405 (java) S 2394 2394 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 109049702 14316269568 113969 18446744073709551615 4194304 4196468 140722980129008 140174737893712 140175262648219 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21172224 140722980135345 140722980135521 140722980135521 140722980138959 0
[pid=2396/tid=2406] ppid=2394 vsize=13980732 memory=1380 CPUtime=4.56 cores=0,2,4,6
/proc/2396/task/2406/stat : 2406 (java) S 2394 2394 13977 0 -1 1077944384 32804 0 0 0 454 2 0 0 20 0 15 0 109049702 14316269568 113969 18446744073709551615 4194304 4196468 140722980129008 140174736841072 140175262640770 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21172224 140722980135345 140722980135521 140722980135521 140722980138959 0
[pid=2396/tid=2407] ppid=2394 vsize=13980732 memory=424052 CPUtime=4.42 cores=0,2,4,6
/proc/2396/task/2407/stat : 2407 (java) S 2394 2394 13977 0 -1 1077944384 30178 0 0 0 440 2 0 0 20 0 15 0 109049702 14316269568 113969 18446744073709551615 4194304 4196468 140722980129008 140174735788272 140175262640770 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21172224 140722980135345 140722980135521 140722980135521 140722980138959 0
[pid=2396/tid=2408] ppid=2394 vsize=13980732 memory=446620 CPUtime=0.8 cores=0,2,4,6
/proc/2396/task/2408/stat : 2408 (java) S 2394 2394 13977 0 -1 1077944384 11392 0 0 0 78 2 0 0 20 0 15 0 109049702 14316269568 113969 18446744073709551615 4194304 4196468 140722980129008 140174734735472 140175262640770 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21172224 140722980135345 140722980135521 140722980135521 140722980138959 0
[pid=2396/tid=2409] ppid=2394 vsize=13980732 memory=1168280 CPUtime=0 cores=0,2,4,6
/proc/2396/task/2409/stat : 2409 (java) S 2394 2394 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 109049702 14316269568 113969 18446744073709551615 4194304 4196468 140722980129008 140174733682912 140175262639829 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21172224 140722980135345 140722980135521 140722980135521 140722980138959 0
[pid=2396/tid=2410] ppid=2394 vsize=13980732 memory=1380 CPUtime=0.49 cores=0,2,4,6
/proc/2396/task/2410/stat : 2410 (java) S 2394 2394 13977 0 -1 1077944384 1246 0 0 0 22 27 0 0 20 0 15 0 109049707 14316269568 113969 18446744073709551615 4194304 4196468 140722980129008 140174732631216 140175262640770 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21172224 140722980135345 140722980135521 140722980135521 140722980138959 0
Current children cumulated CPU time: 1044.34 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 457256 KiB
Child status: 0
Real time (s): 1009.55
CPU time (s): 1044.4
CPU user time (s): 1042.38
CPU system time (s): 2.0257
CPU usage (%): 103.452
Max. virtual memory (cumulated for all children) (KiB): 13994388
Max. memory (cumulated for all children) (KiB): 535668
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1042.38
system time used= 2.0257
maximum resident set size= 556052
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 199577
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1312
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38041
involuntary context switches= 2247
# summary of solver processes directly reported to runsolver:
# pid: 2394
# total CPU time (s): 1044.4
# total CPU user time (s): 1042.38
# total CPU system time (s): 2.0257
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.4794 second user time and 9.56777 second system time
The end