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 (10243 MiB free)
  memory of node 1: 16384 MiB (4205 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4306953-1534068604/watcher-4306953-1534068604 -o /tmp/evaluation-result-4306953-1534068604/solver-4306953-1534068604 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node136-1534063588-31242 --watchdog 2580 HOME/xcsp3-exec -seed 549583369 -dir HOME -tl 2520 -ml 11000 -p 1 HOME/instance-4306953-1534068604.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=31877, runsolver pid=31874


[startup+0.103371 s]*
/proc/loadavg: 2.06 2.01 1.88 3/217 31893
/proc/meminfo: memFree=14776832/32770624 swapFree=67108844/67108860
[pid=31877] ppid=31874 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/31877/stat : 31877 (xcsp3-exec) S 31874 31877 31211 0 -1 4202496 534 0 0 0 0 0 0 0 20 0 1 0 224423586 115843072 363 33554432000 4194304 5098028 140724337823184 140724337821288 140291184681596 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 13803520 140724337824827 140724337825028 140724337825028 140724337827786 0
/proc/31877/statm: 28282 363 306 221 0 87 0
[pid=31879] ppid=31877 vsize=14082940 memory=30860 CPUtime=0.12 cores=0,2,4,6
/proc/31879/stat : 31879 (java) S 31877 31877 31211 0 -1 1077944320 5572 0 0 0 11 1 0 0 20 0 15 0 224423586 14420930560 7715 33554432000 4194304 4196468 140732976363072 140732976345616 140085520252663 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 27021312 140732976366726 140732976366897 140732976366897 140732976369615 0
/proc/31879/statm: 3520735 7715 3026 1 0 3483012 0
[pid=31879/tid=31880] ppid=31877 vsize=14082940 memory=-6962121287837372198 CPUtime=0.09 cores=0,2,4,6
/proc/31879/task/31880/stat : 31880 (java) R 31877 31877 31211 0 -1 4202560 3500 0 0 0 9 0 0 0 20 0 15 0 224423587 14420930560 7715 33554432000 4194304 4196468 140732976363072 140085524489088 140085520264598 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27021312 140732976366726 140732976366897 140732976366897 140732976369615 0
[pid=31879/tid=31881] ppid=31877 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31879/task/31881/stat : 31881 (java) S 31877 31877 31211 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224423588 14420930560 7715 33554432000 4194304 4196468 140732976363072 140085472872720 140085520262869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27021312 140732976366726 140732976366897 140732976366897 140732976369615 0
[pid=31879/tid=31882] ppid=31877 vsize=14082940 memory=140290327516800 CPUtime=0 cores=0,2,4,6
/proc/31879/task/31882/stat : 31882 (java) S 31877 31877 31211 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224423588 14420930560 7715 33554432000 4194304 4196468 140732976363072 140085471820176 140085520262869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27021312 140732976366726 140732976366897 140732976366897 140732976369615 0
[pid=31879/tid=31883] ppid=31877 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31879/task/31883/stat : 31883 (java) S 31877 31877 31211 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224423588 14420930560 7715 33554432000 4194304 4196468 140732976363072 140085470767632 140085520262869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27021312 140732976366726 140732976366897 140732976366897 140732976369615 0
[pid=31879/tid=31884] ppid=31877 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31879/task/31884/stat : 31884 (java) S 31877 31877 31211 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224423588 14420930560 7715 33554432000 4194304 4196468 140732976363072 140085469715088 140085520262869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27021312 140732976366726 140732976366897 140732976366897 140732976369615 0
[pid=31879/tid=31885] ppid=31877 vsize=14082940 memory=140290327516800 CPUtime=0 cores=0,2,4,6
/proc/31879/task/31885/stat : 31885 (java) S 31877 31877 31211 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224423589 14420930560 7715 33554432000 4194304 4196468 140732976363072 140085061646832 140085520263810 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27021312 140732976366726 140732976366897 140732976366897 140732976369615 0
[pid=31879/tid=31886] ppid=31877 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31879/task/31886/stat : 31886 (java) S 31877 31877 31211 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 224423589 14420930560 7715 33554432000 4194304 4196468 140732976363072 140085060593056 140085520262869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27021312 140732976366726 140732976366897 140732976366897 140732976369615 0
[pid=31879/tid=31887] ppid=31877 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31879/task/31887/stat : 31887 (java) S 31877 31877 31211 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 224423590 14420930560 7715 33554432000 4194304 4196468 140732976363072 140085059540464 140085520262869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27021312 140732976366726 140732976366897 140732976366897 140732976369615 0
[pid=31879/tid=31888] ppid=31877 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31879/task/31888/stat : 31888 (java) S 31877 31877 31211 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224423592 14420930560 7715 33554432000 4194304 4196468 140732976363072 140085058489040 140085520271259 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27021312 140732976366726 140732976366897 140732976366897 140732976369615 0
[pid=31879/tid=31889] ppid=31877 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31879/task/31889/stat : 31889 (java) S 31877 31877 31211 0 -1 1077944384 297 0 0 0 0 0 0 0 20 0 15 0 224423592 14420930560 7715 33554432000 4194304 4196468 140732976363072 140085057435632 140085520263810 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27021312 140732976366726 140732976366897 140732976366897 140732976369615 0
[pid=31879/tid=31890] ppid=31877 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31879/task/31890/stat : 31890 (java) S 31877 31877 31211 0 -1 1077944384 119 0 0 0 0 0 0 0 20 0 15 0 224423592 14420930560 7715 33554432000 4194304 4196468 140732976363072 140084427090032 140085520263810 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27021312 140732976366726 140732976366897 140732976366897 140732976369615 0
[pid=31879/tid=31891] ppid=31877 vsize=14082940 memory=140290327516800 CPUtime=0.01 cores=0,2,4,6
/proc/31879/task/31891/stat : 31891 (java) R 31877 31877 31211 0 -1 4202560 354 0 0 0 1 0 0 0 20 0 15 0 224423592 14420930560 7715 33554432000 4194304 4196468 140732976363072 140084426037488 140085504333076 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27021312 140732976366726 140732976366897 140732976366897 140732976369615 0
[pid=31879/tid=31892] ppid=31877 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31879/task/31892/stat : 31892 (java) S 31877 31877 31211 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224423592 14420930560 7715 33554432000 4194304 4196468 140732976363072 140084424985184 140085520262869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27021312 140732976366726 140732976366897 140732976366897 140732976369615 0
[pid=31879/tid=31893] ppid=31877 vsize=14082940 memory=140290327516800 CPUtime=0 cores=0,2,4,6
/proc/31879/task/31893/stat : 31893 (java) S 31877 31877 31211 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224423592 14420930560 7715 33554432000 4194304 4196468 140732976363072 140084423932720 140085520263810 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27021312 140732976366726 140732976366897 140732976366897 140732976369615 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14196068 KiB
Current children cumulated memory: 32312 KiB

[startup+0.210629 s]*
/proc/loadavg: 2.06 2.01 1.88 4/217 31893
/proc/meminfo: memFree=14752464/32770624 swapFree=67108844/67108860
[pid=31877] ppid=31874 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/31877/stat : 31877 (xcsp3-exec) S 31874 31877 31211 0 -1 4202496 534 0 0 0 0 0 0 0 20 0 1 0 224423586 115843072 363 33554432000 4194304 5098028 140724337823184 140724337821288 140291184681596 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 13803520 140724337824827 140724337825028 140724337825028 140724337827786 0
/proc/31877/statm: 28282 363 306 221 0 87 0
[pid=31879] ppid=31877 vsize=14082940 memory=43204 CPUtime=0.34 cores=0,2,4,6
/proc/31879/stat : 31879 (java) S 31877 31877 31211 0 -1 1077944320 8309 0 0 0 32 2 0 0 20 0 15 0 224423586 14420930560 10801 33554432000 4194304 4196468 140732976363072 140732976345616 140085520252663 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 27021312 140732976366726 140732976366897 140732976366897 140732976369615 0
/proc/31879/statm: 3520735 10801 3217 1 0 3483012 0
[pid=31879/tid=31880] ppid=31877 vsize=14082940 memory=7883960649037381690 CPUtime=0.19 cores=0,2,4,6
/proc/31879/task/31880/stat : 31880 (java) R 31877 31877 31211 0 -1 4202560 5423 0 0 0 18 1 0 0 20 0 15 0 224423587 14420930560 10801 33554432000 4194304 4196468 140732976363072 140085524487200 140085504333150 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27021312 140732976366726 140732976366897 140732976366897 140732976369615 0
[pid=31879/tid=31881] ppid=31877 vsize=14082940 memory=10537 CPUtime=0 cores=0,2,4,6
/proc/31879/task/31881/stat : 31881 (java) S 31877 31877 31211 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224423588 14420930560 10801 33554432000 4194304 4196468 140732976363072 140085472872720 140085520262869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27021312 140732976366726 140732976366897 140732976366897 140732976369615 0
[pid=31879/tid=31882] ppid=31877 vsize=14082940 memory=288370666479228544 CPUtime=0 cores=0,2,4,6
/proc/31879/task/31882/stat : 31882 (java) S 31877 31877 31211 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224423588 14420930560 10801 33554432000 4194304 4196468 140732976363072 140085471820176 140085520262869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27021312 140732976366726 140732976366897 140732976366897 140732976369615 0
[pid=31879/tid=31883] ppid=31877 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31879/task/31883/stat : 31883 (java) S 31877 31877 31211 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224423588 14420930560 10801 33554432000 4194304 4196468 140732976363072 140085470767632 140085520262869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27021312 140732976366726 140732976366897 140732976366897 140732976369615 0
[pid=31879/tid=31884] ppid=31877 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31879/task/31884/stat : 31884 (java) S 31877 31877 31211 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224423588 14420930560 10801 33554432000 4194304 4196468 140732976363072 140085469715088 140085520262869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27021312 140732976366726 140732976366897 140732976366897 140732976369615 0
[pid=31879/tid=31885] ppid=31877 vsize=14082940 memory=140290327516800 CPUtime=0 cores=0,2,4,6
/proc/31879/task/31885/stat : 31885 (java) S 31877 31877 31211 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 224423589 14420930560 10801 33554432000 4194304 4196468 140732976363072 140085061646832 140085520263810 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27021312 140732976366726 140732976366897 140732976366897 140732976369615 0
[pid=31879/tid=31886] ppid=31877 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31879/task/31886/stat : 31886 (java) S 31877 31877 31211 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 224423589 14420930560 10801 33554432000 4194304 4196468 140732976363072 140085060593056 140085520262869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27021312 140732976366726 140732976366897 140732976366897 140732976369615 0
[pid=31879/tid=31887] ppid=31877 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31879/task/31887/stat : 31887 (java) S 31877 31877 31211 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 224423590 14420930560 10801 33554432000 4194304 4196468 140732976363072 140085059540464 140085520262869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27021312 140732976366726 140732976366897 140732976366897 140732976369615 0
[pid=31879/tid=31888] ppid=31877 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31879/task/31888/stat : 31888 (java) S 31877 31877 31211 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224423592 14420930560 10801 33554432000 4194304 4196468 140732976363072 140085058489040 140085520271259 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27021312 140732976366726 140732976366897 140732976366897 140732976369615 0
[pid=31879/tid=31889] ppid=31877 vsize=14082940 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/31879/task/31889/stat : 31889 (java) S 31877 31877 31211 0 -1 1077944384 664 0 0 0 3 0 0 0 20 0 15 0 224423592 14420930560 10801 33554432000 4194304 4196468 140732976363072 140085057435632 140085520263810 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27021312 140732976366726 140732976366897 140732976366897 140732976369615 0
[pid=31879/tid=31890] ppid=31877 vsize=14082940 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/31879/task/31890/stat : 31890 (java) S 31877 31877 31211 0 -1 1077944384 150 0 0 0 2 0 0 0 20 0 15 0 224423592 14420930560 10801 33554432000 4194304 4196468 140732976363072 140084427090032 140085520263810 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27021312 140732976366726 140732976366897 140732976366897 140732976369615 0
[pid=31879/tid=31891] ppid=31877 vsize=14082940 memory=140290327516800 CPUtime=0.07 cores=0,2,4,6
/proc/31879/task/31891/stat : 31891 (java) S 31877 31877 31211 0 -1 1077944384 765 0 0 0 7 0 0 0 20 0 15 0 224423592 14420930560 10801 33554432000 4194304 4196468 140732976363072 140084426037488 140085520263810 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27021312 140732976366726 140732976366897 140732976366897 140732976369615 0
[pid=31879/tid=31892] ppid=31877 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31879/task/31892/stat : 31892 (java) S 31877 31877 31211 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224423592 14420930560 10801 33554432000 4194304 4196468 140732976363072 140084424985184 140085520262869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27021312 140732976366726 140732976366897 140732976366897 140732976369615 0
[pid=31879/tid=31893] ppid=31877 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31879/task/31893/stat : 31893 (java) S 31877 31877 31211 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224423592 14420930560 10801 33554432000 4194304 4196468 140732976363072 140084423932720 140085520263810 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27021312 140732976366726 140732976366897 140732976366897 140732976369615 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 14196068 KiB
Current children cumulated memory: 44656 KiB

[startup+0.311588 s]*
/proc/loadavg: 2.06 2.01 1.88 3/217 31893
/proc/meminfo: memFree=14746656/32770624 swapFree=67108844/67108860
[pid=31877] ppid=31874 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/31877/stat : 31877 (xcsp3-exec) S 31874 31877 31211 0 -1 4202496 534 0 0 0 0 0 0 0 20 0 1 0 224423586 115843072 363 33554432000 4194304 5098028 140724337823184 140724337821288 140291184681596 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 13803520 140724337824827 140724337825028 140724337825028 140724337827786 0
/proc/31877/statm: 28282 363 306 221 0 87 0
[pid=31879] ppid=31877 vsize=14087196 memory=49820 CPUtime=0.52 cores=0,2,4,6
/proc/31879/stat : 31879 (java) S 31877 31877 31211 0 -1 1077944320 9104 0 0 0 49 3 0 0 20 0 15 0 224423586 14425288704 12455 33554432000 4194304 4196468 140732976363072 140732976345616 140085520252663 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 27021312 140732976366726 140732976366897 140732976366897 140732976369615 0
/proc/31879/statm: 3521799 12455 3250 1 0 3483012 0
[pid=31879/tid=31880] ppid=31877 vsize=14087196 memory=6791534058613427641 CPUtime=0.29 cores=0,2,4,6
/proc/31879/task/31880/stat : 31880 (java) R 31877 31877 31211 0 -1 4202560 6139 0 0 0 27 2 0 0 20 0 15 0 224423587 14425288704 12455 33554432000 4194304 4196468 140732976363072 140085524483776 140085504333150 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27021312 140732976366726 140732976366897 140732976366897 140732976369615 0
[pid=31879/tid=31881] ppid=31877 vsize=14087196 memory=6943526294502006880 CPUtime=0 cores=0,2,4,6
/proc/31879/task/31881/stat : 31881 (java) S 31877 31877 31211 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224423588 14425288704 12455 33554432000 4194304 4196468 140732976363072 140085472872720 140085520262869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27021312 140732976366726 140732976366897 140732976366897 140732976369615 0
[pid=31879/tid=31882] ppid=31877 vsize=14087196 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/31879/task/31882/stat : 31882 (java) S 31877 31877 31211 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224423588 14425288704 12455 33554432000 4194304 4196468 140732976363072 140085471820176 140085520262869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27021312 140732976366726 140732976366897 140732976366897 140732976369615 0
[pid=31879/tid=31883] ppid=31877 vsize=14087196 memory=-3258418265892434876 CPUtime=0 cores=0,2,4,6
/proc/31879/task/31883/stat : 31883 (java) S 31877 31877 31211 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224423588 14425288704 12455 33554432000 4194304 4196468 140732976363072 140085470767632 140085520262869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27021312 140732976366726 140732976366897 140732976366897 140732976369615 0
[pid=31879/tid=31884] ppid=31877 vsize=14087196 memory=4572146066226452084 CPUtime=0 cores=0,2,4,6
/proc/31879/task/31884/stat : 31884 (java) S 31877 31877 31211 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224423588 14425288704 12455 33554432000 4194304 4196468 140732976363072 140085469715088 140085520262869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27021312 140732976366726 140732976366897 140732976366897 140732976369615 0
[pid=31879/tid=31885] ppid=31877 vsize=14087196 memory=6944613755495348631 CPUtime=0 cores=0,2,4,6
/proc/31879/task/31885/stat : 31885 (java) S 31877 31877 31211 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 224423589 14425288704 12455 33554432000 4194304 4196468 140732976363072 140085061646832 140085520263810 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27021312 140732976366726 140732976366897 140732976366897 140732976369615 0
[pid=31879/tid=31886] ppid=31877 vsize=14087196 memory=7893295687695687954 CPUtime=0 cores=0,2,4,6
/proc/31879/task/31886/stat : 31886 (java) S 31877 31877 31211 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 224423589 14425288704 12455 33554432000 4194304 4196468 140732976363072 140085060593056 140085520262869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27021312 140732976366726 140732976366897 140732976366897 140732976369615 0
[pid=31879/tid=31887] ppid=31877 vsize=14087196 memory=-8813974798734826869 CPUtime=0 cores=0,2,4,6
/proc/31879/task/31887/stat : 31887 (java) S 31877 31877 31211 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 224423590 14425288704 12455 33554432000 4194304 4196468 140732976363072 140085059540464 140085520262869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27021312 140732976366726 140732976366897 140732976366897 140732976369615 0
[pid=31879/tid=31888] ppid=31877 vsize=14087196 memory=-6664436420846796947 CPUtime=0 cores=0,2,4,6
/proc/31879/task/31888/stat : 31888 (java) S 31877 31877 31211 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224423592 14425288704 12455 33554432000 4194304 4196468 140732976363072 140085058489040 140085520271259 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27021312 140732976366726 140732976366897 140732976366897 140732976369615 0
[pid=31879/tid=31889] ppid=31877 vsize=14087196 memory=4426078206164241782 CPUtime=0.05 cores=0,2,4,6
/proc/31879/task/31889/stat : 31889 (java) S 31877 31877 31211 0 -1 1077944384 676 0 0 0 5 0 0 0 20 0 15 0 224423592 14425288704 12455 33554432000 4194304 4196468 140732976363072 140085057435632 140085520263810 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27021312 140732976366726 140732976366897 140732976366897 140732976369615 0
[pid=31879/tid=31890] ppid=31877 vsize=14087196 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/31879/task/31890/stat : 31890 (java) S 31877 31877 31211 0 -1 1077944384 160 0 0 0 3 0 0 0 20 0 15 0 224423592 14425288704 12455 33554432000 4194304 4196468 140732976363072 140084427090032 140085520263810 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27021312 140732976366726 140732976366897 140732976366897 140732976369615 0
[pid=31879/tid=31891] ppid=31877 vsize=14087196 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/31879/task/31891/stat : 31891 (java) S 31877 31877 31211 0 -1 1077944384 822 0 0 0 12 0 0 0 20 0 15 0 224423592 14425288704 12455 33554432000 4194304 4196468 140732976363072 140084426037488 140085520263810 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27021312 140732976366726 140732976366897 140732976366897 140732976369615 0
[pid=31879/tid=31892] ppid=31877 vsize=14087196 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31879/task/31892/stat : 31892 (java) S 31877 31877 31211 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224423592 14425288704 12455 33554432000 4194304 4196468 140732976363072 140084424985184 140085520262869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27021312 140732976366726 140732976366897 140732976366897 140732976369615 0
[pid=31879/tid=31893] ppid=31877 vsize=14087196 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31879/task/31893/stat : 31893 (java) S 31877 31877 31211 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224423592 14425288704 12455 33554432000 4194304 4196468 140732976363072 140084423932720 140085520263810 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27021312 140732976366726 140732976366897 140732976366897 140732976369615 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 14200324 KiB
Current children cumulated memory: 51272 KiB

[startup+0.701742 s]
/proc/loadavg: 2.06 2.01 1.88 5/217 31893
/proc/meminfo: memFree=14717188/32770624 swapFree=67108844/67108860
[pid=31877] ppid=31874 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/31877/stat : 31877 (xcsp3-exec) S 31874 31877 31211 0 -1 4202496 534 0 0 0 0 0 0 0 20 0 1 0 224423586 115843072 363 33554432000 4194304 5098028 140724337823184 140724337821288 140291184681596 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 13803520 140724337824827 140724337825028 140724337825028 140724337827786 0
/proc/31877/statm: 28282 363 306 221 0 87 0
[pid=31879] ppid=31877 vsize=14089320 memory=98880 CPUtime=1.8 cores=0,2,4,6
/proc/31879/stat : 31879 (java) S 31877 31877 31211 0 -1 1077944320 12807 0 0 0 176 4 0 0 20 0 15 0 224423586 14427463680 24720 33554432000 4194304 4196468 140732976363072 140732976345616 140085520252663 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 27021312 140732976366726 140732976366897 140732976366897 140732976369615 0
/proc/31879/statm: 3522330 24720 3358 1 0 3483524 0
[pid=31879/tid=31880] ppid=31877 vsize=14089320 memory=0 CPUtime=0.67 cores=0,2,4,6
/proc/31879/task/31880/stat : 31880 (java) R 31877 31877 31211 0 -1 4202560 6887 0 0 0 64 3 0 0 20 0 15 0 224423587 14427463680 24720 33554432000 4194304 4196468 140732976363072 140085524482752 140085140003361 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27021312 140732976366726 140732976366897 140732976366897 140732976369615 0
[pid=31879/tid=31881] ppid=31877 vsize=14089320 memory=288230583149275406 CPUtime=0 cores=0,2,4,6
/proc/31879/task/31881/stat : 31881 (java) S 31877 31877 31211 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224423588 14427463680 24720 33554432000 4194304 4196468 140732976363072 140085472872720 140085520262869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27021312 140732976366726 140732976366897 140732976366897 140732976369615 0
[pid=31879/tid=31882] ppid=31877 vsize=14089320 memory=15261432669297800 CPUtime=0 cores=0,2,4,6
/proc/31879/task/31882/stat : 31882 (java) S 31877 31877 31211 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224423588 14427463680 24720 33554432000 4194304 4196468 140732976363072 140085471820176 140085520262869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27021312 140732976366726 140732976366897 140732976366897 140732976369615 0
[pid=31879/tid=31883] ppid=31877 vsize=14089320 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31879/task/31883/stat : 31883 (java) S 31877 31877 31211 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224423588 14427463680 24720 33554432000 4194304 4196468 140732976363072 140085470767632 140085520262869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27021312 140732976366726 140732976366897 140732976366897 140732976369615 0
[pid=31879/tid=31884] ppid=31877 vsize=14089320 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31879/task/31884/stat : 31884 (java) S 31877 31877 31211 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224423588 14427463680 24720 33554432000 4194304 4196468 140732976363072 140085469715088 140085520262869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27021312 140732976366726 140732976366897 140732976366897 140732976369615 0
[pid=31879/tid=31885] ppid=31877 vsize=14089320 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31879/task/31885/stat : 31885 (java) S 31877 31877 31211 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 224423589 14427463680 24720 33554432000 4194304 4196468 140732976363072 140085061646832 140085520263810 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27021312 140732976366726 140732976366897 140732976366897 140732976369615 0
[pid=31879/tid=31886] ppid=31877 vsize=14089320 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31879/task/31886/stat : 31886 (java) S 31877 31877 31211 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 224423589 14427463680 24720 33554432000 4194304 4196468 140732976363072 140085060593056 140085520262869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27021312 140732976366726 140732976366897 140732976366897 140732976369615 0
[pid=31879/tid=31887] ppid=31877 vsize=14089320 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31879/task/31887/stat : 31887 (java) S 31877 31877 31211 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 224423590 14427463680 24720 33554432000 4194304 4196468 140732976363072 140085059540464 140085520262869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27021312 140732976366726 140732976366897 140732976366897 140732976369615 0
[pid=31879/tid=31888] ppid=31877 vsize=14089320 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31879/task/31888/stat : 31888 (java) S 31877 31877 31211 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224423592 14427463680 24720 33554432000 4194304 4196468 140732976363072 140085058489040 140085520271259 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27021312 140732976366726 140732976366897 140732976366897 140732976369615 0
[pid=31879/tid=31889] ppid=31877 vsize=14089320 memory=0 CPUtime=0.36 cores=0,2,4,6
/proc/31879/task/31889/stat : 31889 (java) R 31877 31877 31211 0 -1 4202560 1403 0 0 0 36 0 0 0 20 0 15 0 224423592 14427463680 24720 33554432000 4194304 4196468 140732976363072 140085057422200 140085498142417 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 27021312 140732976366726 140732976366897 140732976366897 140732976369615 0
[pid=31879/tid=31890] ppid=31877 vsize=14089320 memory=0 CPUtime=0.37 cores=0,2,4,6
/proc/31879/task/31890/stat : 31890 (java) R 31877 31877 31211 0 -1 4202560 1221 0 0 0 37 0 0 0 20 0 15 0 224423592 14427463680 24720 33554432000 4194304 4196468 140732976363072 140084427080144 140085503753175 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27021312 140732976366726 140732976366897 140732976366897 140732976369615 0
[pid=31879/tid=31891] ppid=31877 vsize=14089320 memory=0 CPUtime=0.37 cores=0,2,4,6
/proc/31879/task/31891/stat : 31891 (java) S 31877 31877 31211 0 -1 1077944384 1988 0 0 0 37 0 0 0 20 0 15 0 224423592 14427463680 24720 33554432000 4194304 4196468 140732976363072 140084426037488 140085520263810 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27021312 140732976366726 140732976366897 140732976366897 140732976369615 0
[pid=31879/tid=31892] ppid=31877 vsize=14089320 memory=3908392577327655280 CPUtime=0 cores=0,2,4,6
/proc/31879/task/31892/stat : 31892 (java) S 31877 31877 31211 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224423592 14427463680 24720 33554432000 4194304 4196468 140732976363072 140084424985184 140085520262869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27021312 140732976366726 140732976366897 140732976366897 140732976369615 0
[pid=31879/tid=31893] ppid=31877 vsize=14089320 memory=7379256172833034849 CPUtime=0 cores=0,2,4,6
/proc/31879/task/31893/stat : 31893 (java) S 31877 31877 31211 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224423592 14427463680 24720 33554432000 4194304 4196468 140732976363072 140084423932720 140085520263810 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27021312 140732976366726 140732976366897 140732976366897 140732976369615 0
Current children cumulated CPU time: 1.8 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 100332 KiB

[startup+1.50174 s]
/proc/loadavg: 2.06 2.01 1.88 3/217 31893
/proc/meminfo: memFree=14694912/32770624 swapFree=67108844/67108860
[pid=31877] ppid=31874 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/31877/stat : 31877 (xcsp3-exec) S 31874 31877 31211 0 -1 4202496 534 0 0 0 0 0 0 0 20 0 1 0 224423586 115843072 363 33554432000 4194304 5098028 140724337823184 140724337821288 140291184681596 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 13803520 140724337824827 140724337825028 140724337825028 140724337827786 0
/proc/31877/statm: 28282 363 306 221 0 87 0

################
# More data... #
################

/proc/31877/stat : 31877 (xcsp3-exec) S 31874 31877 31211 0 -1 4202496 534 0 0 0 0 0 0 0 20 0 1 0 224423586 115843072 363 33554432000 4194304 5098028 140724337823184 140724337821288 140291184681596 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 13803520 140724337824827 140724337825028 140724337825028 140724337827786 0
/proc/31877/statm: 28282 363 306 221 0 87 0
[pid=31879] ppid=31877 vsize=14089320 memory=183520 CPUtime=10.53 cores=0,2,4,6
/proc/31879/stat : 31879 (java) S 31877 31877 31211 0 -1 1077944320 30840 0 0 0 1046 7 0 0 20 0 15 0 224423586 14427463680 45880 33554432000 4194304 4196468 140732976363072 140732976345616 140085520252663 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 27021312 140732976366726 140732976366897 140732976366897 140732976369615 0
/proc/31879/statm: 3522330 45880 3385 1 0 3483524 0
[pid=31879/tid=31880] ppid=31877 vsize=14089320 memory=6791534058613427641 CPUtime=7.16 cores=0,2,4,6
/proc/31879/task/31880/stat : 31880 (java) R 31877 31877 31211 0 -1 4202560 7924 0 0 0 713 3 0 0 20 0 15 0 224423587 14427463680 45880 33554432000 4194304 4196468 140732976363072 140085524491288 140085145066042 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27021312 140732976366726 140732976366897 140732976366897 140732976369615 0
[pid=31879/tid=31881] ppid=31877 vsize=14089320 memory=3300 CPUtime=0 cores=0,2,4,6
/proc/31879/task/31881/stat : 31881 (java) S 31877 31877 31211 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224423588 14427463680 45880 33554432000 4194304 4196468 140732976363072 140085472872720 140085520262869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27021312 140732976366726 140732976366897 140732976366897 140732976369615 0
[pid=31879/tid=31882] ppid=31877 vsize=14089320 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/31879/task/31882/stat : 31882 (java) S 31877 31877 31211 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224423588 14427463680 45880 33554432000 4194304 4196468 140732976363072 140085471820176 140085520262869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27021312 140732976366726 140732976366897 140732976366897 140732976369615 0
[pid=31879/tid=31883] ppid=31877 vsize=14089320 memory=2082624 CPUtime=0 cores=0,2,4,6
/proc/31879/task/31883/stat : 31883 (java) S 31877 31877 31211 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224423588 14427463680 45880 33554432000 4194304 4196468 140732976363072 140085470767632 140085520262869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27021312 140732976366726 140732976366897 140732976366897 140732976369615 0
[pid=31879/tid=31884] ppid=31877 vsize=14089320 memory=1404 CPUtime=0 cores=0,2,4,6
/proc/31879/task/31884/stat : 31884 (java) S 31877 31877 31211 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224423588 14427463680 45880 33554432000 4194304 4196468 140732976363072 140085469715088 140085520262869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27021312 140732976366726 140732976366897 140732976366897 140732976369615 0
[pid=31879/tid=31885] ppid=31877 vsize=14089320 memory=2496 CPUtime=0 cores=0,2,4,6
/proc/31879/task/31885/stat : 31885 (java) S 31877 31877 31211 0 -1 1077944384 278 0 0 0 0 0 0 0 20 0 15 0 224423589 14427463680 45880 33554432000 4194304 4196468 140732976363072 140085061646832 140085520263810 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27021312 140732976366726 140732976366897 140732976366897 140732976369615 0
[pid=31879/tid=31886] ppid=31877 vsize=14089320 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/31879/task/31886/stat : 31886 (java) S 31877 31877 31211 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 224423589 14427463680 45880 33554432000 4194304 4196468 140732976363072 140085060593056 140085520262869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27021312 140732976366726 140732976366897 140732976366897 140732976369615 0
[pid=31879/tid=31887] ppid=31877 vsize=14089320 memory=183520 CPUtime=0 cores=0,2,4,6
/proc/31879/task/31887/stat : 31887 (java) S 31877 31877 31211 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 224423590 14427463680 45880 33554432000 4194304 4196468 140732976363072 140085059540464 140085520262869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27021312 140732976366726 140732976366897 140732976366897 140732976369615 0
[pid=31879/tid=31888] ppid=31877 vsize=14089320 memory=6655300316396806240 CPUtime=0 cores=0,2,4,6
/proc/31879/task/31888/stat : 31888 (java) S 31877 31877 31211 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224423592 14427463680 45880 33554432000 4194304 4196468 140732976363072 140085058489040 140085520271259 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27021312 140732976366726 140732976366897 140732976366897 140732976369615 0
[pid=31879/tid=31889] ppid=31877 vsize=14089320 memory=6943526294502006880 CPUtime=1.5 cores=0,2,4,6
/proc/31879/task/31889/stat : 31889 (java) S 31877 31877 31211 0 -1 1077944384 10280 0 0 0 149 1 0 0 20 0 15 0 224423592 14427463680 45880 33554432000 4194304 4196468 140732976363072 140085057435632 140085520263810 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27021312 140732976366726 140732976366897 140732976366897 140732976369615 0
[pid=31879/tid=31890] ppid=31877 vsize=14089320 memory=6944656592455359580 CPUtime=1.35 cores=0,2,4,6
/proc/31879/task/31890/stat : 31890 (java) S 31877 31877 31211 0 -1 1077944384 7439 0 0 0 134 1 0 0 20 0 15 0 224423592 14427463680 45880 33554432000 4194304 4196468 140732976363072 140084427090032 140085520263810 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27021312 140732976366726 140732976366897 140732976366897 140732976369615 0
[pid=31879/tid=31891] ppid=31877 vsize=14089320 memory=6944652177228980320 CPUtime=0.47 cores=0,2,4,6
/proc/31879/task/31891/stat : 31891 (java) S 31877 31877 31211 0 -1 1077944384 2813 0 0 0 47 0 0 0 20 0 15 0 224423592 14427463680 45880 33554432000 4194304 4196468 140732976363072 140084426037488 140085520263810 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27021312 140732976366726 140732976366897 140732976366897 140732976369615 0
[pid=31879/tid=31892] ppid=31877 vsize=14089320 memory=6656426216303648864 CPUtime=0 cores=0,2,4,6
/proc/31879/task/31892/stat : 31892 (java) S 31877 31877 31211 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224423592 14427463680 45880 33554432000 4194304 4196468 140732976363072 140084424985184 140085520262869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27021312 140732976366726 140732976366897 140732976366897 140732976369615 0
[pid=31879/tid=31893] ppid=31877 vsize=14089320 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/31879/task/31893/stat : 31893 (java) S 31877 31877 31211 0 -1 1077944384 804 0 0 0 0 0 0 0 20 0 15 0 224423592 14427463680 45880 33554432000 4194304 4196468 140732976363072 140084423932720 140085520263810 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27021312 140732976366726 140732976366897 140732976366897 140732976369615 0
Current children cumulated CPU time: 10.53 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 184972 KiB

[startup+8.00074 s]*
/proc/loadavg: 2.05 2.01 1.88 3/217 31893
/proc/meminfo: memFree=14576944/32770624 swapFree=67108844/67108860
[pid=31877] ppid=31874 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/31877/stat : 31877 (xcsp3-exec) S 31874 31877 31211 0 -1 4202496 534 0 0 0 0 0 0 0 20 0 1 0 224423586 115843072 363 33554432000 4194304 5098028 140724337823184 140724337821288 140291184681596 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 13803520 140724337824827 140724337825028 140724337825028 140724337827786 0
/proc/31877/statm: 28282 363 306 221 0 87 0
[pid=31879] ppid=31877 vsize=14089320 memory=187616 CPUtime=11.33 cores=0,2,4,6
/proc/31879/stat : 31879 (java) S 31877 31877 31211 0 -1 1077944320 30880 0 0 0 1126 7 0 0 20 0 15 0 224423586 14427463680 46904 33554432000 4194304 4196468 140732976363072 140732976345616 140085520252663 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 27021312 140732976366726 140732976366897 140732976366897 140732976369615 0
/proc/31879/statm: 3522330 46904 3385 1 0 3483524 0
[pid=31879/tid=31880] ppid=31877 vsize=14089320 memory=6791534058613427641 CPUtime=7.97 cores=0,2,4,6
/proc/31879/task/31880/stat : 31880 (java) R 31877 31877 31211 0 -1 4202560 7962 0 0 0 794 3 0 0 20 0 15 0 224423587 14427463680 46904 33554432000 4194304 4196468 140732976363072 140085524491448 140085144651078 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27021312 140732976366726 140732976366897 140732976366897 140732976369615 0
[pid=31879/tid=31881] ppid=31877 vsize=14089320 memory=10464 CPUtime=0 cores=0,2,4,6
/proc/31879/task/31881/stat : 31881 (java) S 31877 31877 31211 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224423588 14427463680 46904 33554432000 4194304 4196468 140732976363072 140085472872720 140085520262869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27021312 140732976366726 140732976366897 140732976366897 140732976369615 0
[pid=31879/tid=31882] ppid=31877 vsize=14089320 memory=1700 CPUtime=0 cores=0,2,4,6
/proc/31879/task/31882/stat : 31882 (java) S 31877 31877 31211 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224423588 14427463680 46904 33554432000 4194304 4196468 140732976363072 140085471820176 140085520262869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27021312 140732976366726 140732976366897 140732976366897 140732976369615 0
[pid=31879/tid=31883] ppid=31877 vsize=14089320 memory=1168 CPUtime=0 cores=0,2,4,6
/proc/31879/task/31883/stat : 31883 (java) S 31877 31877 31211 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224423588 14427463680 46904 33554432000 4194304 4196468 140732976363072 140085470767632 140085520262869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27021312 140732976366726 140732976366897 140732976366897 140732976369615 0
[pid=31879/tid=31884] ppid=31877 vsize=14089320 memory=1808 CPUtime=0 cores=0,2,4,6
/proc/31879/task/31884/stat : 31884 (java) S 31877 31877 31211 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224423588 14427463680 46904 33554432000 4194304 4196468 140732976363072 140085469715088 140085520262869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27021312 140732976366726 140732976366897 140732976366897 140732976369615 0
[pid=31879/tid=31885] ppid=31877 vsize=14089320 memory=1020 CPUtime=0 cores=0,2,4,6
/proc/31879/task/31885/stat : 31885 (java) S 31877 31877 31211 0 -1 1077944384 278 0 0 0 0 0 0 0 20 0 15 0 224423589 14427463680 46904 33554432000 4194304 4196468 140732976363072 140085061646832 140085520263810 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27021312 140732976366726 140732976366897 140732976366897 140732976369615 0
[pid=31879/tid=31886] ppid=31877 vsize=14089320 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31879/task/31886/stat : 31886 (java) S 31877 31877 31211 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 224423589 14427463680 46904 33554432000 4194304 4196468 140732976363072 140085060593056 140085520262869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27021312 140732976366726 140732976366897 140732976366897 140732976369615 0
[pid=31879/tid=31887] ppid=31877 vsize=14089320 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31879/task/31887/stat : 31887 (java) S 31877 31877 31211 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 224423590 14427463680 46904 33554432000 4194304 4196468 140732976363072 140085059540464 140085520262869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27021312 140732976366726 140732976366897 140732976366897 140732976369615 0
[pid=31879/tid=31888] ppid=31877 vsize=14089320 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31879/task/31888/stat : 31888 (java) S 31877 31877 31211 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224423592 14427463680 46904 33554432000 4194304 4196468 140732976363072 140085058489040 140085520271259 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27021312 140732976366726 140732976366897 140732976366897 140732976369615 0
[pid=31879/tid=31889] ppid=31877 vsize=14089320 memory=0 CPUtime=1.5 cores=0,2,4,6
/proc/31879/task/31889/stat : 31889 (java) S 31877 31877 31211 0 -1 1077944384 10280 0 0 0 149 1 0 0 20 0 15 0 224423592 14427463680 46904 33554432000 4194304 4196468 140732976363072 140085057435632 140085520263810 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27021312 140732976366726 140732976366897 140732976366897 140732976369615 0
[pid=31879/tid=31890] ppid=31877 vsize=14089320 memory=0 CPUtime=1.35 cores=0,2,4,6
/proc/31879/task/31890/stat : 31890 (java) S 31877 31877 31211 0 -1 1077944384 7439 0 0 0 134 1 0 0 20 0 15 0 224423592 14427463680 46904 33554432000 4194304 4196468 140732976363072 140084427090032 140085520263810 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27021312 140732976366726 140732976366897 140732976366897 140732976369615 0
[pid=31879/tid=31891] ppid=31877 vsize=14089320 memory=0 CPUtime=0.47 cores=0,2,4,6
/proc/31879/task/31891/stat : 31891 (java) S 31877 31877 31211 0 -1 1077944384 2815 0 0 0 47 0 0 0 20 0 15 0 224423592 14427463680 46904 33554432000 4194304 4196468 140732976363072 140084426037488 140085520263810 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27021312 140732976366726 140732976366897 140732976366897 140732976369615 0
[pid=31879/tid=31892] ppid=31877 vsize=14089320 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31879/task/31892/stat : 31892 (java) S 31877 31877 31211 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224423592 14427463680 46904 33554432000 4194304 4196468 140732976363072 140084424985184 140085520262869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27021312 140732976366726 140732976366897 140732976366897 140732976369615 0
[pid=31879/tid=31893] ppid=31877 vsize=14089320 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31879/task/31893/stat : 31893 (java) S 31877 31877 31211 0 -1 1077944384 804 0 0 0 0 0 0 0 20 0 15 0 224423592 14427463680 46904 33554432000 4194304 4196468 140732976363072 140084423932720 140085520263810 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27021312 140732976366726 140732976366897 140732976366897 140732976369615 0
Current children cumulated CPU time: 11.33 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 189068 KiB

[startup+8.20074 s]
/proc/loadavg: 2.05 2.01 1.88 3/217 31893
/proc/meminfo: memFree=14576944/32770624 swapFree=67108844/67108860
[pid=31877] ppid=31874 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/31877/stat : 31877 (xcsp3-exec) S 31874 31877 31211 0 -1 4202496 534 0 0 0 0 0 0 0 20 0 1 0 224423586 115843072 363 33554432000 4194304 5098028 140724337823184 140724337821288 140291184681596 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 13803520 140724337824827 140724337825028 140724337825028 140724337827786 0
/proc/31877/statm: 28282 363 306 221 0 87 0
[pid=31879] ppid=31877 vsize=14089320 memory=187616 CPUtime=11.53 cores=0,2,4,6
/proc/31879/stat : 31879 (java) S 31877 31877 31211 0 -1 1077944320 30880 0 0 0 1146 7 0 0 20 0 15 0 224423586 14427463680 46904 33554432000 4194304 4196468 140732976363072 140732976345616 140085520252663 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 27021312 140732976366726 140732976366897 140732976366897 140732976369615 0
/proc/31879/statm: 3522330 46904 3385 1 0 3483524 0
[pid=31879/tid=31880] ppid=31877 vsize=14089320 memory=303485207477402636 CPUtime=8.16 cores=0,2,4,6
/proc/31879/task/31880/stat : 31880 (java) R 31877 31877 31211 0 -1 4202560 7962 0 0 0 813 3 0 0 20 0 15 0 224423587 14427463680 46904 33554432000 4194304 4196468 140732976363072 140085524491448 140085144651029 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27021312 140732976366726 140732976366897 140732976366897 140732976369615 0
[pid=31879/tid=31881] ppid=31877 vsize=14089320 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31879/task/31881/stat : 31881 (java) S 31877 31877 31211 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224423588 14427463680 46904 33554432000 4194304 4196468 140732976363072 140085472872720 140085520262869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27021312 140732976366726 140732976366897 140732976366897 140732976369615 0
[pid=31879/tid=31882] ppid=31877 vsize=14089320 memory=8258935817392177731 CPUtime=0 cores=0,2,4,6
/proc/31879/task/31882/stat : 31882 (java) S 31877 31877 31211 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224423588 14427463680 46904 33554432000 4194304 4196468 140732976363072 140085471820176 140085520262869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27021312 140732976366726 140732976366897 140732976366897 140732976369615 0
[pid=31879/tid=31883] ppid=31877 vsize=14089320 memory=-7306661995871444341 CPUtime=0 cores=0,2,4,6
/proc/31879/task/31883/stat : 31883 (java) S 31877 31877 31211 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224423588 14427463680 46904 33554432000 4194304 4196468 140732976363072 140085470767632 140085520262869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27021312 140732976366726 140732976366897 140732976366897 140732976369615 0
[pid=31879/tid=31884] ppid=31877 vsize=14089320 memory=4282219044545590826 CPUtime=0 cores=0,2,4,6
/proc/31879/task/31884/stat : 31884 (java) S 31877 31877 31211 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224423588 14427463680 46904 33554432000 4194304 4196468 140732976363072 140085469715088 140085520262869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27021312 140732976366726 140732976366897 140732976366897 140732976369615 0
[pid=31879/tid=31885] ppid=31877 vsize=14089320 memory=-6526411401870300574 CPUtime=0 cores=0,2,4,6
/proc/31879/task/31885/stat : 31885 (java) S 31877 31877 31211 0 -1 1077944384 278 0 0 0 0 0 0 0 20 0 15 0 224423589 14427463680 46904 33554432000 4194304 4196468 140732976363072 140085061646832 140085520263810 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27021312 140732976366726 140732976366897 140732976366897 140732976369615 0
[pid=31879/tid=31886] ppid=31877 vsize=14089320 memory=-8412658762450966387 CPUtime=0 cores=0,2,4,6
/proc/31879/task/31886/stat : 31886 (java) S 31877 31877 31211 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 224423589 14427463680 46904 33554432000 4194304 4196468 140732976363072 140085060593056 140085520262869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27021312 140732976366726 140732976366897 140732976366897 140732976369615 0
[pid=31879/tid=31887] ppid=31877 vsize=14089320 memory=4132769004644038186 CPUtime=0 cores=0,2,4,6
/proc/31879/task/31887/stat : 31887 (java) S 31877 31877 31211 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 224423590 14427463680 46904 33554432000 4194304 4196468 140732976363072 140085059540464 140085520262869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27021312 140732976366726 140732976366897 140732976366897 140732976369615 0
[pid=31879/tid=31888] ppid=31877 vsize=14089320 memory=8043879207858435603 CPUtime=0 cores=0,2,4,6
/proc/31879/task/31888/stat : 31888 (java) S 31877 31877 31211 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224423592 14427463680 46904 33554432000 4194304 4196468 140732976363072 140085058489040 140085520271259 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27021312 140732976366726 140732976366897 140732976366897 140732976369615 0
[pid=31879/tid=31889] ppid=31877 vsize=14089320 memory=-6234758880078832264 CPUtime=1.5 cores=0,2,4,6
/proc/31879/task/31889/stat : 31889 (java) S 31877 31877 31211 0 -1 1077944384 10280 0 0 0 149 1 0 0 20 0 15 0 224423592 14427463680 46904 33554432000 4194304 4196468 140732976363072 140085057435632 140085520263810 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27021312 140732976366726 140732976366897 140732976366897 140732976369615 0
[pid=31879/tid=31890] ppid=31877 vsize=14089320 memory=-7750001083477550754 CPUtime=1.35 cores=0,2,4,6
/proc/31879/task/31890/stat : 31890 (java) S 31877 31877 31211 0 -1 1077944384 7439 0 0 0 134 1 0 0 20 0 15 0 224423592 14427463680 46904 33554432000 4194304 4196468 140732976363072 140084427090032 140085520263810 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27021312 140732976366726 140732976366897 140732976366897 140732976369615 0
[pid=31879/tid=31891] ppid=31877 vsize=14089320 memory=-5424205034927602786 CPUtime=0.47 cores=0,2,4,6
/proc/31879/task/31891/stat : 31891 (java) S 31877 31877 31211 0 -1 1077944384 2815 0 0 0 47 0 0 0 20 0 15 0 224423592 14427463680 46904 33554432000 4194304 4196468 140732976363072 140084426037488 140085520263810 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27021312 140732976366726 140732976366897 140732976366897 140732976369615 0
[pid=31879/tid=31892] ppid=31877 vsize=14089320 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31879/task/31892/stat : 31892 (java) S 31877 31877 31211 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224423592 14427463680 46904 33554432000 4194304 4196468 140732976363072 140084424985184 140085520262869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27021312 140732976366726 140732976366897 140732976366897 140732976369615 0
[pid=31879/tid=31893] ppid=31877 vsize=14089320 memory=45501256 CPUtime=0 cores=0,2,4,6
/proc/31879/task/31893/stat : 31893 (java) S 31877 31877 31211 0 -1 1077944384 804 0 0 0 0 0 0 0 20 0 15 0 224423592 14427463680 46904 33554432000 4194304 4196468 140732976363072 140084423932720 140085520263810 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27021312 140732976366726 140732976366897 140732976366897 140732976369615 0
Current children cumulated CPU time: 11.53 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 189068 KiB

[startup+8.30075 s]
/proc/loadavg: 2.05 2.01 1.88 3/217 31893
/proc/meminfo: memFree=14576944/32770624 swapFree=67108844/67108860
[pid=31877] ppid=31874 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/31877/stat : 31877 (xcsp3-exec) S 31874 31877 31211 0 -1 4202496 534 0 0 0 0 0 0 0 20 0 1 0 224423586 115843072 363 33554432000 4194304 5098028 140724337823184 140724337821288 140291184681596 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 13803520 140724337824827 140724337825028 140724337825028 140724337827786 0
/proc/31877/statm: 28282 363 306 221 0 87 0
[pid=31879] ppid=31877 vsize=14089320 memory=187616 CPUtime=11.63 cores=0,2,4,6
/proc/31879/stat : 31879 (java) S 31877 31877 31211 0 -1 1077944320 30880 0 0 0 1156 7 0 0 20 0 15 0 224423586 14427463680 46904 33554432000 4194304 4196468 140732976363072 140732976345616 140085520252663 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 27021312 140732976366726 140732976366897 140732976366897 140732976369615 0
/proc/31879/statm: 3522330 46904 3385 1 0 3483524 0
[pid=31879/tid=31880] ppid=31877 vsize=14089320 memory=1452 CPUtime=8.26 cores=0,2,4,6
/proc/31879/task/31880/stat : 31880 (java) R 31877 31877 31211 0 -1 4202560 7962 0 0 0 823 3 0 0 20 0 15 0 224423587 14427463680 46904 33554432000 4194304 4196468 140732976363072 140085524491448 140085144650976 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27021312 140732976366726 140732976366897 140732976366897 140732976369615 0
[pid=31879/tid=31881] ppid=31877 vsize=14089320 memory=187616 CPUtime=0 cores=0,2,4,6
/proc/31879/task/31881/stat : 31881 (java) S 31877 31877 31211 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224423588 14427463680 46904 33554432000 4194304 4196468 140732976363072 140085472872720 140085520262869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27021312 140732976366726 140732976366897 140732976366897 140732976369615 0
[pid=31879/tid=31882] ppid=31877 vsize=14089320 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31879/task/31882/stat : 31882 (java) S 31877 31877 31211 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224423588 14427463680 46904 33554432000 4194304 4196468 140732976363072 140085471820176 140085520262869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27021312 140732976366726 140732976366897 140732976366897 140732976369615 0
[pid=31879/tid=31883] ppid=31877 vsize=14089320 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31879/task/31883/stat : 31883 (java) S 31877 31877 31211 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224423588 14427463680 46904 33554432000 4194304 4196468 140732976363072 140085470767632 140085520262869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27021312 140732976366726 140732976366897 140732976366897 140732976369615 0
[pid=31879/tid=31884] ppid=31877 vsize=14089320 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31879/task/31884/stat : 31884 (java) S 31877 31877 31211 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224423588 14427463680 46904 33554432000 4194304 4196468 140732976363072 140085469715088 140085520262869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27021312 140732976366726 140732976366897 140732976366897 140732976369615 0
[pid=31879/tid=31885] ppid=31877 vsize=14089320 memory=56 CPUtime=0 cores=0,2,4,6
/proc/31879/task/31885/stat : 31885 (java) S 31877 31877 31211 0 -1 1077944384 278 0 0 0 0 0 0 0 20 0 15 0 224423589 14427463680 46904 33554432000 4194304 4196468 140732976363072 140085061646832 140085520263810 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27021312 140732976366726 140732976366897 140732976366897 140732976369615 0
[pid=31879/tid=31886] ppid=31877 vsize=14089320 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31879/task/31886/stat : 31886 (java) S 31877 31877 31211 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 224423589 14427463680 46904 33554432000 4194304 4196468 140732976363072 140085060593056 140085520262869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27021312 140732976366726 140732976366897 140732976366897 140732976369615 0
[pid=31879/tid=31887] ppid=31877 vsize=14089320 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31879/task/31887/stat : 31887 (java) S 31877 31877 31211 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 224423590 14427463680 46904 33554432000 4194304 4196468 140732976363072 140085059540464 140085520262869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27021312 140732976366726 140732976366897 140732976366897 140732976369615 0
[pid=31879/tid=31888] ppid=31877 vsize=14089320 memory=185568 CPUtime=0 cores=0,2,4,6
/proc/31879/task/31888/stat : 31888 (java) S 31877 31877 31211 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224423592 14427463680 46904 33554432000 4194304 4196468 140732976363072 140085058489040 140085520271259 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27021312 140732976366726 140732976366897 140732976366897 140732976369615 0
[pid=31879/tid=31889] ppid=31877 vsize=14089320 memory=363 CPUtime=1.5 cores=0,2,4,6
/proc/31879/task/31889/stat : 31889 (java) S 31877 31877 31211 0 -1 1077944384 10280 0 0 0 149 1 0 0 20 0 15 0 224423592 14427463680 46904 33554432000 4194304 4196468 140732976363072 140085057435632 140085520263810 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27021312 140732976366726 140732976366897 140732976366897 140732976369615 0
[pid=31879/tid=31890] ppid=31877 vsize=14089320 memory=1452 CPUtime=1.35 cores=0,2,4,6
/proc/31879/task/31890/stat : 31890 (java) S 31877 31877 31211 0 -1 1077944384 7439 0 0 0 134 1 0 0 20 0 15 0 224423592 14427463680 46904 33554432000 4194304 4196468 140732976363072 140084427090032 140085520263810 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27021312 140732976366726 140732976366897 140732976366897 140732976369615 0
[pid=31879/tid=31891] ppid=31877 vsize=14089320 memory=185568 CPUtime=0.47 cores=0,2,4,6
/proc/31879/task/31891/stat : 31891 (java) S 31877 31877 31211 0 -1 1077944384 2815 0 0 0 47 0 0 0 20 0 15 0 224423592 14427463680 46904 33554432000 4194304 4196468 140732976363072 140084426037488 140085520263810 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27021312 140732976366726 140732976366897 140732976366897 140732976369615 0
[pid=31879/tid=31892] ppid=31877 vsize=14089320 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/31879/task/31892/stat : 31892 (java) S 31877 31877 31211 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224423592 14427463680 46904 33554432000 4194304 4196468 140732976363072 140084424985184 140085520262869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27021312 140732976366726 140732976366897 140732976366897 140732976369615 0
[pid=31879/tid=31893] ppid=31877 vsize=14089320 memory=183520 CPUtime=0 cores=0,2,4,6
/proc/31879/task/31893/stat : 31893 (java) S 31877 31877 31211 0 -1 1077944384 804 0 0 0 0 0 0 0 20 0 15 0 224423592 14427463680 46904 33554432000 4194304 4196468 140732976363072 140084423932720 140085520263810 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27021312 140732976366726 140732976366897 140732976366897 140732976369615 0
Current children cumulated CPU time: 11.63 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 189068 KiB

Child status: 0
Real time (s): 8.36811
CPU time (s): 11.714
CPU user time (s): 11.6269
CPU system time (s): 0.087072
CPU usage (%): 139.984
Max. virtual memory (cumulated for all children) (KiB): 14204384
Max. memory (cumulated for all children) (KiB): 189068

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 11.6269
system time used= 0.087072
maximum resident set size= 187968
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 33480
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2122
involuntary context switches= 52


# summary of solver processes directly reported to runsolver:
#   pid: 31877
#   total CPU time (s): 11.714
#   total CPU user time (s): 11.6269
#   total CPU system time (s): 0.087072

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.064208 second user time and 0.132337 second system time

The end