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 (9782 MiB free)
memory of node 1: 16384 MiB (13395 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4306603-1534095837/watcher-4306603-1534095837 -o /tmp/evaluation-result-4306603-1534095837/solver-4306603-1534095837 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node106-1534095837-31733 --watchdog 2580 HOME/xcsp3-exec -seed 1197770079 -dir HOME -tl 2520 -ml 11000 -p 1 HOME/instance-4306603-1534095837.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=31765, runsolver pid=31762
[startup+0.100108 s]*
/proc/loadavg: 1.33 1.34 1.42 4/218 31794
/proc/meminfo: memFree=23701604/32770624 swapFree=67108688/67108860
[pid=31765] ppid=31762 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/31765/stat : 31765 (xcsp3-exec) S 31762 31765 31702 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 227146567 115843072 364 33554432000 4194304 5098028 140727926699312 140727926697416 139676228289148 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 23187456 140727926703162 140727926703364 140727926703364 140727926706122 0
/proc/31765/statm: 28282 364 306 221 0 87 0
[pid=31771] ppid=31765 vsize=14082940 memory=29032 CPUtime=0.12 cores=0,2,4,6
/proc/31771/stat : 31771 (java) S 31765 31765 31702 0 -1 1077944320 5626 0 0 0 11 1 0 0 20 0 15 0 227146567 14420930560 7258 33554432000 4194304 4196468 140727318561904 140727318544448 140134861602551 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 27009024 140727318566022 140727318566193 140727318566193 140727318568911 0
/proc/31771/statm: 3520735 7258 3024 1 0 3483012 0
[pid=31771/tid=31772] ppid=31765 vsize=14083932 memory=-6962121287837372198 CPUtime=0.08 cores=0,2,4,6
/proc/31771/task/31772/stat : 31772 (java) R 31765 31765 31702 0 -1 4202560 3645 0 0 0 8 0 0 0 20 0 15 0 227146568 14421946368 7324 33554432000 4194304 4196468 140727318561904 140134865822768 140134854282269 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27009024 140727318566022 140727318566193 140727318566193 140727318568911 0
[pid=31771/tid=31773] ppid=31765 vsize=14083932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31771/task/31773/stat : 31773 (java) S 31765 31765 31702 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 227146569 14421946368 7324 33554432000 4194304 4196468 140727318561904 140134791691024 140134861612757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27009024 140727318566022 140727318566193 140727318566193 140727318568911 0
[pid=31771/tid=31774] ppid=31765 vsize=14083932 memory=139844081665664 CPUtime=0 cores=0,2,4,6
/proc/31771/task/31774/stat : 31774 (java) S 31765 31765 31702 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 227146569 14421946368 7324 33554432000 4194304 4196468 140727318561904 140134790638480 140134861612757 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27009024 140727318566022 140727318566193 140727318566193 140727318568911 0
[pid=31771/tid=31775] ppid=31765 vsize=14083932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31771/task/31775/stat : 31775 (java) S 31765 31765 31702 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 227146569 14421946368 7324 33554432000 4194304 4196468 140727318561904 140134789585936 140134861612757 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27009024 140727318566022 140727318566193 140727318566193 140727318568911 0
[pid=31771/tid=31776] ppid=31765 vsize=14083932 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31771/task/31776/stat : 31776 (java) S 31765 31765 31702 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 227146569 14421946368 7324 33554432000 4194304 4196468 140727318561904 140134788533392 140134861612757 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27009024 140727318566022 140727318566193 140727318566193 140727318568911 0
[pid=31771/tid=31780] ppid=31765 vsize=14083932 memory=139844081665664 CPUtime=0 cores=0,2,4,6
/proc/31771/task/31780/stat : 31780 (java) S 31765 31765 31702 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 227146570 14421946368 7390 33554432000 4194304 4196468 140727318561904 140134335334384 140134861613698 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27009024 140727318566022 140727318566193 140727318566193 140727318568911 0
[pid=31771/tid=31781] ppid=31765 vsize=14083932 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31771/task/31781/stat : 31781 (java) S 31765 31765 31702 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 227146570 14421946368 7390 33554432000 4194304 4196468 140727318561904 140134334280608 140134861612757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27009024 140727318566022 140727318566193 140727318566193 140727318568911 0
[pid=31771/tid=31782] ppid=31765 vsize=14083932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31771/task/31782/stat : 31782 (java) S 31765 31765 31702 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 227146571 14421946368 7390 33554432000 4194304 4196468 140727318561904 140134333228016 140134861612757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27009024 140727318566022 140727318566193 140727318566193 140727318568911 0
[pid=31771/tid=31789] ppid=31765 vsize=14083932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31771/task/31789/stat : 31789 (java) S 31765 31765 31702 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 227146573 14421946368 7390 33554432000 4194304 4196468 140727318561904 140134332176592 140134861621147 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27009024 140727318566022 140727318566193 140727318566193 140727318568911 0
[pid=31771/tid=31790] ppid=31765 vsize=14083932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31771/task/31790/stat : 31790 (java) S 31765 31765 31702 0 -1 1077944384 300 0 0 0 0 0 0 0 20 0 15 0 227146573 14421946368 7456 33554432000 4194304 4196468 140727318561904 140134331124208 140134861613698 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27009024 140727318566022 140727318566193 140727318566193 140727318568911 0
[pid=31771/tid=31791] ppid=31765 vsize=14083932 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31771/task/31791/stat : 31791 (java) S 31765 31765 31702 0 -1 1077944384 121 0 0 0 0 0 0 0 20 0 15 0 227146573 14421946368 7456 33554432000 4194304 4196468 140727318561904 140134330071664 140134861613698 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27009024 140727318566022 140727318566193 140727318566193 140727318568911 0
[pid=31771/tid=31792] ppid=31765 vsize=14083932 memory=139844081665664 CPUtime=0.01 cores=0,2,4,6
/proc/31771/task/31792/stat : 31792 (java) S 31765 31765 31702 0 -1 1077944384 266 0 0 0 1 0 0 0 20 0 15 0 227146573 14421946368 7456 33554432000 4194304 4196468 140727318561904 140134329019120 140134861613698 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27009024 140727318566022 140727318566193 140727318566193 140727318568911 0
[pid=31771/tid=31793] ppid=31765 vsize=14083932 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31771/task/31793/stat : 31793 (java) S 31765 31765 31702 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 227146573 14421946368 7456 33554432000 4194304 4196468 140727318561904 140134327966816 140134861612757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27009024 140727318566022 140727318566193 140727318566193 140727318568911 0
[pid=31771/tid=31794] ppid=31765 vsize=14083932 memory=139844081665664 CPUtime=0 cores=0,2,4,6
/proc/31771/task/31794/stat : 31794 (java) S 31765 31765 31702 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 227146573 14421946368 7456 33554432000 4194304 4196468 140727318561904 140134326913328 140134861613698 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27009024 140727318566022 140727318566193 140727318566193 140727318568911 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14196068 KiB
Current children cumulated memory: 30488 KiB
[startup+0.210695 s]*
/proc/loadavg: 1.33 1.34 1.42 4/218 31794
/proc/meminfo: memFree=23679452/32770624 swapFree=67108688/67108860
[pid=31765] ppid=31762 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/31765/stat : 31765 (xcsp3-exec) S 31762 31765 31702 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 227146567 115843072 364 33554432000 4194304 5098028 140727926699312 140727926697416 139676228289148 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 23187456 140727926703162 140727926703364 140727926703364 140727926706122 0
/proc/31765/statm: 28282 364 306 221 0 87 0
[pid=31771] ppid=31765 vsize=14087196 memory=40808 CPUtime=0.33 cores=0,2,4,6
/proc/31771/stat : 31771 (java) S 31765 31765 31702 0 -1 1077944320 8241 0 0 0 30 3 0 0 20 0 15 0 227146567 14425288704 10202 33554432000 4194304 4196468 140727318561904 140727318544448 140134861602551 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 27009024 140727318566022 140727318566193 140727318566193 140727318568911 0
/proc/31771/statm: 3521799 10202 3190 1 0 3483012 0
[pid=31771/tid=31772] ppid=31765 vsize=14087196 memory=7883960649037381690 CPUtime=0.2 cores=0,2,4,6
/proc/31771/task/31772/stat : 31772 (java) R 31765 31765 31702 0 -1 4202560 5453 0 0 0 18 2 0 0 20 0 15 0 227146568 14425288704 10202 33554432000 4194304 4196468 140727318561904 140134865823544 140134845683038 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27009024 140727318566022 140727318566193 140727318566193 140727318568911 0
[pid=31771/tid=31773] ppid=31765 vsize=14087196 memory=12630 CPUtime=0 cores=0,2,4,6
/proc/31771/task/31773/stat : 31773 (java) S 31765 31765 31702 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 227146569 14425288704 10202 33554432000 4194304 4196468 140727318561904 140134791691024 140134861612757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27009024 140727318566022 140727318566193 140727318566193 140727318568911 0
[pid=31771/tid=31774] ppid=31765 vsize=14087196 memory=139844081696833 CPUtime=0 cores=0,2,4,6
/proc/31771/task/31774/stat : 31774 (java) S 31765 31765 31702 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 227146569 14425288704 10202 33554432000 4194304 4196468 140727318561904 140134790638480 140134861612757 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27009024 140727318566022 140727318566193 140727318566193 140727318568911 0
[pid=31771/tid=31775] ppid=31765 vsize=14087196 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31771/task/31775/stat : 31775 (java) S 31765 31765 31702 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 227146569 14425288704 10202 33554432000 4194304 4196468 140727318561904 140134789585936 140134861612757 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27009024 140727318566022 140727318566193 140727318566193 140727318568911 0
[pid=31771/tid=31776] ppid=31765 vsize=14087196 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31771/task/31776/stat : 31776 (java) S 31765 31765 31702 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 227146569 14425288704 10202 33554432000 4194304 4196468 140727318561904 140134788533392 140134861612757 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27009024 140727318566022 140727318566193 140727318566193 140727318568911 0
[pid=31771/tid=31780] ppid=31765 vsize=14087196 memory=139844081665664 CPUtime=0 cores=0,2,4,6
/proc/31771/task/31780/stat : 31780 (java) S 31765 31765 31702 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 227146570 14425288704 10202 33554432000 4194304 4196468 140727318561904 140134335334384 140134861613698 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27009024 140727318566022 140727318566193 140727318566193 140727318568911 0
[pid=31771/tid=31781] ppid=31765 vsize=14087196 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31771/task/31781/stat : 31781 (java) S 31765 31765 31702 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 227146570 14425288704 10202 33554432000 4194304 4196468 140727318561904 140134334280608 140134861612757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27009024 140727318566022 140727318566193 140727318566193 140727318568911 0
[pid=31771/tid=31782] ppid=31765 vsize=14087196 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31771/task/31782/stat : 31782 (java) S 31765 31765 31702 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 227146571 14425288704 10202 33554432000 4194304 4196468 140727318561904 140134333228016 140134861612757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27009024 140727318566022 140727318566193 140727318566193 140727318568911 0
[pid=31771/tid=31789] ppid=31765 vsize=14087196 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31771/task/31789/stat : 31789 (java) S 31765 31765 31702 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 227146573 14425288704 10202 33554432000 4194304 4196468 140727318561904 140134332176592 140134861621147 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27009024 140727318566022 140727318566193 140727318566193 140727318568911 0
[pid=31771/tid=31790] ppid=31765 vsize=14087196 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/31771/task/31790/stat : 31790 (java) S 31765 31765 31702 0 -1 1077944384 424 0 0 0 1 0 0 0 20 0 15 0 227146573 14425288704 10202 33554432000 4194304 4196468 140727318561904 140134331124208 140134861613698 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27009024 140727318566022 140727318566193 140727318566193 140727318568911 0
[pid=31771/tid=31791] ppid=31765 vsize=14087196 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/31771/task/31791/stat : 31791 (java) S 31765 31765 31702 0 -1 1077944384 375 0 0 0 2 0 0 0 20 0 15 0 227146573 14425288704 10202 33554432000 4194304 4196468 140727318561904 140134330071664 140134861613698 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27009024 140727318566022 140727318566193 140727318566193 140727318568911 0
[pid=31771/tid=31792] ppid=31765 vsize=14087196 memory=139844081665664 CPUtime=0.08 cores=0,2,4,6
/proc/31771/task/31792/stat : 31792 (java) S 31765 31765 31702 0 -1 1077944384 679 0 0 0 8 0 0 0 20 0 15 0 227146573 14425288704 10202 33554432000 4194304 4196468 140727318561904 140134329019120 140134861613698 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27009024 140727318566022 140727318566193 140727318566193 140727318568911 0
[pid=31771/tid=31793] ppid=31765 vsize=14087196 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31771/task/31793/stat : 31793 (java) S 31765 31765 31702 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 227146573 14425288704 10202 33554432000 4194304 4196468 140727318561904 140134327966816 140134861612757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27009024 140727318566022 140727318566193 140727318566193 140727318568911 0
[pid=31771/tid=31794] ppid=31765 vsize=14087196 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31771/task/31794/stat : 31794 (java) S 31765 31765 31702 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 227146573 14425288704 10202 33554432000 4194304 4196468 140727318561904 140134326913328 140134861613698 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27009024 140727318566022 140727318566193 140727318566193 140727318568911 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 14200324 KiB
Current children cumulated memory: 42264 KiB
[startup+0.310555 s]*
/proc/loadavg: 1.33 1.34 1.42 4/218 31794
/proc/meminfo: memFree=23666300/32770624 swapFree=67108688/67108860
[pid=31765] ppid=31762 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/31765/stat : 31765 (xcsp3-exec) S 31762 31765 31702 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 227146567 115843072 364 33554432000 4194304 5098028 140727926699312 140727926697416 139676228289148 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 23187456 140727926703162 140727926703364 140727926703364 140727926706122 0
/proc/31765/statm: 28282 364 306 221 0 87 0
[pid=31771] ppid=31765 vsize=14087196 memory=47956 CPUtime=0.52 cores=0,2,4,6
/proc/31771/stat : 31771 (java) S 31765 31765 31702 0 -1 1077944320 9135 0 0 0 48 4 0 0 20 0 15 0 227146567 14425288704 11989 33554432000 4194304 4196468 140727318561904 140727318544448 140134861602551 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 27009024 140727318566022 140727318566193 140727318566193 140727318568911 0
/proc/31771/statm: 3521799 11989 3256 1 0 3483012 0
[pid=31771/tid=31772] ppid=31765 vsize=14087196 memory=6791534058613427641 CPUtime=0.29 cores=0,2,4,6
/proc/31771/task/31772/stat : 31772 (java) R 31765 31765 31702 0 -1 4202560 6148 0 0 0 27 2 0 0 20 0 15 0 227146568 14425288704 11989 33554432000 4194304 4196468 140727318561904 140134865842192 140134845683038 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27009024 140727318566022 140727318566193 140727318566193 140727318568911 0
[pid=31771/tid=31773] ppid=31765 vsize=14087196 memory=6943526294502006880 CPUtime=0 cores=0,2,4,6
/proc/31771/task/31773/stat : 31773 (java) S 31765 31765 31702 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 227146569 14425288704 11989 33554432000 4194304 4196468 140727318561904 140134791691024 140134861612757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27009024 140727318566022 140727318566193 140727318566193 140727318568911 0
[pid=31771/tid=31774] ppid=31765 vsize=14087196 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/31771/task/31774/stat : 31774 (java) S 31765 31765 31702 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 227146569 14425288704 11989 33554432000 4194304 4196468 140727318561904 140134790638480 140134861612757 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27009024 140727318566022 140727318566193 140727318566193 140727318568911 0
[pid=31771/tid=31775] ppid=31765 vsize=14087196 memory=-3040564339105353098 CPUtime=0 cores=0,2,4,6
/proc/31771/task/31775/stat : 31775 (java) S 31765 31765 31702 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 227146569 14425288704 11989 33554432000 4194304 4196468 140727318561904 140134789585936 140134861612757 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27009024 140727318566022 140727318566193 140727318566193 140727318568911 0
[pid=31771/tid=31776] ppid=31765 vsize=14087196 memory=7089274314207166114 CPUtime=0 cores=0,2,4,6
/proc/31771/task/31776/stat : 31776 (java) S 31765 31765 31702 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 227146569 14425288704 11989 33554432000 4194304 4196468 140727318561904 140134788533392 140134861612757 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27009024 140727318566022 140727318566193 140727318566193 140727318568911 0
[pid=31771/tid=31780] ppid=31765 vsize=14087196 memory=6944656591801720471 CPUtime=0 cores=0,2,4,6
/proc/31771/task/31780/stat : 31780 (java) S 31765 31765 31702 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 227146570 14425288704 11989 33554432000 4194304 4196468 140727318561904 140134335334384 140134861613698 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27009024 140727318566022 140727318566193 140727318566193 140727318568911 0
[pid=31771/tid=31781] ppid=31765 vsize=14087196 memory=-8458152057954561420 CPUtime=0 cores=0,2,4,6
/proc/31771/task/31781/stat : 31781 (java) S 31765 31765 31702 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 227146570 14425288704 11989 33554432000 4194304 4196468 140727318561904 140134334280608 140134861612757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27009024 140727318566022 140727318566193 140727318566193 140727318568911 0
[pid=31771/tid=31782] ppid=31765 vsize=14087196 memory=-8813974798734826869 CPUtime=0 cores=0,2,4,6
/proc/31771/task/31782/stat : 31782 (java) S 31765 31765 31702 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 227146571 14425288704 11989 33554432000 4194304 4196468 140727318561904 140134333228016 140134861612757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27009024 140727318566022 140727318566193 140727318566193 140727318568911 0
[pid=31771/tid=31789] ppid=31765 vsize=14087196 memory=7031125463459224206 CPUtime=0 cores=0,2,4,6
/proc/31771/task/31789/stat : 31789 (java) S 31765 31765 31702 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 227146573 14425288704 11989 33554432000 4194304 4196468 140727318561904 140134332176592 140134861621147 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27009024 140727318566022 140727318566193 140727318566193 140727318568911 0
[pid=31771/tid=31790] ppid=31765 vsize=14087196 memory=4426078206164241782 CPUtime=0.02 cores=0,2,4,6
/proc/31771/task/31790/stat : 31790 (java) S 31765 31765 31702 0 -1 1077944384 437 0 0 0 2 0 0 0 20 0 15 0 227146573 14425288704 11989 33554432000 4194304 4196468 140727318561904 140134331124208 140134861613698 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27009024 140727318566022 140727318566193 140727318566193 140727318568911 0
[pid=31771/tid=31791] ppid=31765 vsize=14087196 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/31771/task/31791/stat : 31791 (java) S 31765 31765 31702 0 -1 1077944384 476 0 0 0 5 0 0 0 20 0 15 0 227146573 14425288704 11989 33554432000 4194304 4196468 140727318561904 140134330071664 140134861613698 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27009024 140727318566022 140727318566193 140727318566193 140727318568911 0
[pid=31771/tid=31792] ppid=31765 vsize=14087196 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/31771/task/31792/stat : 31792 (java) S 31765 31765 31702 0 -1 1077944384 765 0 0 0 12 0 0 0 20 0 15 0 227146573 14425288704 11989 33554432000 4194304 4196468 140727318561904 140134329019120 140134861613698 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27009024 140727318566022 140727318566193 140727318566193 140727318568911 0
[pid=31771/tid=31793] ppid=31765 vsize=14087196 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31771/task/31793/stat : 31793 (java) S 31765 31765 31702 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 227146573 14425288704 11989 33554432000 4194304 4196468 140727318561904 140134327966816 140134861612757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27009024 140727318566022 140727318566193 140727318566193 140727318568911 0
[pid=31771/tid=31794] ppid=31765 vsize=14087196 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31771/task/31794/stat : 31794 (java) S 31765 31765 31702 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 227146573 14425288704 11989 33554432000 4194304 4196468 140727318561904 140134326913328 140134861613698 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27009024 140727318566022 140727318566193 140727318566193 140727318568911 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 14200324 KiB
Current children cumulated memory: 49412 KiB
[startup+0.700732 s]
/proc/loadavg: 1.33 1.34 1.42 10/218 31794
/proc/meminfo: memFree=23632000/32770624 swapFree=67108688/67108860
[pid=31765] ppid=31762 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/31765/stat : 31765 (xcsp3-exec) S 31762 31765 31702 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 227146567 115843072 364 33554432000 4194304 5098028 140727926699312 140727926697416 139676228289148 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 23187456 140727926703162 140727926703364 140727926703364 140727926706122 0
/proc/31765/statm: 28282 364 306 221 0 87 0
[pid=31771] ppid=31765 vsize=14089320 memory=74364 CPUtime=1.62 cores=0,2,4,6
/proc/31771/stat : 31771 (java) S 31765 31765 31702 0 -1 1077944320 12774 0 0 0 157 5 0 0 20 0 15 0 227146567 14427463680 18591 33554432000 4194304 4196468 140727318561904 140727318544448 140134861602551 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 27009024 140727318566022 140727318566193 140727318566193 140727318568911 0
/proc/31771/statm: 3522330 18591 3364 1 0 3483524 0
[pid=31771/tid=31772] ppid=31765 vsize=14089320 memory=33 CPUtime=0.67 cores=0,2,4,6
/proc/31771/task/31772/stat : 31772 (java) R 31765 31765 31702 0 -1 4202560 7106 0 0 0 64 3 0 0 20 0 15 0 227146568 14427463680 18591 33554432000 4194304 4196468 140727318561904 140134865838768 140134861614486 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27009024 140727318566022 140727318566193 140727318566193 140727318568911 0
[pid=31771/tid=31773] ppid=31765 vsize=14089320 memory=288230613197271346 CPUtime=0 cores=0,2,4,6
/proc/31771/task/31773/stat : 31773 (java) S 31765 31765 31702 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 227146569 14427463680 18591 33554432000 4194304 4196468 140727318561904 140134791691024 140134861612757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27009024 140727318566022 140727318566193 140727318566193 140727318568911 0
[pid=31771/tid=31774] ppid=31765 vsize=14089320 memory=15821101267701179 CPUtime=0 cores=0,2,4,6
/proc/31771/task/31774/stat : 31774 (java) S 31765 31765 31702 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 227146569 14427463680 18591 33554432000 4194304 4196468 140727318561904 140134790638480 140134861612757 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27009024 140727318566022 140727318566193 140727318566193 140727318568911 0
[pid=31771/tid=31775] ppid=31765 vsize=14089320 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31771/task/31775/stat : 31775 (java) S 31765 31765 31702 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 227146569 14427463680 18591 33554432000 4194304 4196468 140727318561904 140134789585936 140134861612757 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27009024 140727318566022 140727318566193 140727318566193 140727318568911 0
[pid=31771/tid=31776] ppid=31765 vsize=14089320 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31771/task/31776/stat : 31776 (java) S 31765 31765 31702 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 227146569 14427463680 18591 33554432000 4194304 4196468 140727318561904 140134788533392 140134861612757 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27009024 140727318566022 140727318566193 140727318566193 140727318568911 0
[pid=31771/tid=31780] ppid=31765 vsize=14089320 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31771/task/31780/stat : 31780 (java) S 31765 31765 31702 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 227146570 14427463680 18591 33554432000 4194304 4196468 140727318561904 140134335334384 140134861613698 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27009024 140727318566022 140727318566193 140727318566193 140727318568911 0
[pid=31771/tid=31781] ppid=31765 vsize=14089320 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31771/task/31781/stat : 31781 (java) S 31765 31765 31702 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 227146570 14427463680 18591 33554432000 4194304 4196468 140727318561904 140134334280608 140134861612757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27009024 140727318566022 140727318566193 140727318566193 140727318568911 0
[pid=31771/tid=31782] ppid=31765 vsize=14089320 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31771/task/31782/stat : 31782 (java) S 31765 31765 31702 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 227146571 14427463680 18591 33554432000 4194304 4196468 140727318561904 140134333228016 140134861612757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27009024 140727318566022 140727318566193 140727318566193 140727318568911 0
[pid=31771/tid=31789] ppid=31765 vsize=14089320 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31771/task/31789/stat : 31789 (java) S 31765 31765 31702 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 227146573 14427463680 18591 33554432000 4194304 4196468 140727318561904 140134332176592 140134861621147 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27009024 140727318566022 140727318566193 140727318566193 140727318568911 0
[pid=31771/tid=31790] ppid=31765 vsize=14089320 memory=0 CPUtime=0.26 cores=0,2,4,6
/proc/31771/task/31790/stat : 31790 (java) R 31765 31765 31702 0 -1 4202560 1176 0 0 0 26 0 0 0 20 0 15 0 227146573 14427463680 18591 33554432000 4194304 4196468 140727318561904 140134331111648 140134843123394 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27009024 140727318566022 140727318566193 140727318566193 140727318568911 0
[pid=31771/tid=31791] ppid=31765 vsize=14089320 memory=0 CPUtime=0.27 cores=0,2,4,6
/proc/31771/task/31791/stat : 31791 (java) R 31765 31765 31702 0 -1 4202560 1193 0 0 0 27 0 0 0 20 0 15 0 227146573 14427463680 18591 33554432000 4194304 4196468 140727318561904 140134330060016 140134845096793 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27009024 140727318566022 140727318566193 140727318566193 140727318568911 0
[pid=31771/tid=31792] ppid=31765 vsize=14089320 memory=0 CPUtime=0.38 cores=0,2,4,6
/proc/31771/task/31792/stat : 31792 (java) R 31765 31765 31702 0 -1 1077944384 1989 0 0 0 38 0 0 0 20 0 15 0 227146573 14427463680 18591 33554432000 4194304 4196468 140727318561904 140134329019120 140134861613698 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27009024 140727318566022 140727318566193 140727318566193 140727318568911 0
[pid=31771/tid=31793] ppid=31765 vsize=14089320 memory=4639074098508484690 CPUtime=0 cores=0,2,4,6
/proc/31771/task/31793/stat : 31793 (java) S 31765 31765 31702 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 227146573 14427463680 18591 33554432000 4194304 4196468 140727318561904 140134327966816 140134861612757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27009024 140727318566022 140727318566193 140727318566193 140727318568911 0
[pid=31771/tid=31794] ppid=31765 vsize=14089320 memory=7739267104747186533 CPUtime=0 cores=0,2,4,6
/proc/31771/task/31794/stat : 31794 (java) S 31765 31765 31702 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 227146573 14427463680 18591 33554432000 4194304 4196468 140727318561904 140134326913328 140134861613698 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27009024 140727318566022 140727318566193 140727318566193 140727318568911 0
Current children cumulated CPU time: 1.62 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 75820 KiB
[startup+1.50081 s]
/proc/loadavg: 1.33 1.34 1.42 2/197 31803
/proc/meminfo: memFree=23649448/32770624 swapFree=67108688/67108860
[pid=31765] ppid=31762 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/31765/stat : 31765 (xcsp3-exec) S 31762 31765 31702 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 227146567 115843072 364 33554432000 4194304 5098028 140727926699312 140727926697416 139676228289148 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 23187456 140727926703162 140727926703364 140727926703364 140727926706122 0
/proc/31765/statm: 28282 364 306 221 0 87 0
################
# More data... #
################
/proc/31771/task/31774/stat : 31774 (java) S 31765 31765 31702 0 -1 1077944384 5439 0 0 0 165 5 0 0 20 0 15 0 227146569 14427463680 592258 33554432000 4194304 4196468 140727318561904 140134790638480 140134861612757 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27009024 140727318566022 140727318566193 140727318566193 140727318568911 0
[pid=31771/tid=31775] ppid=31765 vsize=14089320 memory=4126316290023845779 CPUtime=1.71 cores=0,2,4,6
/proc/31771/task/31775/stat : 31775 (java) S 31765 31765 31702 0 -1 1077944384 8511 0 0 0 167 4 0 0 20 0 15 0 227146569 14427463680 592258 33554432000 4194304 4196468 140727318561904 140134789585936 140134861612757 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27009024 140727318566022 140727318566193 140727318566193 140727318568911 0
[pid=31771/tid=31776] ppid=31765 vsize=14089320 memory=1168 CPUtime=1.7 cores=0,2,4,6
/proc/31771/task/31776/stat : 31776 (java) S 31765 31765 31702 0 -1 1077944384 10371 0 0 0 166 4 0 0 20 0 15 0 227146569 14427463680 592258 33554432000 4194304 4196468 140727318561904 140134788533392 140134861612757 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27009024 140727318566022 140727318566193 140727318566193 140727318568911 0
[pid=31771/tid=31780] ppid=31765 vsize=14089320 memory=2336 CPUtime=0.96 cores=0,2,4,6
/proc/31771/task/31780/stat : 31780 (java) S 31765 31765 31702 0 -1 1077944384 9032 0 0 0 73 23 0 0 20 0 15 0 227146570 14427463680 592258 33554432000 4194304 4196468 140727318561904 140134335334384 140134861613698 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27009024 140727318566022 140727318566193 140727318566193 140727318568911 0
[pid=31771/tid=31781] ppid=31765 vsize=14089320 memory=1572 CPUtime=0 cores=0,2,4,6
/proc/31771/task/31781/stat : 31781 (java) S 31765 31765 31702 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 15 0 227146570 14427463680 592258 33554432000 4194304 4196468 140727318561904 140134334280608 140134861612757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27009024 140727318566022 140727318566193 140727318566193 140727318568911 0
[pid=31771/tid=31782] ppid=31765 vsize=14089320 memory=924 CPUtime=0 cores=0,2,4,6
/proc/31771/task/31782/stat : 31782 (java) S 31765 31765 31702 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 227146571 14427463680 592258 33554432000 4194304 4196468 140727318561904 140134333228016 140134861612757 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27009024 140727318566022 140727318566193 140727318566193 140727318568911 0
[pid=31771/tid=31789] ppid=31765 vsize=14089320 memory=2192 CPUtime=0 cores=0,2,4,6
/proc/31771/task/31789/stat : 31789 (java) S 31765 31765 31702 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 227146573 14427463680 592258 33554432000 4194304 4196468 140727318561904 140134332176592 140134861621147 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27009024 140727318566022 140727318566193 140727318566193 140727318568911 0
[pid=31771/tid=31790] ppid=31765 vsize=14089320 memory=3980 CPUtime=1.39 cores=0,2,4,6
/proc/31771/task/31790/stat : 31790 (java) S 31765 31765 31702 0 -1 1077944384 7472 0 0 0 138 1 0 0 20 0 15 0 227146573 14427463680 592258 33554432000 4194304 4196468 140727318561904 140134331124208 140134861613698 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27009024 140727318566022 140727318566193 140727318566193 140727318568911 0
[pid=31771/tid=31791] ppid=31765 vsize=14089320 memory=1924 CPUtime=1.54 cores=0,2,4,6
/proc/31771/task/31791/stat : 31791 (java) S 31765 31765 31702 0 -1 1077944384 8012 0 0 0 151 3 0 0 20 0 15 0 227146573 14427463680 592258 33554432000 4194304 4196468 140727318561904 140134330071664 140134861613698 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27009024 140727318566022 140727318566193 140727318566193 140727318568911 0
[pid=31771/tid=31792] ppid=31765 vsize=14089320 memory=7284 CPUtime=0.52 cores=0,2,4,6
/proc/31771/task/31792/stat : 31792 (java) S 31765 31765 31702 0 -1 1077944384 6240 0 0 0 51 1 0 0 20 0 15 0 227146573 14427463680 592258 33554432000 4194304 4196468 140727318561904 140134329019120 140134861613698 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27009024 140727318566022 140727318566193 140727318566193 140727318568911 0
[pid=31771/tid=31793] ppid=31765 vsize=14089320 memory=804 CPUtime=0 cores=0,2,4,6
/proc/31771/task/31793/stat : 31793 (java) S 31765 31765 31702 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 227146573 14427463680 592258 33554432000 4194304 4196468 140727318561904 140134327966816 140134861612757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27009024 140727318566022 140727318566193 140727318566193 140727318568911 0
[pid=31771/tid=31794] ppid=31765 vsize=14089320 memory=4104 CPUtime=0.46 cores=0,2,4,6
/proc/31771/task/31794/stat : 31794 (java) S 31765 31765 31702 0 -1 1077944384 1087 0 0 0 22 24 0 0 20 0 15 0 227146573 14427463680 592258 33554432000 4194304 4196468 140727318561904 140134326913328 140134861613698 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 24 0 0 6293624 6294260 27009024 140727318566022 140727318566193 140727318566193 140727318568911 0
Current children cumulated CPU time: 1912.42 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 2370488 KiB
[startup+1904.8 s]
/proc/loadavg: 1.78 1.73 1.72 3/217 31948
/proc/meminfo: memFree=21229840/32770624 swapFree=67108688/67108860
[pid=31765] ppid=31762 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/31765/stat : 31765 (xcsp3-exec) S 31762 31765 31702 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 227146567 115843072 364 33554432000 4194304 5098028 140727926699312 140727926697416 139676228289148 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 23187456 140727926703162 140727926703364 140727926703364 140727926706122 0
/proc/31765/statm: 28282 364 306 221 0 87 0
[pid=31771] ppid=31765 vsize=14089320 memory=2369032 CPUtime=1913.21 cores=0,2,4,6
/proc/31771/stat : 31771 (java) S 31765 31765 31702 0 -1 1077944320 188193 0 0 0 190720 601 0 0 20 0 15 0 227146567 14427463680 592258 33554432000 4194304 4196468 140727318561904 140727318544448 140134861602551 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 27009024 140727318566022 140727318566193 140727318566193 140727318568911 0
/proc/31771/statm: 3522330 592258 3426 1 0 3483524 0
[pid=31771/tid=31772] ppid=31765 vsize=14089320 memory=34928 CPUtime=1901.44 cores=0,2,4,6
/proc/31771/task/31772/stat : 31772 (java) R 31765 31765 31702 0 -1 4202560 121300 0 0 0 189606 538 0 0 20 0 15 0 227146568 14427463680 592258 33554432000 4194304 4196468 140727318561904 140134865842016 140134469894218 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27009024 140727318566022 140727318566193 140727318566193 140727318568911 0
[pid=31771/tid=31773] ppid=31765 vsize=14089320 memory=1612 CPUtime=1.7 cores=0,2,4,6
/proc/31771/task/31773/stat : 31773 (java) S 31765 31765 31702 0 -1 1077944384 9353 0 0 0 166 4 0 0 20 0 15 0 227146569 14427463680 592258 33554432000 4194304 4196468 140727318561904 140134791691024 140134861612757 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27009024 140727318566022 140727318566193 140727318566193 140727318568911 0
[pid=31771/tid=31774] ppid=31765 vsize=14089320 memory=496 CPUtime=1.7 cores=0,2,4,6
/proc/31771/task/31774/stat : 31774 (java) S 31765 31765 31702 0 -1 1077944384 5439 0 0 0 165 5 0 0 20 0 15 0 227146569 14427463680 592258 33554432000 4194304 4196468 140727318561904 140134790638480 140134861612757 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27009024 140727318566022 140727318566193 140727318566193 140727318568911 0
[pid=31771/tid=31775] ppid=31765 vsize=14089320 memory=1456 CPUtime=1.71 cores=0,2,4,6
/proc/31771/task/31775/stat : 31775 (java) S 31765 31765 31702 0 -1 1077944384 8511 0 0 0 167 4 0 0 20 0 15 0 227146569 14427463680 592258 33554432000 4194304 4196468 140727318561904 140134789585936 140134861612757 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27009024 140727318566022 140727318566193 140727318566193 140727318568911 0
[pid=31771/tid=31776] ppid=31765 vsize=14089320 memory=2369032 CPUtime=1.7 cores=0,2,4,6
/proc/31771/task/31776/stat : 31776 (java) S 31765 31765 31702 0 -1 1077944384 10371 0 0 0 166 4 0 0 20 0 15 0 227146569 14427463680 592258 33554432000 4194304 4196468 140727318561904 140134788533392 140134861612757 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27009024 140727318566022 140727318566193 140727318566193 140727318568911 0
[pid=31771/tid=31780] ppid=31765 vsize=14089320 memory=1224 CPUtime=0.96 cores=0,2,4,6
/proc/31771/task/31780/stat : 31780 (java) S 31765 31765 31702 0 -1 1077944384 9032 0 0 0 73 23 0 0 20 0 15 0 227146570 14427463680 592258 33554432000 4194304 4196468 140727318561904 140134335334384 140134861613698 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27009024 140727318566022 140727318566193 140727318566193 140727318568911 0
[pid=31771/tid=31781] ppid=31765 vsize=14089320 memory=2336 CPUtime=0 cores=0,2,4,6
/proc/31771/task/31781/stat : 31781 (java) S 31765 31765 31702 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 15 0 227146570 14427463680 592258 33554432000 4194304 4196468 140727318561904 140134334280608 140134861612757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27009024 140727318566022 140727318566193 140727318566193 140727318568911 0
[pid=31771/tid=31782] ppid=31765 vsize=14089320 memory=1752 CPUtime=0 cores=0,2,4,6
/proc/31771/task/31782/stat : 31782 (java) S 31765 31765 31702 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 227146571 14427463680 592258 33554432000 4194304 4196468 140727318561904 140134333228016 140134861612757 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27009024 140727318566022 140727318566193 140727318566193 140727318568911 0
[pid=31771/tid=31789] ppid=31765 vsize=14089320 memory=868 CPUtime=0 cores=0,2,4,6
/proc/31771/task/31789/stat : 31789 (java) S 31765 31765 31702 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 227146573 14427463680 592258 33554432000 4194304 4196468 140727318561904 140134332176592 140134861621147 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27009024 140727318566022 140727318566193 140727318566193 140727318568911 0
[pid=31771/tid=31790] ppid=31765 vsize=14089320 memory=1808 CPUtime=1.39 cores=0,2,4,6
/proc/31771/task/31790/stat : 31790 (java) S 31765 31765 31702 0 -1 1077944384 7472 0 0 0 138 1 0 0 20 0 15 0 227146573 14427463680 592258 33554432000 4194304 4196468 140727318561904 140134331124208 140134861613698 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27009024 140727318566022 140727318566193 140727318566193 140727318568911 0
[pid=31771/tid=31791] ppid=31765 vsize=14089320 memory=154976 CPUtime=1.54 cores=0,2,4,6
/proc/31771/task/31791/stat : 31791 (java) S 31765 31765 31702 0 -1 1077944384 8012 0 0 0 151 3 0 0 20 0 15 0 227146573 14427463680 592258 33554432000 4194304 4196468 140727318561904 140134330071664 140134861613698 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27009024 140727318566022 140727318566193 140727318566193 140727318568911 0
[pid=31771/tid=31792] ppid=31765 vsize=14089320 memory=6791534058613427641 CPUtime=0.52 cores=0,2,4,6
/proc/31771/task/31792/stat : 31792 (java) S 31765 31765 31702 0 -1 1077944384 6240 0 0 0 51 1 0 0 20 0 15 0 227146573 14427463680 592258 33554432000 4194304 4196468 140727318561904 140134329019120 140134861613698 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27009024 140727318566022 140727318566193 140727318566193 140727318568911 0
[pid=31771/tid=31793] ppid=31765 vsize=14089320 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/31771/task/31793/stat : 31793 (java) S 31765 31765 31702 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 227146573 14427463680 592258 33554432000 4194304 4196468 140727318561904 140134327966816 140134861612757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27009024 140727318566022 140727318566193 140727318566193 140727318568911 0
[pid=31771/tid=31794] ppid=31765 vsize=14089320 memory=1220 CPUtime=0.46 cores=0,2,4,6
/proc/31771/task/31794/stat : 31794 (java) S 31765 31765 31702 0 -1 1077944384 1087 0 0 0 22 24 0 0 20 0 15 0 227146573 14427463680 592258 33554432000 4194304 4196468 140727318561904 140134326913328 140134861613698 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 24 0 0 6293624 6294260 27009024 140727318566022 140727318566193 140727318566193 140727318568911 0
Current children cumulated CPU time: 1913.21 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 2370488 KiB
[startup+1905.6 s]
/proc/loadavg: 1.78 1.73 1.72 3/217 31948
/proc/meminfo: memFree=21229840/32770624 swapFree=67108688/67108860
[pid=31765] ppid=31762 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/31765/stat : 31765 (xcsp3-exec) S 31762 31765 31702 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 227146567 115843072 364 33554432000 4194304 5098028 140727926699312 140727926697416 139676228289148 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 23187456 140727926703162 140727926703364 140727926703364 140727926706122 0
/proc/31765/statm: 28282 364 306 221 0 87 0
[pid=31771] ppid=31765 vsize=14089320 memory=2369032 CPUtime=1914.01 cores=0,2,4,6
/proc/31771/stat : 31771 (java) S 31765 31765 31702 0 -1 1077944320 188194 0 0 0 190800 601 0 0 20 0 15 0 227146567 14427463680 592258 33554432000 4194304 4196468 140727318561904 140727318544448 140134861602551 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 27009024 140727318566022 140727318566193 140727318566193 140727318568911 0
/proc/31771/statm: 3522330 592258 3426 1 0 3483524 0
[pid=31771/tid=31772] ppid=31765 vsize=14089320 memory=1224 CPUtime=1902.24 cores=0,2,4,6
/proc/31771/task/31772/stat : 31772 (java) R 31765 31765 31702 0 -1 4202560 121301 0 0 0 189686 538 0 0 20 0 15 0 227146568 14427463680 592258 33554432000 4194304 4196468 140727318561904 140134865842016 140134465925233 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27009024 140727318566022 140727318566193 140727318566193 140727318568911 0
[pid=31771/tid=31773] ppid=31765 vsize=14089320 memory=2336 CPUtime=1.7 cores=0,2,4,6
/proc/31771/task/31773/stat : 31773 (java) S 31765 31765 31702 0 -1 1077944384 9353 0 0 0 166 4 0 0 20 0 15 0 227146569 14427463680 592258 33554432000 4194304 4196468 140727318561904 140134791691024 140134861612757 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27009024 140727318566022 140727318566193 140727318566193 140727318568911 0
[pid=31771/tid=31774] ppid=31765 vsize=14089320 memory=6791534058613427641 CPUtime=1.7 cores=0,2,4,6
/proc/31771/task/31774/stat : 31774 (java) S 31765 31765 31702 0 -1 1077944384 5439 0 0 0 165 5 0 0 20 0 15 0 227146569 14427463680 592258 33554432000 4194304 4196468 140727318561904 140134790638480 140134861612757 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27009024 140727318566022 140727318566193 140727318566193 140727318568911 0
[pid=31771/tid=31775] ppid=31765 vsize=14089320 memory=1612 CPUtime=1.71 cores=0,2,4,6
/proc/31771/task/31775/stat : 31775 (java) S 31765 31765 31702 0 -1 1077944384 8511 0 0 0 167 4 0 0 20 0 15 0 227146569 14427463680 592258 33554432000 4194304 4196468 140727318561904 140134789585936 140134861612757 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27009024 140727318566022 140727318566193 140727318566193 140727318568911 0
[pid=31771/tid=31776] ppid=31765 vsize=14089320 memory=496 CPUtime=1.7 cores=0,2,4,6
/proc/31771/task/31776/stat : 31776 (java) S 31765 31765 31702 0 -1 1077944384 10371 0 0 0 166 4 0 0 20 0 15 0 227146569 14427463680 592258 33554432000 4194304 4196468 140727318561904 140134788533392 140134861612757 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27009024 140727318566022 140727318566193 140727318566193 140727318568911 0
[pid=31771/tid=31780] ppid=31765 vsize=14089320 memory=924 CPUtime=0.96 cores=0,2,4,6
/proc/31771/task/31780/stat : 31780 (java) S 31765 31765 31702 0 -1 1077944384 9032 0 0 0 73 23 0 0 20 0 15 0 227146570 14427463680 592258 33554432000 4194304 4196468 140727318561904 140134335334384 140134861613698 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27009024 140727318566022 140727318566193 140727318566193 140727318568911 0
[pid=31771/tid=31781] ppid=31765 vsize=14089320 memory=868 CPUtime=0 cores=0,2,4,6
/proc/31771/task/31781/stat : 31781 (java) S 31765 31765 31702 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 15 0 227146570 14427463680 592258 33554432000 4194304 4196468 140727318561904 140134334280608 140134861612757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27009024 140727318566022 140727318566193 140727318566193 140727318568911 0
[pid=31771/tid=31782] ppid=31765 vsize=14089320 memory=1808 CPUtime=0 cores=0,2,4,6
/proc/31771/task/31782/stat : 31782 (java) S 31765 31765 31702 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 227146571 14427463680 592258 33554432000 4194304 4196468 140727318561904 140134333228016 140134861612757 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27009024 140727318566022 140727318566193 140727318566193 140727318568911 0
[pid=31771/tid=31789] ppid=31765 vsize=14089320 memory=1620 CPUtime=0 cores=0,2,4,6
/proc/31771/task/31789/stat : 31789 (java) S 31765 31765 31702 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 227146573 14427463680 592258 33554432000 4194304 4196468 140727318561904 140134332176592 140134861621147 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27009024 140727318566022 140727318566193 140727318566193 140727318568911 0
[pid=31771/tid=31790] ppid=31765 vsize=14089320 memory=748 CPUtime=1.39 cores=0,2,4,6
/proc/31771/task/31790/stat : 31790 (java) S 31765 31765 31702 0 -1 1077944384 7472 0 0 0 138 1 0 0 20 0 15 0 227146573 14427463680 592258 33554432000 4194304 4196468 140727318561904 140134331124208 140134861613698 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27009024 140727318566022 140727318566193 140727318566193 140727318568911 0
[pid=31771/tid=31791] ppid=31765 vsize=14089320 memory=1220 CPUtime=1.54 cores=0,2,4,6
/proc/31771/task/31791/stat : 31791 (java) S 31765 31765 31702 0 -1 1077944384 8012 0 0 0 151 3 0 0 20 0 15 0 227146573 14427463680 592258 33554432000 4194304 4196468 140727318561904 140134330071664 140134861613698 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27009024 140727318566022 140727318566193 140727318566193 140727318568911 0
[pid=31771/tid=31792] ppid=31765 vsize=14089320 memory=6580 CPUtime=0.52 cores=0,2,4,6
/proc/31771/task/31792/stat : 31792 (java) S 31765 31765 31702 0 -1 1077944384 6240 0 0 0 51 1 0 0 20 0 15 0 227146573 14427463680 592258 33554432000 4194304 4196468 140727318561904 140134329019120 140134861613698 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27009024 140727318566022 140727318566193 140727318566193 140727318568911 0
[pid=31771/tid=31793] ppid=31765 vsize=14089320 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/31771/task/31793/stat : 31793 (java) S 31765 31765 31702 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 227146573 14427463680 592258 33554432000 4194304 4196468 140727318561904 140134327966816 140134861612757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27009024 140727318566022 140727318566193 140727318566193 140727318568911 0
[pid=31771/tid=31794] ppid=31765 vsize=14089320 memory=2369032 CPUtime=0.46 cores=0,2,4,6
/proc/31771/task/31794/stat : 31794 (java) S 31765 31765 31702 0 -1 1077944384 1087 0 0 0 22 24 0 0 20 0 15 0 227146573 14427463680 592258 33554432000 4194304 4196468 140727318561904 140134326913328 140134861613698 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 24 0 0 6293624 6294260 27009024 140727318566022 140727318566193 140727318566193 140727318568911 0
Current children cumulated CPU time: 1914.01 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 2370488 KiB
[startup+1905.8 s]
/proc/loadavg: 1.78 1.73 1.72 3/217 31948
/proc/meminfo: memFree=21229840/32770624 swapFree=67108688/67108860
[pid=31765] ppid=31762 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/31765/stat : 31765 (xcsp3-exec) S 31762 31765 31702 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 227146567 115843072 364 33554432000 4194304 5098028 140727926699312 140727926697416 139676228289148 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 23187456 140727926703162 140727926703364 140727926703364 140727926706122 0
/proc/31765/statm: 28282 364 306 221 0 87 0
[pid=31771] ppid=31765 vsize=14089320 memory=2369032 CPUtime=1914.21 cores=0,2,4,6
/proc/31771/stat : 31771 (java) S 31765 31765 31702 0 -1 1077944320 188195 0 0 0 190820 601 0 0 20 0 15 0 227146567 14427463680 592258 33554432000 4194304 4196468 140727318561904 140727318544448 140134861602551 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 27009024 140727318566022 140727318566193 140727318566193 140727318568911 0
/proc/31771/statm: 3522330 592258 3426 1 0 3483524 0
[pid=31771/tid=31772] ppid=31765 vsize=14089320 memory=1224 CPUtime=1902.44 cores=0,2,4,6
/proc/31771/task/31772/stat : 31772 (java) R 31765 31765 31702 0 -1 4202560 121302 0 0 0 189706 538 0 0 20 0 15 0 227146568 14427463680 592258 33554432000 4194304 4196468 140727318561904 140134865842016 140134470913468 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27009024 140727318566022 140727318566193 140727318566193 140727318568911 0
[pid=31771/tid=31773] ppid=31765 vsize=14089320 memory=2336 CPUtime=1.7 cores=0,2,4,6
/proc/31771/task/31773/stat : 31773 (java) S 31765 31765 31702 0 -1 1077944384 9353 0 0 0 166 4 0 0 20 0 15 0 227146569 14427463680 592258 33554432000 4194304 4196468 140727318561904 140134791691024 140134861612757 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27009024 140727318566022 140727318566193 140727318566193 140727318568911 0
[pid=31771/tid=31774] ppid=31765 vsize=14089320 memory=1752 CPUtime=1.7 cores=0,2,4,6
/proc/31771/task/31774/stat : 31774 (java) S 31765 31765 31702 0 -1 1077944384 5439 0 0 0 165 5 0 0 20 0 15 0 227146569 14427463680 592258 33554432000 4194304 4196468 140727318561904 140134790638480 140134861612757 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27009024 140727318566022 140727318566193 140727318566193 140727318568911 0
[pid=31771/tid=31775] ppid=31765 vsize=14089320 memory=868 CPUtime=1.71 cores=0,2,4,6
/proc/31771/task/31775/stat : 31775 (java) S 31765 31765 31702 0 -1 1077944384 8511 0 0 0 167 4 0 0 20 0 15 0 227146569 14427463680 592258 33554432000 4194304 4196468 140727318561904 140134789585936 140134861612757 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27009024 140727318566022 140727318566193 140727318566193 140727318568911 0
[pid=31771/tid=31776] ppid=31765 vsize=14089320 memory=1808 CPUtime=1.7 cores=0,2,4,6
/proc/31771/task/31776/stat : 31776 (java) S 31765 31765 31702 0 -1 1077944384 10371 0 0 0 166 4 0 0 20 0 15 0 227146569 14427463680 592258 33554432000 4194304 4196468 140727318561904 140134788533392 140134861612757 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27009024 140727318566022 140727318566193 140727318566193 140727318568911 0
[pid=31771/tid=31780] ppid=31765 vsize=14089320 memory=1620 CPUtime=0.96 cores=0,2,4,6
/proc/31771/task/31780/stat : 31780 (java) S 31765 31765 31702 0 -1 1077944384 9032 0 0 0 73 23 0 0 20 0 15 0 227146570 14427463680 592258 33554432000 4194304 4196468 140727318561904 140134335334384 140134861613698 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27009024 140727318566022 140727318566193 140727318566193 140727318568911 0
[pid=31771/tid=31781] ppid=31765 vsize=14089320 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/31771/task/31781/stat : 31781 (java) S 31765 31765 31702 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 15 0 227146570 14427463680 592258 33554432000 4194304 4196468 140727318561904 140134334280608 140134861612757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27009024 140727318566022 140727318566193 140727318566193 140727318568911 0
[pid=31771/tid=31782] ppid=31765 vsize=14089320 memory=2369032 CPUtime=0 cores=0,2,4,6
/proc/31771/task/31782/stat : 31782 (java) S 31765 31765 31702 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 227146571 14427463680 592258 33554432000 4194304 4196468 140727318561904 140134333228016 140134861612757 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27009024 140727318566022 140727318566193 140727318566193 140727318568911 0
[pid=31771/tid=31789] ppid=31765 vsize=14089320 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/31771/task/31789/stat : 31789 (java) S 31765 31765 31702 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 227146573 14427463680 592258 33554432000 4194304 4196468 140727318561904 140134332176592 140134861621147 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27009024 140727318566022 140727318566193 140727318566193 140727318568911 0
[pid=31771/tid=31790] ppid=31765 vsize=14089320 memory=288230583166042426 CPUtime=1.39 cores=0,2,4,6
/proc/31771/task/31790/stat : 31790 (java) S 31765 31765 31702 0 -1 1077944384 7472 0 0 0 138 1 0 0 20 0 15 0 227146573 14427463680 592258 33554432000 4194304 4196468 140727318561904 140134331124208 140134861613698 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27009024 140727318566022 140727318566193 140727318566193 140727318568911 0
[pid=31771/tid=31791] ppid=31765 vsize=14089320 memory=1696 CPUtime=1.54 cores=0,2,4,6
/proc/31771/task/31791/stat : 31791 (java) S 31765 31765 31702 0 -1 1077944384 8012 0 0 0 151 3 0 0 20 0 15 0 227146573 14427463680 592258 33554432000 4194304 4196468 140727318561904 140134330071664 140134861613698 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27009024 140727318566022 140727318566193 140727318566193 140727318568911 0
[pid=31771/tid=31792] ppid=31765 vsize=14089320 memory=916 CPUtime=0.52 cores=0,2,4,6
/proc/31771/task/31792/stat : 31792 (java) S 31765 31765 31702 0 -1 1077944384 6240 0 0 0 51 1 0 0 20 0 15 0 227146573 14427463680 592258 33554432000 4194304 4196468 140727318561904 140134329019120 140134861613698 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27009024 140727318566022 140727318566193 140727318566193 140727318568911 0
[pid=31771/tid=31793] ppid=31765 vsize=14089320 memory=3840 CPUtime=0 cores=0,2,4,6
/proc/31771/task/31793/stat : 31793 (java) S 31765 31765 31702 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 227146573 14427463680 592258 33554432000 4194304 4196468 140727318561904 140134327966816 140134861612757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27009024 140727318566022 140727318566193 140727318566193 140727318568911 0
[pid=31771/tid=31794] ppid=31765 vsize=14089320 memory=2292 CPUtime=0.46 cores=0,2,4,6
/proc/31771/task/31794/stat : 31794 (java) S 31765 31765 31702 0 -1 1077944384 1087 0 0 0 22 24 0 0 20 0 15 0 227146573 14427463680 592258 33554432000 4194304 4196468 140727318561904 140134326913328 140134861613698 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 24 0 0 6293624 6294260 27009024 140727318566022 140727318566193 140727318566193 140727318568911 0
Current children cumulated CPU time: 1914.21 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 2370488 KiB
[startup+1905.9 s]
/proc/loadavg: 1.78 1.73 1.72 3/217 31948
/proc/meminfo: memFree=21229840/32770624 swapFree=67108688/67108860
[pid=31765] ppid=31762 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/31765/stat : 31765 (xcsp3-exec) S 31762 31765 31702 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 227146567 115843072 364 33554432000 4194304 5098028 140727926699312 140727926697416 139676228289148 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 23187456 140727926703162 140727926703364 140727926703364 140727926706122 0
/proc/31765/statm: 28282 364 306 221 0 87 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 113128 KiB
Current children cumulated memory: 1456 KiB
Child status: 0
Real time (s): 1905.91
CPU time (s): 1914.34
CPU user time (s): 1908.3
CPU system time (s): 6.03162
CPU usage (%): 100.442
Max. virtual memory (cumulated for all children) (KiB): 14202448
Max. memory (cumulated for all children) (KiB): 7884912
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1908.3
system time used= 6.03162
maximum resident set size= 7948992
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 189109
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2176
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 57298
involuntary context switches= 2492
# summary of solver processes directly reported to runsolver:
# pid: 31765
# total CPU time (s): 1914.34
# total CPU user time (s): 1908.3
# total CPU system time (s): 6.03162
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 11.7479 second user time and 17.116 second system time
The end