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 (15051 MiB free)
memory of node 1: 16384 MiB (15247 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4394201-1568329209/watcher-4394201-1568329209 -o /tmp/evaluation-result-4394201-1568329209/solver-4394201-1568329209 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node151-1568323682-25331 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 12000 -tdir HOME -seed 32163487 HOME/instance-4394201-1568329209.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=1031, runsolver pid=1028
Current StackSize limit: 8192 KiB
[startup+0.100059 s]*
/proc/loadavg: 5.27 7.27 7.88 7/233 1048
/proc/meminfo: memFree=31009992/32770624 swapFree=66933640/67108860
[pid=1031] ppid=1028 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/1031/stat : 1031 (xcsp3-exec) S 1028 1031 25300 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 409192402 115843072 362 33554432000 4194304 5098028 140722803919648 140722803917752 140169677234812 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 10977280 140722803921788 140722803922029 140722803922029 140722803924938 0
/proc/1031/statm: 28282 362 304 221 0 87 0
[pid=1033] ppid=1031 vsize=15144768 memory=29616 CPUtime=0.12 cores=0,2,4,6
/proc/1033/stat : 1033 (java) S 1031 1031 25300 0 -1 1077944320 5804 0 0 0 11 1 0 0 20 0 15 0 409192403 15508242432 7404 33554432000 4194304 4196468 140730071526640 140730071509184 140380079480567 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 36478976 140730071532527 140730071532698 140730071532698 140730071535567 0
/proc/1033/statm: 3786192 7404 3154 1 0 3748377 0
[pid=1033/tid=1034] ppid=1031 vsize=15144768 memory=4716547817754820743 CPUtime=0.09 cores=0,2,4,6
/proc/1033/task/1034/stat : 1034 (java) R 1031 1031 25300 0 -1 4202560 3726 0 0 0 8 1 0 0 20 0 15 0 409192403 15508242432 7404 33554432000 4194304 4196468 140730071526640 140380083704976 140380071717694 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36478976 140730071532527 140730071532698 140730071532698 140730071535567 0
[pid=1033/tid=1035] ppid=1031 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1033/task/1035/stat : 1035 (java) S 1031 1031 25300 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409192404 15508242432 7404 33554432000 4194304 4196468 140730071526640 140380007521296 140380079490773 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36478976 140730071532527 140730071532698 140730071532698 140730071535567 0
[pid=1033/tid=1036] ppid=1031 vsize=15144768 memory=140008004638336 CPUtime=0 cores=0,2,4,6
/proc/1033/task/1036/stat : 1036 (java) S 1031 1031 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409192404 15508242432 7404 33554432000 4194304 4196468 140730071526640 140380006468752 140380079490773 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36478976 140730071532527 140730071532698 140730071532698 140730071535567 0
[pid=1033/tid=1037] ppid=1031 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1033/task/1037/stat : 1037 (java) S 1031 1031 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409192404 15508242432 7404 33554432000 4194304 4196468 140730071526640 140380005415696 140380079490773 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36478976 140730071532527 140730071532698 140730071532698 140730071535567 0
[pid=1033/tid=1039] ppid=1031 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1033/task/1039/stat : 1039 (java) S 1031 1031 25300 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409192404 15508242432 7404 33554432000 4194304 4196468 140730071526640 140380004363152 140380079490773 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36478976 140730071532527 140730071532698 140730071532698 140730071535567 0
[pid=1033/tid=1040] ppid=1031 vsize=15144768 memory=140008004638336 CPUtime=0 cores=0,2,4,6
/proc/1033/task/1040/stat : 1040 (java) S 1031 1031 25300 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409192405 15508242432 7404 33554432000 4194304 4196468 140730071526640 140379548023024 140380079491714 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36478976 140730071532527 140730071532698 140730071532698 140730071535567 0
[pid=1033/tid=1041] ppid=1031 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1033/task/1041/stat : 1041 (java) S 1031 1031 25300 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 409192405 15508242432 7404 33554432000 4194304 4196468 140730071526640 140379546969248 140380079490773 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36478976 140730071532527 140730071532698 140730071532698 140730071535567 0
[pid=1033/tid=1042] ppid=1031 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1033/task/1042/stat : 1042 (java) S 1031 1031 25300 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 409192406 15508242432 7404 33554432000 4194304 4196468 140730071526640 140379545916144 140380079490773 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36478976 140730071532527 140730071532698 140730071532698 140730071535567 0
[pid=1033/tid=1043] ppid=1031 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1033/task/1043/stat : 1043 (java) S 1031 1031 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409192408 15508242432 7404 33554432000 4194304 4196468 140730071526640 140379544864720 140380079499163 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36478976 140730071532527 140730071532698 140730071532698 140730071535567 0
[pid=1033/tid=1044] ppid=1031 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1033/task/1044/stat : 1044 (java) R 1031 1031 25300 0 -1 4202560 434 0 0 0 0 0 0 0 20 0 15 0 409192408 15508242432 7404 33554432000 4194304 4196468 140730071526640 140379543812848 140380062916305 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36478976 140730071532527 140730071532698 140730071532698 140730071535567 0
[pid=1033/tid=1045] ppid=1031 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1033/task/1045/stat : 1045 (java) R 1031 1031 25300 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 409192408 15508242432 7404 33554432000 4194304 4196468 140730071526640 140379542760304 140380079491714 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36478976 140730071532527 140730071532698 140730071532698 140730071535567 0
[pid=1033/tid=1046] ppid=1031 vsize=15144768 memory=140008004638336 CPUtime=0.02 cores=0,2,4,6
/proc/1033/task/1046/stat : 1046 (java) R 1031 1031 25300 0 -1 4202560 359 0 0 0 2 0 0 0 20 0 15 0 409192408 15508242432 7404 33554432000 4194304 4196468 140730071526640 140379541707248 140380058141808 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36478976 140730071532527 140730071532698 140730071532698 140730071535567 0
[pid=1033/tid=1047] ppid=1031 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1033/task/1047/stat : 1047 (java) S 1031 1031 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409192408 15508242432 7404 33554432000 4194304 4196468 140730071526640 140379540654944 140380079490773 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36478976 140730071532527 140730071532698 140730071532698 140730071535567 0
[pid=1033/tid=1048] ppid=1031 vsize=15144768 memory=140008004638336 CPUtime=0 cores=0,2,4,6
/proc/1033/task/1048/stat : 1048 (java) S 1031 1031 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409192409 15508242432 7404 33554432000 4194304 4196468 140730071526640 140379539601968 140380079491714 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36478976 140730071532527 140730071532698 140730071532698 140730071535567 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 31064 KiB
[startup+0.210765 s]*
/proc/loadavg: 5.27 7.27 7.88 7/233 1048
/proc/meminfo: memFree=30996328/32770624 swapFree=66933640/67108860
[pid=1031] ppid=1028 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/1031/stat : 1031 (xcsp3-exec) S 1028 1031 25300 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 409192402 115843072 362 33554432000 4194304 5098028 140722803919648 140722803917752 140169677234812 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 10977280 140722803921788 140722803922029 140722803922029 140722803924938 0
/proc/1031/statm: 28282 362 304 221 0 87 0
[pid=1033] ppid=1031 vsize=15144768 memory=40704 CPUtime=0.34 cores=0,2,4,6
/proc/1033/stat : 1033 (java) S 1031 1031 25300 0 -1 1077944320 9449 0 0 0 31 3 0 0 20 0 15 0 409192403 15508242432 10176 33554432000 4194304 4196468 140730071526640 140730071509184 140380079480567 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 36478976 140730071532527 140730071532698 140730071532698 140730071535567 0
/proc/1033/statm: 3786192 10176 3249 1 0 3748377 0
[pid=1033/tid=1034] ppid=1031 vsize=15144768 memory=7883960649037381690 CPUtime=0.2 cores=0,2,4,6
/proc/1033/task/1034/stat : 1034 (java) R 1031 1031 25300 0 -1 4202560 6622 0 0 0 18 2 0 0 20 0 15 0 409192403 15508242432 10176 33554432000 4194304 4196468 140730071526640 140380083711840 140380063561054 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36478976 140730071532527 140730071532698 140730071532698 140730071535567 0
[pid=1033/tid=1035] ppid=1031 vsize=15144768 memory=2964501 CPUtime=0 cores=0,2,4,6
/proc/1033/task/1035/stat : 1035 (java) S 1031 1031 25300 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409192404 15508242432 10176 33554432000 4194304 4196468 140730071526640 140380007521296 140380079490773 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36478976 140730071532527 140730071532698 140730071532698 140730071535567 0
[pid=1033/tid=1036] ppid=1031 vsize=15144768 memory=288370384156350080 CPUtime=0 cores=0,2,4,6
/proc/1033/task/1036/stat : 1036 (java) S 1031 1031 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409192404 15508242432 10176 33554432000 4194304 4196468 140730071526640 140380006468752 140380079490773 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36478976 140730071532527 140730071532698 140730071532698 140730071535567 0
[pid=1033/tid=1037] ppid=1031 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1033/task/1037/stat : 1037 (java) S 1031 1031 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409192404 15508242432 10176 33554432000 4194304 4196468 140730071526640 140380005415696 140380079490773 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36478976 140730071532527 140730071532698 140730071532698 140730071535567 0
[pid=1033/tid=1039] ppid=1031 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1033/task/1039/stat : 1039 (java) S 1031 1031 25300 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409192404 15508242432 10176 33554432000 4194304 4196468 140730071526640 140380004363152 140380079490773 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36478976 140730071532527 140730071532698 140730071532698 140730071535567 0
[pid=1033/tid=1040] ppid=1031 vsize=15144768 memory=140008004638336 CPUtime=0 cores=0,2,4,6
/proc/1033/task/1040/stat : 1040 (java) S 1031 1031 25300 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 409192405 15508242432 10176 33554432000 4194304 4196468 140730071526640 140379548023024 140380079491714 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36478976 140730071532527 140730071532698 140730071532698 140730071535567 0
[pid=1033/tid=1041] ppid=1031 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1033/task/1041/stat : 1041 (java) S 1031 1031 25300 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 409192405 15508242432 10176 33554432000 4194304 4196468 140730071526640 140379546969248 140380079490773 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36478976 140730071532527 140730071532698 140730071532698 140730071535567 0
[pid=1033/tid=1042] ppid=1031 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1033/task/1042/stat : 1042 (java) S 1031 1031 25300 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 409192406 15508242432 10176 33554432000 4194304 4196468 140730071526640 140379545916144 140380079490773 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36478976 140730071532527 140730071532698 140730071532698 140730071535567 0
[pid=1033/tid=1043] ppid=1031 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1033/task/1043/stat : 1043 (java) S 1031 1031 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409192408 15508242432 10176 33554432000 4194304 4196468 140730071526640 140379544864720 140380079499163 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36478976 140730071532527 140730071532698 140730071532698 140730071535567 0
[pid=1033/tid=1044] ppid=1031 vsize=15144768 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/1033/task/1044/stat : 1044 (java) S 1031 1031 25300 0 -1 1077944384 720 0 0 0 3 0 0 0 20 0 15 0 409192408 15508242432 10176 33554432000 4194304 4196468 140730071526640 140379543812848 140380079491714 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36478976 140730071532527 140730071532698 140730071532698 140730071535567 0
[pid=1033/tid=1045] ppid=1031 vsize=15144768 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/1033/task/1045/stat : 1045 (java) S 1031 1031 25300 0 -1 1077944384 49 0 0 0 1 0 0 0 20 0 15 0 409192408 15508242432 10176 33554432000 4194304 4196468 140730071526640 140379542760304 140380079491714 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36478976 140730071532527 140730071532698 140730071532698 140730071535567 0
[pid=1033/tid=1046] ppid=1031 vsize=15144768 memory=140008004638336 CPUtime=0.08 cores=0,2,4,6
/proc/1033/task/1046/stat : 1046 (java) S 1031 1031 25300 0 -1 1077944384 758 0 0 0 8 0 0 0 20 0 15 0 409192408 15508242432 10176 33554432000 4194304 4196468 140730071526640 140379541707248 140380079491714 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36478976 140730071532527 140730071532698 140730071532698 140730071535567 0
[pid=1033/tid=1047] ppid=1031 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1033/task/1047/stat : 1047 (java) S 1031 1031 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409192408 15508242432 10176 33554432000 4194304 4196468 140730071526640 140379540654944 140380079490773 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36478976 140730071532527 140730071532698 140730071532698 140730071535567 0
[pid=1033/tid=1048] ppid=1031 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1033/task/1048/stat : 1048 (java) S 1031 1031 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409192409 15508242432 10176 33554432000 4194304 4196468 140730071526640 140379539601968 140380079491714 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36478976 140730071532527 140730071532698 140730071532698 140730071535567 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 42152 KiB
[startup+0.319563 s]*
/proc/loadavg: 5.27 7.27 7.88 7/233 1048
/proc/meminfo: memFree=30990372/32770624 swapFree=66933640/67108860
[pid=1031] ppid=1028 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/1031/stat : 1031 (xcsp3-exec) S 1028 1031 25300 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 409192402 115843072 362 33554432000 4194304 5098028 140722803919648 140722803917752 140169677234812 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 10977280 140722803921788 140722803922029 140722803922029 140722803924938 0
/proc/1031/statm: 28282 362 304 221 0 87 0
[pid=1033] ppid=1031 vsize=15149024 memory=50624 CPUtime=0.53 cores=0,2,4,6
/proc/1033/stat : 1033 (java) S 1031 1031 25300 0 -1 1077944320 10954 0 0 0 50 3 0 0 20 0 15 0 409192403 15512600576 12656 33554432000 4194304 4196468 140730071526640 140730071509184 140380079480567 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 36478976 140730071532527 140730071532698 140730071532698 140730071535567 0
/proc/1033/statm: 3787256 12656 3371 1 0 3748377 0
[pid=1033/tid=1034] ppid=1031 vsize=15149024 memory=6791534058613427641 CPUtime=0.31 cores=0,2,4,6
/proc/1033/task/1034/stat : 1034 (java) R 1031 1031 25300 0 -1 4202560 7929 0 0 0 28 3 0 0 20 0 15 0 409192403 15512600576 12665 33554432000 4194304 4196468 140730071526640 140380083717392 140380063561054 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36478976 140730071532527 140730071532698 140730071532698 140730071535567 0
[pid=1033/tid=1035] ppid=1031 vsize=15149024 memory=744 CPUtime=0 cores=0,2,4,6
/proc/1033/task/1035/stat : 1035 (java) S 1031 1031 25300 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409192404 15512600576 12665 33554432000 4194304 4196468 140730071526640 140380007521296 140380079490773 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36478976 140730071532527 140730071532698 140730071532698 140730071535567 0
[pid=1033/tid=1036] ppid=1031 vsize=15149024 memory=8296 CPUtime=0 cores=0,2,4,6
/proc/1033/task/1036/stat : 1036 (java) S 1031 1031 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409192404 15512600576 12665 33554432000 4194304 4196468 140730071526640 140380006468752 140380079490773 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36478976 140730071532527 140730071532698 140730071532698 140730071535567 0
[pid=1033/tid=1037] ppid=1031 vsize=15149024 memory=5952 CPUtime=0 cores=0,2,4,6
/proc/1033/task/1037/stat : 1037 (java) S 1031 1031 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409192404 15512600576 12665 33554432000 4194304 4196468 140730071526640 140380005415696 140380079490773 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36478976 140730071532527 140730071532698 140730071532698 140730071535567 0
[pid=1033/tid=1039] ppid=1031 vsize=15149024 memory=1124 CPUtime=0 cores=0,2,4,6
/proc/1033/task/1039/stat : 1039 (java) S 1031 1031 25300 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409192404 15512600576 12665 33554432000 4194304 4196468 140730071526640 140380004363152 140380079490773 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36478976 140730071532527 140730071532698 140730071532698 140730071535567 0
[pid=1033/tid=1040] ppid=1031 vsize=15149024 memory=14008 CPUtime=0 cores=0,2,4,6
/proc/1033/task/1040/stat : 1040 (java) S 1031 1031 25300 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 409192405 15512600576 12665 33554432000 4194304 4196468 140730071526640 140379548023024 140380079491714 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36478976 140730071532527 140730071532698 140730071532698 140730071535567 0
[pid=1033/tid=1041] ppid=1031 vsize=15149024 memory=11928 CPUtime=0 cores=0,2,4,6
/proc/1033/task/1041/stat : 1041 (java) S 1031 1031 25300 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 409192405 15512600576 12665 33554432000 4194304 4196468 140730071526640 140379546969248 140380079490773 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36478976 140730071532527 140730071532698 140730071532698 140730071535567 0
[pid=1033/tid=1042] ppid=1031 vsize=15149024 memory=2124 CPUtime=0 cores=0,2,4,6
/proc/1033/task/1042/stat : 1042 (java) S 1031 1031 25300 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 409192406 15512600576 12665 33554432000 4194304 4196468 140730071526640 140379545916144 140380079490773 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36478976 140730071532527 140730071532698 140730071532698 140730071535567 0
[pid=1033/tid=1043] ppid=1031 vsize=15149024 memory=6308 CPUtime=0 cores=0,2,4,6
/proc/1033/task/1043/stat : 1043 (java) S 1031 1031 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409192408 15512600576 12665 33554432000 4194304 4196468 140730071526640 140379544864720 140380079499163 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36478976 140730071532527 140730071532698 140730071532698 140730071535567 0
[pid=1033/tid=1044] ppid=1031 vsize=15149024 memory=504 CPUtime=0.04 cores=0,2,4,6
/proc/1033/task/1044/stat : 1044 (java) S 1031 1031 25300 0 -1 1077944384 732 0 0 0 4 0 0 0 20 0 15 0 409192408 15512600576 12665 33554432000 4194304 4196468 140730071526640 140379543812848 140380079491714 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36478976 140730071532527 140730071532698 140730071532698 140730071535567 0
[pid=1033/tid=1045] ppid=1031 vsize=15149024 memory=1564 CPUtime=0.04 cores=0,2,4,6
/proc/1033/task/1045/stat : 1045 (java) S 1031 1031 25300 0 -1 1077944384 187 0 0 0 4 0 0 0 20 0 15 0 409192408 15512600576 12665 33554432000 4194304 4196468 140730071526640 140379542760304 140380079491714 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36478976 140730071532527 140730071532698 140730071532698 140730071535567 0
[pid=1033/tid=1046] ppid=1031 vsize=15149024 memory=1412 CPUtime=0.12 cores=0,2,4,6
/proc/1033/task/1046/stat : 1046 (java) S 1031 1031 25300 0 -1 1077944384 849 0 0 0 12 0 0 0 20 0 15 0 409192408 15512600576 12665 33554432000 4194304 4196468 140730071526640 140379541707248 140380079491714 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36478976 140730071532527 140730071532698 140730071532698 140730071535567 0
[pid=1033/tid=1047] ppid=1031 vsize=15149024 memory=2209 CPUtime=0 cores=0,2,4,6
/proc/1033/task/1047/stat : 1047 (java) S 1031 1031 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409192408 15512600576 12665 33554432000 4194304 4196468 140730071526640 140379540654944 140380079490773 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36478976 140730071532527 140730071532698 140730071532698 140730071535567 0
[pid=1033/tid=1048] ppid=1031 vsize=15149024 memory=46532 CPUtime=0 cores=0,2,4,6
/proc/1033/task/1048/stat : 1048 (java) S 1031 1031 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409192409 15512600576 12665 33554432000 4194304 4196468 140730071526640 140379539601968 140380079491714 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36478976 140730071532527 140730071532698 140730071532698 140730071535567 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262152 KiB
Current children cumulated memory: 52072 KiB
[startup+0.707803 s]
/proc/loadavg: 5.27 7.27 7.88 9/233 1048
/proc/meminfo: memFree=30975040/32770624 swapFree=66933640/67108860
[pid=1031] ppid=1028 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/1031/stat : 1031 (xcsp3-exec) S 1028 1031 25300 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 409192402 115843072 362 33554432000 4194304 5098028 140722803919648 140722803917752 140169677234812 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 10977280 140722803921788 140722803922029 140722803922029 140722803924938 0
/proc/1031/statm: 28282 362 304 221 0 87 0
[pid=1033] ppid=1031 vsize=15484996 memory=158060 CPUtime=1.68 cores=0,2,4,6
/proc/1033/stat : 1033 (java) S 1031 1031 25300 0 -1 1077944320 15478 0 0 0 162 6 0 0 20 0 19 0 409192403 15856635904 39515 33554432000 4194304 4196468 140730071526640 140730071509184 140380079480567 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 36478976 140730071532527 140730071532698 140730071532698 140730071535567 0
/proc/1033/statm: 3871249 39515 3459 1 0 3832351 0
[pid=1033/tid=1034] ppid=1031 vsize=15484996 memory=1332 CPUtime=0.52 cores=0,2,4,6
/proc/1033/task/1034/stat : 1034 (java) R 1031 1031 25300 0 -1 4202560 9214 0 0 0 49 3 0 0 20 0 19 0 409192403 15856635904 39515 33554432000 4194304 4196468 140730071526640 140380083721344 140380079502397 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36478976 140730071532527 140730071532698 140730071532698 140730071535567 0
[pid=1033/tid=1035] ppid=1031 vsize=15484996 memory=1564 CPUtime=0 cores=0,2,4,6
/proc/1033/task/1035/stat : 1035 (java) S 1031 1031 25300 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 409192404 15856635904 39515 33554432000 4194304 4196468 140730071526640 140380007521296 140380079490773 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36478976 140730071532527 140730071532698 140730071532698 140730071535567 0
[pid=1033/tid=1036] ppid=1031 vsize=15484996 memory=976 CPUtime=0 cores=0,2,4,6
/proc/1033/task/1036/stat : 1036 (java) S 1031 1031 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 409192404 15856635904 39515 33554432000 4194304 4196468 140730071526640 140380006468752 140380079490773 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36478976 140730071532527 140730071532698 140730071532698 140730071535567 0
[pid=1033/tid=1037] ppid=1031 vsize=15484996 memory=772 CPUtime=0 cores=0,2,4,6
/proc/1033/task/1037/stat : 1037 (java) S 1031 1031 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 409192404 15856635904 39515 33554432000 4194304 4196468 140730071526640 140380005415696 140380079490773 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36478976 140730071532527 140730071532698 140730071532698 140730071535567 0
[pid=1033/tid=1039] ppid=1031 vsize=15484996 memory=3932 CPUtime=0 cores=0,2,4,6
/proc/1033/task/1039/stat : 1039 (java) S 1031 1031 25300 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 409192404 15856635904 39515 33554432000 4194304 4196468 140730071526640 140380004363152 140380079490773 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36478976 140730071532527 140730071532698 140730071532698 140730071535567 0
[pid=1033/tid=1040] ppid=1031 vsize=15484996 memory=2832 CPUtime=0 cores=0,2,4,6
/proc/1033/task/1040/stat : 1040 (java) S 1031 1031 25300 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 409192405 15856635904 39515 33554432000 4194304 4196468 140730071526640 140379548023024 140380079491714 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36478976 140730071532527 140730071532698 140730071532698 140730071535567 0
[pid=1033/tid=1041] ppid=1031 vsize=15484996 memory=1548 CPUtime=0 cores=0,2,4,6
/proc/1033/task/1041/stat : 1041 (java) S 1031 1031 25300 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 409192405 15856635904 39515 33554432000 4194304 4196468 140730071526640 140379546969248 140380079490773 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36478976 140730071532527 140730071532698 140730071532698 140730071535567 0
[pid=1033/tid=1042] ppid=1031 vsize=15484996 memory=1056 CPUtime=0 cores=0,2,4,6
/proc/1033/task/1042/stat : 1042 (java) S 1031 1031 25300 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 409192406 15856635904 39515 33554432000 4194304 4196468 140730071526640 140379545916144 140380079490773 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36478976 140730071532527 140730071532698 140730071532698 140730071535567 0
[pid=1033/tid=1043] ppid=1031 vsize=15484996 memory=744 CPUtime=0 cores=0,2,4,6
/proc/1033/task/1043/stat : 1043 (java) S 1031 1031 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 409192408 15856635904 39515 33554432000 4194304 4196468 140730071526640 140379544864720 140380079499163 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36478976 140730071532527 140730071532698 140730071532698 140730071535567 0
[pid=1033/tid=1044] ppid=1031 vsize=15484996 memory=8296 CPUtime=0.28 cores=0,2,4,6
/proc/1033/task/1044/stat : 1044 (java) R 1031 1031 25300 0 -1 4202560 1397 0 0 0 28 0 0 0 20 0 20 0 409192408 15856635904 39515 33554432000 4194304 4196468 140730071526640 140379543804496 140380057076049 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36478976 140730071532527 140730071532698 140730071532698 140730071535567 0
[pid=1033/tid=1045] ppid=1031 vsize=15484996 memory=5952 CPUtime=0.28 cores=0,2,4,6
/proc/1033/task/1045/stat : 1045 (java) R 1031 1031 25300 0 -1 4202560 913 0 0 0 28 0 0 0 20 0 20 0 409192408 15856635904 39515 33554432000 4194304 4196468 140730071526640 140379542746704 140380063387280 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36478976 140730071532527 140730071532698 140730071532698 140730071535567 0
[pid=1033/tid=1046] ppid=1031 vsize=15484996 memory=1124 CPUtime=0.33 cores=0,2,4,6
/proc/1033/task/1046/stat : 1046 (java) S 1031 1031 25300 0 -1 1077944384 1764 0 0 0 33 0 0 0 20 0 20 0 409192408 15856635904 39515 33554432000 4194304 4196468 140730071526640 140379541707248 140380079491714 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36478976 140730071532527 140730071532698 140730071532698 140730071535567 0
[pid=1033/tid=1047] ppid=1031 vsize=15484996 memory=14008 CPUtime=0 cores=0,2,4,6
/proc/1033/task/1047/stat : 1047 (java) S 1031 1031 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 409192408 15856635904 39515 33554432000 4194304 4196468 140730071526640 140379540654944 140380079490773 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36478976 140730071532527 140730071532698 140730071532698 140730071535567 0
[pid=1033/tid=1048] ppid=1031 vsize=15484996 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1033/task/1048/stat : 1048 (java) S 1031 1031 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 409192409 15856635904 39515 33554432000 4194304 4196468 140730071526640 140379539601968 140380079491714 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36478976 140730071532527 140730071532698 140730071532698 140730071535567 0
Current children cumulated CPU time: 1.68 s
Current children cumulated vsize: 15598124 KiB
Current children cumulated memory: 159508 KiB
[startup+1.50156 s]
/proc/loadavg: 5.27 7.27 7.88 13/237 1262
/proc/meminfo: memFree=30843160/32770624 swapFree=66933640/67108860
[pid=1031] ppid=1028 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/1031/stat : 1031 (xcsp3-exec) S 1028 1031 25300 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 409192402 115843072 362 33554432000 4194304 5098028 140722803919648 140722803917752 140169677234812 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 10977280 140722803921788 140722803922029 140722803922029 140722803924938 0
/proc/1031/statm: 28282 362 304 221 0 87 0
################
# More data... #
################
/proc/1033/task/1040/stat : 1040 (java) S 1031 1031 25300 0 -1 1077944384 92 0 0 0 0 0 0 0 20 0 19 0 409192405 15924797440 53550 33554432000 4194304 4196468 140730071526640 140379548023024 140380079491714 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36478976 140730071532527 140730071532698 140730071532698 140730071535567 0
[pid=1033/tid=1041] ppid=1031 vsize=15551560 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1033/task/1041/stat : 1041 (java) S 1031 1031 25300 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 19 0 409192405 15924797440 53550 33554432000 4194304 4196468 140730071526640 140379546969312 140380079490773 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36478976 140730071532527 140730071532698 140730071532698 140730071535567 0
[pid=1033/tid=1042] ppid=1031 vsize=15551560 memory=280015762295440 CPUtime=0 cores=0,2,4,6
/proc/1033/task/1042/stat : 1042 (java) S 1031 1031 25300 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 19 0 409192406 15924797440 53550 33554432000 4194304 4196468 140730071526640 140379545916160 140380079490773 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36478976 140730071532527 140730071532698 140730071532698 140730071535567 0
[pid=1033/tid=1043] ppid=1031 vsize=15551560 memory=3905382320260497011 CPUtime=0 cores=0,2,4,6
/proc/1033/task/1043/stat : 1043 (java) S 1031 1031 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409192408 15924797440 53550 33554432000 4194304 4196468 140730071526640 140379544864720 140380079499163 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36478976 140730071532527 140730071532698 140730071532698 140730071535567 0
[pid=1033/tid=1044] ppid=1031 vsize=15551560 memory=14008 CPUtime=2.38 cores=0,2,4,6
/proc/1033/task/1044/stat : 1044 (java) S 1031 1031 25300 0 -1 1077944384 5958 0 0 0 237 1 0 0 20 0 19 0 409192408 15924797440 53550 33554432000 4194304 4196468 140730071526640 140379543812848 140380079491714 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36478976 140730071532527 140730071532698 140730071532698 140730071535567 0
[pid=1033/tid=1045] ppid=1031 vsize=15551560 memory=0 CPUtime=2.32 cores=0,2,4,6
/proc/1033/task/1045/stat : 1045 (java) S 1031 1031 25300 0 -1 1077944384 4249 0 0 0 232 0 0 0 20 0 19 0 409192408 15924797440 53550 33554432000 4194304 4196468 140730071526640 140379542760304 140380079491714 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36478976 140730071532527 140730071532698 140730071532698 140730071535567 0
[pid=1033/tid=1046] ppid=1031 vsize=15551560 memory=0 CPUtime=0.52 cores=0,2,4,6
/proc/1033/task/1046/stat : 1046 (java) S 1031 1031 25300 0 -1 1077944384 2623 0 0 0 52 0 0 0 20 0 19 0 409192408 15924797440 53550 33554432000 4194304 4196468 140730071526640 140379541707248 140380079491714 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36478976 140730071532527 140730071532698 140730071532698 140730071535567 0
[pid=1033/tid=1047] ppid=1031 vsize=15551560 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1033/task/1047/stat : 1047 (java) S 1031 1031 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409192408 15924797440 53550 33554432000 4194304 4196468 140730071526640 140379540654944 140380079490773 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36478976 140730071532527 140730071532698 140730071532698 140730071535567 0
[pid=1033/tid=1048] ppid=1031 vsize=15551560 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1033/task/1048/stat : 1048 (java) S 1031 1031 25300 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 19 0 409192409 15924797440 53550 33554432000 4194304 4196468 140730071526640 140379539601968 140380079491714 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36478976 140730071532527 140730071532698 140730071532698 140730071535567 0
[pid=1033/tid=1329] ppid=1031 vsize=15551560 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/1033/task/1329/stat : 1329 (java) S 1031 1031 25300 0 -1 1077944384 17 0 0 0 9 0 0 0 20 0 19 0 409192935 15924797440 53550 33554432000 4194304 4196468 140730071526640 140379459399344 140380079490773 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36478976 140730071532527 140730071532698 140730071532698 140730071535567 0
[pid=1033/tid=1330] ppid=1031 vsize=15551560 memory=3761121630988808492 CPUtime=0.09 cores=0,2,4,6
/proc/1033/task/1330/stat : 1330 (java) S 1031 1031 25300 0 -1 1077944384 18 0 0 0 9 0 0 0 20 0 19 0 409192935 15924797440 53550 33554432000 4194304 4196468 140730071526640 140379460453120 140380079490773 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36478976 140730071532527 140730071532698 140730071532698 140730071535567 0
[pid=1033/tid=1331] ppid=1031 vsize=15551560 memory=3905659405870435507 CPUtime=0.09 cores=0,2,4,6
/proc/1033/task/1331/stat : 1331 (java) S 1031 1031 25300 0 -1 1077944384 17 0 0 0 9 0 0 0 20 0 19 0 409192935 15924797440 53550 33554432000 4194304 4196468 140730071526640 140379462558592 140380079490773 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36478976 140730071532527 140730071532698 140730071532698 140730071535567 0
[pid=1033/tid=1332] ppid=1031 vsize=15551560 memory=0 CPUtime=2.66 cores=0,2,4,6
/proc/1033/task/1332/stat : 1332 (java) R 1031 1031 25300 0 -1 4202560 137 0 0 0 266 0 0 0 20 0 19 0 409192935 15924797440 53550 33554432000 4194304 4196468 140730071526640 140379456237312 140379687266129 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36478976 140730071532527 140730071532698 140730071532698 140730071535567 0
Current children cumulated CPU time: 15.71 s
Current children cumulated vsize: 15664688 KiB
Current children cumulated memory: 215648 KiB
[startup+9.60072 s]
/proc/loadavg: 5.25 7.24 7.86 6/238 1341
/proc/meminfo: memFree=30830924/32770624 swapFree=66933640/67108860
[pid=1031] ppid=1028 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/1031/stat : 1031 (xcsp3-exec) S 1028 1031 25300 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 409192402 115843072 362 33554432000 4194304 5098028 140722803919648 140722803917752 140169677234812 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 10977280 140722803921788 140722803922029 140722803922029 140722803924938 0
/proc/1031/statm: 28282 362 304 221 0 87 0
[pid=1033] ppid=1031 vsize=15551560 memory=214428 CPUtime=19.39 cores=0,2,4,6
/proc/1033/stat : 1033 (java) S 1031 1031 25300 0 -1 1077944320 34458 0 0 0 1929 10 0 0 20 0 19 0 409192403 15924797440 53607 33554432000 4194304 4196468 140730071526640 140730071509184 140380079480567 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 36478976 140730071532527 140730071532698 140730071532698 140730071535567 0
/proc/1033/statm: 3887890 53607 3502 1 0 3848992 0
[pid=1033/tid=1034] ppid=1031 vsize=15551560 memory=-7019007802211091872 CPUtime=0.55 cores=0,2,4,6
/proc/1033/task/1034/stat : 1034 (java) S 1031 1031 25300 0 -1 1077944384 9513 0 0 0 51 4 0 0 20 0 19 0 409192403 15924797440 53607 33554432000 4194304 4196468 140730071526640 140380083721344 140380079490773 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36478976 140730071532527 140730071532698 140730071532698 140730071535567 0
[pid=1033/tid=1035] ppid=1031 vsize=15551560 memory=-7533228491584937888 CPUtime=0 cores=0,2,4,6
/proc/1033/task/1035/stat : 1035 (java) S 1031 1031 25300 0 -1 1077944384 29 0 0 0 0 0 0 0 20 0 19 0 409192404 15924797440 53607 33554432000 4194304 4196468 140730071526640 140380007521296 140380079490773 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36478976 140730071532527 140730071532698 140730071532698 140730071535567 0
[pid=1033/tid=1036] ppid=1031 vsize=15551560 memory=-9001733975035308135 CPUtime=0 cores=0,2,4,6
/proc/1033/task/1036/stat : 1036 (java) S 1031 1031 25300 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 19 0 409192404 15924797440 53607 33554432000 4194304 4196468 140730071526640 140380006468752 140380079490773 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36478976 140730071532527 140730071532698 140730071532698 140730071535567 0
[pid=1033/tid=1037] ppid=1031 vsize=15551560 memory=-6586667735541663136 CPUtime=0.01 cores=0,2,4,6
/proc/1033/task/1037/stat : 1037 (java) S 1031 1031 25300 0 -1 1077944384 16 0 0 0 1 0 0 0 20 0 19 0 409192404 15924797440 53607 33554432000 4194304 4196468 140730071526640 140380005415696 140380079490773 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36478976 140730071532527 140730071532698 140730071532698 140730071535567 0
[pid=1033/tid=1039] ppid=1031 vsize=15551560 memory=214592 CPUtime=0 cores=0,2,4,6
/proc/1033/task/1039/stat : 1039 (java) S 1031 1031 25300 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 19 0 409192404 15924797440 53607 33554432000 4194304 4196468 140730071526640 140380004363152 140380079490773 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36478976 140730071532527 140730071532698 140730071532698 140730071535567 0
[pid=1033/tid=1040] ppid=1031 vsize=15551560 memory=2241 CPUtime=0 cores=0,2,4,6
/proc/1033/task/1040/stat : 1040 (java) S 1031 1031 25300 0 -1 1077944384 153 0 0 0 0 0 0 0 20 0 19 0 409192405 15924797440 53607 33554432000 4194304 4196468 140730071526640 140379548023024 140380079491714 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36478976 140730071532527 140730071532698 140730071532698 140730071535567 0
[pid=1033/tid=1041] ppid=1031 vsize=15551560 memory=2244 CPUtime=0 cores=0,2,4,6
/proc/1033/task/1041/stat : 1041 (java) S 1031 1031 25300 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 19 0 409192405 15924797440 53607 33554432000 4194304 4196468 140730071526640 140379546969312 140380079490773 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36478976 140730071532527 140730071532698 140730071532698 140730071535567 0
[pid=1033/tid=1042] ppid=1031 vsize=15551560 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1033/task/1042/stat : 1042 (java) S 1031 1031 25300 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 19 0 409192406 15924797440 53607 33554432000 4194304 4196468 140730071526640 140379545916160 140380079490773 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36478976 140730071532527 140730071532698 140730071532698 140730071535567 0
[pid=1033/tid=1043] ppid=1031 vsize=15551560 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1033/task/1043/stat : 1043 (java) S 1031 1031 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409192408 15924797440 53607 33554432000 4194304 4196468 140730071526640 140379544864720 140380079499163 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36478976 140730071532527 140730071532698 140730071532698 140730071535567 0
[pid=1033/tid=1044] ppid=1031 vsize=15551560 memory=3620 CPUtime=2.49 cores=0,2,4,6
/proc/1033/task/1044/stat : 1044 (java) S 1031 1031 25300 0 -1 1077944384 7787 0 0 0 248 1 0 0 20 0 19 0 409192408 15924797440 53607 33554432000 4194304 4196468 140730071526640 140379543812848 140380079491714 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36478976 140730071532527 140730071532698 140730071532698 140730071535567 0
[pid=1033/tid=1045] ppid=1031 vsize=15551560 memory=0 CPUtime=2.43 cores=0,2,4,6
/proc/1033/task/1045/stat : 1045 (java) S 1031 1031 25300 0 -1 1077944384 6371 0 0 0 243 0 0 0 20 0 19 0 409192408 15924797440 53607 33554432000 4194304 4196468 140730071526640 140379542760304 140380079491714 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36478976 140730071532527 140730071532698 140730071532698 140730071535567 0
[pid=1033/tid=1046] ppid=1031 vsize=15551560 memory=4580 CPUtime=0.53 cores=0,2,4,6
/proc/1033/task/1046/stat : 1046 (java) S 1031 1031 25300 0 -1 1077944384 3271 0 0 0 53 0 0 0 20 0 19 0 409192408 15924797440 53607 33554432000 4194304 4196468 140730071526640 140379541707248 140380079491714 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36478976 140730071532527 140730071532698 140730071532698 140730071535567 0
[pid=1033/tid=1047] ppid=1031 vsize=15551560 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1033/task/1047/stat : 1047 (java) S 1031 1031 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409192408 15924797440 53607 33554432000 4194304 4196468 140730071526640 140379540654944 140380079490773 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36478976 140730071532527 140730071532698 140730071532698 140730071535567 0
[pid=1033/tid=1048] ppid=1031 vsize=15551560 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1033/task/1048/stat : 1048 (java) S 1031 1031 25300 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 19 0 409192409 15924797440 53607 33554432000 4194304 4196468 140730071526640 140379539601968 140380079491714 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36478976 140730071532527 140730071532698 140730071532698 140730071535567 0
[pid=1033/tid=1337] ppid=1031 vsize=15551560 memory=0 CPUtime=0.35 cores=0,2,4,6
/proc/1033/task/1337/stat : 1337 (java) S 1031 1031 25300 0 -1 1077944384 17 0 0 0 35 0 0 0 20 0 19 0 409193257 15924797440 53607 33554432000 4194304 4196468 140730071526640 140379459399344 140380079490773 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36478976 140730071532527 140730071532698 140730071532698 140730071535567 0
[pid=1033/tid=1338] ppid=1031 vsize=15551560 memory=6944656592455360604 CPUtime=0.35 cores=0,2,4,6
/proc/1033/task/1338/stat : 1338 (java) S 1031 1031 25300 0 -1 1077944384 30 0 0 0 35 0 0 0 20 0 19 0 409193257 15924797440 53607 33554432000 4194304 4196468 140730071526640 140379460453120 140380079490773 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36478976 140730071532527 140730071532698 140730071532698 140730071535567 0
[pid=1033/tid=1339] ppid=1031 vsize=15551560 memory=222548 CPUtime=0.35 cores=0,2,4,6
/proc/1033/task/1339/stat : 1339 (java) S 1031 1031 25300 0 -1 1077944384 35 0 0 0 35 0 0 0 20 0 19 0 409193257 15924797440 53607 33554432000 4194304 4196468 140730071526640 140379456242560 140380079490773 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36478976 140730071532527 140730071532698 140730071532698 140730071535567 0
[pid=1033/tid=1340] ppid=1031 vsize=15551560 memory=221424 CPUtime=1.01 cores=0,2,4,6
/proc/1033/task/1340/stat : 1340 (java) R 1031 1031 25300 0 -1 4202560 19 0 0 0 101 0 0 0 20 0 19 0 409193257 15924797440 53607 33554432000 4194304 4196468 140730071526640 140379462553456 140379687265852 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36478976 140730071532527 140730071532698 140730071532698 140730071535567 0
Current children cumulated CPU time: 19.39 s
Current children cumulated vsize: 15664688 KiB
Current children cumulated memory: 215876 KiB
[startup+10.4016 s]
/proc/loadavg: 5.15 7.18 7.84 9/238 1345
/proc/meminfo: memFree=30830924/32770624 swapFree=66933640/67108860
[pid=1031] ppid=1028 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/1031/stat : 1031 (xcsp3-exec) S 1028 1031 25300 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 409192402 115843072 362 33554432000 4194304 5098028 140722803919648 140722803917752 140169677234812 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 10977280 140722803921788 140722803922029 140722803922029 140722803924938 0
/proc/1031/statm: 28282 362 304 221 0 87 0
[pid=1033] ppid=1031 vsize=15551560 memory=214448 CPUtime=21.91 cores=0,2,4,6
/proc/1033/stat : 1033 (java) S 1031 1031 25300 0 -1 1077944320 34677 0 0 0 2181 10 0 0 20 0 19 0 409192403 15924797440 53612 33554432000 4194304 4196468 140730071526640 140730071509184 140380079480567 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 36478976 140730071532527 140730071532698 140730071532698 140730071535567 0
/proc/1033/statm: 3887890 53612 3503 1 0 3848992 0
[pid=1033/tid=1034] ppid=1031 vsize=15551560 memory=2832 CPUtime=0.55 cores=0,2,4,6
/proc/1033/task/1034/stat : 1034 (java) S 1031 1031 25300 0 -1 1077944384 9515 0 0 0 51 4 0 0 20 0 19 0 409192403 15924797440 53612 33554432000 4194304 4196468 140730071526640 140380083721344 140380079490773 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36478976 140730071532527 140730071532698 140730071532698 140730071535567 0
[pid=1033/tid=1035] ppid=1031 vsize=15551560 memory=1548 CPUtime=0 cores=0,2,4,6
/proc/1033/task/1035/stat : 1035 (java) S 1031 1031 25300 0 -1 1077944384 29 0 0 0 0 0 0 0 20 0 19 0 409192404 15924797440 53612 33554432000 4194304 4196468 140730071526640 140380007521296 140380079490773 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36478976 140730071532527 140730071532698 140730071532698 140730071535567 0
[pid=1033/tid=1036] ppid=1031 vsize=15551560 memory=1056 CPUtime=0 cores=0,2,4,6
/proc/1033/task/1036/stat : 1036 (java) S 1031 1031 25300 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 19 0 409192404 15924797440 53612 33554432000 4194304 4196468 140730071526640 140380006468752 140380079490773 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36478976 140730071532527 140730071532698 140730071532698 140730071535567 0
[pid=1033/tid=1037] ppid=1031 vsize=15551560 memory=1448 CPUtime=0.01 cores=0,2,4,6
/proc/1033/task/1037/stat : 1037 (java) S 1031 1031 25300 0 -1 1077944384 16 0 0 0 1 0 0 0 20 0 19 0 409192404 15924797440 53612 33554432000 4194304 4196468 140730071526640 140380005415696 140380079490773 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36478976 140730071532527 140730071532698 140730071532698 140730071535567 0
[pid=1033/tid=1039] ppid=1031 vsize=15551560 memory=214428 CPUtime=0 cores=0,2,4,6
/proc/1033/task/1039/stat : 1039 (java) S 1031 1031 25300 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 19 0 409192404 15924797440 53612 33554432000 4194304 4196468 140730071526640 140380004363152 140380079490773 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36478976 140730071532527 140730071532698 140730071532698 140730071535567 0
[pid=1033/tid=1040] ppid=1031 vsize=15551560 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1033/task/1040/stat : 1040 (java) S 1031 1031 25300 0 -1 1077944384 154 0 0 0 0 0 0 0 20 0 19 0 409192405 15924797440 53612 33554432000 4194304 4196468 140730071526640 140379548023024 140380079491714 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36478976 140730071532527 140730071532698 140730071532698 140730071535567 0
[pid=1033/tid=1041] ppid=1031 vsize=15551560 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/1033/task/1041/stat : 1041 (java) S 1031 1031 25300 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 19 0 409192405 15924797440 53612 33554432000 4194304 4196468 140730071526640 140379546969312 140380079490773 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36478976 140730071532527 140730071532698 140730071532698 140730071535567 0
[pid=1033/tid=1042] ppid=1031 vsize=15551560 memory=218300 CPUtime=0 cores=0,2,4,6
/proc/1033/task/1042/stat : 1042 (java) S 1031 1031 25300 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 19 0 409192406 15924797440 53612 33554432000 4194304 4196468 140730071526640 140379545916160 140380079490773 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36478976 140730071532527 140730071532698 140730071532698 140730071535567 0
[pid=1033/tid=1043] ppid=1031 vsize=15551560 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/1033/task/1043/stat : 1043 (java) S 1031 1031 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409192408 15924797440 53612 33554432000 4194304 4196468 140730071526640 140379544864720 140380079499163 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36478976 140730071532527 140730071532698 140730071532698 140730071535567 0
[pid=1033/tid=1044] ppid=1031 vsize=15551560 memory=0 CPUtime=2.5 cores=0,2,4,6
/proc/1033/task/1044/stat : 1044 (java) S 1031 1031 25300 0 -1 1077944384 7803 0 0 0 249 1 0 0 20 0 19 0 409192408 15924797440 53612 33554432000 4194304 4196468 140730071526640 140379543812848 140380079491714 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36478976 140730071532527 140730071532698 140730071532698 140730071535567 0
[pid=1033/tid=1045] ppid=1031 vsize=15551560 memory=7682475212697334586 CPUtime=2.43 cores=0,2,4,6
/proc/1033/task/1045/stat : 1045 (java) S 1031 1031 25300 0 -1 1077944384 6376 0 0 0 243 0 0 0 20 0 19 0 409192408 15924797440 53612 33554432000 4194304 4196468 140730071526640 140379542760304 140380079491714 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36478976 140730071532527 140730071532698 140730071532698 140730071535567 0
[pid=1033/tid=1046] ppid=1031 vsize=15551560 memory=6944656592455350634 CPUtime=0.53 cores=0,2,4,6
/proc/1033/task/1046/stat : 1046 (java) S 1031 1031 25300 0 -1 1077944384 3290 0 0 0 53 0 0 0 20 0 19 0 409192408 15924797440 53612 33554432000 4194304 4196468 140730071526640 140379541707248 140380079491714 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36478976 140730071532527 140730071532698 140730071532698 140730071535567 0
[pid=1033/tid=1047] ppid=1031 vsize=15551560 memory=8764446273926488160 CPUtime=0 cores=0,2,4,6
/proc/1033/task/1047/stat : 1047 (java) S 1031 1031 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409192408 15924797440 53612 33554432000 4194304 4196468 140730071526640 140379540654944 140380079490773 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36478976 140730071532527 140730071532698 140730071532698 140730071535567 0
[pid=1033/tid=1048] ppid=1031 vsize=15551560 memory=-7965959121690140575 CPUtime=0 cores=0,2,4,6
/proc/1033/task/1048/stat : 1048 (java) S 1031 1031 25300 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 19 0 409192409 15924797440 53612 33554432000 4194304 4196468 140730071526640 140379539601968 140380079491714 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36478976 140730071532527 140730071532698 140730071532698 140730071535567 0
Current children cumulated CPU time: 21.91 s
Current children cumulated vsize: 15664688 KiB
Current children cumulated memory: 215896 KiB
[startup+10.8006 s]
/proc/loadavg: 5.15 7.18 7.84 9/238 1345
/proc/meminfo: memFree=30830924/32770624 swapFree=66933640/67108860
[pid=1031] ppid=1028 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/1031/stat : 1031 (xcsp3-exec) S 1028 1031 25300 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 409192402 115843072 362 33554432000 4194304 5098028 140722803919648 140722803917752 140169677234812 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 10977280 140722803921788 140722803922029 140722803922029 140722803924938 0
/proc/1031/statm: 28282 362 304 221 0 87 0
[pid=1033] ppid=1031 vsize=15551560 memory=214448 CPUtime=22.39 cores=0,2,4,6
/proc/1033/stat : 1033 (java) S 1031 1031 25300 0 -1 1077944320 34692 0 0 0 2229 10 0 0 20 0 19 0 409192403 15924797440 53612 33554432000 4194304 4196468 140730071526640 140730071509184 140380079480567 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 36478976 140730071532527 140730071532698 140730071532698 140730071535567 0
/proc/1033/statm: 3887890 53612 3503 1 0 3848992 0
[pid=1033/tid=1034] ppid=1031 vsize=15551560 memory=6943526294502006880 CPUtime=0.55 cores=0,2,4,6
/proc/1033/task/1034/stat : 1034 (java) S 1031 1031 25300 0 -1 1077944384 9515 0 0 0 51 4 0 0 20 0 19 0 409192403 15924797440 53612 33554432000 4194304 4196468 140730071526640 140380083721344 140380079490773 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36478976 140730071532527 140730071532698 140730071532698 140730071535567 0
[pid=1033/tid=1035] ppid=1031 vsize=15551560 memory=6656426216303648864 CPUtime=0 cores=0,2,4,6
/proc/1033/task/1035/stat : 1035 (java) S 1031 1031 25300 0 -1 1077944384 29 0 0 0 0 0 0 0 20 0 19 0 409192404 15924797440 53612 33554432000 4194304 4196468 140730071526640 140380007521296 140380079490773 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36478976 140730071532527 140730071532698 140730071532698 140730071535567 0
[pid=1033/tid=1036] ppid=1031 vsize=15551560 memory=6944656592455359580 CPUtime=0 cores=0,2,4,6
/proc/1033/task/1036/stat : 1036 (java) S 1031 1031 25300 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 19 0 409192404 15924797440 53612 33554432000 4194304 4196468 140730071526640 140380006468752 140380079490773 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36478976 140730071532527 140730071532698 140730071532698 140730071535567 0
[pid=1033/tid=1037] ppid=1031 vsize=15551560 memory=6944656592387989600 CPUtime=0.01 cores=0,2,4,6
/proc/1033/task/1037/stat : 1037 (java) S 1031 1031 25300 0 -1 1077944384 16 0 0 0 1 0 0 0 20 0 19 0 409192404 15924797440 53612 33554432000 4194304 4196468 140730071526640 140380005415696 140380079490773 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36478976 140730071532527 140730071532698 140730071532698 140730071535567 0
[pid=1033/tid=1039] ppid=1031 vsize=15551560 memory=6944656592387989600 CPUtime=0 cores=0,2,4,6
/proc/1033/task/1039/stat : 1039 (java) S 1031 1031 25300 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 19 0 409192404 15924797440 53612 33554432000 4194304 4196468 140730071526640 140380004363152 140380079490773 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36478976 140730071532527 140730071532698 140730071532698 140730071535567 0
[pid=1033/tid=1040] ppid=1031 vsize=15551560 memory=6655300316396806240 CPUtime=0 cores=0,2,4,6
/proc/1033/task/1040/stat : 1040 (java) S 1031 1031 25300 0 -1 1077944384 154 0 0 0 0 0 0 0 20 0 19 0 409192405 15924797440 53612 33554432000 4194304 4196468 140730071526640 140379548023024 140380079491714 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36478976 140730071532527 140730071532698 140730071532698 140730071535567 0
[pid=1033/tid=1041] ppid=1031 vsize=15551560 memory=6656426216303648864 CPUtime=0 cores=0,2,4,6
/proc/1033/task/1041/stat : 1041 (java) S 1031 1031 25300 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 19 0 409192405 15924797440 53612 33554432000 4194304 4196468 140730071526640 140379546969312 140380079490773 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36478976 140730071532527 140730071532698 140730071532698 140730071535567 0
[pid=1033/tid=1042] ppid=1031 vsize=15551560 memory=214448 CPUtime=0 cores=0,2,4,6
/proc/1033/task/1042/stat : 1042 (java) S 1031 1031 25300 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 19 0 409192406 15924797440 53612 33554432000 4194304 4196468 140730071526640 140379545916160 140380079490773 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36478976 140730071532527 140730071532698 140730071532698 140730071535567 0
[pid=1033/tid=1043] ppid=1031 vsize=15551560 memory=288230617509003574 CPUtime=0 cores=0,2,4,6
/proc/1033/task/1043/stat : 1043 (java) S 1031 1031 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409192408 15924797440 53612 33554432000 4194304 4196468 140730071526640 140379544864720 140380079499163 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36478976 140730071532527 140730071532698 140730071532698 140730071535567 0
[pid=1033/tid=1044] ppid=1031 vsize=15551560 memory=14134433250805166 CPUtime=2.5 cores=0,2,4,6
/proc/1033/task/1044/stat : 1044 (java) S 1031 1031 25300 0 -1 1077944384 7803 0 0 0 249 1 0 0 20 0 19 0 409192408 15924797440 53612 33554432000 4194304 4196468 140730071526640 140379543812848 140380079491714 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36478976 140730071532527 140730071532698 140730071532698 140730071535567 0
[pid=1033/tid=1045] ppid=1031 vsize=15551560 memory=111632 CPUtime=2.43 cores=0,2,4,6
/proc/1033/task/1045/stat : 1045 (java) S 1031 1031 25300 0 -1 1077944384 6376 0 0 0 243 0 0 0 20 0 19 0 409192408 15924797440 53612 33554432000 4194304 4196468 140730071526640 140379542760304 140380079491714 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36478976 140730071532527 140730071532698 140730071532698 140730071535567 0
[pid=1033/tid=1046] ppid=1031 vsize=15551560 memory=804 CPUtime=0.53 cores=0,2,4,6
/proc/1033/task/1046/stat : 1046 (java) S 1031 1031 25300 0 -1 1077944384 3303 0 0 0 53 0 0 0 20 0 19 0 409192408 15924797440 53612 33554432000 4194304 4196468 140730071526640 140379541707248 140380079491714 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36478976 140730071532527 140730071532698 140730071532698 140730071535567 0
[pid=1033/tid=1047] ppid=1031 vsize=15551560 memory=1656 CPUtime=0 cores=0,2,4,6
/proc/1033/task/1047/stat : 1047 (java) S 1031 1031 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409192408 15924797440 53612 33554432000 4194304 4196468 140730071526640 140379540654944 140380079490773 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36478976 140730071532527 140730071532698 140730071532698 140730071535567 0
[pid=1033/tid=1048] ppid=1031 vsize=15551560 memory=1804 CPUtime=0 cores=0,2,4,6
/proc/1033/task/1048/stat : 1048 (java) S 1031 1031 25300 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 19 0 409192409 15924797440 53612 33554432000 4194304 4196468 140730071526640 140379539601968 140380079491714 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36478976 140730071532527 140730071532698 140730071532698 140730071535567 0
Current children cumulated CPU time: 22.39 s
Current children cumulated vsize: 15664688 KiB
Current children cumulated memory: 215896 KiB
Child status: 0
Real time (s): 10.8496
CPU time (s): 22.4504
CPU user time (s): 22.3353
CPU system time (s): 0.115108
CPU usage (%): 206.923
Max. virtual memory (cumulated for all children) (KiB): 15665648
Max. memory (cumulated for all children) (KiB): 223996
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 22.3353
system time used= 0.115108
maximum resident set size= 222800
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 35570
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= 3958
involuntary context switches= 576
# summary of solver processes directly reported to runsolver:
# pid: 1031
# total CPU time (s): 22.4504
# total CPU user time (s): 22.3353
# total CPU system time (s): 0.115108
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.080043 second user time and 0.16209 second system time
The end