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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4306511-1534051510/watcher-4306511-1534051510 -o /tmp/evaluation-result-4306511-1534051510/solver-4306511-1534051510 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node102-1534038962-16488 --watchdog 2580 HOME/xcsp3-exec -seed 981983248 -dir HOME -tl 2520 -ml 11000 -p 1 HOME/instance-4306511-1534051510.xml 

running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=17834, runsolver pid=17831

[startup+0.100093 s]*
/proc/loadavg: 1.94 1.99 1.94 3/217 17850
/proc/meminfo: memFree=26537388/32770624 swapFree=67030644/67108860
[pid=17834] ppid=17831 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/17834/stat : 17834 (xcsp3-exec) S 17831 17834 15061 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 222714136 115843072 364 33554432000 4194304 5098028 140725047567712 140725047565816 140010551464572 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 27787264 140725047575611 140725047575812 140725047575812 140725047578570 0
/proc/17834/statm: 28282 364 306 221 0 87 0
[pid=17836] ppid=17834 vsize=14082940 memory=29636 CPUtime=0.12 cores=0,2,4,6
/proc/17836/stat : 17836 (java) S 17834 17834 15061 0 -1 1077944320 5206 0 0 0 11 1 0 0 20 0 15 0 222714136 14420930560 7409 33554432000 4194304 4196468 140736335689104 140736335671648 140682395234039 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 24928256 140736335697030 140736335697201 140736335697201 140736335699919 0
/proc/17836/statm: 3520735 7409 3037 1 0 3483012 0
[pid=17836/tid=17837] ppid=17834 vsize=14082940 memory=-6962121287837372198 CPUtime=0.09 cores=0,2,4,6
/proc/17836/task/17837/stat : 17837 (java) R 17834 17834 15061 0 -1 4202560 3203 0 0 0 9 0 0 0 20 0 15 0 222714136 14420930560 7409 33554432000 4194304 4196468 140736335689104 140682399467312 140682395245974 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24928256 140736335697030 140736335697201 140736335697201 140736335699919 0
[pid=17836/tid=17838] ppid=17834 vsize=14082940 memory=-3689451258167578675 CPUtime=0 cores=0,2,4,6
/proc/17836/task/17838/stat : 17838 (java) S 17834 17834 15061 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 222714137 14420930560 7409 33554432000 4194304 4196468 140736335689104 140681991076496 140682395244245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24928256 140736335697030 140736335697201 140736335697201 140736335699919 0
[pid=17836/tid=17839] ppid=17834 vsize=14082940 memory=139687015028352 CPUtime=0 cores=0,2,4,6
/proc/17836/task/17839/stat : 17839 (java) S 17834 17834 15061 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 222714137 14420930560 7409 33554432000 4194304 4196468 140736335689104 140681990023696 140682395244245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24928256 140736335697030 140736335697201 140736335697201 140736335699919 0
[pid=17836/tid=17840] ppid=17834 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17836/task/17840/stat : 17840 (java) S 17834 17834 15061 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 222714137 14420930560 7409 33554432000 4194304 4196468 140736335689104 140681988970896 140682395244245 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24928256 140736335697030 140736335697201 140736335697201 140736335699919 0
[pid=17836/tid=17841] ppid=17834 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/17836/task/17841/stat : 17841 (java) S 17834 17834 15061 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 222714137 14420930560 7409 33554432000 4194304 4196468 140736335689104 140681987918096 140682395244245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24928256 140736335697030 140736335697201 140736335697201 140736335699919 0
[pid=17836/tid=17842] ppid=17834 vsize=14082940 memory=139687015028352 CPUtime=0 cores=0,2,4,6
/proc/17836/task/17842/stat : 17842 (java) S 17834 17834 15061 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 222714138 14420930560 7409 33554432000 4194304 4196468 140736335689104 140681936636784 140682395245186 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24928256 140736335697030 140736335697201 140736335697201 140736335699919 0
[pid=17836/tid=17843] ppid=17834 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/17836/task/17843/stat : 17843 (java) S 17834 17834 15061 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 222714139 14420930560 7409 33554432000 4194304 4196468 140736335689104 140681935582752 140682395244245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24928256 140736335697030 140736335697201 140736335697201 140736335699919 0
[pid=17836/tid=17844] ppid=17834 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17836/task/17844/stat : 17844 (java) S 17834 17834 15061 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 222714139 14420930560 7409 33554432000 4194304 4196468 140736335689104 140681934529904 140682395244245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24928256 140736335697030 140736335697201 140736335697201 140736335699919 0
[pid=17836/tid=17845] ppid=17834 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17836/task/17845/stat : 17845 (java) S 17834 17834 15061 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 222714141 14420930560 7409 33554432000 4194304 4196468 140736335689104 140681933478224 140682395252635 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24928256 140736335697030 140736335697201 140736335697201 140736335699919 0
[pid=17836/tid=17846] ppid=17834 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17836/task/17846/stat : 17846 (java) S 17834 17834 15061 0 -1 1077944384 424 0 0 0 0 0 0 0 20 0 15 0 222714141 14420930560 7409 33554432000 4194304 4196468 140736335689104 140681932425584 140682395245186 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24928256 140736335697030 140736335697201 140736335697201 140736335699919 0
[pid=17836/tid=17847] ppid=17834 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/17836/task/17847/stat : 17847 (java) S 17834 17834 15061 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 222714141 14420930560 7409 33554432000 4194304 4196468 140736335689104 140681931372784 140682395245186 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24928256 140736335697030 140736335697201 140736335697201 140736335699919 0
[pid=17836/tid=17848] ppid=17834 vsize=14082940 memory=139687015028352 CPUtime=0.01 cores=0,2,4,6
/proc/17836/task/17848/stat : 17848 (java) S 17834 17834 15061 0 -1 1077944384 272 0 0 0 1 0 0 0 20 0 15 0 222714142 14420930560 7409 33554432000 4194304 4196468 140736335689104 140681930319984 140682395245186 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24928256 140736335697030 140736335697201 140736335697201 140736335699919 0
[pid=17836/tid=17849] ppid=17834 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/17836/task/17849/stat : 17849 (java) S 17834 17834 15061 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 222714142 14420930560 7409 33554432000 4194304 4196468 140736335689104 140681929267424 140682395244245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24928256 140736335697030 140736335697201 140736335697201 140736335699919 0
[pid=17836/tid=17850] ppid=17834 vsize=14082940 memory=139687015028352 CPUtime=0 cores=0,2,4,6
/proc/17836/task/17850/stat : 17850 (java) S 17834 17834 15061 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 222714142 14420930560 7409 33554432000 4194304 4196468 140736335689104 140681928215728 140682395245186 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24928256 140736335697030 140736335697201 140736335697201 140736335699919 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14196068 KiB
Current children cumulated memory: 31092 KiB

[startup+0.210601 s]*
/proc/loadavg: 1.94 1.99 1.94 4/217 17850
/proc/meminfo: memFree=26523828/32770624 swapFree=67030644/67108860
[pid=17834] ppid=17831 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/17834/stat : 17834 (xcsp3-exec) S 17831 17834 15061 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 222714136 115843072 364 33554432000 4194304 5098028 140725047567712 140725047565816 140010551464572 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 27787264 140725047575611 140725047575812 140725047575812 140725047578570 0
/proc/17834/statm: 28282 364 306 221 0 87 0
[pid=17836] ppid=17834 vsize=14082940 memory=41016 CPUtime=0.34 cores=0,2,4,6
/proc/17836/stat : 17836 (java) S 17834 17834 15061 0 -1 1077944320 7821 0 0 0 32 2 0 0 20 0 15 0 222714136 14420930560 10254 33554432000 4194304 4196468 140736335689104 140736335671648 140682395234039 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 24928256 140736335697030 140736335697201 140736335697201 140736335699919 0
/proc/17836/statm: 3520735 10254 3197 1 0 3483012 0
[pid=17836/tid=17837] ppid=17834 vsize=14082940 memory=7883960649037381690 CPUtime=0.2 cores=0,2,4,6
/proc/17836/task/17837/stat : 17837 (java) R 17834 17834 15061 0 -1 4202560 4953 0 0 0 19 1 0 0 20 0 15 0 222714136 14420930560 10254 33554432000 4194304 4196468 140736335689104 140682399469024 140682379314526 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24928256 140736335697030 140736335697201 140736335697201 140736335699919 0
[pid=17836/tid=17838] ppid=17834 vsize=14082940 memory=8948 CPUtime=0 cores=0,2,4,6
/proc/17836/task/17838/stat : 17838 (java) S 17834 17834 15061 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 222714137 14420930560 10254 33554432000 4194304 4196468 140736335689104 140681991076496 140682395244245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24928256 140736335697030 140736335697201 140736335697201 140736335699919 0
[pid=17836/tid=17839] ppid=17834 vsize=14082940 memory=3474728604933101216 CPUtime=0 cores=0,2,4,6
/proc/17836/task/17839/stat : 17839 (java) S 17834 17834 15061 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 222714137 14420930560 10254 33554432000 4194304 4196468 140736335689104 140681990023696 140682395244245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24928256 140736335697030 140736335697201 140736335697201 140736335699919 0
[pid=17836/tid=17840] ppid=17834 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17836/task/17840/stat : 17840 (java) S 17834 17834 15061 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 222714137 14420930560 10254 33554432000 4194304 4196468 140736335689104 140681988970896 140682395244245 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24928256 140736335697030 140736335697201 140736335697201 140736335699919 0
[pid=17836/tid=17841] ppid=17834 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/17836/task/17841/stat : 17841 (java) S 17834 17834 15061 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 222714137 14420930560 10254 33554432000 4194304 4196468 140736335689104 140681987918096 140682395244245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24928256 140736335697030 140736335697201 140736335697201 140736335699919 0
[pid=17836/tid=17842] ppid=17834 vsize=14082940 memory=139687015028352 CPUtime=0 cores=0,2,4,6
/proc/17836/task/17842/stat : 17842 (java) S 17834 17834 15061 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 222714138 14420930560 10254 33554432000 4194304 4196468 140736335689104 140681936636784 140682395245186 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24928256 140736335697030 140736335697201 140736335697201 140736335699919 0
[pid=17836/tid=17843] ppid=17834 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/17836/task/17843/stat : 17843 (java) S 17834 17834 15061 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 222714139 14420930560 10254 33554432000 4194304 4196468 140736335689104 140681935582752 140682395244245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24928256 140736335697030 140736335697201 140736335697201 140736335699919 0
[pid=17836/tid=17844] ppid=17834 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17836/task/17844/stat : 17844 (java) S 17834 17834 15061 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 222714139 14420930560 10254 33554432000 4194304 4196468 140736335689104 140681934529904 140682395244245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24928256 140736335697030 140736335697201 140736335697201 140736335699919 0
[pid=17836/tid=17845] ppid=17834 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17836/task/17845/stat : 17845 (java) S 17834 17834 15061 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 222714141 14420930560 10254 33554432000 4194304 4196468 140736335689104 140681933478224 140682395252635 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24928256 140736335697030 140736335697201 140736335697201 140736335699919 0
[pid=17836/tid=17846] ppid=17834 vsize=14082940 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/17836/task/17846/stat : 17846 (java) S 17834 17834 15061 0 -1 1077944384 604 0 0 0 2 0 0 0 20 0 15 0 222714141 14420930560 10254 33554432000 4194304 4196468 140736335689104 140681932425584 140682395245186 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24928256 140736335697030 140736335697201 140736335697201 140736335699919 0
[pid=17836/tid=17847] ppid=17834 vsize=14082940 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/17836/task/17847/stat : 17847 (java) S 17834 17834 15061 0 -1 1077944384 173 0 0 0 2 0 0 0 20 0 15 0 222714141 14420930560 10254 33554432000 4194304 4196468 140736335689104 140681931372784 140682395245186 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24928256 140736335697030 140736335697201 140736335697201 140736335699919 0
[pid=17836/tid=17848] ppid=17834 vsize=14082940 memory=139687015028352 CPUtime=0.07 cores=0,2,4,6
/proc/17836/task/17848/stat : 17848 (java) S 17834 17834 15061 0 -1 1077944384 788 0 0 0 7 0 0 0 20 0 15 0 222714142 14420930560 10254 33554432000 4194304 4196468 140736335689104 140681930319984 140682395245186 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24928256 140736335697030 140736335697201 140736335697201 140736335699919 0
[pid=17836/tid=17849] ppid=17834 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/17836/task/17849/stat : 17849 (java) S 17834 17834 15061 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 222714142 14420930560 10254 33554432000 4194304 4196468 140736335689104 140681929267424 140682395244245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24928256 140736335697030 140736335697201 140736335697201 140736335699919 0
[pid=17836/tid=17850] ppid=17834 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17836/task/17850/stat : 17850 (java) S 17834 17834 15061 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 222714142 14420930560 10254 33554432000 4194304 4196468 140736335689104 140681928215728 140682395245186 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24928256 140736335697030 140736335697201 140736335697201 140736335699919 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 14196068 KiB
Current children cumulated memory: 42472 KiB

[startup+0.310412 s]*
/proc/loadavg: 1.94 1.99 1.94 4/217 17850
/proc/meminfo: memFree=26513528/32770624 swapFree=67030644/67108860
[pid=17834] ppid=17831 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/17834/stat : 17834 (xcsp3-exec) S 17831 17834 15061 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 222714136 115843072 364 33554432000 4194304 5098028 140725047567712 140725047565816 140010551464572 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 27787264 140725047575611 140725047575812 140725047575812 140725047578570 0
/proc/17834/statm: 28282 364 306 221 0 87 0
[pid=17836] ppid=17834 vsize=14087196 memory=47896 CPUtime=0.53 cores=0,2,4,6
/proc/17836/stat : 17836 (java) S 17834 17834 15061 0 -1 1077944320 8706 0 0 0 50 3 0 0 20 0 15 0 222714136 14425288704 11974 33554432000 4194304 4196468 140736335689104 140736335671648 140682395234039 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 24928256 140736335697030 140736335697201 140736335697201 140736335699919 0
/proc/17836/statm: 3521799 11974 3265 1 0 3483012 0
[pid=17836/tid=17837] ppid=17834 vsize=14087196 memory=6791534058613427641 CPUtime=0.29 cores=0,2,4,6
/proc/17836/task/17837/stat : 17837 (java) R 17834 17834 15061 0 -1 4202560 5665 0 0 0 28 1 0 0 20 0 15 0 222714136 14425288704 11974 33554432000 4194304 4196468 140736335689104 140682399467824 140682379314526 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24928256 140736335697030 140736335697201 140736335697201 140736335699919 0
[pid=17836/tid=17838] ppid=17834 vsize=14087196 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/17836/task/17838/stat : 17838 (java) S 17834 17834 15061 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 222714137 14425288704 11974 33554432000 4194304 4196468 140736335689104 140681991076496 140682395244245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24928256 140736335697030 140736335697201 140736335697201 140736335699919 0
[pid=17836/tid=17839] ppid=17834 vsize=14087196 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/17836/task/17839/stat : 17839 (java) S 17834 17834 15061 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 222714137 14425288704 11974 33554432000 4194304 4196468 140736335689104 140681990023696 140682395244245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24928256 140736335697030 140736335697201 140736335697201 140736335699919 0
[pid=17836/tid=17840] ppid=17834 vsize=14087196 memory=-3258418265892434876 CPUtime=0 cores=0,2,4,6
/proc/17836/task/17840/stat : 17840 (java) S 17834 17834 15061 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 222714137 14425288704 11974 33554432000 4194304 4196468 140736335689104 140681988970896 140682395244245 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24928256 140736335697030 140736335697201 140736335697201 140736335699919 0
[pid=17836/tid=17841] ppid=17834 vsize=14087196 memory=4572146066226452084 CPUtime=0 cores=0,2,4,6
/proc/17836/task/17841/stat : 17841 (java) S 17834 17834 15061 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 222714137 14425288704 11974 33554432000 4194304 4196468 140736335689104 140681987918096 140682395244245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24928256 140736335697030 140736335697201 140736335697201 140736335699919 0
[pid=17836/tid=17842] ppid=17834 vsize=14087196 memory=6944613755495348631 CPUtime=0 cores=0,2,4,6
/proc/17836/task/17842/stat : 17842 (java) S 17834 17834 15061 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 222714138 14425288704 11974 33554432000 4194304 4196468 140736335689104 140681936636784 140682395245186 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24928256 140736335697030 140736335697201 140736335697201 140736335699919 0
[pid=17836/tid=17843] ppid=17834 vsize=14087196 memory=7893295687695687954 CPUtime=0 cores=0,2,4,6
/proc/17836/task/17843/stat : 17843 (java) S 17834 17834 15061 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 222714139 14425288704 11974 33554432000 4194304 4196468 140736335689104 140681935582752 140682395244245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24928256 140736335697030 140736335697201 140736335697201 140736335699919 0
[pid=17836/tid=17844] ppid=17834 vsize=14087196 memory=-8813974798734826869 CPUtime=0 cores=0,2,4,6
/proc/17836/task/17844/stat : 17844 (java) S 17834 17834 15061 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 222714139 14425288704 11974 33554432000 4194304 4196468 140736335689104 140681934529904 140682395244245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24928256 140736335697030 140736335697201 140736335697201 140736335699919 0
[pid=17836/tid=17845] ppid=17834 vsize=14087196 memory=-6664436420846797971 CPUtime=0 cores=0,2,4,6
/proc/17836/task/17845/stat : 17845 (java) S 17834 17834 15061 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 222714141 14425288704 11974 33554432000 4194304 4196468 140736335689104 140681933478224 140682395252635 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24928256 140736335697030 140736335697201 140736335697201 140736335699919 0
[pid=17836/tid=17846] ppid=17834 vsize=14087196 memory=4426078206164241782 CPUtime=0.04 cores=0,2,4,6
/proc/17836/task/17846/stat : 17846 (java) S 17834 17834 15061 0 -1 1077944384 615 0 0 0 4 0 0 0 20 0 15 0 222714141 14425288704 11974 33554432000 4194304 4196468 140736335689104 140681932425584 140682395245186 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24928256 140736335697030 140736335697201 140736335697201 140736335699919 0
[pid=17836/tid=17847] ppid=17834 vsize=14087196 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/17836/task/17847/stat : 17847 (java) S 17834 17834 15061 0 -1 1077944384 258 0 0 0 5 0 0 0 20 0 15 0 222714141 14425288704 11974 33554432000 4194304 4196468 140736335689104 140681931372784 140682395245186 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24928256 140736335697030 140736335697201 140736335697201 140736335699919 0
[pid=17836/tid=17848] ppid=17834 vsize=14087196 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/17836/task/17848/stat : 17848 (java) S 17834 17834 15061 0 -1 1077944384 865 0 0 0 12 0 0 0 20 0 15 0 222714142 14425288704 11974 33554432000 4194304 4196468 140736335689104 140681930319984 140682395245186 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24928256 140736335697030 140736335697201 140736335697201 140736335699919 0
[pid=17836/tid=17849] ppid=17834 vsize=14087196 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17836/task/17849/stat : 17849 (java) S 17834 17834 15061 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 222714142 14425288704 11974 33554432000 4194304 4196468 140736335689104 140681929267424 140682395244245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24928256 140736335697030 140736335697201 140736335697201 140736335699919 0
[pid=17836/tid=17850] ppid=17834 vsize=14087196 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17836/task/17850/stat : 17850 (java) S 17834 17834 15061 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 222714142 14425288704 11974 33554432000 4194304 4196468 140736335689104 140681928215728 140682395245186 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24928256 140736335697030 140736335697201 140736335697201 140736335699919 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 14200324 KiB
Current children cumulated memory: 49352 KiB

[startup+0.701451 s]
/proc/loadavg: 1.94 1.99 1.94 3/217 17850
/proc/meminfo: memFree=26473496/32770624 swapFree=67030644/67108860
[pid=17834] ppid=17831 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/17834/stat : 17834 (xcsp3-exec) S 17831 17834 15061 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 222714136 115843072 364 33554432000 4194304 5098028 140725047567712 140725047565816 140010551464572 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 27787264 140725047575611 140725047575812 140725047575812 140725047578570 0
/proc/17834/statm: 28282 364 306 221 0 87 0
[pid=17836] ppid=17834 vsize=14089320 memory=114832 CPUtime=1.64 cores=0,2,4,6
/proc/17836/stat : 17836 (java) S 17834 17834 15061 0 -1 1077944320 11587 0 0 0 160 4 0 0 20 0 15 0 222714136 14427463680 28708 33554432000 4194304 4196468 140736335689104 140736335671648 140682395234039 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 24928256 140736335697030 140736335697201 140736335697201 140736335699919 0
/proc/17836/statm: 3522330 28708 3344 1 0 3483524 0
[pid=17836/tid=17837] ppid=17834 vsize=14089320 memory=33 CPUtime=0.67 cores=0,2,4,6
/proc/17836/task/17837/stat : 17837 (java) R 17834 17834 15061 0 -1 4202560 6059 0 0 0 65 2 0 0 20 0 15 0 222714136 14427463680 28708 33554432000 4194304 4196468 140736335689104 140682399470832 140682009882684 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24928256 140736335697030 140736335697201 140736335697201 140736335699919 0
[pid=17836/tid=17838] ppid=17834 vsize=14089320 memory=288230608902300371 CPUtime=0 cores=0,2,4,6
/proc/17836/task/17838/stat : 17838 (java) S 17834 17834 15061 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 222714137 14427463680 28708 33554432000 4194304 4196468 140736335689104 140681991076496 140682395244245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24928256 140736335697030 140736335697201 140736335697201 140736335699919 0
[pid=17836/tid=17839] ppid=17834 vsize=14089320 memory=15260328862699250 CPUtime=0 cores=0,2,4,6
/proc/17836/task/17839/stat : 17839 (java) S 17834 17834 15061 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 222714137 14427463680 28719 33554432000 4194304 4196468 140736335689104 140681990023696 140682395244245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24928256 140736335697030 140736335697201 140736335697201 140736335699919 0
[pid=17836/tid=17840] ppid=17834 vsize=14089320 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17836/task/17840/stat : 17840 (java) S 17834 17834 15061 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 222714137 14427463680 28719 33554432000 4194304 4196468 140736335689104 140681988970896 140682395244245 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24928256 140736335697030 140736335697201 140736335697201 140736335699919 0
[pid=17836/tid=17841] ppid=17834 vsize=14089320 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17836/task/17841/stat : 17841 (java) S 17834 17834 15061 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 222714137 14427463680 28719 33554432000 4194304 4196468 140736335689104 140681987918096 140682395244245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24928256 140736335697030 140736335697201 140736335697201 140736335699919 0
[pid=17836/tid=17842] ppid=17834 vsize=14089320 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17836/task/17842/stat : 17842 (java) S 17834 17834 15061 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 222714138 14427463680 28719 33554432000 4194304 4196468 140736335689104 140681936636784 140682395245186 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24928256 140736335697030 140736335697201 140736335697201 140736335699919 0
[pid=17836/tid=17843] ppid=17834 vsize=14089320 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17836/task/17843/stat : 17843 (java) S 17834 17834 15061 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 222714139 14427463680 28719 33554432000 4194304 4196468 140736335689104 140681935582752 140682395244245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24928256 140736335697030 140736335697201 140736335697201 140736335699919 0
[pid=17836/tid=17844] ppid=17834 vsize=14089320 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17836/task/17844/stat : 17844 (java) S 17834 17834 15061 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 222714139 14427463680 28719 33554432000 4194304 4196468 140736335689104 140681934529904 140682395244245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24928256 140736335697030 140736335697201 140736335697201 140736335699919 0
[pid=17836/tid=17845] ppid=17834 vsize=14089320 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17836/task/17845/stat : 17845 (java) S 17834 17834 15061 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 222714141 14427463680 28719 33554432000 4194304 4196468 140736335689104 140681933478224 140682395252635 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24928256 140736335697030 140736335697201 140736335697201 140736335699919 0
[pid=17836/tid=17846] ppid=17834 vsize=14089320 memory=0 CPUtime=0.32 cores=0,2,4,6
/proc/17836/task/17846/stat : 17846 (java) R 17834 17834 15061 0 -1 4202560 1564 0 0 0 32 0 0 0 20 0 15 0 222714141 14427463680 28719 33554432000 4194304 4196468 140736335689104 140681932416912 140682373400520 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24928256 140736335697030 140736335697201 140736335697201 140736335699919 0
[pid=17836/tid=17847] ppid=17834 vsize=14089320 memory=0 CPUtime=0.32 cores=0,2,4,6
/proc/17836/task/17847/stat : 17847 (java) R 17834 17834 15061 0 -1 4202560 1017 0 0 0 32 0 0 0 20 0 15 0 222714141 14427463680 28719 33554432000 4194304 4196468 140736335689104 140681931353800 140682375087607 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 24928256 140736335697030 140736335697201 140736335697201 140736335699919 0
[pid=17836/tid=17848] ppid=17834 vsize=14089320 memory=0 CPUtime=0.29 cores=0,2,4,6
/proc/17836/task/17848/stat : 17848 (java) S 17834 17834 15061 0 -1 1077944384 1640 0 0 0 29 0 0 0 20 0 15 0 222714142 14427463680 28719 33554432000 4194304 4196468 140736335689104 140681930319984 140682395245186 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24928256 140736335697030 140736335697201 140736335697201 140736335699919 0
[pid=17836/tid=17849] ppid=17834 vsize=14089320 memory=4639074098508484692 CPUtime=0 cores=0,2,4,6
/proc/17836/task/17849/stat : 17849 (java) S 17834 17834 15061 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 222714142 14427463680 28719 33554432000 4194304 4196468 140736335689104 140681929267424 140682395244245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24928256 140736335697030 140736335697201 140736335697201 140736335699919 0
[pid=17836/tid=17850] ppid=17834 vsize=14089320 memory=7813013518614162787 CPUtime=0 cores=0,2,4,6
/proc/17836/task/17850/stat : 17850 (java) S 17834 17834 15061 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 222714142 14427463680 28719 33554432000 4194304 4196468 140736335689104 140681928215728 140682395245186 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24928256 140736335697030 140736335697201 140736335697201 140736335699919 0
Current children cumulated CPU time: 1.64 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 116288 KiB

[startup+1.50147 s]
/proc/loadavg: 1.94 1.99 1.94 5/217 17850
/proc/meminfo: memFree=26322576/32770624 swapFree=67030644/67108860
[pid=17834] ppid=17831 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/17834/stat : 17834 (xcsp3-exec) S 17831 17834 15061 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 222714136 115843072 364 33554432000 4194304 5098028 140725047567712 140725047565816 140010551464572 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 27787264 140725047575611 140725047575812 140725047575812 140725047578570 0
/proc/17834/statm: 28282 364 306 221 0 87 0

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

/proc/17836/task/17844/stat : 17844 (java) S 17834 17834 15061 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 222714139 14427463680 328568 33554432000 4194304 4196468 140736335689104 140681934529920 140682395244245 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24928256 140736335697030 140736335697201 140736335697201 140736335699919 0
[pid=17836/tid=17845] ppid=17834 vsize=14089320 memory=7532 CPUtime=0 cores=0,2,4,6
/proc/17836/task/17845/stat : 17845 (java) S 17834 17834 15061 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 222714141 14427463680 328568 33554432000 4194304 4196468 140736335689104 140681933478224 140682395252635 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24928256 140736335697030 140736335697201 140736335697201 140736335699919 0
[pid=17836/tid=17846] ppid=17834 vsize=14089320 memory=792 CPUtime=3.56 cores=0,2,4,6
/proc/17836/task/17846/stat : 17846 (java) S 17834 17834 15061 0 -1 1077944384 20181 0 0 0 353 3 0 0 20 0 15 0 222714141 14427463680 328568 33554432000 4194304 4196468 140736335689104 140681932425584 140682395245186 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24928256 140736335697030 140736335697201 140736335697201 140736335699919 0
[pid=17836/tid=17847] ppid=17834 vsize=14089320 memory=1692 CPUtime=3.57 cores=0,2,4,6
/proc/17836/task/17847/stat : 17847 (java) S 17834 17834 15061 0 -1 1077944384 18590 0 0 0 355 2 0 0 20 0 15 0 222714141 14427463680 328568 33554432000 4194304 4196468 140736335689104 140681931372784 140682395245186 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24928256 140736335697030 140736335697201 140736335697201 140736335699919 0
[pid=17836/tid=17848] ppid=17834 vsize=14089320 memory=916 CPUtime=0.85 cores=0,2,4,6
/proc/17836/task/17848/stat : 17848 (java) S 17834 17834 15061 0 -1 1077944384 9318 0 0 0 83 2 0 0 20 0 15 0 222714142 14427463680 328568 33554432000 4194304 4196468 140736335689104 140681930319984 140682395245186 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24928256 140736335697030 140736335697201 140736335697201 140736335699919 0
[pid=17836/tid=17849] ppid=17834 vsize=14089320 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/17836/task/17849/stat : 17849 (java) S 17834 17834 15061 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 222714142 14427463680 328568 33554432000 4194304 4196468 140736335689104 140681929267424 140682395244245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24928256 140736335697030 140736335697201 140736335697201 140736335699919 0
[pid=17836/tid=17850] ppid=17834 vsize=14089320 memory=163920 CPUtime=1.58 cores=0,2,4,6
/proc/17836/task/17850/stat : 17850 (java) S 17834 17834 15061 0 -1 1077944384 1464 0 0 0 74 84 0 0 20 0 15 0 222714142 14427463680 328568 33554432000 4194304 4196468 140736335689104 140681928215728 140682395245186 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24928256 140736335697030 140736335697201 140736335697201 140736335699919 0
Current children cumulated CPU time: 2452.69 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 1315728 KiB

[startup+2502.3 s]
/proc/loadavg: 1.67 1.70 1.85 3/217 18105
/proc/meminfo: memFree=27586456/32770624 swapFree=67030644/67108860
[pid=17834] ppid=17831 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/17834/stat : 17834 (xcsp3-exec) S 17831 17834 15061 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 222714136 115843072 364 33554432000 4194304 5098028 140725047567712 140725047565816 140010551464572 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 27787264 140725047575611 140725047575812 140725047575812 140725047578570 0
/proc/17834/statm: 28282 364 306 221 0 87 0
[pid=17836] ppid=17834 vsize=14089320 memory=1314272 CPUtime=2512.73 cores=0,2,4,6
/proc/17836/stat : 17836 (java) S 17834 17834 15061 0 -1 1077944320 85680 0 0 0 251149 124 0 0 20 0 15 0 222714136 14427463680 328568 33554432000 4194304 4196468 140736335689104 140736335671648 140682395234039 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 24928256 140736335697030 140736335697201 140736335697201 140736335699919 0
/proc/17836/statm: 3522330 328568 3424 1 0 3483524 0
[pid=17836/tid=17837] ppid=17834 vsize=14089320 memory=14408220252834352 CPUtime=2501.9 cores=0,2,4,6
/proc/17836/task/17837/stat : 17837 (java) R 17834 17834 15061 0 -1 4202560 29738 0 0 0 250170 20 0 0 20 0 15 0 222714136 14427463680 328568 33554432000 4194304 4196468 140736335689104 140682399473744 140682014122500 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24928256 140736335697030 140736335697201 140736335697201 140736335699919 0
[pid=17836/tid=17838] ppid=17834 vsize=14089320 memory=5264 CPUtime=0.27 cores=0,2,4,6
/proc/17836/task/17838/stat : 17838 (java) S 17834 17834 15061 0 -1 1077944384 565 0 0 0 21 6 0 0 20 0 15 0 222714137 14427463680 328568 33554432000 4194304 4196468 140736335689104 140681991076496 140682395244245 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24928256 140736335697030 140736335697201 140736335697201 140736335699919 0
[pid=17836/tid=17839] ppid=17834 vsize=14089320 memory=11068 CPUtime=0.27 cores=0,2,4,6
/proc/17836/task/17839/stat : 17839 (java) S 17834 17834 15061 0 -1 1077944384 749 0 0 0 21 6 0 0 20 0 15 0 222714137 14427463680 328568 33554432000 4194304 4196468 140736335689104 140681990023696 140682395244245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24928256 140736335697030 140736335697201 140736335697201 140736335699919 0
[pid=17836/tid=17840] ppid=17834 vsize=14089320 memory=1192 CPUtime=0.24 cores=0,2,4,6
/proc/17836/task/17840/stat : 17840 (java) S 17834 17834 15061 0 -1 1077944384 514 0 0 0 18 6 0 0 20 0 15 0 222714137 14427463680 328568 33554432000 4194304 4196468 140736335689104 140681988970896 140682395244245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24928256 140736335697030 140736335697201 140736335697201 140736335699919 0
[pid=17836/tid=17841] ppid=17834 vsize=14089320 memory=1520 CPUtime=0.26 cores=0,2,4,6
/proc/17836/task/17841/stat : 17841 (java) S 17834 17834 15061 0 -1 1077944384 1012 0 0 0 20 6 0 0 20 0 15 0 222714137 14427463680 328568 33554432000 4194304 4196468 140736335689104 140681987918096 140682395244245 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24928256 140736335697030 140736335697201 140736335697201 140736335699919 0
[pid=17836/tid=17842] ppid=17834 vsize=14089320 memory=2680 CPUtime=0.08 cores=0,2,4,6
/proc/17836/task/17842/stat : 17842 (java) S 17834 17834 15061 0 -1 1077944384 2157 0 0 0 4 4 0 0 20 0 15 0 222714138 14427463680 328568 33554432000 4194304 4196468 140736335689104 140681936636784 140682395245186 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24928256 140736335697030 140736335697201 140736335697201 140736335699919 0
[pid=17836/tid=17843] ppid=17834 vsize=14089320 memory=3160 CPUtime=0 cores=0,2,4,6
/proc/17836/task/17843/stat : 17843 (java) S 17834 17834 15061 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 15 0 222714139 14427463680 328568 33554432000 4194304 4196468 140736335689104 140681935582816 140682395244245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24928256 140736335697030 140736335697201 140736335697201 140736335699919 0
[pid=17836/tid=17844] ppid=17834 vsize=14089320 memory=2120 CPUtime=0 cores=0,2,4,6
/proc/17836/task/17844/stat : 17844 (java) S 17834 17834 15061 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 222714139 14427463680 328568 33554432000 4194304 4196468 140736335689104 140681934529920 140682395244245 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24928256 140736335697030 140736335697201 140736335697201 140736335699919 0
[pid=17836/tid=17845] ppid=17834 vsize=14089320 memory=752 CPUtime=0 cores=0,2,4,6
/proc/17836/task/17845/stat : 17845 (java) S 17834 17834 15061 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 222714141 14427463680 328568 33554432000 4194304 4196468 140736335689104 140681933478224 140682395252635 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24928256 140736335697030 140736335697201 140736335697201 140736335699919 0
[pid=17836/tid=17846] ppid=17834 vsize=14089320 memory=972 CPUtime=3.56 cores=0,2,4,6
/proc/17836/task/17846/stat : 17846 (java) S 17834 17834 15061 0 -1 1077944384 20187 0 0 0 353 3 0 0 20 0 15 0 222714141 14427463680 328568 33554432000 4194304 4196468 140736335689104 140681932425584 140682395245186 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24928256 140736335697030 140736335697201 140736335697201 140736335699919 0
[pid=17836/tid=17847] ppid=17834 vsize=14089320 memory=29860 CPUtime=3.57 cores=0,2,4,6
/proc/17836/task/17847/stat : 17847 (java) S 17834 17834 15061 0 -1 1077944384 18594 0 0 0 355 2 0 0 20 0 15 0 222714141 14427463680 328568 33554432000 4194304 4196468 140736335689104 140681931372784 140682395245186 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24928256 140736335697030 140736335697201 140736335697201 140736335699919 0
[pid=17836/tid=17848] ppid=17834 vsize=14089320 memory=11904 CPUtime=0.85 cores=0,2,4,6
/proc/17836/task/17848/stat : 17848 (java) S 17834 17834 15061 0 -1 1077944384 9322 0 0 0 83 2 0 0 20 0 15 0 222714142 14427463680 328568 33554432000 4194304 4196468 140736335689104 140681930319984 140682395245186 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24928256 140736335697030 140736335697201 140736335697201 140736335699919 0
[pid=17836/tid=17849] ppid=17834 vsize=14089320 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/17836/task/17849/stat : 17849 (java) S 17834 17834 15061 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 222714142 14427463680 328568 33554432000 4194304 4196468 140736335689104 140681929267424 140682395244245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24928256 140736335697030 140736335697201 140736335697201 140736335699919 0
[pid=17836/tid=17850] ppid=17834 vsize=14089320 memory=164104 CPUtime=1.63 cores=0,2,4,6
/proc/17836/task/17850/stat : 17850 (java) S 17834 17834 15061 0 -1 1077944384 1515 0 0 0 76 87 0 0 20 0 15 0 222714142 14427463680 328568 33554432000 4194304 4196468 140736335689104 140681928215728 140682395245186 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24928256 140736335697030 140736335697201 140736335697201 140736335699919 0
Current children cumulated CPU time: 2512.73 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 1315728 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2509.6 s]
/proc/loadavg: 1.62 1.69 1.84 3/217 18105
/proc/meminfo: memFree=27586596/32770624 swapFree=67030644/67108860
[pid=17834] ppid=17831 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/17834/stat : 17834 (xcsp3-exec) S 17831 17834 15061 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 222714136 115843072 364 33554432000 4194304 5098028 140725047567712 140725047565816 140010551464572 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 27787264 140725047575611 140725047575812 140725047575812 140725047578570 0
/proc/17834/statm: 28282 364 306 221 0 87 0
[pid=17836] ppid=17834 vsize=14089320 memory=1314272 CPUtime=2520.04 cores=0,2,4,6
/proc/17836/stat : 17836 (java) S 17834 17834 15061 0 -1 1077944320 85730 0 0 0 251880 124 0 0 20 0 15 0 222714136 14427463680 328568 33554432000 4194304 4196468 140736335689104 140736335671648 140682395234039 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 24928256 140736335697030 140736335697201 140736335697201 140736335699919 0
/proc/17836/statm: 3522330 328568 3424 1 0 3483524 0
[pid=17836/tid=17837] ppid=17834 vsize=14089320 memory=1314272 CPUtime=2509.2 cores=0,2,4,6
/proc/17836/task/17837/stat : 17837 (java) R 17834 17834 15061 0 -1 4202560 29786 0 0 0 250900 20 0 0 20 0 15 0 222714136 14427463680 328568 33554432000 4194304 4196468 140736335689104 140682399473744 140682014975760 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24928256 140736335697030 140736335697201 140736335697201 140736335699919 0
[pid=17836/tid=17838] ppid=17834 vsize=14089320 memory=1314272 CPUtime=0.27 cores=0,2,4,6
/proc/17836/task/17838/stat : 17838 (java) S 17834 17834 15061 0 -1 1077944384 565 0 0 0 21 6 0 0 20 0 15 0 222714137 14427463680 328568 33554432000 4194304 4196468 140736335689104 140681991076496 140682395244245 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24928256 140736335697030 140736335697201 140736335697201 140736335699919 0
[pid=17836/tid=17839] ppid=17834 vsize=14089320 memory=1314272 CPUtime=0.27 cores=0,2,4,6
/proc/17836/task/17839/stat : 17839 (java) S 17834 17834 15061 0 -1 1077944384 749 0 0 0 21 6 0 0 20 0 15 0 222714137 14427463680 328568 33554432000 4194304 4196468 140736335689104 140681990023696 140682395244245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24928256 140736335697030 140736335697201 140736335697201 140736335699919 0
[pid=17836/tid=17840] ppid=17834 vsize=14089320 memory=1456 CPUtime=0.24 cores=0,2,4,6
/proc/17836/task/17840/stat : 17840 (java) S 17834 17834 15061 0 -1 1077944384 514 0 0 0 18 6 0 0 20 0 15 0 222714137 14427463680 328568 33554432000 4194304 4196468 140736335689104 140681988970896 140682395244245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24928256 140736335697030 140736335697201 140736335697201 140736335699919 0
[pid=17836/tid=17841] ppid=17834 vsize=14089320 memory=1314272 CPUtime=0.26 cores=0,2,4,6
/proc/17836/task/17841/stat : 17841 (java) S 17834 17834 15061 0 -1 1077944384 1012 0 0 0 20 6 0 0 20 0 15 0 222714137 14427463680 328568 33554432000 4194304 4196468 140736335689104 140681987918096 140682395244245 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24928256 140736335697030 140736335697201 140736335697201 140736335699919 0
[pid=17836/tid=17842] ppid=17834 vsize=14089320 memory=1055 CPUtime=0.08 cores=0,2,4,6
/proc/17836/task/17842/stat : 17842 (java) S 17834 17834 15061 0 -1 1077944384 2157 0 0 0 4 4 0 0 20 0 15 0 222714138 14427463680 328568 33554432000 4194304 4196468 140736335689104 140681936636784 140682395245186 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24928256 140736335697030 140736335697201 140736335697201 140736335699919 0
[pid=17836/tid=17843] ppid=17834 vsize=14089320 memory=776 CPUtime=0 cores=0,2,4,6
/proc/17836/task/17843/stat : 17843 (java) S 17834 17834 15061 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 15 0 222714139 14427463680 328568 33554432000 4194304 4196468 140736335689104 140681935582816 140682395244245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24928256 140736335697030 140736335697201 140736335697201 140736335699919 0
[pid=17836/tid=17844] ppid=17834 vsize=14089320 memory=1876 CPUtime=0 cores=0,2,4,6
/proc/17836/task/17844/stat : 17844 (java) S 17834 17834 15061 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 222714139 14427463680 328568 33554432000 4194304 4196468 140736335689104 140681934529920 140682395244245 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24928256 140736335697030 140736335697201 140736335697201 140736335699919 0
[pid=17836/tid=17845] ppid=17834 vsize=14089320 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/17836/task/17845/stat : 17845 (java) S 17834 17834 15061 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 222714141 14427463680 328568 33554432000 4194304 4196468 140736335689104 140681933478224 140682395252635 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24928256 140736335697030 140736335697201 140736335697201 140736335699919 0
[pid=17836/tid=17846] ppid=17834 vsize=14089320 memory=1314272 CPUtime=3.56 cores=0,2,4,6
/proc/17836/task/17846/stat : 17846 (java) S 17834 17834 15061 0 -1 1077944384 20187 0 0 0 353 3 0 0 20 0 15 0 222714141 14427463680 328568 33554432000 4194304 4196468 140736335689104 140681932425584 140682395245186 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24928256 140736335697030 140736335697201 140736335697201 140736335699919 0
[pid=17836/tid=17847] ppid=17834 vsize=14089320 memory=3544 CPUtime=3.57 cores=0,2,4,6
/proc/17836/task/17847/stat : 17847 (java) S 17834 17834 15061 0 -1 1077944384 18594 0 0 0 355 2 0 0 20 0 15 0 222714141 14427463680 328568 33554432000 4194304 4196468 140736335689104 140681931372784 140682395245186 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24928256 140736335697030 140736335697201 140736335697201 140736335699919 0
[pid=17836/tid=17848] ppid=17834 vsize=14089320 memory=58584 CPUtime=0.85 cores=0,2,4,6
/proc/17836/task/17848/stat : 17848 (java) S 17834 17834 15061 0 -1 1077944384 9322 0 0 0 83 2 0 0 20 0 15 0 222714142 14427463680 328568 33554432000 4194304 4196468 140736335689104 140681930319984 140682395245186 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24928256 140736335697030 140736335697201 140736335697201 140736335699919 0
[pid=17836/tid=17849] ppid=17834 vsize=14089320 memory=776 CPUtime=0 cores=0,2,4,6
/proc/17836/task/17849/stat : 17849 (java) S 17834 17834 15061 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 222714142 14427463680 328568 33554432000 4194304 4196468 140736335689104 140681929267424 140682395244245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24928256 140736335697030 140736335697201 140736335697201 140736335699919 0
[pid=17836/tid=17850] ppid=17834 vsize=14089320 memory=1314272 CPUtime=1.63 cores=0,2,4,6
/proc/17836/task/17850/stat : 17850 (java) S 17834 17834 15061 0 -1 1077944384 1517 0 0 0 76 87 0 0 20 0 15 0 222714142 14427463680 328568 33554432000 4194304 4196468 140736335689104 140681928215728 140682395245186 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24928256 140736335697030 140736335697201 140736335697201 140736335699919 0
Current children cumulated CPU time: 2520.04 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 1315728 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

[startup+2509.61 s]
# the end of solver process 17834 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=0.001092 s, system=0.001092 s

[startup+2509.62 s]
# the end of solver process 17836 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2518.82 s, system=1.25136 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+2509.6 s]
/proc/loadavg: 1.62 1.69 1.84 3/217 18105
/proc/meminfo: memFree=27586596/32770624 swapFree=67030644/67108860
[pid=17834] ppid=17831 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/17834/stat : 17834 (xcsp3-exec) S 17831 17834 15061 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 222714136 115843072 364 33554432000 4194304 5098028 140725047567712 140725047565816 140010551464572 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 27787264 140725047575611 140725047575812 140725047575812 140725047578570 0
/proc/17834/statm: 28282 364 306 221 0 87 0
[pid=17836] ppid=17834 vsize=14089320 memory=1314272 CPUtime=2520.04 cores=0,2,4,6
/proc/17836/stat : 17836 (java) S 17834 17834 15061 0 -1 1077944320 85730 0 0 0 251880 124 0 0 20 0 15 0 222714136 14427463680 328568 33554432000 4194304 4196468 140736335689104 140736335671648 140682395234039 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 24928256 140736335697030 140736335697201 140736335697201 140736335699919 0
/proc/17836/statm: 3522330 328568 3424 1 0 3483524 0
[pid=17836/tid=17837] ppid=17834 vsize=14089320 memory=1314272 CPUtime=2509.2 cores=0,2,4,6
/proc/17836/task/17837/stat : 17837 (java) R 17834 17834 15061 0 -1 4202560 29786 0 0 0 250900 20 0 0 20 0 15 0 222714136 14427463680 328568 33554432000 4194304 4196468 140736335689104 140682399473744 140682014975760 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24928256 140736335697030 140736335697201 140736335697201 140736335699919 0
[pid=17836/tid=17838] ppid=17834 vsize=14089320 memory=1314272 CPUtime=0.27 cores=0,2,4,6
/proc/17836/task/17838/stat : 17838 (java) S 17834 17834 15061 0 -1 1077944384 565 0 0 0 21 6 0 0 20 0 15 0 222714137 14427463680 328568 33554432000 4194304 4196468 140736335689104 140681991076496 140682395244245 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24928256 140736335697030 140736335697201 140736335697201 140736335699919 0
[pid=17836/tid=17839] ppid=17834 vsize=14089320 memory=1314272 CPUtime=0.27 cores=0,2,4,6
/proc/17836/task/17839/stat : 17839 (java) S 17834 17834 15061 0 -1 1077944384 749 0 0 0 21 6 0 0 20 0 15 0 222714137 14427463680 328568 33554432000 4194304 4196468 140736335689104 140681990023696 140682395244245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24928256 140736335697030 140736335697201 140736335697201 140736335699919 0
[pid=17836/tid=17840] ppid=17834 vsize=14089320 memory=1456 CPUtime=0.24 cores=0,2,4,6
/proc/17836/task/17840/stat : 17840 (java) S 17834 17834 15061 0 -1 1077944384 514 0 0 0 18 6 0 0 20 0 15 0 222714137 14427463680 328568 33554432000 4194304 4196468 140736335689104 140681988970896 140682395244245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24928256 140736335697030 140736335697201 140736335697201 140736335699919 0
[pid=17836/tid=17841] ppid=17834 vsize=14089320 memory=1314272 CPUtime=0.26 cores=0,2,4,6
/proc/17836/task/17841/stat : 17841 (java) S 17834 17834 15061 0 -1 1077944384 1012 0 0 0 20 6 0 0 20 0 15 0 222714137 14427463680 328568 33554432000 4194304 4196468 140736335689104 140681987918096 140682395244245 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24928256 140736335697030 140736335697201 140736335697201 140736335699919 0
[pid=17836/tid=17842] ppid=17834 vsize=14089320 memory=1055 CPUtime=0.08 cores=0,2,4,6
/proc/17836/task/17842/stat : 17842 (java) S 17834 17834 15061 0 -1 1077944384 2157 0 0 0 4 4 0 0 20 0 15 0 222714138 14427463680 328568 33554432000 4194304 4196468 140736335689104 140681936636784 140682395245186 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24928256 140736335697030 140736335697201 140736335697201 140736335699919 0
[pid=17836/tid=17843] ppid=17834 vsize=14089320 memory=776 CPUtime=0 cores=0,2,4,6
/proc/17836/task/17843/stat : 17843 (java) S 17834 17834 15061 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 15 0 222714139 14427463680 328568 33554432000 4194304 4196468 140736335689104 140681935582816 140682395244245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24928256 140736335697030 140736335697201 140736335697201 140736335699919 0
[pid=17836/tid=17844] ppid=17834 vsize=14089320 memory=1876 CPUtime=0 cores=0,2,4,6
/proc/17836/task/17844/stat : 17844 (java) S 17834 17834 15061 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 222714139 14427463680 328568 33554432000 4194304 4196468 140736335689104 140681934529920 140682395244245 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24928256 140736335697030 140736335697201 140736335697201 140736335699919 0
[pid=17836/tid=17845] ppid=17834 vsize=14089320 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/17836/task/17845/stat : 17845 (java) S 17834 17834 15061 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 222714141 14427463680 328568 33554432000 4194304 4196468 140736335689104 140681933478224 140682395252635 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24928256 140736335697030 140736335697201 140736335697201 140736335699919 0
[pid=17836/tid=17846] ppid=17834 vsize=14089320 memory=1314272 CPUtime=3.56 cores=0,2,4,6
/proc/17836/task/17846/stat : 17846 (java) S 17834 17834 15061 0 -1 1077944384 20187 0 0 0 353 3 0 0 20 0 15 0 222714141 14427463680 328568 33554432000 4194304 4196468 140736335689104 140681932425584 140682395245186 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24928256 140736335697030 140736335697201 140736335697201 140736335699919 0
[pid=17836/tid=17847] ppid=17834 vsize=14089320 memory=3544 CPUtime=3.57 cores=0,2,4,6
/proc/17836/task/17847/stat : 17847 (java) S 17834 17834 15061 0 -1 1077944384 18594 0 0 0 355 2 0 0 20 0 15 0 222714141 14427463680 328568 33554432000 4194304 4196468 140736335689104 140681931372784 140682395245186 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24928256 140736335697030 140736335697201 140736335697201 140736335699919 0
[pid=17836/tid=17848] ppid=17834 vsize=14089320 memory=58584 CPUtime=0.85 cores=0,2,4,6
/proc/17836/task/17848/stat : 17848 (java) S 17834 17834 15061 0 -1 1077944384 9322 0 0 0 83 2 0 0 20 0 15 0 222714142 14427463680 328568 33554432000 4194304 4196468 140736335689104 140681930319984 140682395245186 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24928256 140736335697030 140736335697201 140736335697201 140736335699919 0
[pid=17836/tid=17849] ppid=17834 vsize=14089320 memory=776 CPUtime=0 cores=0,2,4,6
/proc/17836/task/17849/stat : 17849 (java) S 17834 17834 15061 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 222714142 14427463680 328568 33554432000 4194304 4196468 140736335689104 140681929267424 140682395244245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24928256 140736335697030 140736335697201 140736335697201 140736335699919 0
[pid=17836/tid=17850] ppid=17834 vsize=14089320 memory=1314272 CPUtime=1.63 cores=0,2,4,6
/proc/17836/task/17850/stat : 17850 (java) S 17834 17834 15061 0 -1 1077944384 1517 0 0 0 76 87 0 0 20 0 15 0 222714142 14427463680 328568 33554432000 4194304 4196468 140736335689104 140681928215728 140682395245186 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24928256 140736335697030 140736335697201 140736335697201 140736335699919 0
Current children cumulated CPU time: 2520.04 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 1315728 KiB

Child status: 143
Real time (s): 2509.62
CPU time (s): 2520.07
CPU user time (s): 2518.82
CPU system time (s): 1.25136
CPU usage (%): 100.417
Max. virtual memory (cumulated for all children) (KiB): 14202448
Max. memory (cumulated for all children) (KiB): 1315728

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2518.82
system time used= 1.25136
maximum resident set size= 1314776
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 86612
page faults= 0
swaps= 0
block input operations= 8
block output operations= 1864
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 58131
involuntary context switches= 2857


# summary of solver processes directly reported to runsolver:
#   pid: 17834,17836
#   total CPU time (s): 2520.07
#   total CPU user time (s): 2518.82
#   total CPU system time (s): 1.25136

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.3293 second user time and 24.143 second system time

The end