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 (3931 MiB free)
memory of node 1: 16384 MiB (4131 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4403917-1568993513/watcher-4403917-1568993513 -o /var/tmp/evaluation-result-4403917-1568993513/solver-4403917-1568993513 -C 2520 -W 2520 -M 15500 --bin-var /var/tmp/runsolver-exch-node126-1568993475-23943 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 1307638501 HOME/instance-4403917-1568993513.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=23974, runsolver pid=23970
[startup+0.10013 s]*
/proc/loadavg: 4.00 4.61 5.32 7/230 24004
/proc/meminfo: memFree=8223964/32770624 swapFree=66993324/67108860
[pid=23974] ppid=23970 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/23974/stat : 23974 (xcsp3-exec) S 23970 23974 22498 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 475619069 115843072 364 33554432000 4194304 5098028 140733158115776 140733158113880 139706089587324 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 36106240 140733158118230 140733158118489 140733158118489 140733158121414 0
/proc/23974/statm: 28282 364 305 221 0 87 0
[pid=23977] ppid=23974 vsize=15144776 memory=30004 CPUtime=0.12 cores=0,2,4,6
/proc/23977/stat : 23977 (java) S 23974 23974 22498 0 -1 1077944320 5850 0 0 0 11 1 0 0 20 0 15 0 475619069 15508250624 7501 33554432000 4194304 4196468 140728764333504 140728764316048 140479314550519 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 11808768 140728764339163 140728764339338 140728764339338 140728764342223 0
/proc/23977/statm: 3786194 7501 3158 1 0 3748377 0
[pid=23977/tid=23978] ppid=23974 vsize=15144772 memory=576460756329955459 CPUtime=0.09 cores=0,2,4,6
/proc/23977/task/23978/stat : 23978 (java) R 23974 23974 22498 0 -1 4202560 3794 0 0 0 8 1 0 0 20 0 15 0 475619070 15508246528 7501 33554432000 4194304 4196468 140728764333504 140479318774928 140479307267671 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11808768 140728764339163 140728764339338 140728764339338 140728764342223 0
[pid=23977/tid=23983] ppid=23974 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23977/task/23983/stat : 23983 (java) S 23974 23974 22498 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475619070 15508250624 7501 33554432000 4194304 4196468 140728764333504 140479267171344 140479314560725 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11808768 140728764339163 140728764339338 140728764339338 140728764342223 0
[pid=23977/tid=23984] ppid=23974 vsize=15144776 memory=4051467271586891424 CPUtime=0 cores=0,2,4,6
/proc/23977/task/23984/stat : 23984 (java) S 23974 23974 22498 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475619070 15508250624 7501 33554432000 4194304 4196468 140728764333504 140479266118800 140479314560725 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11808768 140728764339163 140728764339338 140728764339338 140728764342223 0
[pid=23977/tid=23985] ppid=23974 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23977/task/23985/stat : 23985 (java) S 23974 23974 22498 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475619071 15508250624 7501 33554432000 4194304 4196468 140728764333504 140479265065744 140479314560725 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11808768 140728764339163 140728764339338 140728764339338 140728764342223 0
[pid=23977/tid=23986] ppid=23974 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23977/task/23986/stat : 23986 (java) S 23974 23974 22498 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475619071 15508250624 7501 33554432000 4194304 4196468 140728764333504 140479264013200 140479314560725 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11808768 140728764339163 140728764339338 140728764339338 140728764342223 0
[pid=23977/tid=23988] ppid=23974 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23977/task/23988/stat : 23988 (java) S 23974 23974 22498 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475619072 15508250624 7501 33554432000 4194304 4196468 140728764333504 140478782626032 140479314561666 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11808768 140728764339163 140728764339338 140728764339338 140728764342223 0
[pid=23977/tid=23991] ppid=23974 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23977/task/23991/stat : 23991 (java) S 23974 23974 22498 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475619072 15508250624 7501 33554432000 4194304 4196468 140728764333504 140478781572256 140479314560725 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11808768 140728764339163 140728764339338 140728764339338 140728764342223 0
[pid=23977/tid=23992] ppid=23974 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23977/task/23992/stat : 23992 (java) S 23974 23974 22498 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475619073 15508250624 7501 33554432000 4194304 4196468 140728764333504 140478780519152 140479314560725 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11808768 140728764339163 140728764339338 140728764339338 140728764342223 0
[pid=23977/tid=23998] ppid=23974 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23977/task/23998/stat : 23998 (java) S 23974 23974 22498 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475619075 15508250624 7501 33554432000 4194304 4196468 140728764333504 140478779467728 140479314569115 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11808768 140728764339163 140728764339338 140728764339338 140728764342223 0
[pid=23977/tid=24000] ppid=23974 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23977/task/24000/stat : 24000 (java) R 23974 23974 22498 0 -1 1077944384 415 0 0 0 0 0 0 0 20 0 15 0 475619075 15508250624 7501 33554432000 4194304 4196468 140728764333504 140478778415856 140479314561666 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11808768 140728764339163 140728764339338 140728764339338 140728764342223 0
[pid=23977/tid=24001] ppid=23974 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23977/task/24001/stat : 24001 (java) R 23974 23974 22498 0 -1 4202560 31 0 0 0 0 0 0 0 20 0 15 0 475619075 15508250624 7501 33554432000 4194304 4196468 140728764333504 140478777363312 140479297986257 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11808768 140728764339163 140728764339338 140728764339338 140728764342223 0
[pid=23977/tid=24002] ppid=23974 vsize=15144776 memory=140541598287488 CPUtime=0.02 cores=0,2,4,6
/proc/23977/task/24002/stat : 24002 (java) R 23974 23974 22498 0 -1 4202560 332 0 0 0 2 0 0 0 20 0 15 0 475619075 15508250624 7501 33554432000 4194304 4196468 140728764333504 140478776310256 140479314562454 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11808768 140728764339163 140728764339338 140728764339338 140728764342223 0
[pid=23977/tid=24003] ppid=23974 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23977/task/24003/stat : 24003 (java) S 23974 23974 22498 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475619075 15508250624 7501 33554432000 4194304 4196468 140728764333504 140478775257952 140479314560725 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11808768 140728764339163 140728764339338 140728764339338 140728764342223 0
[pid=23977/tid=24004] ppid=23974 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23977/task/24004/stat : 24004 (java) S 23974 23974 22498 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475619076 15508250624 7501 33554432000 4194304 4196468 140728764333504 140478774204976 140479314561666 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11808768 140728764339163 140728764339338 140728764339338 140728764342223 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 31460 KiB
[startup+0.210645 s]*
/proc/loadavg: 4.00 4.61 5.32 5/230 24004
/proc/meminfo: memFree=8196896/32770624 swapFree=66993324/67108860
[pid=23974] ppid=23970 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/23974/stat : 23974 (xcsp3-exec) S 23970 23974 22498 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 475619069 115843072 364 33554432000 4194304 5098028 140733158115776 140733158113880 139706089587324 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 36106240 140733158118230 140733158118489 140733158118489 140733158121414 0
/proc/23974/statm: 28282 364 305 221 0 87 0
[pid=23977] ppid=23974 vsize=15144776 memory=40572 CPUtime=0.34 cores=0,2,4,6
/proc/23977/stat : 23977 (java) S 23974 23974 22498 0 -1 1077944320 9343 0 0 0 31 3 0 0 20 0 15 0 475619069 15508250624 10143 33554432000 4194304 4196468 140728764333504 140728764316048 140479314550519 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 11808768 140728764339163 140728764339338 140728764339338 140728764342223 0
/proc/23977/statm: 3786194 10143 3318 1 0 3748377 0
[pid=23977/tid=23978] ppid=23974 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=0,2,4,6
/proc/23977/task/23978/stat : 23978 (java) R 23974 23974 22498 0 -1 4202560 6596 0 0 0 18 2 0 0 20 0 15 0 475619070 15508250624 10143 33554432000 4194304 4196468 140728764333504 140479318781584 140478934711048 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11808768 140728764339163 140728764339338 140728764339338 140728764342223 0
[pid=23977/tid=23983] ppid=23974 vsize=15144776 memory=8998 CPUtime=0 cores=0,2,4,6
/proc/23977/task/23983/stat : 23983 (java) S 23974 23974 22498 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475619070 15508250624 10143 33554432000 4194304 4196468 140728764333504 140479267171344 140479314560725 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11808768 140728764339163 140728764339338 140728764339338 140728764342223 0
[pid=23977/tid=23984] ppid=23974 vsize=15144776 memory=140541601870594 CPUtime=0 cores=0,2,4,6
/proc/23977/task/23984/stat : 23984 (java) S 23974 23974 22498 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475619070 15508250624 10143 33554432000 4194304 4196468 140728764333504 140479266118800 140479314560725 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11808768 140728764339163 140728764339338 140728764339338 140728764342223 0
[pid=23977/tid=23985] ppid=23974 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23977/task/23985/stat : 23985 (java) S 23974 23974 22498 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475619071 15508250624 10143 33554432000 4194304 4196468 140728764333504 140479265065744 140479314560725 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11808768 140728764339163 140728764339338 140728764339338 140728764342223 0
[pid=23977/tid=23986] ppid=23974 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23977/task/23986/stat : 23986 (java) S 23974 23974 22498 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475619071 15508250624 10143 33554432000 4194304 4196468 140728764333504 140479264013200 140479314560725 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11808768 140728764339163 140728764339338 140728764339338 140728764342223 0
[pid=23977/tid=23988] ppid=23974 vsize=15144776 memory=140541598287488 CPUtime=0 cores=0,2,4,6
/proc/23977/task/23988/stat : 23988 (java) S 23974 23974 22498 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475619072 15508250624 10143 33554432000 4194304 4196468 140728764333504 140478782626032 140479314561666 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11808768 140728764339163 140728764339338 140728764339338 140728764342223 0
[pid=23977/tid=23991] ppid=23974 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23977/task/23991/stat : 23991 (java) S 23974 23974 22498 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475619072 15508250624 10143 33554432000 4194304 4196468 140728764333504 140478781572256 140479314560725 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11808768 140728764339163 140728764339338 140728764339338 140728764342223 0
[pid=23977/tid=23992] ppid=23974 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23977/task/23992/stat : 23992 (java) S 23974 23974 22498 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475619073 15508250624 10143 33554432000 4194304 4196468 140728764333504 140478780519152 140479314560725 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11808768 140728764339163 140728764339338 140728764339338 140728764342223 0
[pid=23977/tid=23998] ppid=23974 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23977/task/23998/stat : 23998 (java) S 23974 23974 22498 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475619075 15508250624 10143 33554432000 4194304 4196468 140728764333504 140478779467728 140479314569115 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11808768 140728764339163 140728764339338 140728764339338 140728764342223 0
[pid=23977/tid=24000] ppid=23974 vsize=15144776 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/23977/task/24000/stat : 24000 (java) S 23974 23974 22498 0 -1 1077944384 468 0 0 0 2 0 0 0 20 0 15 0 475619075 15508250624 10143 33554432000 4194304 4196468 140728764333504 140478778415856 140479314561666 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11808768 140728764339163 140728764339338 140728764339338 140728764342223 0
[pid=23977/tid=24001] ppid=23974 vsize=15144776 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/23977/task/24001/stat : 24001 (java) S 23974 23974 22498 0 -1 1077944384 185 0 0 0 2 0 0 0 20 0 15 0 475619075 15508250624 10143 33554432000 4194304 4196468 140728764333504 140478777363312 140479314561666 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11808768 140728764339163 140728764339338 140728764339338 140728764342223 0
[pid=23977/tid=24002] ppid=23974 vsize=15144776 memory=140541598287488 CPUtime=0.08 cores=0,2,4,6
/proc/23977/task/24002/stat : 24002 (java) R 23974 23974 22498 0 -1 4202560 786 0 0 0 8 0 0 0 20 0 15 0 475619075 15508250624 10143 33554432000 4194304 4196468 140728764333504 140478776310064 140479306787646 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11808768 140728764339163 140728764339338 140728764339338 140728764342223 0
[pid=23977/tid=24003] ppid=23974 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23977/task/24003/stat : 24003 (java) S 23974 23974 22498 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475619075 15508250624 10143 33554432000 4194304 4196468 140728764333504 140478775257952 140479314560725 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11808768 140728764339163 140728764339338 140728764339338 140728764342223 0
[pid=23977/tid=24004] ppid=23974 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23977/task/24004/stat : 24004 (java) S 23974 23974 22498 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475619076 15508250624 10143 33554432000 4194304 4196468 140728764333504 140478774204976 140479314561666 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11808768 140728764339163 140728764339338 140728764339338 140728764342223 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42028 KiB
[startup+0.320455 s]*
/proc/loadavg: 4.00 4.61 5.32 4/230 24004
/proc/meminfo: memFree=8181348/32770624 swapFree=66993324/67108860
[pid=23974] ppid=23970 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/23974/stat : 23974 (xcsp3-exec) S 23970 23974 22498 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 475619069 115843072 364 33554432000 4194304 5098028 140733158115776 140733158113880 139706089587324 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 36106240 140733158118230 140733158118489 140733158118489 140733158121414 0
/proc/23974/statm: 28282 364 305 221 0 87 0
[pid=23977] ppid=23974 vsize=15149032 memory=50400 CPUtime=0.55 cores=0,2,4,6
/proc/23977/stat : 23977 (java) S 23974 23974 22498 0 -1 1077944320 10878 0 0 0 51 4 0 0 20 0 15 0 475619069 15512608768 12600 33554432000 4194304 4196468 140728764333504 140728764316048 140479314550519 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 11808768 140728764339163 140728764339338 140728764339338 140728764342223 0
/proc/23977/statm: 3787258 12600 3364 1 0 3748377 0
[pid=23977/tid=23978] ppid=23974 vsize=15149032 memory=1398722017469774279 CPUtime=0.3 cores=0,2,4,6
/proc/23977/task/23978/stat : 23978 (java) R 23974 23974 22498 0 -1 4202560 7854 0 0 0 27 3 0 0 20 0 15 0 475619070 15512608768 12609 33554432000 4194304 4196468 140728764333504 140479318782432 140479314572445 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11808768 140728764339163 140728764339338 140728764339338 140728764342223 0
[pid=23977/tid=23983] ppid=23974 vsize=15149032 memory=6944652177228980320 CPUtime=0 cores=0,2,4,6
/proc/23977/task/23983/stat : 23983 (java) S 23974 23974 22498 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475619070 15512608768 12609 33554432000 4194304 4196468 140728764333504 140479267171344 140479314560725 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11808768 140728764339163 140728764339338 140728764339338 140728764342223 0
[pid=23977/tid=23984] ppid=23974 vsize=15149032 memory=6655300316396806240 CPUtime=0 cores=0,2,4,6
/proc/23977/task/23984/stat : 23984 (java) S 23974 23974 22498 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475619070 15512608768 12609 33554432000 4194304 4196468 140728764333504 140479266118800 140479314560725 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11808768 140728764339163 140728764339338 140728764339338 140728764342223 0
[pid=23977/tid=23985] ppid=23974 vsize=15149032 memory=6944652177228980320 CPUtime=0 cores=0,2,4,6
/proc/23977/task/23985/stat : 23985 (java) S 23974 23974 22498 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475619071 15512608768 12609 33554432000 4194304 4196468 140728764333504 140479265065744 140479314560725 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11808768 140728764339163 140728764339338 140728764339338 140728764342223 0
[pid=23977/tid=23986] ppid=23974 vsize=15149032 memory=-4190076264842474805 CPUtime=0 cores=0,2,4,6
/proc/23977/task/23986/stat : 23986 (java) S 23974 23974 22498 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475619071 15512608768 12609 33554432000 4194304 4196468 140728764333504 140479264013200 140479314560725 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11808768 140728764339163 140728764339338 140728764339338 140728764342223 0
[pid=23977/tid=23988] ppid=23974 vsize=15149032 memory=-7595490506177102494 CPUtime=0 cores=0,2,4,6
/proc/23977/task/23988/stat : 23988 (java) S 23974 23974 22498 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475619072 15512608768 12609 33554432000 4194304 4196468 140728764333504 140478782626032 140479314561666 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11808768 140728764339163 140728764339338 140728764339338 140728764342223 0
[pid=23977/tid=23991] ppid=23974 vsize=15149032 memory=-7533229591079788448 CPUtime=0 cores=0,2,4,6
/proc/23977/task/23991/stat : 23991 (java) S 23974 23974 22498 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475619072 15512608768 12609 33554432000 4194304 4196468 140728764333504 140478781572256 140479314560725 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11808768 140728764339163 140728764339338 140728764339338 140728764342223 0
[pid=23977/tid=23992] ppid=23974 vsize=15149032 memory=7893295687695687954 CPUtime=0 cores=0,2,4,6
/proc/23977/task/23992/stat : 23992 (java) S 23974 23974 22498 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475619073 15512608768 12609 33554432000 4194304 4196468 140728764333504 140478780519152 140479314560725 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11808768 140728764339163 140728764339338 140728764339338 140728764342223 0
[pid=23977/tid=23998] ppid=23974 vsize=15149032 memory=-8813974798734826869 CPUtime=0 cores=0,2,4,6
/proc/23977/task/23998/stat : 23998 (java) S 23974 23974 22498 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475619075 15512608768 12609 33554432000 4194304 4196468 140728764333504 140478779467728 140479314569115 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11808768 140728764339163 140728764339338 140728764339338 140728764342223 0
[pid=23977/tid=24000] ppid=23974 vsize=15149032 memory=7827413994055111515 CPUtime=0.04 cores=0,2,4,6
/proc/23977/task/24000/stat : 24000 (java) S 23974 23974 22498 0 -1 1077944384 480 0 0 0 4 0 0 0 20 0 15 0 475619075 15512608768 12609 33554432000 4194304 4196468 140728764333504 140478778415856 140479314561666 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11808768 140728764339163 140728764339338 140728764339338 140728764342223 0
[pid=23977/tid=24001] ppid=23974 vsize=15149032 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/23977/task/24001/stat : 24001 (java) S 23974 23974 22498 0 -1 1077944384 279 0 0 0 5 0 0 0 20 0 15 0 475619075 15512608768 12609 33554432000 4194304 4196468 140728764333504 140478777363312 140479314561666 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11808768 140728764339163 140728764339338 140728764339338 140728764342223 0
[pid=23977/tid=24002] ppid=23974 vsize=15149032 memory=0 CPUtime=0.13 cores=0,2,4,6
/proc/23977/task/24002/stat : 24002 (java) S 23974 23974 22498 0 -1 1077944384 958 0 0 0 13 0 0 0 20 0 15 0 475619075 15512608768 12609 33554432000 4194304 4196468 140728764333504 140478776310256 140479314561666 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11808768 140728764339163 140728764339338 140728764339338 140728764342223 0
[pid=23977/tid=24003] ppid=23974 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23977/task/24003/stat : 24003 (java) S 23974 23974 22498 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475619075 15512608768 12609 33554432000 4194304 4196468 140728764333504 140478775257952 140479314560725 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11808768 140728764339163 140728764339338 140728764339338 140728764342223 0
[pid=23977/tid=24004] ppid=23974 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23977/task/24004/stat : 24004 (java) S 23974 23974 22498 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475619076 15512608768 12609 33554432000 4194304 4196468 140728764333504 140478774204976 140479314561666 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11808768 140728764339163 140728764339338 140728764339338 140728764342223 0
Current children cumulated CPU time: 0.55 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51856 KiB
[startup+0.701401 s]
/proc/loadavg: 4.24 4.65 5.33 9/230 24004
/proc/meminfo: memFree=8134108/32770624 swapFree=66993324/67108860
[pid=23974] ppid=23970 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/23974/stat : 23974 (xcsp3-exec) S 23970 23974 22498 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 475619069 115843072 364 33554432000 4194304 5098028 140733158115776 140733158113880 139706089587324 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 36106240 140733158118230 140733158118489 140733158118489 140733158121414 0
/proc/23974/statm: 28282 364 305 221 0 87 0
[pid=23977] ppid=23974 vsize=15151156 memory=115420 CPUtime=1.78 cores=0,2,4,6
/proc/23977/stat : 23977 (java) S 23974 23974 22498 0 -1 1077944320 14344 0 0 0 172 6 0 0 20 0 15 0 475619069 15514783744 28855 33554432000 4194304 4196468 140728764333504 140728764316048 140479314550519 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 11808768 140728764339163 140728764339338 140728764339338 140728764342223 0
/proc/23977/statm: 3787789 28855 3450 1 0 3748889 0
[pid=23977/tid=23978] ppid=23974 vsize=15151156 memory=0 CPUtime=0.67 cores=0,2,4,6
/proc/23977/task/23978/stat : 23978 (java) R 23974 23974 22498 0 -1 4202560 8391 0 0 0 63 4 0 0 20 0 15 0 475619070 15514783744 28855 33554432000 4194304 4196468 140728764333504 140479318786120 140478938581860 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 11808768 140728764339163 140728764339338 140728764339338 140728764342223 0
[pid=23977/tid=23983] ppid=23974 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23977/task/23983/stat : 23983 (java) S 23974 23974 22498 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475619070 15514783744 28855 33554432000 4194304 4196468 140728764333504 140479267171344 140479314560725 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11808768 140728764339163 140728764339338 140728764339338 140728764342223 0
[pid=23977/tid=23984] ppid=23974 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23977/task/23984/stat : 23984 (java) S 23974 23974 22498 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475619070 15514783744 28855 33554432000 4194304 4196468 140728764333504 140479266118800 140479314560725 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11808768 140728764339163 140728764339338 140728764339338 140728764342223 0
[pid=23977/tid=23985] ppid=23974 vsize=15151156 memory=740 CPUtime=0 cores=0,2,4,6
/proc/23977/task/23985/stat : 23985 (java) S 23974 23974 22498 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475619071 15514783744 28855 33554432000 4194304 4196468 140728764333504 140479265065744 140479314560725 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11808768 140728764339163 140728764339338 140728764339338 140728764342223 0
[pid=23977/tid=23986] ppid=23974 vsize=15151156 memory=1228 CPUtime=0 cores=0,2,4,6
/proc/23977/task/23986/stat : 23986 (java) S 23974 23974 22498 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475619071 15514783744 28855 33554432000 4194304 4196468 140728764333504 140479264013200 140479314560725 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11808768 140728764339163 140728764339338 140728764339338 140728764342223 0
[pid=23977/tid=23988] ppid=23974 vsize=15151156 memory=9520 CPUtime=0 cores=0,2,4,6
/proc/23977/task/23988/stat : 23988 (java) S 23974 23974 22498 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475619072 15514783744 28855 33554432000 4194304 4196468 140728764333504 140478782626032 140479314561666 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11808768 140728764339163 140728764339338 140728764339338 140728764342223 0
[pid=23977/tid=23991] ppid=23974 vsize=15151156 memory=4076 CPUtime=0 cores=0,2,4,6
/proc/23977/task/23991/stat : 23991 (java) S 23974 23974 22498 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475619072 15514783744 28855 33554432000 4194304 4196468 140728764333504 140478781572256 140479314560725 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11808768 140728764339163 140728764339338 140728764339338 140728764342223 0
[pid=23977/tid=23992] ppid=23974 vsize=15151156 memory=2836 CPUtime=0 cores=0,2,4,6
/proc/23977/task/23992/stat : 23992 (java) S 23974 23974 22498 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475619073 15514783744 28855 33554432000 4194304 4196468 140728764333504 140478780519152 140479314560725 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11808768 140728764339163 140728764339338 140728764339338 140728764342223 0
[pid=23977/tid=23998] ppid=23974 vsize=15151156 memory=1540 CPUtime=0 cores=0,2,4,6
/proc/23977/task/23998/stat : 23998 (java) S 23974 23974 22498 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475619075 15514783744 28855 33554432000 4194304 4196468 140728764333504 140478779467728 140479314569115 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11808768 140728764339163 140728764339338 140728764339338 140728764342223 0
[pid=23977/tid=24000] ppid=23974 vsize=15151156 memory=1736 CPUtime=0.37 cores=0,2,4,6
/proc/23977/task/24000/stat : 24000 (java) R 23974 23974 22498 0 -1 4202560 1468 0 0 0 37 0 0 0 20 0 15 0 475619075 15514783744 28855 33554432000 4194304 4196468 140728764333504 140478778404256 140479294394031 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11808768 140728764339163 140728764339338 140728764339338 140728764342223 0
[pid=23977/tid=24001] ppid=23974 vsize=15151156 memory=6100 CPUtime=0.37 cores=0,2,4,6
/proc/23977/task/24001/stat : 24001 (java) R 23974 23974 22498 0 -1 4202560 1379 0 0 0 37 0 0 0 20 0 15 0 475619075 15514783744 28855 33554432000 4194304 4196468 140728764333504 140478777352368 140479298455263 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11808768 140728764339163 140728764339338 140728764339338 140728764342223 0
[pid=23977/tid=24002] ppid=23974 vsize=15151156 memory=772 CPUtime=0.33 cores=0,2,4,6
/proc/23977/task/24002/stat : 24002 (java) S 23974 23974 22498 0 -1 1077944384 1797 0 0 0 33 0 0 0 20 0 15 0 475619075 15514783744 28855 33554432000 4194304 4196468 140728764333504 140478776310256 140479314561666 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11808768 140728764339163 140728764339338 140728764339338 140728764342223 0
[pid=23977/tid=24003] ppid=23974 vsize=15151156 memory=952 CPUtime=0 cores=0,2,4,6
/proc/23977/task/24003/stat : 24003 (java) S 23974 23974 22498 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475619075 15514783744 28855 33554432000 4194304 4196468 140728764333504 140478775257952 140479314560725 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11808768 140728764339163 140728764339338 140728764339338 140728764342223 0
[pid=23977/tid=24004] ppid=23974 vsize=15151156 memory=14008 CPUtime=0 cores=0,2,4,6
/proc/23977/task/24004/stat : 24004 (java) S 23974 23974 22498 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475619076 15514783744 28855 33554432000 4194304 4196468 140728764333504 140478774204976 140479314561666 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11808768 140728764339163 140728764339338 140728764339338 140728764342223 0
Current children cumulated CPU time: 1.78 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 116876 KiB
[startup+1.50082 s]
/proc/loadavg: 4.24 4.65 5.33 11/230 24004
/proc/meminfo: memFree=7901616/32770624 swapFree=66993324/67108860
[pid=23974] ppid=23970 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/23974/stat : 23974 (xcsp3-exec) S 23970 23974 22498 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 475619069 115843072 364 33554432000 4194304 5098028 140733158115776 140733158113880 139706089587324 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 36106240 140733158118230 140733158118489 140733158118489 140733158121414 0
/proc/23974/statm: 28282 364 305 221 0 87 0
################
# More data... #
################
[pid=23977/tid=23985] ppid=23974 vsize=15419460 memory=0 CPUtime=0.53 cores=0,2,4,6
/proc/23977/task/23985/stat : 23985 (java) S 23974 23974 22498 0 -1 1077944384 3083 0 0 0 41 12 0 0 20 0 19 0 475619071 15789527040 1020034 33554432000 4194304 4196468 140728764333504 140479265065744 140479314560725 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11808768 140728764339163 140728764339338 140728764339338 140728764342223 0
[pid=23977/tid=23986] ppid=23974 vsize=15419460 memory=4080136 CPUtime=0.55 cores=0,2,4,6
/proc/23977/task/23986/stat : 23986 (java) S 23974 23974 22498 0 -1 1077944384 3628 0 0 0 42 13 0 0 20 0 19 0 475619071 15789527040 1020034 33554432000 4194304 4196468 140728764333504 140479264013200 140479314560725 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11808768 140728764339163 140728764339338 140728764339338 140728764342223 0
[pid=23977/tid=23988] ppid=23974 vsize=15419460 memory=4080136 CPUtime=0.05 cores=0,2,4,6
/proc/23977/task/23988/stat : 23988 (java) S 23974 23974 22498 0 -1 1077944384 5031 0 0 0 3 2 0 0 20 0 19 0 475619072 15789527040 1020034 33554432000 4194304 4196468 140728764333504 140478782626032 140479314561666 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11808768 140728764339163 140728764339338 140728764339338 140728764342223 0
[pid=23977/tid=23991] ppid=23974 vsize=15419460 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/23977/task/23991/stat : 23991 (java) S 23974 23974 22498 0 -1 1077944384 77 0 0 0 0 0 0 0 20 0 19 0 475619072 15789527040 1020034 33554432000 4194304 4196468 140728764333504 140478781572320 140479314560725 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11808768 140728764339163 140728764339338 140728764339338 140728764342223 0
[pid=23977/tid=23992] ppid=23974 vsize=15419460 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/23977/task/23992/stat : 23992 (java) S 23974 23974 22498 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 19 0 475619073 15789527040 1020034 33554432000 4194304 4196468 140728764333504 140478780519168 140479314560725 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11808768 140728764339163 140728764339338 140728764339338 140728764342223 0
[pid=23977/tid=23998] ppid=23974 vsize=15419460 memory=4080608 CPUtime=0 cores=0,2,4,6
/proc/23977/task/23998/stat : 23998 (java) S 23974 23974 22498 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475619075 15789527040 1020034 33554432000 4194304 4196468 140728764333504 140478779467728 140479314569115 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11808768 140728764339163 140728764339338 140728764339338 140728764342223 0
[pid=23977/tid=24000] ppid=23974 vsize=15419460 memory=9520 CPUtime=4 cores=0,2,4,6
/proc/23977/task/24000/stat : 24000 (java) S 23974 23974 22498 0 -1 1077944384 21343 0 0 0 399 1 0 0 20 0 19 0 475619075 15789527040 1020034 33554432000 4194304 4196468 140728764333504 140478778415856 140479314561666 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 9 0 0 6293624 6294260 11808768 140728764339163 140728764339338 140728764339338 140728764342223 0
[pid=23977/tid=24001] ppid=23974 vsize=15419460 memory=4080608 CPUtime=3.87 cores=0,2,4,6
/proc/23977/task/24001/stat : 24001 (java) S 23974 23974 22498 0 -1 1077944384 20578 0 0 0 385 2 0 0 20 0 19 0 475619075 15789527040 1020034 33554432000 4194304 4196468 140728764333504 140478777363312 140479314561666 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 8 0 0 6293624 6294260 11808768 140728764339163 140728764339338 140728764339338 140728764342223 0
[pid=23977/tid=24002] ppid=23974 vsize=15419460 memory=1456 CPUtime=1.12 cores=0,2,4,6
/proc/23977/task/24002/stat : 24002 (java) S 23974 23974 22498 0 -1 1077944384 17420 0 0 0 110 2 0 0 20 0 19 0 475619075 15789527040 1020034 33554432000 4194304 4196468 140728764333504 140478776310256 140479314561666 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 7 0 0 6293624 6294260 11808768 140728764339163 140728764339338 140728764339338 140728764342223 0
[pid=23977/tid=24003] ppid=23974 vsize=15419460 memory=4080136 CPUtime=0 cores=0,2,4,6
/proc/23977/task/24003/stat : 24003 (java) S 23974 23974 22498 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475619075 15789527040 1020034 33554432000 4194304 4196468 140728764333504 140478775257952 140479314560725 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11808768 140728764339163 140728764339338 140728764339338 140728764342223 0
[pid=23977/tid=24004] ppid=23974 vsize=15419460 memory=6791534058613427641 CPUtime=0.26 cores=0,2,4,6
/proc/23977/task/24004/stat : 24004 (java) S 23974 23974 22498 0 -1 1077944384 1395 0 0 0 16 10 0 0 20 0 19 0 475619076 15789527040 1020034 33554432000 4194304 4196468 140728764333504 140478774204976 140479314561666 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 5 0 0 6293624 6294260 11808768 140728764339163 140728764339338 140728764339338 140728764342223 0
[pid=23977/tid=24060] ppid=23974 vsize=15419460 memory=1456 CPUtime=465.88 cores=0,2,4,6
/proc/23977/task/24060/stat : 24060 (java) R 23974 23974 22498 0 -1 4202560 5277 0 0 0 46586 2 0 0 20 0 19 0 475636365 15789527040 1020034 33554432000 4194304 4196468 140728764333504 140478765223352 140478943890475 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11808768 140728764339163 140728764339338 140728764339338 140728764342223 0
[pid=23977/tid=24061] ppid=23974 vsize=15419460 memory=4080608 CPUtime=465.64 cores=0,2,4,6
/proc/23977/task/24061/stat : 24061 (java) R 23974 23974 22498 0 -1 4202560 236928 0 0 0 46468 96 0 0 20 0 19 0 475636365 15789527040 1020034 33554432000 4194304 4196468 140728764333504 140478763118760 140478944041488 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11808768 140728764339163 140728764339338 140728764339338 140728764342223 0
[pid=23977/tid=24062] ppid=23974 vsize=15419460 memory=4080136 CPUtime=467.08 cores=0,2,4,6
/proc/23977/task/24062/stat : 24062 (java) R 23974 23974 22498 0 -1 4202560 1705 0 0 0 46707 1 0 0 20 0 19 0 475636365 15789527040 1020034 33554432000 4194304 4196468 140728764333504 140478762068544 140478944054992 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11808768 140728764339163 140728764339338 140728764339338 140728764342223 0
[pid=23977/tid=24063] ppid=23974 vsize=15419460 memory=1456 CPUtime=467.1 cores=0,2,4,6
/proc/23977/task/24063/stat : 24063 (java) R 23974 23974 22498 0 -1 4202560 3342 0 0 0 46709 1 0 0 20 0 19 0 475636365 15789527040 1020034 33554432000 4194304 4196468 140728764333504 140478764171024 140478943839678 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 11808768 140728764339163 140728764339338 140728764339338 140728764342223 0
Current children cumulated CPU time: 2054.04 s
Current children cumulated vsize: 15532588 KiB
Current children cumulated memory: 4081592 KiB
[startup+702.301 s]
/proc/loadavg: 5.25 6.79 6.28 5/212 24161
/proc/meminfo: memFree=4266508/32770624 swapFree=66993332/67108860
[pid=23974] ppid=23970 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/23974/stat : 23974 (xcsp3-exec) S 23970 23974 22498 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 475619069 115843072 364 33554432000 4194304 5098028 140733158115776 140733158113880 139706089587324 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 36106240 140733158118230 140733158118489 140733158118489 140733158121414 0
/proc/23974/statm: 28282 364 305 221 0 87 0
[pid=23977] ppid=23974 vsize=15419460 memory=4020644 CPUtime=2292.94 cores=0,2,4,6
/proc/23977/stat : 23977 (java) S 23974 23974 22498 0 -1 1077944320 354679 0 0 0 229114 180 0 0 20 0 19 0 475619069 15789527040 1005161 33554432000 4194304 4196468 140728764333504 140728764316048 140479314550519 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 11808768 140728764339163 140728764339338 140728764339338 140728764342223 0
/proc/23977/statm: 3854865 1005161 3544 1 0 3815965 0
[pid=23977/tid=23978] ppid=23974 vsize=15419460 memory=4020128 CPUtime=2.92 cores=0,2,4,6
/proc/23977/task/23978/stat : 23978 (java) S 23974 23974 22498 0 -1 1077944384 12266 0 0 0 281 11 0 0 20 0 19 0 475619070 15789527040 1005161 33554432000 4194304 4196468 140728764333504 140479318791296 140479314560725 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11808768 140728764339163 140728764339338 140728764339338 140728764342223 0
[pid=23977/tid=23983] ppid=23974 vsize=15419460 memory=1456 CPUtime=0.5 cores=0,2,4,6
/proc/23977/task/23983/stat : 23983 (java) S 23974 23974 22498 0 -1 1077944384 2999 0 0 0 38 12 0 0 20 0 19 0 475619070 15789527040 1005161 33554432000 4194304 4196468 140728764333504 140479267171344 140479314560725 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11808768 140728764339163 140728764339338 140728764339338 140728764342223 0
[pid=23977/tid=23984] ppid=23974 vsize=15419460 memory=4020128 CPUtime=0.55 cores=0,2,4,6
/proc/23977/task/23984/stat : 23984 (java) S 23974 23974 22498 0 -1 1077944384 4676 0 0 0 42 13 0 0 20 0 19 0 475619070 15789527040 1005161 33554432000 4194304 4196468 140728764333504 140479266118800 140479314560725 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11808768 140728764339163 140728764339338 140728764339338 140728764342223 0
[pid=23977/tid=23985] ppid=23974 vsize=15419460 memory=4020128 CPUtime=0.55 cores=0,2,4,6
/proc/23977/task/23985/stat : 23985 (java) S 23974 23974 22498 0 -1 1077944384 3580 0 0 0 42 13 0 0 20 0 19 0 475619071 15789527040 1005161 33554432000 4194304 4196468 140728764333504 140479265065744 140479314560725 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11808768 140728764339163 140728764339338 140728764339338 140728764342223 0
[pid=23977/tid=23986] ppid=23974 vsize=15419460 memory=4020128 CPUtime=0.56 cores=0,2,4,6
/proc/23977/task/23986/stat : 23986 (java) S 23974 23974 22498 0 -1 1077944384 3812 0 0 0 43 13 0 0 20 0 19 0 475619071 15789527040 1005161 33554432000 4194304 4196468 140728764333504 140479264013200 140479314560725 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11808768 140728764339163 140728764339338 140728764339338 140728764342223 0
[pid=23977/tid=23988] ppid=23974 vsize=15419460 memory=4020128 CPUtime=0.05 cores=0,2,4,6
/proc/23977/task/23988/stat : 23988 (java) S 23974 23974 22498 0 -1 1077944384 5300 0 0 0 3 2 0 0 20 0 19 0 475619072 15789527040 1005161 33554432000 4194304 4196468 140728764333504 140478782626032 140479314561666 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11808768 140728764339163 140728764339338 140728764339338 140728764342223 0
[pid=23977/tid=23991] ppid=23974 vsize=15419460 memory=4020644 CPUtime=0 cores=0,2,4,6
/proc/23977/task/23991/stat : 23991 (java) S 23974 23974 22498 0 -1 1077944384 77 0 0 0 0 0 0 0 20 0 19 0 475619072 15789527040 1005161 33554432000 4194304 4196468 140728764333504 140478781572320 140479314560725 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11808768 140728764339163 140728764339338 140728764339338 140728764342223 0
[pid=23977/tid=23992] ppid=23974 vsize=15419460 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/23977/task/23992/stat : 23992 (java) S 23974 23974 22498 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 19 0 475619073 15789527040 1005161 33554432000 4194304 4196468 140728764333504 140478780519168 140479314560725 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11808768 140728764339163 140728764339338 140728764339338 140728764342223 0
[pid=23977/tid=23998] ppid=23974 vsize=15419460 memory=164 CPUtime=0 cores=0,2,4,6
/proc/23977/task/23998/stat : 23998 (java) S 23974 23974 22498 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475619075 15789527040 1005161 33554432000 4194304 4196468 140728764333504 140478779467728 140479314569115 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11808768 140728764339163 140728764339338 140728764339338 140728764342223 0
[pid=23977/tid=24000] ppid=23974 vsize=15419460 memory=0 CPUtime=4.02 cores=0,2,4,6
/proc/23977/task/24000/stat : 24000 (java) S 23974 23974 22498 0 -1 1077944384 22591 0 0 0 401 1 0 0 20 0 19 0 475619075 15789527040 1005161 33554432000 4194304 4196468 140728764333504 140478778415856 140479314561666 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 9 0 0 6293624 6294260 11808768 140728764339163 140728764339338 140728764339338 140728764342223 0
[pid=23977/tid=24001] ppid=23974 vsize=15419460 memory=4020644 CPUtime=3.89 cores=0,2,4,6
/proc/23977/task/24001/stat : 24001 (java) S 23974 23974 22498 0 -1 1077944384 21732 0 0 0 387 2 0 0 20 0 19 0 475619075 15789527040 1005161 33554432000 4194304 4196468 140728764333504 140478777363312 140479314561666 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 8 0 0 6293624 6294260 11808768 140728764339163 140728764339338 140728764339338 140728764342223 0
[pid=23977/tid=24002] ppid=23974 vsize=15419460 memory=3620 CPUtime=1.12 cores=0,2,4,6
/proc/23977/task/24002/stat : 24002 (java) S 23974 23974 22498 0 -1 1077944384 17507 0 0 0 110 2 0 0 20 0 19 0 475619075 15789527040 1005161 33554432000 4194304 4196468 140728764333504 140478776310256 140479314561666 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 7 0 0 6293624 6294260 11808768 140728764339163 140728764339338 140728764339338 140728764342223 0
[pid=23977/tid=24003] ppid=23974 vsize=15419460 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/23977/task/24003/stat : 24003 (java) S 23974 23974 22498 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475619075 15789527040 1005161 33554432000 4194304 4196468 140728764333504 140478775257952 140479314560725 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11808768 140728764339163 140728764339338 140728764339338 140728764342223 0
[pid=23977/tid=24004] ppid=23974 vsize=15419460 memory=4020644 CPUtime=0.32 cores=0,2,4,6
/proc/23977/task/24004/stat : 24004 (java) S 23974 23974 22498 0 -1 1077944384 1438 0 0 0 20 12 0 0 20 0 19 0 475619076 15789527040 1005161 33554432000 4194304 4196468 140728764333504 140478774204976 140479314561666 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 5 0 0 6293624 6294260 11808768 140728764339163 140728764339338 140728764339338 140728764342223 0
[pid=23977/tid=24060] ppid=23974 vsize=15419460 memory=4020644 CPUtime=525.8 cores=0,2,4,6
/proc/23977/task/24060/stat : 24060 (java) R 23974 23974 22498 0 -1 4202560 5557 0 0 0 52578 2 0 0 20 0 19 0 475636365 15789527040 1005161 33554432000 4194304 4196468 140728764333504 140478765223352 140478935831447 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11808768 140728764339163 140728764339338 140728764339338 140728764342223 0
[pid=23977/tid=24061] ppid=23974 vsize=15419460 memory=3620 CPUtime=525.6 cores=0,2,4,6
/proc/23977/task/24061/stat : 24061 (java) R 23974 23974 22498 0 -1 4202560 240576 0 0 0 52463 97 0 0 20 0 19 0 475636365 15789527040 1005161 33554432000 4194304 4196468 140728764333504 140478763118760 140478943839644 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11808768 140728764339163 140728764339338 140728764339338 140728764342223 0
[pid=23977/tid=24062] ppid=23974 vsize=15419460 memory=4020644 CPUtime=526.42 cores=0,2,4,6
/proc/23977/task/24062/stat : 24062 (java) R 23974 23974 22498 0 -1 4202560 2035 0 0 0 52641 1 0 0 20 0 19 0 475636365 15789527040 1005161 33554432000 4194304 4196468 140728764333504 140478762068328 140478944054976 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 11808768 140728764339163 140728764339338 140728764339338 140728764342223 0
[pid=23977/tid=24063] ppid=23974 vsize=15419460 memory=3620 CPUtime=526.62 cores=0,2,4,6
/proc/23977/task/24063/stat : 24063 (java) R 23974 23974 22498 0 -1 4202560 3442 0 0 0 52661 1 0 0 20 0 19 0 475636365 15789527040 1005161 33554432000 4194304 4196468 140728764333504 140478764171024 140478943989895 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11808768 140728764339163 140728764339338 140728764339338 140728764342223 0
Current children cumulated CPU time: 2292.94 s
Current children cumulated vsize: 15532588 KiB
Current children cumulated memory: 4022100 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+759.401 s]
/proc/loadavg: 4.71 6.37 6.16 5/213 24167
/proc/meminfo: memFree=4322984/32770624 swapFree=66993332/67108860
[pid=23974] ppid=23970 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/23974/stat : 23974 (xcsp3-exec) S 23970 23974 22498 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 475619069 115843072 364 33554432000 4194304 5098028 140733158115776 140733158113880 139706089587324 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 36106240 140733158118230 140733158118489 140733158118489 140733158121414 0
/proc/23974/statm: 28282 364 305 221 0 87 0
[pid=23977] ppid=23974 vsize=15419460 memory=3964732 CPUtime=2520.29 cores=0,2,4,6
/proc/23977/stat : 23977 (java) S 23974 23974 22498 0 -1 1077944320 361905 0 0 0 251848 181 0 0 20 0 19 0 475619069 15789527040 991183 33554432000 4194304 4196468 140728764333504 140728764316048 140479314550519 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 11808768 140728764339163 140728764339338 140728764339338 140728764342223 0
/proc/23977/statm: 3854865 991183 3544 1 0 3815965 0
[pid=23977/tid=23978] ppid=23974 vsize=15419460 memory=12028 CPUtime=2.92 cores=0,2,4,6
/proc/23977/task/23978/stat : 23978 (java) S 23974 23974 22498 0 -1 1077944384 12266 0 0 0 281 11 0 0 20 0 19 0 475619070 15789527040 991183 33554432000 4194304 4196468 140728764333504 140479318791296 140479314560725 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11808768 140728764339163 140728764339338 140728764339338 140728764342223 0
[pid=23977/tid=23983] ppid=23974 vsize=15419460 memory=496 CPUtime=0.52 cores=0,2,4,6
/proc/23977/task/23983/stat : 23983 (java) S 23974 23974 22498 0 -1 1077944384 3518 0 0 0 40 12 0 0 20 0 19 0 475619070 15789527040 991183 33554432000 4194304 4196468 140728764333504 140479267171344 140479314560725 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11808768 140728764339163 140728764339338 140728764339338 140728764342223 0
[pid=23977/tid=23984] ppid=23974 vsize=15419460 memory=2004 CPUtime=0.57 cores=0,2,4,6
/proc/23977/task/23984/stat : 23984 (java) S 23974 23974 22498 0 -1 1077944384 5372 0 0 0 44 13 0 0 20 0 19 0 475619070 15789527040 991183 33554432000 4194304 4196468 140728764333504 140479266118800 140479314560725 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11808768 140728764339163 140728764339338 140728764339338 140728764342223 0
[pid=23977/tid=23985] ppid=23974 vsize=15419460 memory=1428 CPUtime=0.56 cores=0,2,4,6
/proc/23977/task/23985/stat : 23985 (java) S 23974 23974 22498 0 -1 1077944384 3825 0 0 0 43 13 0 0 20 0 19 0 475619071 15789527040 991183 33554432000 4194304 4196468 140728764333504 140479265065744 140479314560725 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11808768 140728764339163 140728764339338 140728764339338 140728764342223 0
[pid=23977/tid=23986] ppid=23974 vsize=15419460 memory=1060 CPUtime=0.57 cores=0,2,4,6
/proc/23977/task/23986/stat : 23986 (java) S 23974 23974 22498 0 -1 1077944384 4079 0 0 0 44 13 0 0 20 0 19 0 475619071 15789527040 991183 33554432000 4194304 4196468 140728764333504 140479264013200 140479314560725 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11808768 140728764339163 140728764339338 140728764339338 140728764342223 0
[pid=23977/tid=23988] ppid=23974 vsize=15419460 memory=740 CPUtime=0.06 cores=0,2,4,6
/proc/23977/task/23988/stat : 23988 (java) S 23974 23974 22498 0 -1 1077944384 5547 0 0 0 3 3 0 0 20 0 19 0 475619072 15789527040 991183 33554432000 4194304 4196468 140728764333504 140478782626032 140479314561666 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11808768 140728764339163 140728764339338 140728764339338 140728764342223 0
[pid=23977/tid=23991] ppid=23974 vsize=15419460 memory=1228 CPUtime=0 cores=0,2,4,6
/proc/23977/task/23991/stat : 23991 (java) S 23974 23974 22498 0 -1 1077944384 77 0 0 0 0 0 0 0 20 0 19 0 475619072 15789527040 991183 33554432000 4194304 4196468 140728764333504 140478781572320 140479314560725 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11808768 140728764339163 140728764339338 140728764339338 140728764342223 0
[pid=23977/tid=23992] ppid=23974 vsize=15419460 memory=9520 CPUtime=0 cores=0,2,4,6
/proc/23977/task/23992/stat : 23992 (java) S 23974 23974 22498 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 19 0 475619073 15789527040 991183 33554432000 4194304 4196468 140728764333504 140478780519168 140479314560725 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11808768 140728764339163 140728764339338 140728764339338 140728764342223 0
[pid=23977/tid=23998] ppid=23974 vsize=15419460 memory=1428 CPUtime=0 cores=0,2,4,6
/proc/23977/task/23998/stat : 23998 (java) S 23974 23974 22498 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475619075 15789527040 991183 33554432000 4194304 4196468 140728764333504 140478779467728 140479314569115 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11808768 140728764339163 140728764339338 140728764339338 140728764342223 0
[pid=23977/tid=24000] ppid=23974 vsize=15419460 memory=1060 CPUtime=4.03 cores=0,2,4,6
/proc/23977/task/24000/stat : 24000 (java) S 23974 23974 22498 0 -1 1077944384 23224 0 0 0 402 1 0 0 20 0 19 0 475619075 15789527040 991183 33554432000 4194304 4196468 140728764333504 140478778415856 140479314561666 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 9 0 0 6293624 6294260 11808768 140728764339163 140728764339338 140728764339338 140728764342223 0
[pid=23977/tid=24001] ppid=23974 vsize=15419460 memory=740 CPUtime=3.9 cores=0,2,4,6
/proc/23977/task/24001/stat : 24001 (java) S 23974 23974 22498 0 -1 1077944384 22014 0 0 0 388 2 0 0 20 0 19 0 475619075 15789527040 991183 33554432000 4194304 4196468 140728764333504 140478777363312 140479314561666 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 8 0 0 6293624 6294260 11808768 140728764339163 140728764339338 140728764339338 140728764342223 0
[pid=23977/tid=24002] ppid=23974 vsize=15419460 memory=1228 CPUtime=1.13 cores=0,2,4,6
/proc/23977/task/24002/stat : 24002 (java) S 23974 23974 22498 0 -1 1077944384 18055 0 0 0 111 2 0 0 20 0 19 0 475619075 15789527040 991183 33554432000 4194304 4196468 140728764333504 140478776310256 140479314561666 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 7 0 0 6293624 6294260 11808768 140728764339163 140728764339338 140728764339338 140728764342223 0
[pid=23977/tid=24003] ppid=23974 vsize=15419460 memory=9520 CPUtime=0 cores=0,2,4,6
/proc/23977/task/24003/stat : 24003 (java) S 23974 23974 22498 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475619075 15789527040 991183 33554432000 4194304 4196468 140728764333504 140478775257952 140479314560725 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11808768 140728764339163 140728764339338 140728764339338 140728764342223 0
[pid=23977/tid=24004] ppid=23974 vsize=15419460 memory=4076 CPUtime=0.37 cores=0,2,4,6
/proc/23977/task/24004/stat : 24004 (java) S 23974 23974 22498 0 -1 1077944384 1467 0 0 0 23 14 0 0 20 0 19 0 475619076 15789527040 991183 33554432000 4194304 4196468 140728764333504 140478774204976 140479314561666 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 5 0 0 6293624 6294260 11808768 140728764339163 140728764339338 140728764339338 140728764342223 0
[pid=23977/tid=24060] ppid=23974 vsize=15419460 memory=2836 CPUtime=582.19 cores=0,2,4,6
/proc/23977/task/24060/stat : 24060 (java) R 23974 23974 22498 0 -1 4202560 5858 0 0 0 58216 3 0 0 20 0 19 0 475636365 15789527040 991183 33554432000 4194304 4196468 140728764333504 140478765223248 140478943889818 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 11808768 140728764339163 140728764339338 140728764339338 140728764342223 0
[pid=23977/tid=24061] ppid=23974 vsize=15419460 memory=1564 CPUtime=582.62 cores=0,2,4,6
/proc/23977/task/24061/stat : 24061 (java) R 23974 23974 22498 0 -1 4202560 243780 0 0 0 58164 98 0 0 20 0 19 0 475636365 15789527040 991183 33554432000 4194304 4196468 140728764333504 140478763121568 140478943839655 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11808768 140728764339163 140728764339338 140728764339338 140728764342223 0
[pid=23977/tid=24062] ppid=23974 vsize=15419460 memory=928 CPUtime=583.17 cores=0,2,4,6
/proc/23977/task/24062/stat : 24062 (java) R 23974 23974 22498 0 -1 4202560 2179 0 0 0 58316 1 0 0 20 0 19 0 475636365 15789527040 991183 33554432000 4194304 4196468 140728764333504 140478762065944 140478944054983 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11808768 140728764339163 140728764339338 140728764339338 140728764342223 0
[pid=23977/tid=24063] ppid=23974 vsize=15419460 memory=1688 CPUtime=583.69 cores=0,2,4,6
/proc/23977/task/24063/stat : 24063 (java) R 23974 23974 22498 0 -1 4202560 3553 0 0 0 58368 1 0 0 20 0 19 0 475636365 15789527040 991183 33554432000 4194304 4196468 140728764333504 140478764171272 140478938708015 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11808768 140728764339163 140728764339338 140728764339338 140728764342223 0
Current children cumulated CPU time: 2520.29 s
Current children cumulated vsize: 15532588 KiB
Current children cumulated memory: 3966188 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+759.431 s]
# the end of solver process 23974 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0 s, system=0.002402 s
[startup+759.531 s]
# the end of solver process 23977 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2518.83 s, system=1.85499 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+759.521 s]*
/proc/loadavg: 4.71 6.37 6.16 2/193 24169
/proc/meminfo: memFree=8281328/32770624 swapFree=66993332/67108860
Current cumulated CPU time of completed processes: 0.002402 s
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 143
Real time (s): 759.531
CPU time (s): 2520.68
CPU user time (s): 2518.83
CPU system time (s): 1.85499
CPU usage (%): 331.873
Max. virtual memory (cumulated for all children) (KiB): 15532588
Max. memory (cumulated for all children) (KiB): 4173444
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2518.83
system time used= 1.85499
maximum resident set size= 4176084
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 363512
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1008
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 20575
involuntary context switches= 32448
# summary of solver processes directly reported to runsolver:
# pid: 23974,23977
# total CPU time (s): 2520.68
# total CPU user time (s): 2518.83
# total CPU system time (s): 1.85499
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.92071 second user time and 8.4539 second system time
The end