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 (10699 MiB free)
memory of node 1: 16384 MiB (12720 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4306970-1534152000/watcher-4306970-1534152000 -o /tmp/evaluation-result-4306970-1534152000/solver-4306970-1534152000 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node103-1534136952-1000 --watchdog 2580 HOME/xcsp3-exec -seed 2041750194 -dir HOME -tl 2520 -ml 11000 -p 1 HOME/instance-4306970-1534152000.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
solver pid=2873, runsolver pid=2870
Current StackSize limit: 8192 KiB
[startup+0.100162 s]*
/proc/loadavg: 1.62 1.52 1.54 4/217 2889
/proc/meminfo: memFree=23967452/32770624 swapFree=67058936/67108860
[pid=2873] ppid=2870 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/2873/stat : 2873 (xcsp3-exec) S 2870 2873 636 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 232763240 115843072 363 33554432000 4194304 5098028 140732258897360 140732258895464 139642464596604 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 13676544 140732258899002 140732258899204 140732258899204 140732258901962 0
/proc/2873/statm: 28282 363 306 221 0 87 0
[pid=2875] ppid=2873 vsize=14082940 memory=27216 CPUtime=0.12 cores=0,2,4,6
/proc/2875/stat : 2875 (java) S 2873 2873 636 0 -1 1077944320 5730 0 0 0 11 1 0 0 20 0 15 0 232763241 14420930560 6804 33554432000 4194304 4196468 140735172482176 140735172464720 140301781888759 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 33935360 140735172486278 140735172486449 140735172486449 140735172489167 0
/proc/2875/statm: 3520735 6804 3006 1 0 3483012 0
[pid=2875/tid=2876] ppid=2873 vsize=14082940 memory=7883960649037381690 CPUtime=0.08 cores=0,2,4,6
/proc/2875/task/2876/stat : 2876 (java) R 2873 2873 636 0 -1 4202560 3687 0 0 0 8 0 0 0 20 0 15 0 232763241 14420930560 6804 33554432000 4194304 4196468 140735172482176 140301786122032 140301781900694 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33935360 140735172486278 140735172486449 140735172486449 140735172489167 0
[pid=2875/tid=2877] ppid=2873 vsize=14082940 memory=12684 CPUtime=0 cores=0,2,4,6
/proc/2875/task/2877/stat : 2877 (java) S 2873 2873 636 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 232763242 14420930560 6804 33554432000 4194304 4196468 140735172482176 140301751601936 140301781898965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33935360 140735172486278 140735172486449 140735172486449 140735172489167 0
[pid=2875/tid=2878] ppid=2873 vsize=14082940 memory=139832581387036 CPUtime=0 cores=0,2,4,6
/proc/2875/task/2878/stat : 2878 (java) S 2873 2873 636 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 232763242 14420930560 6804 33554432000 4194304 4196468 140735172482176 140301377084304 140301781898965 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33935360 140735172486278 140735172486449 140735172486449 140735172489167 0
[pid=2875/tid=2879] ppid=2873 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2875/task/2879/stat : 2879 (java) S 2873 2873 636 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 232763242 14420930560 6804 33554432000 4194304 4196468 140735172482176 140301376031760 140301781898965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33935360 140735172486278 140735172486449 140735172486449 140735172489167 0
[pid=2875/tid=2880] ppid=2873 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2875/task/2880/stat : 2880 (java) S 2873 2873 636 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 232763242 14420930560 6804 33554432000 4194304 4196468 140735172482176 140301374979216 140301781898965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33935360 140735172486278 140735172486449 140735172486449 140735172489167 0
[pid=2875/tid=2881] ppid=2873 vsize=14082940 memory=139832581367424 CPUtime=0 cores=0,2,4,6
/proc/2875/task/2881/stat : 2881 (java) S 2873 2873 636 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 232763243 14420930560 6804 33554432000 4194304 4196468 140735172482176 140300761462768 140301781899906 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33935360 140735172486278 140735172486449 140735172486449 140735172489167 0
[pid=2875/tid=2882] ppid=2873 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2875/task/2882/stat : 2882 (java) S 2873 2873 636 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 232763244 14420930560 6804 33554432000 4194304 4196468 140735172482176 140300760408992 140301781898965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33935360 140735172486278 140735172486449 140735172486449 140735172489167 0
[pid=2875/tid=2883] ppid=2873 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2875/task/2883/stat : 2883 (java) S 2873 2873 636 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 232763244 14420930560 6804 33554432000 4194304 4196468 140735172482176 140300759356400 140301781898965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33935360 140735172486278 140735172486449 140735172486449 140735172489167 0
[pid=2875/tid=2884] ppid=2873 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2875/task/2884/stat : 2884 (java) S 2873 2873 636 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 232763246 14420930560 6804 33554432000 4194304 4196468 140735172482176 140300758304976 140301781907355 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33935360 140735172486278 140735172486449 140735172486449 140735172489167 0
[pid=2875/tid=2885] ppid=2873 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2875/task/2885/stat : 2885 (java) S 2873 2873 636 0 -1 1077944384 313 0 0 0 0 0 0 0 20 0 15 0 232763246 14420930560 6804 33554432000 4194304 4196468 140735172482176 140300757252592 140301781899906 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33935360 140735172486278 140735172486449 140735172486449 140735172489167 0
[pid=2875/tid=2886] ppid=2873 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2875/task/2886/stat : 2886 (java) S 2873 2873 636 0 -1 1077944384 125 0 0 0 0 0 0 0 20 0 15 0 232763246 14420930560 6804 33554432000 4194304 4196468 140735172482176 140300756200048 140301781899906 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33935360 140735172486278 140735172486449 140735172486449 140735172489167 0
[pid=2875/tid=2887] ppid=2873 vsize=14082940 memory=139832581367424 CPUtime=0.01 cores=0,2,4,6
/proc/2875/task/2887/stat : 2887 (java) R 2873 2873 636 0 -1 4202560 305 0 0 0 1 0 0 0 20 0 15 0 232763246 14420930560 6804 33554432000 4194304 4196468 140735172482176 140300755147504 140301760546300 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33935360 140735172486278 140735172486449 140735172486449 140735172489167 0
[pid=2875/tid=2888] ppid=2873 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2875/task/2888/stat : 2888 (java) S 2873 2873 636 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 232763246 14420930560 6804 33554432000 4194304 4196468 140735172482176 140300754095200 140301781898965 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33935360 140735172486278 140735172486449 140735172486449 140735172489167 0
[pid=2875/tid=2889] ppid=2873 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2875/task/2889/stat : 2889 (java) S 2873 2873 636 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 232763247 14420930560 6804 33554432000 4194304 4196468 140735172482176 140300753041712 140301781899906 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33935360 140735172486278 140735172486449 140735172486449 140735172489167 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14196068 KiB
Current children cumulated memory: 28668 KiB
[startup+0.213922 s]*
/proc/loadavg: 1.62 1.52 1.54 3/217 2889
/proc/meminfo: memFree=23956040/32770624 swapFree=67058936/67108860
[pid=2873] ppid=2870 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/2873/stat : 2873 (xcsp3-exec) S 2870 2873 636 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 232763240 115843072 363 33554432000 4194304 5098028 140732258897360 140732258895464 139642464596604 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 13676544 140732258899002 140732258899204 140732258899204 140732258901962 0
/proc/2873/statm: 28282 363 306 221 0 87 0
[pid=2875] ppid=2873 vsize=14082940 memory=39988 CPUtime=0.34 cores=0,2,4,6
/proc/2875/stat : 2875 (java) S 2873 2873 636 0 -1 1077944320 8573 0 0 0 32 2 0 0 20 0 15 0 232763241 14420930560 9997 33554432000 4194304 4196468 140735172482176 140735172464720 140301781888759 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 33935360 140735172486278 140735172486449 140735172486449 140735172489167 0
/proc/2875/statm: 3520735 9997 3204 1 0 3483012 0
[pid=2875/tid=2876] ppid=2873 vsize=14082940 memory=7883960649037381690 CPUtime=0.2 cores=0,2,4,6
/proc/2875/task/2876/stat : 2876 (java) R 2873 2873 636 0 -1 4202560 5525 0 0 0 19 1 0 0 20 0 15 0 232763241 14420930560 10061 33554432000 4194304 4196468 140735172482176 140301786123744 140301765969246 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33935360 140735172486278 140735172486449 140735172486449 140735172489167 0
[pid=2875/tid=2877] ppid=2873 vsize=14082940 memory=12684 CPUtime=0 cores=0,2,4,6
/proc/2875/task/2877/stat : 2877 (java) S 2873 2873 636 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 232763242 14420930560 10061 33554432000 4194304 4196468 140735172482176 140301751601936 140301781898965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33935360 140735172486278 140735172486449 140735172486449 140735172489167 0
[pid=2875/tid=2878] ppid=2873 vsize=14082940 memory=139832581387036 CPUtime=0 cores=0,2,4,6
/proc/2875/task/2878/stat : 2878 (java) S 2873 2873 636 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 232763242 14420930560 10061 33554432000 4194304 4196468 140735172482176 140301377084304 140301781898965 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33935360 140735172486278 140735172486449 140735172486449 140735172489167 0
[pid=2875/tid=2879] ppid=2873 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2875/task/2879/stat : 2879 (java) S 2873 2873 636 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 232763242 14420930560 10061 33554432000 4194304 4196468 140735172482176 140301376031760 140301781898965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33935360 140735172486278 140735172486449 140735172486449 140735172489167 0
[pid=2875/tid=2880] ppid=2873 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2875/task/2880/stat : 2880 (java) S 2873 2873 636 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 232763242 14420930560 10061 33554432000 4194304 4196468 140735172482176 140301374979216 140301781898965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33935360 140735172486278 140735172486449 140735172486449 140735172489167 0
[pid=2875/tid=2881] ppid=2873 vsize=14082940 memory=139832581367424 CPUtime=0 cores=0,2,4,6
/proc/2875/task/2881/stat : 2881 (java) S 2873 2873 636 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 232763243 14420930560 10061 33554432000 4194304 4196468 140735172482176 140300761462768 140301781899906 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33935360 140735172486278 140735172486449 140735172486449 140735172489167 0
[pid=2875/tid=2882] ppid=2873 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2875/task/2882/stat : 2882 (java) S 2873 2873 636 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 232763244 14420930560 10061 33554432000 4194304 4196468 140735172482176 140300760408992 140301781898965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33935360 140735172486278 140735172486449 140735172486449 140735172489167 0
[pid=2875/tid=2883] ppid=2873 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2875/task/2883/stat : 2883 (java) S 2873 2873 636 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 232763244 14420930560 10061 33554432000 4194304 4196468 140735172482176 140300759356400 140301781898965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33935360 140735172486278 140735172486449 140735172486449 140735172489167 0
[pid=2875/tid=2884] ppid=2873 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2875/task/2884/stat : 2884 (java) S 2873 2873 636 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 232763246 14420930560 10061 33554432000 4194304 4196468 140735172482176 140300758304976 140301781907355 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33935360 140735172486278 140735172486449 140735172486449 140735172489167 0
[pid=2875/tid=2885] ppid=2873 vsize=14082940 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/2875/task/2885/stat : 2885 (java) S 2873 2873 636 0 -1 1077944384 430 0 0 0 3 0 0 0 20 0 15 0 232763246 14420930560 10061 33554432000 4194304 4196468 140735172482176 140300757252592 140301781899906 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33935360 140735172486278 140735172486449 140735172486449 140735172489167 0
[pid=2875/tid=2886] ppid=2873 vsize=14082940 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/2875/task/2886/stat : 2886 (java) S 2873 2873 636 0 -1 1077944384 420 0 0 0 1 0 0 0 20 0 15 0 232763246 14420930560 10061 33554432000 4194304 4196468 140735172482176 140300756200048 140301781899906 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33935360 140735172486278 140735172486449 140735172486449 140735172489167 0
[pid=2875/tid=2887] ppid=2873 vsize=14082940 memory=139832581367424 CPUtime=0.07 cores=0,2,4,6
/proc/2875/task/2887/stat : 2887 (java) S 2873 2873 636 0 -1 1077944384 909 0 0 0 7 0 0 0 20 0 15 0 232763246 14420930560 10061 33554432000 4194304 4196468 140735172482176 140300755147504 140301781899906 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33935360 140735172486278 140735172486449 140735172486449 140735172489167 0
[pid=2875/tid=2888] ppid=2873 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2875/task/2888/stat : 2888 (java) S 2873 2873 636 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 232763246 14420930560 10061 33554432000 4194304 4196468 140735172482176 140300754095200 140301781898965 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33935360 140735172486278 140735172486449 140735172486449 140735172489167 0
[pid=2875/tid=2889] ppid=2873 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2875/task/2889/stat : 2889 (java) S 2873 2873 636 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 232763247 14420930560 10061 33554432000 4194304 4196468 140735172482176 140300753041712 140301781899906 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33935360 140735172486278 140735172486449 140735172486449 140735172489167 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 14196068 KiB
Current children cumulated memory: 41440 KiB
[startup+0.310644 s]*
/proc/loadavg: 1.62 1.52 1.54 4/217 2889
/proc/meminfo: memFree=23948996/32770624 swapFree=67058936/67108860
[pid=2873] ppid=2870 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/2873/stat : 2873 (xcsp3-exec) S 2870 2873 636 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 232763240 115843072 363 33554432000 4194304 5098028 140732258897360 140732258895464 139642464596604 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 13676544 140732258899002 140732258899204 140732258899204 140732258901962 0
/proc/2873/statm: 28282 363 306 221 0 87 0
[pid=2875] ppid=2873 vsize=14087196 memory=46812 CPUtime=0.52 cores=0,2,4,6
/proc/2875/stat : 2875 (java) S 2873 2873 636 0 -1 1077944320 9456 0 0 0 49 3 0 0 20 0 15 0 232763241 14425288704 11703 33554432000 4194304 4196468 140735172482176 140735172464720 140301781888759 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 33935360 140735172486278 140735172486449 140735172486449 140735172489167 0
/proc/2875/statm: 3521799 11703 3259 1 0 3483012 0
[pid=2875/tid=2876] ppid=2873 vsize=14087196 memory=8112282956445269571 CPUtime=0.3 cores=0,2,4,6
/proc/2875/task/2876/stat : 2876 (java) R 2873 2873 636 0 -1 4202560 6166 0 0 0 28 2 0 0 20 0 15 0 232763241 14425288704 11703 33554432000 4194304 4196468 140735172482176 140301786119872 140301765969246 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33935360 140735172486278 140735172486449 140735172486449 140735172489167 0
[pid=2875/tid=2877] ppid=2873 vsize=14087196 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/2875/task/2877/stat : 2877 (java) S 2873 2873 636 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 232763242 14425288704 11703 33554432000 4194304 4196468 140735172482176 140301751601936 140301781898965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33935360 140735172486278 140735172486449 140735172486449 140735172489167 0
[pid=2875/tid=2878] ppid=2873 vsize=14087196 memory=6943526294502006880 CPUtime=0 cores=0,2,4,6
/proc/2875/task/2878/stat : 2878 (java) S 2873 2873 636 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 232763242 14425288704 11703 33554432000 4194304 4196468 140735172482176 140301377084304 140301781898965 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33935360 140735172486278 140735172486449 140735172486449 140735172489167 0
[pid=2875/tid=2879] ppid=2873 vsize=14087196 memory=4956998493510226538 CPUtime=0 cores=0,2,4,6
/proc/2875/task/2879/stat : 2879 (java) S 2873 2873 636 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 232763242 14425288704 11703 33554432000 4194304 4196468 140735172482176 140301376031760 140301781898965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33935360 140735172486278 140735172486449 140735172486449 140735172489167 0
[pid=2875/tid=2880] ppid=2873 vsize=14087196 memory=6944656592455360569 CPUtime=0 cores=0,2,4,6
/proc/2875/task/2880/stat : 2880 (java) S 2873 2873 636 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 232763242 14425288704 11703 33554432000 4194304 4196468 140735172482176 140301374979216 140301781898965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33935360 140735172486278 140735172486449 140735172486449 140735172489167 0
[pid=2875/tid=2881] ppid=2873 vsize=14087196 memory=-9001734000804784231 CPUtime=0 cores=0,2,4,6
/proc/2875/task/2881/stat : 2881 (java) S 2873 2873 636 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 232763243 14425288704 11703 33554432000 4194304 4196468 140735172482176 140300761462768 140301781899906 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33935360 140735172486278 140735172486449 140735172486449 140735172489167 0
[pid=2875/tid=2882] ppid=2873 vsize=14087196 memory=-4266093328290194108 CPUtime=0 cores=0,2,4,6
/proc/2875/task/2882/stat : 2882 (java) S 2873 2873 636 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 232763244 14425288704 11703 33554432000 4194304 4196468 140735172482176 140300760408992 140301781898965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33935360 140735172486278 140735172486449 140735172486449 140735172489167 0
[pid=2875/tid=2883] ppid=2873 vsize=14087196 memory=-8383301570218270069 CPUtime=0 cores=0,2,4,6
/proc/2875/task/2883/stat : 2883 (java) S 2873 2873 636 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 232763244 14425288704 11703 33554432000 4194304 4196468 140735172482176 140300759356400 140301781898965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33935360 140735172486278 140735172486449 140735172486449 140735172489167 0
[pid=2875/tid=2884] ppid=2873 vsize=14087196 memory=-7812800577974661519 CPUtime=0 cores=0,2,4,6
/proc/2875/task/2884/stat : 2884 (java) S 2873 2873 636 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 232763246 14425288704 11760 33554432000 4194304 4196468 140735172482176 140300758304976 140301781907355 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33935360 140735172486278 140735172486449 140735172486449 140735172489167 0
[pid=2875/tid=2885] ppid=2873 vsize=14087196 memory=6529253631088562301 CPUtime=0.06 cores=0,2,4,6
/proc/2875/task/2885/stat : 2885 (java) R 2873 2873 636 0 -1 4202560 522 0 0 0 6 0 0 0 20 0 15 0 232763246 14425288704 11760 33554432000 4194304 4196468 140735172482176 140300757252592 140301766996319 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33935360 140735172486278 140735172486449 140735172486449 140735172489167 0
[pid=2875/tid=2886] ppid=2873 vsize=14087196 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/2875/task/2886/stat : 2886 (java) S 2873 2873 636 0 -1 1077944384 439 0 0 0 3 0 0 0 20 0 15 0 232763246 14425288704 11760 33554432000 4194304 4196468 140735172482176 140300756200048 140301781899906 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33935360 140735172486278 140735172486449 140735172486449 140735172489167 0
[pid=2875/tid=2887] ppid=2873 vsize=14087196 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/2875/task/2887/stat : 2887 (java) S 2873 2873 636 0 -1 1077944384 1036 0 0 0 12 0 0 0 20 0 15 0 232763246 14425288704 11760 33554432000 4194304 4196468 140735172482176 140300755147504 140301781899906 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33935360 140735172486278 140735172486449 140735172486449 140735172489167 0
[pid=2875/tid=2888] ppid=2873 vsize=14087196 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2875/task/2888/stat : 2888 (java) S 2873 2873 636 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 232763246 14425288704 11760 33554432000 4194304 4196468 140735172482176 140300754095200 140301781898965 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33935360 140735172486278 140735172486449 140735172486449 140735172489167 0
[pid=2875/tid=2889] ppid=2873 vsize=14087196 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2875/task/2889/stat : 2889 (java) S 2873 2873 636 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 232763247 14425288704 11760 33554432000 4194304 4196468 140735172482176 140300753041712 140301781899906 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33935360 140735172486278 140735172486449 140735172486449 140735172489167 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 14200324 KiB
Current children cumulated memory: 48264 KiB
[startup+0.702174 s]
/proc/loadavg: 1.62 1.52 1.54 6/217 2889
/proc/meminfo: memFree=23931876/32770624 swapFree=67058936/67108860
[pid=2873] ppid=2870 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/2873/stat : 2873 (xcsp3-exec) S 2870 2873 636 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 232763240 115843072 363 33554432000 4194304 5098028 140732258897360 140732258895464 139642464596604 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 13676544 140732258899002 140732258899204 140732258899204 140732258901962 0
/proc/2873/statm: 28282 363 306 221 0 87 0
[pid=2875] ppid=2873 vsize=14089320 memory=70720 CPUtime=1.56 cores=0,2,4,6
/proc/2875/stat : 2875 (java) S 2873 2873 636 0 -1 1077944320 13380 0 0 0 151 5 0 0 20 0 15 0 232763241 14427463680 17680 33554432000 4194304 4196468 140735172482176 140735172464720 140301781888759 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 33935360 140735172486278 140735172486449 140735172486449 140735172489167 0
/proc/2875/statm: 3522330 17680 3362 1 0 3483524 0
[pid=2875/tid=2876] ppid=2873 vsize=14089320 memory=5795153719298590087 CPUtime=0.67 cores=0,2,4,6
/proc/2875/task/2876/stat : 2876 (java) R 2873 2873 636 0 -1 4202560 7209 0 0 0 64 3 0 0 20 0 15 0 232763241 14427463680 17680 33554432000 4194304 4196468 140735172482176 140301786103568 140301781900694 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33935360 140735172486278 140735172486449 140735172486449 140735172489167 0
[pid=2875/tid=2877] ppid=2873 vsize=14089320 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2875/task/2877/stat : 2877 (java) S 2873 2873 636 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 232763242 14427463680 17680 33554432000 4194304 4196468 140735172482176 140301751601936 140301781898965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33935360 140735172486278 140735172486449 140735172486449 140735172489167 0
[pid=2875/tid=2878] ppid=2873 vsize=14089320 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2875/task/2878/stat : 2878 (java) S 2873 2873 636 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 232763242 14427463680 17680 33554432000 4194304 4196468 140735172482176 140301377084304 140301781898965 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33935360 140735172486278 140735172486449 140735172486449 140735172489167 0
[pid=2875/tid=2879] ppid=2873 vsize=14089320 memory=976 CPUtime=0 cores=0,2,4,6
/proc/2875/task/2879/stat : 2879 (java) S 2873 2873 636 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 232763242 14427463680 17680 33554432000 4194304 4196468 140735172482176 140301376031760 140301781898965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33935360 140735172486278 140735172486449 140735172486449 140735172489167 0
[pid=2875/tid=2880] ppid=2873 vsize=14089320 memory=1140 CPUtime=0 cores=0,2,4,6
/proc/2875/task/2880/stat : 2880 (java) S 2873 2873 636 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 232763242 14427463680 17680 33554432000 4194304 4196468 140735172482176 140301374979216 140301781898965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33935360 140735172486278 140735172486449 140735172486449 140735172489167 0
[pid=2875/tid=2881] ppid=2873 vsize=14089320 memory=1024 CPUtime=0 cores=0,2,4,6
/proc/2875/task/2881/stat : 2881 (java) S 2873 2873 636 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 232763243 14427463680 17680 33554432000 4194304 4196468 140735172482176 140300761462768 140301781899906 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33935360 140735172486278 140735172486449 140735172486449 140735172489167 0
[pid=2875/tid=2882] ppid=2873 vsize=14089320 memory=3172 CPUtime=0 cores=0,2,4,6
/proc/2875/task/2882/stat : 2882 (java) S 2873 2873 636 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 232763244 14427463680 17680 33554432000 4194304 4196468 140735172482176 140300760408992 140301781898965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33935360 140735172486278 140735172486449 140735172486449 140735172489167 0
[pid=2875/tid=2883] ppid=2873 vsize=14089320 memory=2076 CPUtime=0 cores=0,2,4,6
/proc/2875/task/2883/stat : 2883 (java) S 2873 2873 636 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 232763244 14427463680 17680 33554432000 4194304 4196468 140735172482176 140300759356400 140301781898965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33935360 140735172486278 140735172486449 140735172486449 140735172489167 0
[pid=2875/tid=2884] ppid=2873 vsize=14089320 memory=9004 CPUtime=0 cores=0,2,4,6
/proc/2875/task/2884/stat : 2884 (java) S 2873 2873 636 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 232763246 14427463680 17680 33554432000 4194304 4196468 140735172482176 140300758304976 140301781907355 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33935360 140735172486278 140735172486449 140735172486449 140735172489167 0
[pid=2875/tid=2885] ppid=2873 vsize=14089320 memory=768 CPUtime=0.26 cores=0,2,4,6
/proc/2875/task/2885/stat : 2885 (java) R 2873 2873 636 0 -1 4202560 1273 0 0 0 26 0 0 0 20 0 15 0 232763246 14427463680 17680 33554432000 4194304 4196468 140735172482176 140300757243856 140301762584616 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33935360 140735172486278 140735172486449 140735172486449 140735172489167 0
[pid=2875/tid=2886] ppid=2873 vsize=14089320 memory=736 CPUtime=0.25 cores=0,2,4,6
/proc/2875/task/2886/stat : 2886 (java) R 2873 2873 636 0 -1 4202560 1514 0 0 0 25 0 0 0 20 0 15 0 232763246 14427463680 17680 33554432000 4194304 4196468 140735172482176 140300756200048 140301766996444 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33935360 140735172486278 140735172486449 140735172486449 140735172489167 0
[pid=2875/tid=2887] ppid=2873 vsize=14089320 memory=1520 CPUtime=0.35 cores=0,2,4,6
/proc/2875/task/2887/stat : 2887 (java) R 2873 2873 636 0 -1 1077944384 2072 0 0 0 34 1 0 0 20 0 15 0 232763246 14427463680 17680 33554432000 4194304 4196468 140735172482176 140300755147504 140301781899906 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 33935360 140735172486278 140735172486449 140735172486449 140735172489167 0
[pid=2875/tid=2888] ppid=2873 vsize=14089320 memory=1708 CPUtime=0 cores=0,2,4,6
/proc/2875/task/2888/stat : 2888 (java) S 2873 2873 636 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 232763246 14427463680 17680 33554432000 4194304 4196468 140735172482176 140300754095200 140301781898965 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33935360 140735172486278 140735172486449 140735172486449 140735172489167 0
[pid=2875/tid=2889] ppid=2873 vsize=14089320 memory=5116 CPUtime=0 cores=0,2,4,6
/proc/2875/task/2889/stat : 2889 (java) S 2873 2873 636 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 232763247 14427463680 17680 33554432000 4194304 4196468 140735172482176 140300753041712 140301781899906 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33935360 140735172486278 140735172486449 140735172486449 140735172489167 0
Current children cumulated CPU time: 1.56 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 72172 KiB
[startup+1.50142 s]
/proc/loadavg: 1.62 1.52 1.54 5/218 2897
/proc/meminfo: memFree=23908244/32770624 swapFree=67058936/67108860
[pid=2873] ppid=2870 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/2873/stat : 2873 (xcsp3-exec) S 2870 2873 636 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 232763240 115843072 363 33554432000 4194304 5098028 140732258897360 140732258895464 139642464596604 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 13676544 140732258899002 140732258899204 140732258899204 140732258901962 0
/proc/2873/statm: 28282 363 306 221 0 87 0
################
# More data... #
################
/proc/2875/task/2883/stat : 2883 (java) S 2873 2873 636 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 232763244 14427463680 167922 33554432000 4194304 4196468 140735172482176 140300759356400 140301781898965 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33935360 140735172486278 140735172486449 140735172486449 140735172489167 0
[pid=2875/tid=2884] ppid=2873 vsize=14089320 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/2875/task/2884/stat : 2884 (java) S 2873 2873 636 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 232763246 14427463680 167922 33554432000 4194304 4196468 140735172482176 140300758304976 140301781907355 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33935360 140735172486278 140735172486449 140735172486449 140735172489167 0
[pid=2875/tid=2885] ppid=2873 vsize=14089320 memory=672200 CPUtime=1.47 cores=0,2,4,6
/proc/2875/task/2885/stat : 2885 (java) S 2873 2873 636 0 -1 1077944384 11918 0 0 0 146 1 0 0 20 0 15 0 232763246 14427463680 167922 33554432000 4194304 4196468 140735172482176 140300757252592 140301781899906 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33935360 140735172486278 140735172486449 140735172486449 140735172489167 0
[pid=2875/tid=2886] ppid=2873 vsize=14089320 memory=1520 CPUtime=1.48 cores=0,2,4,6
/proc/2875/task/2886/stat : 2886 (java) S 2873 2873 636 0 -1 1077944384 11074 0 0 0 147 1 0 0 20 0 15 0 232763246 14427463680 167922 33554432000 4194304 4196468 140735172482176 140300756200048 140301781899906 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 15 0 0 6293624 6294260 33935360 140735172486278 140735172486449 140735172486449 140735172489167 0
[pid=2875/tid=2887] ppid=2873 vsize=14089320 memory=671688 CPUtime=0.5 cores=0,2,4,6
/proc/2875/task/2887/stat : 2887 (java) S 2873 2873 636 0 -1 1077944384 6963 0 0 0 48 2 0 0 20 0 15 0 232763246 14427463680 167922 33554432000 4194304 4196468 140735172482176 140300755147504 140301781899906 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 2 0 0 6293624 6294260 33935360 140735172486278 140735172486449 140735172486449 140735172489167 0
[pid=2875/tid=2888] ppid=2873 vsize=14089320 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/2875/task/2888/stat : 2888 (java) S 2873 2873 636 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 232763246 14427463680 167922 33554432000 4194304 4196468 140735172482176 140300754095200 140301781898965 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33935360 140735172486278 140735172486449 140735172486449 140735172489167 0
[pid=2875/tid=2889] ppid=2873 vsize=14089320 memory=1452 CPUtime=0.88 cores=0,2,4,6
/proc/2875/task/2889/stat : 2889 (java) S 2873 2873 636 0 -1 1077944384 1440 0 0 0 42 46 0 0 20 0 15 0 232763247 14427463680 167922 33554432000 4194304 4196468 140735172482176 140300753041712 140301781899906 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 25 0 0 6293624 6294260 33935360 140735172486278 140735172486449 140735172486449 140735172489167 0
Current children cumulated CPU time: 2407.71 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 673140 KiB
[startup+2442.3 s]
/proc/loadavg: 0.55 0.66 0.75 2/195 3102
/proc/meminfo: memFree=24221944/32770624 swapFree=67058936/67108860
[pid=2873] ppid=2870 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/2873/stat : 2873 (xcsp3-exec) S 2870 2873 636 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 232763240 115843072 363 33554432000 4194304 5098028 140732258897360 140732258895464 139642464596604 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 13676544 140732258899002 140732258899204 140732258899204 140732258901962 0
/proc/2873/statm: 28282 363 306 221 0 87 0
[pid=2875] ppid=2873 vsize=14089320 memory=666560 CPUtime=2467.81 cores=0,2,4,6
/proc/2875/stat : 2875 (java) S 2873 2873 636 0 -1 1077944320 164159 0 0 0 246568 213 0 0 20 0 15 0 232763241 14427463680 166640 33554432000 4194304 4196468 140735172482176 140735172464720 140301781888759 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 33935360 140735172486278 140735172486449 140735172486449 140735172489167 0
/proc/2875/statm: 3522330 166640 3424 1 0 3483524 0
[pid=2875/tid=2876] ppid=2873 vsize=14089320 memory=666560 CPUtime=2432.32 cores=0,2,4,6
/proc/2875/task/2876/stat : 2876 (java) R 2873 2873 636 0 -1 4202560 71817 0 0 0 243131 101 0 0 20 0 15 0 232763241 14427463680 166640 33554432000 4194304 4196468 140735172482176 140301786127888 140301423051715 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33935360 140735172486278 140735172486449 140735172486449 140735172489167 0
[pid=2875/tid=2877] ppid=2873 vsize=14089320 memory=666560 CPUtime=7.37 cores=0,2,4,6
/proc/2875/task/2877/stat : 2877 (java) S 2873 2873 636 0 -1 1077944384 10883 0 0 0 724 13 0 0 20 0 15 0 232763242 14427463680 166640 33554432000 4194304 4196468 140735172482176 140301751601936 140301781898965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33935360 140735172486278 140735172486449 140735172486449 140735172489167 0
[pid=2875/tid=2878] ppid=2873 vsize=14089320 memory=666560 CPUtime=7.39 cores=0,2,4,6
/proc/2875/task/2878/stat : 2878 (java) S 2873 2873 636 0 -1 1077944384 13317 0 0 0 721 18 0 0 20 0 15 0 232763242 14427463680 166640 33554432000 4194304 4196468 140735172482176 140301377084304 140301781898965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33935360 140735172486278 140735172486449 140735172486449 140735172489167 0
[pid=2875/tid=2879] ppid=2873 vsize=14089320 memory=666560 CPUtime=7.34 cores=0,2,4,6
/proc/2875/task/2879/stat : 2879 (java) S 2873 2873 636 0 -1 1077944384 12595 0 0 0 720 14 0 0 20 0 15 0 232763242 14427463680 166640 33554432000 4194304 4196468 140735172482176 140301376031760 140301781898965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33935360 140735172486278 140735172486449 140735172486449 140735172489167 0
[pid=2875/tid=2880] ppid=2873 vsize=14089320 memory=666560 CPUtime=7.39 cores=0,2,4,6
/proc/2875/task/2880/stat : 2880 (java) S 2873 2873 636 0 -1 1077944384 9843 0 0 0 724 15 0 0 20 0 15 0 232763242 14427463680 166640 33554432000 4194304 4196468 140735172482176 140301374979216 140301781898965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33935360 140735172486278 140735172486449 140735172486449 140735172489167 0
[pid=2875/tid=2881] ppid=2873 vsize=14089320 memory=666560 CPUtime=1.55 cores=0,2,4,6
/proc/2875/task/2881/stat : 2881 (java) S 2873 2873 636 0 -1 1077944384 12921 0 0 0 138 17 0 0 20 0 15 0 232763243 14427463680 166640 33554432000 4194304 4196468 140735172482176 140300761462768 140301781899906 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33935360 140735172486278 140735172486449 140735172486449 140735172489167 0
[pid=2875/tid=2882] ppid=2873 vsize=14089320 memory=666560 CPUtime=0 cores=0,2,4,6
/proc/2875/task/2882/stat : 2882 (java) S 2873 2873 636 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 15 0 232763244 14427463680 166640 33554432000 4194304 4196468 140735172482176 140300760408992 140301781898965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33935360 140735172486278 140735172486449 140735172486449 140735172489167 0
[pid=2875/tid=2883] ppid=2873 vsize=14089320 memory=666560 CPUtime=0 cores=0,2,4,6
/proc/2875/task/2883/stat : 2883 (java) S 2873 2873 636 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 232763244 14427463680 166640 33554432000 4194304 4196468 140735172482176 140300759356400 140301781898965 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33935360 140735172486278 140735172486449 140735172486449 140735172489167 0
[pid=2875/tid=2884] ppid=2873 vsize=14089320 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/2875/task/2884/stat : 2884 (java) S 2873 2873 636 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 232763246 14427463680 166640 33554432000 4194304 4196468 140735172482176 140300758304976 140301781907355 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33935360 140735172486278 140735172486449 140735172486449 140735172489167 0
[pid=2875/tid=2885] ppid=2873 vsize=14089320 memory=1452 CPUtime=1.47 cores=0,2,4,6
/proc/2875/task/2885/stat : 2885 (java) S 2873 2873 636 0 -1 1077944384 11918 0 0 0 146 1 0 0 20 0 15 0 232763246 14427463680 166640 33554432000 4194304 4196468 140735172482176 140300757252592 140301781899906 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33935360 140735172486278 140735172486449 140735172486449 140735172489167 0
[pid=2875/tid=2886] ppid=2873 vsize=14089320 memory=666560 CPUtime=1.49 cores=0,2,4,6
/proc/2875/task/2886/stat : 2886 (java) S 2873 2873 636 0 -1 1077944384 11075 0 0 0 148 1 0 0 20 0 15 0 232763246 14427463680 166640 33554432000 4194304 4196468 140735172482176 140300756200048 140301781899906 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 15 0 0 6293624 6294260 33935360 140735172486278 140735172486449 140735172486449 140735172489167 0
[pid=2875/tid=2887] ppid=2873 vsize=14089320 memory=1452 CPUtime=0.5 cores=0,2,4,6
/proc/2875/task/2887/stat : 2887 (java) S 2873 2873 636 0 -1 1077944384 6965 0 0 0 48 2 0 0 20 0 15 0 232763246 14427463680 166640 33554432000 4194304 4196468 140735172482176 140300755147504 140301781899906 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 2 0 0 6293624 6294260 33935360 140735172486278 140735172486449 140735172486449 140735172489167 0
[pid=2875/tid=2888] ppid=2873 vsize=14089320 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/2875/task/2888/stat : 2888 (java) S 2873 2873 636 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 232763246 14427463680 166640 33554432000 4194304 4196468 140735172482176 140300754095200 140301781898965 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33935360 140735172486278 140735172486449 140735172486449 140735172489167 0
[pid=2875/tid=2889] ppid=2873 vsize=14089320 memory=666560 CPUtime=0.9 cores=0,2,4,6
/proc/2875/task/2889/stat : 2889 (java) S 2873 2873 636 0 -1 1077944384 1455 0 0 0 43 47 0 0 20 0 15 0 232763247 14427463680 166640 33554432000 4194304 4196468 140735172482176 140300753041712 140301781899906 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 25 0 0 6293624 6294260 33935360 140735172486278 140735172486449 140735172486449 140735172489167 0
Current children cumulated CPU time: 2467.81 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 668012 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2494.5 s]
/proc/loadavg: 0.82 0.71 0.77 2/196 3126
/proc/meminfo: memFree=24223328/32770624 swapFree=67058936/67108860
[pid=2873] ppid=2870 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/2873/stat : 2873 (xcsp3-exec) S 2870 2873 636 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 232763240 115843072 363 33554432000 4194304 5098028 140732258897360 140732258895464 139642464596604 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 13676544 140732258899002 140732258899204 140732258899204 140732258901962 0
/proc/2873/statm: 28282 363 306 221 0 87 0
[pid=2875] ppid=2873 vsize=14089320 memory=665020 CPUtime=2520.08 cores=0,2,4,6
/proc/2875/stat : 2875 (java) S 2873 2873 636 0 -1 1077944320 164752 0 0 0 251794 214 0 0 20 0 15 0 232763241 14427463680 166255 33554432000 4194304 4196468 140735172482176 140735172464720 140301781888759 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 33935360 140735172486278 140735172486449 140735172486449 140735172489167 0
/proc/2875/statm: 3522330 166255 3424 1 0 3483524 0
[pid=2875/tid=2876] ppid=2873 vsize=14089320 memory=1452 CPUtime=2484.46 cores=0,2,4,6
/proc/2875/task/2876/stat : 2876 (java) R 2873 2873 636 0 -1 4202560 72142 0 0 0 248345 101 0 0 20 0 15 0 232763241 14427463680 166255 33554432000 4194304 4196468 140735172482176 140301786127856 140301422342091 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33935360 140735172486278 140735172486449 140735172486449 140735172489167 0
[pid=2875/tid=2877] ppid=2873 vsize=14089320 memory=665020 CPUtime=7.41 cores=0,2,4,6
/proc/2875/task/2877/stat : 2877 (java) S 2873 2873 636 0 -1 1077944384 10942 0 0 0 727 14 0 0 20 0 15 0 232763242 14427463680 166255 33554432000 4194304 4196468 140735172482176 140301751601936 140301781898965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33935360 140735172486278 140735172486449 140735172486449 140735172489167 0
[pid=2875/tid=2878] ppid=2873 vsize=14089320 memory=665020 CPUtime=7.41 cores=0,2,4,6
/proc/2875/task/2878/stat : 2878 (java) S 2873 2873 636 0 -1 1077944384 13328 0 0 0 723 18 0 0 20 0 15 0 232763242 14427463680 166255 33554432000 4194304 4196468 140735172482176 140301377084304 140301781898965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33935360 140735172486278 140735172486449 140735172486449 140735172489167 0
[pid=2875/tid=2879] ppid=2873 vsize=14089320 memory=665020 CPUtime=7.36 cores=0,2,4,6
/proc/2875/task/2879/stat : 2879 (java) S 2873 2873 636 0 -1 1077944384 12607 0 0 0 722 14 0 0 20 0 15 0 232763242 14427463680 166255 33554432000 4194304 4196468 140735172482176 140301376031760 140301781898965 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33935360 140735172486278 140735172486449 140735172486449 140735172489167 0
[pid=2875/tid=2880] ppid=2873 vsize=14089320 memory=665532 CPUtime=7.41 cores=0,2,4,6
/proc/2875/task/2880/stat : 2880 (java) S 2873 2873 636 0 -1 1077944384 9849 0 0 0 726 15 0 0 20 0 15 0 232763242 14427463680 166255 33554432000 4194304 4196468 140735172482176 140301374979216 140301781898965 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33935360 140735172486278 140735172486449 140735172486449 140735172489167 0
[pid=2875/tid=2881] ppid=2873 vsize=14089320 memory=665020 CPUtime=1.57 cores=0,2,4,6
/proc/2875/task/2881/stat : 2881 (java) S 2873 2873 636 0 -1 1077944384 13083 0 0 0 140 17 0 0 20 0 15 0 232763243 14427463680 166255 33554432000 4194304 4196468 140735172482176 140300761462768 140301781899906 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33935360 140735172486278 140735172486449 140735172486449 140735172489167 0
[pid=2875/tid=2882] ppid=2873 vsize=14089320 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/2875/task/2882/stat : 2882 (java) S 2873 2873 636 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 15 0 232763244 14427463680 166255 33554432000 4194304 4196468 140735172482176 140300760408992 140301781898965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33935360 140735172486278 140735172486449 140735172486449 140735172489167 0
[pid=2875/tid=2883] ppid=2873 vsize=14089320 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/2875/task/2883/stat : 2883 (java) S 2873 2873 636 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 232763244 14427463680 166255 33554432000 4194304 4196468 140735172482176 140300759356400 140301781898965 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33935360 140735172486278 140735172486449 140735172486449 140735172489167 0
[pid=2875/tid=2884] ppid=2873 vsize=14089320 memory=665020 CPUtime=0 cores=0,2,4,6
/proc/2875/task/2884/stat : 2884 (java) S 2873 2873 636 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 232763246 14427463680 166255 33554432000 4194304 4196468 140735172482176 140300758304976 140301781907355 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33935360 140735172486278 140735172486449 140735172486449 140735172489167 0
[pid=2875/tid=2885] ppid=2873 vsize=14089320 memory=13608 CPUtime=1.47 cores=0,2,4,6
/proc/2875/task/2885/stat : 2885 (java) S 2873 2873 636 0 -1 1077944384 11920 0 0 0 146 1 0 0 20 0 15 0 232763246 14427463680 166255 33554432000 4194304 4196468 140735172482176 140300757252592 140301781899906 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33935360 140735172486278 140735172486449 140735172486449 140735172489167 0
[pid=2875/tid=2886] ppid=2873 vsize=14089320 memory=1860 CPUtime=1.49 cores=0,2,4,6
/proc/2875/task/2886/stat : 2886 (java) S 2873 2873 636 0 -1 1077944384 11078 0 0 0 148 1 0 0 20 0 15 0 232763246 14427463680 166255 33554432000 4194304 4196468 140735172482176 140300756200048 140301781899906 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 15 0 0 6293624 6294260 33935360 140735172486278 140735172486449 140735172486449 140735172489167 0
[pid=2875/tid=2887] ppid=2873 vsize=14089320 memory=33492 CPUtime=0.5 cores=0,2,4,6
/proc/2875/task/2887/stat : 2887 (java) S 2873 2873 636 0 -1 1077944384 6965 0 0 0 48 2 0 0 20 0 15 0 232763246 14427463680 166255 33554432000 4194304 4196468 140735172482176 140300755147504 140301781899906 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 2 0 0 6293624 6294260 33935360 140735172486278 140735172486449 140735172486449 140735172489167 0
[pid=2875/tid=2888] ppid=2873 vsize=14089320 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/2875/task/2888/stat : 2888 (java) S 2873 2873 636 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 232763246 14427463680 166255 33554432000 4194304 4196468 140735172482176 140300754095200 140301781898965 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33935360 140735172486278 140735172486449 140735172486449 140735172489167 0
[pid=2875/tid=2889] ppid=2873 vsize=14089320 memory=665020 CPUtime=0.91 cores=0,2,4,6
/proc/2875/task/2889/stat : 2889 (java) S 2873 2873 636 0 -1 1077944384 1468 0 0 0 43 48 0 0 20 0 15 0 232763247 14427463680 166255 33554432000 4194304 4196468 140735172482176 140300753041712 140301781899906 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 25 0 0 6293624 6294260 33935360 140735172486278 140735172486449 140735172486449 140735172489167 0
Current children cumulated CPU time: 2520.08 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 666472 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2494.51 s]
# the end of solver process 2873 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.001009 s, system=0.001512 s
[startup+2494.51 s]
# the end of solver process 2875 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2517.95 s, system=2.1497 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2494.5 s]
/proc/loadavg: 0.82 0.71 0.77 2/196 3126
/proc/meminfo: memFree=24223328/32770624 swapFree=67058936/67108860
[pid=2873] ppid=2870 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/2873/stat : 2873 (xcsp3-exec) S 2870 2873 636 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 232763240 115843072 363 33554432000 4194304 5098028 140732258897360 140732258895464 139642464596604 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 13676544 140732258899002 140732258899204 140732258899204 140732258901962 0
/proc/2873/statm: 28282 363 306 221 0 87 0
[pid=2875] ppid=2873 vsize=14089320 memory=665020 CPUtime=2520.08 cores=0,2,4,6
/proc/2875/stat : 2875 (java) S 2873 2873 636 0 -1 1077944320 164752 0 0 0 251794 214 0 0 20 0 15 0 232763241 14427463680 166255 33554432000 4194304 4196468 140735172482176 140735172464720 140301781888759 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 33935360 140735172486278 140735172486449 140735172486449 140735172489167 0
/proc/2875/statm: 3522330 166255 3424 1 0 3483524 0
[pid=2875/tid=2876] ppid=2873 vsize=14089320 memory=1452 CPUtime=2484.46 cores=0,2,4,6
/proc/2875/task/2876/stat : 2876 (java) R 2873 2873 636 0 -1 4202560 72142 0 0 0 248345 101 0 0 20 0 15 0 232763241 14427463680 166255 33554432000 4194304 4196468 140735172482176 140301786127856 140301422342091 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33935360 140735172486278 140735172486449 140735172486449 140735172489167 0
[pid=2875/tid=2877] ppid=2873 vsize=14089320 memory=665020 CPUtime=7.41 cores=0,2,4,6
/proc/2875/task/2877/stat : 2877 (java) S 2873 2873 636 0 -1 1077944384 10942 0 0 0 727 14 0 0 20 0 15 0 232763242 14427463680 166255 33554432000 4194304 4196468 140735172482176 140301751601936 140301781898965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33935360 140735172486278 140735172486449 140735172486449 140735172489167 0
[pid=2875/tid=2878] ppid=2873 vsize=14089320 memory=665020 CPUtime=7.41 cores=0,2,4,6
/proc/2875/task/2878/stat : 2878 (java) S 2873 2873 636 0 -1 1077944384 13328 0 0 0 723 18 0 0 20 0 15 0 232763242 14427463680 166255 33554432000 4194304 4196468 140735172482176 140301377084304 140301781898965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33935360 140735172486278 140735172486449 140735172486449 140735172489167 0
[pid=2875/tid=2879] ppid=2873 vsize=14089320 memory=665020 CPUtime=7.36 cores=0,2,4,6
/proc/2875/task/2879/stat : 2879 (java) S 2873 2873 636 0 -1 1077944384 12607 0 0 0 722 14 0 0 20 0 15 0 232763242 14427463680 166255 33554432000 4194304 4196468 140735172482176 140301376031760 140301781898965 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33935360 140735172486278 140735172486449 140735172486449 140735172489167 0
[pid=2875/tid=2880] ppid=2873 vsize=14089320 memory=665532 CPUtime=7.41 cores=0,2,4,6
/proc/2875/task/2880/stat : 2880 (java) S 2873 2873 636 0 -1 1077944384 9849 0 0 0 726 15 0 0 20 0 15 0 232763242 14427463680 166255 33554432000 4194304 4196468 140735172482176 140301374979216 140301781898965 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33935360 140735172486278 140735172486449 140735172486449 140735172489167 0
[pid=2875/tid=2881] ppid=2873 vsize=14089320 memory=665020 CPUtime=1.57 cores=0,2,4,6
/proc/2875/task/2881/stat : 2881 (java) S 2873 2873 636 0 -1 1077944384 13083 0 0 0 140 17 0 0 20 0 15 0 232763243 14427463680 166255 33554432000 4194304 4196468 140735172482176 140300761462768 140301781899906 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33935360 140735172486278 140735172486449 140735172486449 140735172489167 0
[pid=2875/tid=2882] ppid=2873 vsize=14089320 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/2875/task/2882/stat : 2882 (java) S 2873 2873 636 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 15 0 232763244 14427463680 166255 33554432000 4194304 4196468 140735172482176 140300760408992 140301781898965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33935360 140735172486278 140735172486449 140735172486449 140735172489167 0
[pid=2875/tid=2883] ppid=2873 vsize=14089320 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/2875/task/2883/stat : 2883 (java) S 2873 2873 636 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 232763244 14427463680 166255 33554432000 4194304 4196468 140735172482176 140300759356400 140301781898965 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33935360 140735172486278 140735172486449 140735172486449 140735172489167 0
[pid=2875/tid=2884] ppid=2873 vsize=14089320 memory=665020 CPUtime=0 cores=0,2,4,6
/proc/2875/task/2884/stat : 2884 (java) S 2873 2873 636 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 232763246 14427463680 166255 33554432000 4194304 4196468 140735172482176 140300758304976 140301781907355 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33935360 140735172486278 140735172486449 140735172486449 140735172489167 0
[pid=2875/tid=2885] ppid=2873 vsize=14089320 memory=13608 CPUtime=1.47 cores=0,2,4,6
/proc/2875/task/2885/stat : 2885 (java) S 2873 2873 636 0 -1 1077944384 11920 0 0 0 146 1 0 0 20 0 15 0 232763246 14427463680 166255 33554432000 4194304 4196468 140735172482176 140300757252592 140301781899906 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33935360 140735172486278 140735172486449 140735172486449 140735172489167 0
[pid=2875/tid=2886] ppid=2873 vsize=14089320 memory=1860 CPUtime=1.49 cores=0,2,4,6
/proc/2875/task/2886/stat : 2886 (java) S 2873 2873 636 0 -1 1077944384 11078 0 0 0 148 1 0 0 20 0 15 0 232763246 14427463680 166255 33554432000 4194304 4196468 140735172482176 140300756200048 140301781899906 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 15 0 0 6293624 6294260 33935360 140735172486278 140735172486449 140735172486449 140735172489167 0
[pid=2875/tid=2887] ppid=2873 vsize=14089320 memory=33492 CPUtime=0.5 cores=0,2,4,6
/proc/2875/task/2887/stat : 2887 (java) S 2873 2873 636 0 -1 1077944384 6965 0 0 0 48 2 0 0 20 0 15 0 232763246 14427463680 166255 33554432000 4194304 4196468 140735172482176 140300755147504 140301781899906 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 2 0 0 6293624 6294260 33935360 140735172486278 140735172486449 140735172486449 140735172489167 0
[pid=2875/tid=2888] ppid=2873 vsize=14089320 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/2875/task/2888/stat : 2888 (java) S 2873 2873 636 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 232763246 14427463680 166255 33554432000 4194304 4196468 140735172482176 140300754095200 140301781898965 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33935360 140735172486278 140735172486449 140735172486449 140735172489167 0
[pid=2875/tid=2889] ppid=2873 vsize=14089320 memory=665020 CPUtime=0.91 cores=0,2,4,6
/proc/2875/task/2889/stat : 2889 (java) S 2873 2873 636 0 -1 1077944384 1468 0 0 0 43 48 0 0 20 0 15 0 232763247 14427463680 166255 33554432000 4194304 4196468 140735172482176 140300753041712 140301781899906 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 25 0 0 6293624 6294260 33935360 140735172486278 140735172486449 140735172486449 140735172489167 0
Current children cumulated CPU time: 2520.08 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 666472 KiB
Child status: 143
Real time (s): 2494.51
CPU time (s): 2520.1
CPU user time (s): 2517.95
CPU system time (s): 2.1497
CPU usage (%): 101.026
Max. virtual memory (cumulated for all children) (KiB): 14202448
Max. memory (cumulated for all children) (KiB): 2814920
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2517.95
system time used= 2.1497
maximum resident set size= 2813476
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 165712
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2840
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 93338
involuntary context switches= 4450
# summary of solver processes directly reported to runsolver:
# pid: 2873,2875
# total CPU time (s): 2520.1
# total CPU user time (s): 2517.95
# total CPU system time (s): 2.1497
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.0734 second user time and 22.0949 second system time
The end