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 (6813 MiB free)
memory of node 1: 16384 MiB (10436 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4306852-1534140508/watcher-4306852-1534140508 -o /tmp/evaluation-result-4306852-1534140508/solver-4306852-1534140508 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node132-1534138001-15591 --watchdog 2580 HOME/xcsp3-exec -seed 1641280130 -dir HOME -tl 2520 -ml 11000 -p 1 HOME/instance-4306852-1534140508.xml
running on 4 cores: 1,3,5,7
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=15974, runsolver pid=15971
[startup+0.102393 s]*
/proc/loadavg: 1.44 1.41 1.45 3/220 15990
/proc/meminfo: memFree=17643556/32770624 swapFree=67108860/67108860
[pid=15974] ppid=15971 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/15974/stat : 15974 (xcsp3-exec) S 15971 15974 14305 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 231613993 115843072 364 33554432000 4194304 5098028 140725261199824 140725261197928 140329332941436 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 26320896 140725261206586 140725261206788 140725261206788 140725261209546 0
/proc/15974/statm: 28282 364 306 221 0 87 0
[pid=15976] ppid=15974 vsize=14082940 memory=29128 CPUtime=0.12 cores=1,3,5,7
/proc/15976/stat : 15976 (java) S 15974 15974 14305 0 -1 1077944320 5590 0 0 0 11 1 0 0 20 0 15 0 231613993 14420930560 7282 33554432000 4194304 4196468 140721660796928 140721660779472 140399236321015 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 15020032 140721660802182 140721660802353 140721660802353 140721660805071 0
/proc/15976/statm: 3520735 7282 3051 1 0 3483012 0
[pid=15976/tid=15977] ppid=15974 vsize=14082940 memory=-6962121287837372198 CPUtime=0.08 cores=1,3,5,7
/proc/15976/task/15977/stat : 15977 (java) R 15974 15974 14305 0 -1 4202560 3587 0 0 0 8 0 0 0 20 0 15 0 231613994 14420930560 7348 33554432000 4194304 4196468 140721660796928 140399240553264 140399236334864 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15020032 140721660802182 140721660802353 140721660802353 140721660805071 0
[pid=15976/tid=15978] ppid=15974 vsize=14082940 memory=-3689451258167578675 CPUtime=0 cores=1,3,5,7
/proc/15976/task/15978/stat : 15978 (java) S 15974 15974 14305 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 231613994 14420930560 7348 33554432000 4194304 4196468 140721660796928 140398832315536 140399236331221 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15020032 140721660802182 140721660802353 140721660802353 140721660805071 0
[pid=15976/tid=15979] ppid=15974 vsize=14082940 memory=140611866273408 CPUtime=0 cores=1,3,5,7
/proc/15976/task/15979/stat : 15979 (java) S 15974 15974 14305 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 231613995 14420930560 7348 33554432000 4194304 4196468 140721660796928 140398831262736 140399236331221 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15020032 140721660802182 140721660802353 140721660802353 140721660805071 0
[pid=15976/tid=15980] ppid=15974 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15976/task/15980/stat : 15980 (java) S 15974 15974 14305 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 231613995 14420930560 7348 33554432000 4194304 4196468 140721660796928 140398830209936 140399236331221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15020032 140721660802182 140721660802353 140721660802353 140721660805071 0
[pid=15976/tid=15981] ppid=15974 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15976/task/15981/stat : 15981 (java) S 15974 15974 14305 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 231613995 14420930560 7348 33554432000 4194304 4196468 140721660796928 140398829157136 140399236331221 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15020032 140721660802182 140721660802353 140721660802353 140721660805071 0
[pid=15976/tid=15982] ppid=15974 vsize=14082940 memory=140611866273408 CPUtime=0 cores=1,3,5,7
/proc/15976/task/15982/stat : 15982 (java) S 15974 15974 14305 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 231613996 14420930560 7348 33554432000 4194304 4196468 140721660796928 140398148667760 140399236332162 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15020032 140721660802182 140721660802353 140721660802353 140721660805071 0
[pid=15976/tid=15983] ppid=15974 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15976/task/15983/stat : 15983 (java) S 15974 15974 14305 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 231613996 14420930560 7348 33554432000 4194304 4196468 140721660796928 140398147613728 140399236331221 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15020032 140721660802182 140721660802353 140721660802353 140721660805071 0
[pid=15976/tid=15984] ppid=15974 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15976/task/15984/stat : 15984 (java) S 15974 15974 14305 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 231613997 14420930560 7348 33554432000 4194304 4196468 140721660796928 140398146560880 140399236331221 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15020032 140721660802182 140721660802353 140721660802353 140721660805071 0
[pid=15976/tid=15985] ppid=15974 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15976/task/15985/stat : 15985 (java) S 15974 15974 14305 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 231613999 14420930560 7348 33554432000 4194304 4196468 140721660796928 140398145509200 140399236339611 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15020032 140721660802182 140721660802353 140721660802353 140721660805071 0
[pid=15976/tid=15986] ppid=15974 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15976/task/15986/stat : 15986 (java) S 15974 15974 14305 0 -1 1077944384 412 0 0 0 0 0 0 0 20 0 15 0 231613999 14420930560 7348 33554432000 4194304 4196468 140721660796928 140398144457584 140399236332162 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15020032 140721660802182 140721660802353 140721660802353 140721660805071 0
[pid=15976/tid=15987] ppid=15974 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15976/task/15987/stat : 15987 (java) S 15974 15974 14305 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 231613999 14420930560 7348 33554432000 4194304 4196468 140721660796928 140398143404784 140399236332162 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15020032 140721660802182 140721660802353 140721660802353 140721660805071 0
[pid=15976/tid=15988] ppid=15974 vsize=14082940 memory=140611866273408 CPUtime=0.01 cores=1,3,5,7
/proc/15976/task/15988/stat : 15988 (java) R 15974 15974 14305 0 -1 4202560 343 0 0 0 1 0 0 0 20 0 15 0 231613999 14420930560 7348 33554432000 4194304 4196468 140721660796928 140398142351984 140399215277353 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15020032 140721660802182 140721660802353 140721660802353 140721660805071 0
[pid=15976/tid=15989] ppid=15974 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15976/task/15989/stat : 15989 (java) S 15974 15974 14305 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 231613999 14420930560 7348 33554432000 4194304 4196468 140721660796928 140398141299424 140399236331221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15020032 140721660802182 140721660802353 140721660802353 140721660805071 0
[pid=15976/tid=15990] ppid=15974 vsize=14082940 memory=140611866273408 CPUtime=0 cores=1,3,5,7
/proc/15976/task/15990/stat : 15990 (java) S 15974 15974 14305 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 231613999 14420930560 7348 33554432000 4194304 4196468 140721660796928 140398140246704 140399236332162 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15020032 140721660802182 140721660802353 140721660802353 140721660805071 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14196068 KiB
Current children cumulated memory: 30584 KiB
[startup+0.210841 s]*
/proc/loadavg: 1.44 1.41 1.45 4/220 15990
/proc/meminfo: memFree=17632624/32770624 swapFree=67108860/67108860
[pid=15974] ppid=15971 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/15974/stat : 15974 (xcsp3-exec) S 15971 15974 14305 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 231613993 115843072 364 33554432000 4194304 5098028 140725261199824 140725261197928 140329332941436 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 26320896 140725261206586 140725261206788 140725261206788 140725261209546 0
/proc/15974/statm: 28282 364 306 221 0 87 0
[pid=15976] ppid=15974 vsize=14082940 memory=40644 CPUtime=0.34 cores=1,3,5,7
/proc/15976/stat : 15976 (java) S 15974 15974 14305 0 -1 1077944320 8190 0 0 0 32 2 0 0 20 0 15 0 231613993 14420930560 10161 33554432000 4194304 4196468 140721660796928 140721660779472 140399236321015 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 15020032 140721660802182 140721660802353 140721660802353 140721660805071 0
/proc/15976/statm: 3520735 10161 3218 1 0 3483012 0
[pid=15976/tid=15977] ppid=15974 vsize=14082940 memory=7883960649037381690 CPUtime=0.19 cores=1,3,5,7
/proc/15976/task/15977/stat : 15977 (java) R 15974 15974 14305 0 -1 4202560 5418 0 0 0 18 1 0 0 20 0 15 0 231613994 14420930560 10161 33554432000 4194304 4196468 140721660796928 140399240556000 140399236342941 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15020032 140721660802182 140721660802353 140721660802353 140721660805071 0
[pid=15976/tid=15978] ppid=15974 vsize=14082940 memory=15369 CPUtime=0 cores=1,3,5,7
/proc/15976/task/15978/stat : 15978 (java) S 15974 15974 14305 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 231613994 14420930560 10161 33554432000 4194304 4196468 140721660796928 140398832315536 140399236331221 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15020032 140721660802182 140721660802353 140721660802353 140721660805071 0
[pid=15976/tid=15979] ppid=15974 vsize=14082940 memory=288370988017985152 CPUtime=0 cores=1,3,5,7
/proc/15976/task/15979/stat : 15979 (java) S 15974 15974 14305 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 231613995 14420930560 10161 33554432000 4194304 4196468 140721660796928 140398831262736 140399236331221 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15020032 140721660802182 140721660802353 140721660802353 140721660805071 0
[pid=15976/tid=15980] ppid=15974 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15976/task/15980/stat : 15980 (java) S 15974 15974 14305 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 231613995 14420930560 10161 33554432000 4194304 4196468 140721660796928 140398830209936 140399236331221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15020032 140721660802182 140721660802353 140721660802353 140721660805071 0
[pid=15976/tid=15981] ppid=15974 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15976/task/15981/stat : 15981 (java) S 15974 15974 14305 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 231613995 14420930560 10161 33554432000 4194304 4196468 140721660796928 140398829157136 140399236331221 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15020032 140721660802182 140721660802353 140721660802353 140721660805071 0
[pid=15976/tid=15982] ppid=15974 vsize=14082940 memory=140611866273408 CPUtime=0 cores=1,3,5,7
/proc/15976/task/15982/stat : 15982 (java) S 15974 15974 14305 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 231613996 14420930560 10161 33554432000 4194304 4196468 140721660796928 140398148667760 140399236332162 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15020032 140721660802182 140721660802353 140721660802353 140721660805071 0
[pid=15976/tid=15983] ppid=15974 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15976/task/15983/stat : 15983 (java) S 15974 15974 14305 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 231613996 14420930560 10161 33554432000 4194304 4196468 140721660796928 140398147613728 140399236331221 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15020032 140721660802182 140721660802353 140721660802353 140721660805071 0
[pid=15976/tid=15984] ppid=15974 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15976/task/15984/stat : 15984 (java) S 15974 15974 14305 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 231613997 14420930560 10161 33554432000 4194304 4196468 140721660796928 140398146560880 140399236331221 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15020032 140721660802182 140721660802353 140721660802353 140721660805071 0
[pid=15976/tid=15985] ppid=15974 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15976/task/15985/stat : 15985 (java) S 15974 15974 14305 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 231613999 14420930560 10161 33554432000 4194304 4196468 140721660796928 140398145509200 140399236339611 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15020032 140721660802182 140721660802353 140721660802353 140721660805071 0
[pid=15976/tid=15986] ppid=15974 vsize=14082940 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/15976/task/15986/stat : 15986 (java) S 15974 15974 14305 0 -1 1077944384 600 0 0 0 3 0 0 0 20 0 15 0 231613999 14420930560 10161 33554432000 4194304 4196468 140721660796928 140398144457584 140399236332162 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15020032 140721660802182 140721660802353 140721660802353 140721660805071 0
[pid=15976/tid=15987] ppid=15974 vsize=14082940 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/15976/task/15987/stat : 15987 (java) S 15974 15974 14305 0 -1 1077944384 103 0 0 0 2 0 0 0 20 0 15 0 231613999 14420930560 10161 33554432000 4194304 4196468 140721660796928 140398143404784 140399236332162 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15020032 140721660802182 140721660802353 140721660802353 140721660805071 0
[pid=15976/tid=15988] ppid=15974 vsize=14082940 memory=140611866273408 CPUtime=0.08 cores=1,3,5,7
/proc/15976/task/15988/stat : 15988 (java) S 15974 15974 14305 0 -1 1077944384 768 0 0 0 8 0 0 0 20 0 15 0 231613999 14420930560 10161 33554432000 4194304 4196468 140721660796928 140398142351984 140399236332162 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15020032 140721660802182 140721660802353 140721660802353 140721660805071 0
[pid=15976/tid=15989] ppid=15974 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15976/task/15989/stat : 15989 (java) S 15974 15974 14305 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 231613999 14420930560 10161 33554432000 4194304 4196468 140721660796928 140398141299424 140399236331221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15020032 140721660802182 140721660802353 140721660802353 140721660805071 0
[pid=15976/tid=15990] ppid=15974 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15976/task/15990/stat : 15990 (java) S 15974 15974 14305 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 231613999 14420930560 10161 33554432000 4194304 4196468 140721660796928 140398140246704 140399236332162 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15020032 140721660802182 140721660802353 140721660802353 140721660805071 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 14196068 KiB
Current children cumulated memory: 42100 KiB
[startup+0.317388 s]*
/proc/loadavg: 1.44 1.41 1.45 4/220 15990
/proc/meminfo: memFree=17625552/32770624 swapFree=67108860/67108860
[pid=15974] ppid=15971 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/15974/stat : 15974 (xcsp3-exec) S 15971 15974 14305 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 231613993 115843072 364 33554432000 4194304 5098028 140725261199824 140725261197928 140329332941436 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 26320896 140725261206586 140725261206788 140725261206788 140725261209546 0
/proc/15974/statm: 28282 364 306 221 0 87 0
[pid=15976] ppid=15974 vsize=14087196 memory=48480 CPUtime=0.53 cores=1,3,5,7
/proc/15976/stat : 15976 (java) S 15974 15974 14305 0 -1 1077944320 9231 0 0 0 51 2 0 0 20 0 15 0 231613993 14425288704 12120 33554432000 4194304 4196468 140721660796928 140721660779472 140399236321015 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 15020032 140721660802182 140721660802353 140721660802353 140721660805071 0
/proc/15976/statm: 3521799 12120 3271 1 0 3483012 0
[pid=15976/tid=15977] ppid=15974 vsize=14087196 memory=6791534058613427641 CPUtime=0.3 cores=1,3,5,7
/proc/15976/task/15977/stat : 15977 (java) R 15974 15974 14305 0 -1 4202560 6200 0 0 0 28 2 0 0 20 0 15 0 231613994 14425288704 12120 33554432000 4194304 4196468 140721660796928 140399240558608 140399220401502 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15020032 140721660802182 140721660802353 140721660802353 140721660805071 0
[pid=15976/tid=15978] ppid=15974 vsize=14087196 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/15976/task/15978/stat : 15978 (java) S 15974 15974 14305 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 231613994 14425288704 12120 33554432000 4194304 4196468 140721660796928 140398832315536 140399236331221 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15020032 140721660802182 140721660802353 140721660802353 140721660805071 0
[pid=15976/tid=15979] ppid=15974 vsize=14087196 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/15976/task/15979/stat : 15979 (java) S 15974 15974 14305 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 231613995 14425288704 12120 33554432000 4194304 4196468 140721660796928 140398831262736 140399236331221 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15020032 140721660802182 140721660802353 140721660802353 140721660805071 0
[pid=15976/tid=15980] ppid=15974 vsize=14087196 memory=-3258418265892434876 CPUtime=0 cores=1,3,5,7
/proc/15976/task/15980/stat : 15980 (java) S 15974 15974 14305 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 231613995 14425288704 12120 33554432000 4194304 4196468 140721660796928 140398830209936 140399236331221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15020032 140721660802182 140721660802353 140721660802353 140721660805071 0
[pid=15976/tid=15981] ppid=15974 vsize=14087196 memory=4572146066226452084 CPUtime=0 cores=1,3,5,7
/proc/15976/task/15981/stat : 15981 (java) S 15974 15974 14305 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 231613995 14425288704 12120 33554432000 4194304 4196468 140721660796928 140398829157136 140399236331221 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15020032 140721660802182 140721660802353 140721660802353 140721660805071 0
[pid=15976/tid=15982] ppid=15974 vsize=14087196 memory=6944613755495348631 CPUtime=0 cores=1,3,5,7
/proc/15976/task/15982/stat : 15982 (java) S 15974 15974 14305 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 231613996 14425288704 12120 33554432000 4194304 4196468 140721660796928 140398148667760 140399236332162 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15020032 140721660802182 140721660802353 140721660802353 140721660805071 0
[pid=15976/tid=15983] ppid=15974 vsize=14087196 memory=-9001728533042062950 CPUtime=0 cores=1,3,5,7
/proc/15976/task/15983/stat : 15983 (java) S 15974 15974 14305 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 231613996 14425288704 12120 33554432000 4194304 4196468 140721660796928 140398147613728 140399236331221 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15020032 140721660802182 140721660802353 140721660802353 140721660805071 0
[pid=15976/tid=15984] ppid=15974 vsize=14087196 memory=-8813974798734826869 CPUtime=0 cores=1,3,5,7
/proc/15976/task/15984/stat : 15984 (java) S 15974 15974 14305 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 231613997 14425288704 12120 33554432000 4194304 4196468 140721660796928 140398146560880 140399236331221 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15020032 140721660802182 140721660802353 140721660802353 140721660805071 0
[pid=15976/tid=15985] ppid=15974 vsize=14087196 memory=7031125463459224206 CPUtime=0 cores=1,3,5,7
/proc/15976/task/15985/stat : 15985 (java) S 15974 15974 14305 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 231613999 14425288704 12120 33554432000 4194304 4196468 140721660796928 140398145509200 140399236339611 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15020032 140721660802182 140721660802353 140721660802353 140721660805071 0
[pid=15976/tid=15986] ppid=15974 vsize=14087196 memory=4426078206164241782 CPUtime=0.04 cores=1,3,5,7
/proc/15976/task/15986/stat : 15986 (java) S 15974 15974 14305 0 -1 1077944384 613 0 0 0 4 0 0 0 20 0 15 0 231613999 14425288704 12120 33554432000 4194304 4196468 140721660796928 140398144457584 140399236332162 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15020032 140721660802182 140721660802353 140721660802353 140721660805071 0
[pid=15976/tid=15987] ppid=15974 vsize=14087196 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/15976/task/15987/stat : 15987 (java) S 15974 15974 14305 0 -1 1077944384 202 0 0 0 5 0 0 0 20 0 15 0 231613999 14425288704 12120 33554432000 4194304 4196468 140721660796928 140398143404784 140399236332162 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15020032 140721660802182 140721660802353 140721660802353 140721660805071 0
[pid=15976/tid=15988] ppid=15974 vsize=14087196 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/15976/task/15988/stat : 15988 (java) S 15974 15974 14305 0 -1 1077944384 925 0 0 0 12 0 0 0 20 0 15 0 231613999 14425288704 12120 33554432000 4194304 4196468 140721660796928 140398142351984 140399236332162 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15020032 140721660802182 140721660802353 140721660802353 140721660805071 0
[pid=15976/tid=15989] ppid=15974 vsize=14087196 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15976/task/15989/stat : 15989 (java) S 15974 15974 14305 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 231613999 14425288704 12120 33554432000 4194304 4196468 140721660796928 140398141299424 140399236331221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15020032 140721660802182 140721660802353 140721660802353 140721660805071 0
[pid=15976/tid=15990] ppid=15974 vsize=14087196 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15976/task/15990/stat : 15990 (java) S 15974 15974 14305 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 231613999 14425288704 12120 33554432000 4194304 4196468 140721660796928 140398140246704 140399236332162 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15020032 140721660802182 140721660802353 140721660802353 140721660805071 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 14200324 KiB
Current children cumulated memory: 49936 KiB
[startup+0.700807 s]
/proc/loadavg: 1.44 1.41 1.45 5/220 15990
/proc/meminfo: memFree=17607684/32770624 swapFree=67108860/67108860
[pid=15974] ppid=15971 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/15974/stat : 15974 (xcsp3-exec) S 15971 15974 14305 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 231613993 115843072 364 33554432000 4194304 5098028 140725261199824 140725261197928 140329332941436 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 26320896 140725261206586 140725261206788 140725261206788 140725261209546 0
/proc/15974/statm: 28282 364 306 221 0 87 0
[pid=15976] ppid=15974 vsize=14089320 memory=105592 CPUtime=1.58 cores=1,3,5,7
/proc/15976/stat : 15976 (java) S 15974 15974 14305 0 -1 1077944320 11303 0 0 0 155 3 0 0 20 0 15 0 231613993 14427463680 26398 33554432000 4194304 4196468 140721660796928 140721660779472 140399236321015 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 15020032 140721660802182 140721660802353 140721660802353 140721660805071 0
/proc/15976/statm: 3522330 26398 3366 1 0 3483524 0
[pid=15976/tid=15977] ppid=15974 vsize=14089320 memory=1832 CPUtime=0.66 cores=1,3,5,7
/proc/15976/task/15977/stat : 15977 (java) R 15974 15974 14305 0 -1 4202560 6832 0 0 0 64 2 0 0 20 0 15 0 231613994 14427463680 26398 33554432000 4194304 4196468 140721660796928 140399240558688 140399220401502 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15020032 140721660802182 140721660802353 140721660802353 140721660805071 0
[pid=15976/tid=15978] ppid=15974 vsize=14089320 memory=1920 CPUtime=0 cores=1,3,5,7
/proc/15976/task/15978/stat : 15978 (java) S 15974 15974 14305 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 231613994 14427463680 26398 33554432000 4194304 4196468 140721660796928 140398832315536 140399236331221 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15020032 140721660802182 140721660802353 140721660802353 140721660805071 0
[pid=15976/tid=15979] ppid=15974 vsize=14089320 memory=1192 CPUtime=0 cores=1,3,5,7
/proc/15976/task/15979/stat : 15979 (java) S 15974 15974 14305 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 231613995 14427463680 26398 33554432000 4194304 4196468 140721660796928 140398831262736 140399236331221 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15020032 140721660802182 140721660802353 140721660802353 140721660805071 0
[pid=15976/tid=15980] ppid=15974 vsize=14089320 memory=1616 CPUtime=0 cores=1,3,5,7
/proc/15976/task/15980/stat : 15980 (java) S 15974 15974 14305 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 231613995 14427463680 26398 33554432000 4194304 4196468 140721660796928 140398830209936 140399236331221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15020032 140721660802182 140721660802353 140721660802353 140721660805071 0
[pid=15976/tid=15981] ppid=15974 vsize=14089320 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/15976/task/15981/stat : 15981 (java) S 15974 15974 14305 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 231613995 14427463680 26398 33554432000 4194304 4196468 140721660796928 140398829157136 140399236331221 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15020032 140721660802182 140721660802353 140721660802353 140721660805071 0
[pid=15976/tid=15982] ppid=15974 vsize=14089320 memory=752 CPUtime=0 cores=1,3,5,7
/proc/15976/task/15982/stat : 15982 (java) S 15974 15974 14305 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 231613996 14427463680 26398 33554432000 4194304 4196468 140721660796928 140398148667760 140399236332162 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15020032 140721660802182 140721660802353 140721660802353 140721660805071 0
[pid=15976/tid=15983] ppid=15974 vsize=14089320 memory=7304 CPUtime=0 cores=1,3,5,7
/proc/15976/task/15983/stat : 15983 (java) S 15974 15974 14305 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 231613996 14427463680 26398 33554432000 4194304 4196468 140721660796928 140398147613728 140399236331221 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15020032 140721660802182 140721660802353 140721660802353 140721660805071 0
[pid=15976/tid=15984] ppid=15974 vsize=14089320 memory=5400 CPUtime=0 cores=1,3,5,7
/proc/15976/task/15984/stat : 15984 (java) S 15974 15974 14305 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 231613997 14427463680 26398 33554432000 4194304 4196468 140721660796928 140398146560880 140399236331221 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15020032 140721660802182 140721660802353 140721660802353 140721660805071 0
[pid=15976/tid=15985] ppid=15974 vsize=14089320 memory=1108 CPUtime=0 cores=1,3,5,7
/proc/15976/task/15985/stat : 15985 (java) S 15974 15974 14305 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 231613999 14427463680 26398 33554432000 4194304 4196468 140721660796928 140398145509200 140399236339611 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15020032 140721660802182 140721660802353 140721660802353 140721660805071 0
[pid=15976/tid=15986] ppid=15974 vsize=14089320 memory=10784 CPUtime=0.26 cores=1,3,5,7
/proc/15976/task/15986/stat : 15986 (java) R 15974 15974 14305 0 -1 4202560 1023 0 0 0 26 0 0 0 20 0 15 0 231613999 14427463680 26398 33554432000 4194304 4196468 140721660796928 140398144446848 140399236342362 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15020032 140721660802182 140721660802353 140721660802353 140721660805071 0
[pid=15976/tid=15987] ppid=15974 vsize=14089320 memory=872 CPUtime=0.26 cores=1,3,5,7
/proc/15976/task/15987/stat : 15987 (java) S 15974 15974 14305 0 -1 1077944384 557 0 0 0 26 0 0 0 20 0 15 0 231613999 14427463680 26398 33554432000 4194304 4196468 140721660796928 140398143404784 140399236332162 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15020032 140721660802182 140721660802353 140721660802353 140721660805071 0
[pid=15976/tid=15988] ppid=15974 vsize=14089320 memory=4280 CPUtime=0.37 cores=1,3,5,7
/proc/15976/task/15988/stat : 15988 (java) R 15974 15974 14305 0 -1 4202560 1583 0 0 0 37 0 0 0 20 0 15 0 231613999 14427463680 26398 33554432000 4194304 4196468 140721660796928 140398142351984 140399220401502 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15020032 140721660802182 140721660802353 140721660802353 140721660805071 0
[pid=15976/tid=15989] ppid=15974 vsize=14089320 memory=14888 CPUtime=0 cores=1,3,5,7
/proc/15976/task/15989/stat : 15989 (java) S 15974 15974 14305 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 231613999 14427463680 26398 33554432000 4194304 4196468 140721660796928 140398141299424 140399236331221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15020032 140721660802182 140721660802353 140721660802353 140721660805071 0
[pid=15976/tid=15990] ppid=15974 vsize=14089320 memory=34788 CPUtime=0 cores=1,3,5,7
/proc/15976/task/15990/stat : 15990 (java) S 15974 15974 14305 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 231613999 14427463680 26398 33554432000 4194304 4196468 140721660796928 140398140246704 140399236332162 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15020032 140721660802182 140721660802353 140721660802353 140721660805071 0
Current children cumulated CPU time: 1.58 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 107048 KiB
[startup+1.5009 s]
/proc/loadavg: 1.44 1.41 1.45 5/220 15990
/proc/meminfo: memFree=17523720/32770624 swapFree=67108860/67108860
[pid=15974] ppid=15971 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/15974/stat : 15974 (xcsp3-exec) S 15971 15974 14305 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 231613993 115843072 364 33554432000 4194304 5098028 140725261199824 140725261197928 140329332941436 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 26320896 140725261206586 140725261206788 140725261206788 140725261209546 0
/proc/15974/statm: 28282 364 306 221 0 87 0
################
# More data... #
################
/proc/15976/task/15984/stat : 15984 (java) S 15974 15974 14305 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 231613997 14427463680 49283 33554432000 4194304 4196468 140721660796928 140398146560880 140399236331221 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15020032 140721660802182 140721660802353 140721660802353 140721660805071 0
[pid=15976/tid=15985] ppid=15974 vsize=14089320 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/15976/task/15985/stat : 15985 (java) S 15974 15974 14305 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 231613999 14427463680 49283 33554432000 4194304 4196468 140721660796928 140398145509200 140399236339611 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15020032 140721660802182 140721660802353 140721660802353 140721660805071 0
[pid=15976/tid=15986] ppid=15974 vsize=14089320 memory=197132 CPUtime=2.42 cores=1,3,5,7
/proc/15976/task/15986/stat : 15986 (java) S 15974 15974 14305 0 -1 1077944384 10808 0 0 0 241 1 0 0 20 0 15 0 231613999 14427463680 49283 33554432000 4194304 4196468 140721660796928 140398144457584 140399236332162 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15020032 140721660802182 140721660802353 140721660802353 140721660805071 0
[pid=15976/tid=15987] ppid=15974 vsize=14089320 memory=1456 CPUtime=2.37 cores=1,3,5,7
/proc/15976/task/15987/stat : 15987 (java) S 15974 15974 14305 0 -1 1077944384 10550 0 0 0 236 1 0 0 20 0 15 0 231613999 14427463680 49283 33554432000 4194304 4196468 140721660796928 140398143404784 140399236332162 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15020032 140721660802182 140721660802353 140721660802353 140721660805071 0
[pid=15976/tid=15988] ppid=15974 vsize=14089320 memory=197132 CPUtime=0.74 cores=1,3,5,7
/proc/15976/task/15988/stat : 15988 (java) S 15974 15974 14305 0 -1 1077944384 8729 0 0 0 72 2 0 0 20 0 15 0 231613999 14427463680 49283 33554432000 4194304 4196468 140721660796928 140398142351984 140399236332162 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15020032 140721660802182 140721660802353 140721660802353 140721660805071 0
[pid=15976/tid=15989] ppid=15974 vsize=14089320 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/15976/task/15989/stat : 15989 (java) S 15974 15974 14305 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 231613999 14427463680 49283 33554432000 4194304 4196468 140721660796928 140398141299424 140399236331221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15020032 140721660802182 140721660802353 140721660802353 140721660805071 0
[pid=15976/tid=15990] ppid=15974 vsize=14089320 memory=197132 CPUtime=0.56 cores=1,3,5,7
/proc/15976/task/15990/stat : 15990 (java) S 15974 15974 14305 0 -1 1077944384 1047 0 0 0 21 35 0 0 20 0 15 0 231613999 14427463680 49283 33554432000 4194304 4196468 140721660796928 140398140246704 140399236332162 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15020032 140721660802182 140721660802353 140721660802353 140721660805071 0
Current children cumulated CPU time: 2448.57 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 198588 KiB
[startup+2502.3 s]
/proc/loadavg: 1.78 1.75 1.71 3/220 16151
/proc/meminfo: memFree=17341948/32770624 swapFree=67108860/67108860
[pid=15974] ppid=15971 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/15974/stat : 15974 (xcsp3-exec) S 15971 15974 14305 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 231613993 115843072 364 33554432000 4194304 5098028 140725261199824 140725261197928 140329332941436 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 26320896 140725261206586 140725261206788 140725261206788 140725261209546 0
/proc/15974/statm: 28282 364 306 221 0 87 0
[pid=15976] ppid=15974 vsize=14089320 memory=192032 CPUtime=2508.67 cores=1,3,5,7
/proc/15976/stat : 15976 (java) S 15974 15974 14305 0 -1 1077944320 61710 0 0 0 250822 45 0 0 20 0 15 0 231613993 14427463680 48008 33554432000 4194304 4196468 140721660796928 140721660779472 140399236321015 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 15020032 140721660802182 140721660802353 140721660802353 140721660805071 0
/proc/15976/statm: 3522330 48008 3417 1 0 3483524 0
[pid=15976/tid=15977] ppid=15974 vsize=14089320 memory=192020 CPUtime=2502.02 cores=1,3,5,7
/proc/15976/task/15977/stat : 15977 (java) R 15974 15974 14305 0 -1 4202560 18004 0 0 0 250198 4 0 0 20 0 15 0 231613994 14427463680 48008 33554432000 4194304 4196468 140721660796928 140399240559696 140398881635442 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15020032 140721660802182 140721660802353 140721660802353 140721660805071 0
[pid=15976/tid=15978] ppid=15974 vsize=14089320 memory=195080 CPUtime=0.08 cores=1,3,5,7
/proc/15976/task/15978/stat : 15978 (java) S 15974 15974 14305 0 -1 1077944384 2296 0 0 0 7 1 0 0 20 0 15 0 231613994 14427463680 48008 33554432000 4194304 4196468 140721660796928 140398832315536 140399236331221 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15020032 140721660802182 140721660802353 140721660802353 140721660805071 0
[pid=15976/tid=15979] ppid=15974 vsize=14089320 memory=195080 CPUtime=0.08 cores=1,3,5,7
/proc/15976/task/15979/stat : 15979 (java) S 15974 15974 14305 0 -1 1077944384 1523 0 0 0 7 1 0 0 20 0 15 0 231613995 14427463680 48008 33554432000 4194304 4196468 140721660796928 140398831262736 140399236331221 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15020032 140721660802182 140721660802353 140721660802353 140721660805071 0
[pid=15976/tid=15980] ppid=15974 vsize=14089320 memory=195080 CPUtime=0.08 cores=1,3,5,7
/proc/15976/task/15980/stat : 15980 (java) S 15974 15974 14305 0 -1 1077944384 2988 0 0 0 7 1 0 0 20 0 15 0 231613995 14427463680 48008 33554432000 4194304 4196468 140721660796928 140398830209936 140399236331221 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15020032 140721660802182 140721660802353 140721660802353 140721660805071 0
[pid=15976/tid=15981] ppid=15974 vsize=14089320 memory=192020 CPUtime=0.08 cores=1,3,5,7
/proc/15976/task/15981/stat : 15981 (java) S 15974 15974 14305 0 -1 1077944384 2393 0 0 0 7 1 0 0 20 0 15 0 231613995 14427463680 48008 33554432000 4194304 4196468 140721660796928 140398829157136 140399236331221 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15020032 140721660802182 140721660802353 140721660802353 140721660805071 0
[pid=15976/tid=15982] ppid=15974 vsize=14089320 memory=164 CPUtime=0.06 cores=1,3,5,7
/proc/15976/task/15982/stat : 15982 (java) S 15974 15974 14305 0 -1 1077944384 1858 0 0 0 5 1 0 0 20 0 15 0 231613996 14427463680 48008 33554432000 4194304 4196468 140721660796928 140398148667760 140399236332162 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15020032 140721660802182 140721660802353 140721660802353 140721660805071 0
[pid=15976/tid=15983] ppid=15974 vsize=14089320 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/15976/task/15983/stat : 15983 (java) S 15974 15974 14305 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 231613996 14427463680 48008 33554432000 4194304 4196468 140721660796928 140398147613728 140399236331221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15020032 140721660802182 140721660802353 140721660802353 140721660805071 0
[pid=15976/tid=15984] ppid=15974 vsize=14089320 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/15976/task/15984/stat : 15984 (java) S 15974 15974 14305 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 231613997 14427463680 48008 33554432000 4194304 4196468 140721660796928 140398146560880 140399236331221 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15020032 140721660802182 140721660802353 140721660802353 140721660805071 0
[pid=15976/tid=15985] ppid=15974 vsize=14089320 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/15976/task/15985/stat : 15985 (java) S 15974 15974 14305 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 231613999 14427463680 48008 33554432000 4194304 4196468 140721660796928 140398145509200 140399236339611 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15020032 140721660802182 140721660802353 140721660802353 140721660805071 0
[pid=15976/tid=15986] ppid=15974 vsize=14089320 memory=1456 CPUtime=2.42 cores=1,3,5,7
/proc/15976/task/15986/stat : 15986 (java) S 15974 15974 14305 0 -1 1077944384 10827 0 0 0 241 1 0 0 20 0 15 0 231613999 14427463680 48008 33554432000 4194304 4196468 140721660796928 140398144457584 140399236332162 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15020032 140721660802182 140721660802353 140721660802353 140721660805071 0
[pid=15976/tid=15987] ppid=15974 vsize=14089320 memory=1456 CPUtime=2.43 cores=1,3,5,7
/proc/15976/task/15987/stat : 15987 (java) S 15974 15974 14305 0 -1 1077944384 10651 0 0 0 242 1 0 0 20 0 15 0 231613999 14427463680 48008 33554432000 4194304 4196468 140721660796928 140398143404784 140399236332162 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15020032 140721660802182 140721660802353 140721660802353 140721660805071 0
[pid=15976/tid=15988] ppid=15974 vsize=14089320 memory=1456 CPUtime=0.74 cores=1,3,5,7
/proc/15976/task/15988/stat : 15988 (java) S 15974 15974 14305 0 -1 1077944384 8754 0 0 0 72 2 0 0 20 0 15 0 231613999 14427463680 48008 33554432000 4194304 4196468 140721660796928 140398142351984 140399236332162 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15020032 140721660802182 140721660802353 140721660802353 140721660805071 0
[pid=15976/tid=15989] ppid=15974 vsize=14089320 memory=192020 CPUtime=0 cores=1,3,5,7
/proc/15976/task/15989/stat : 15989 (java) S 15974 15974 14305 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 231613999 14427463680 48008 33554432000 4194304 4196468 140721660796928 140398141299424 140399236331221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15020032 140721660802182 140721660802353 140721660802353 140721660805071 0
[pid=15976/tid=15990] ppid=15974 vsize=14089320 memory=9047017150487036571 CPUtime=0.58 cores=1,3,5,7
/proc/15976/task/15990/stat : 15990 (java) S 15974 15974 14305 0 -1 1077944384 1053 0 0 0 22 36 0 0 20 0 15 0 231613999 14427463680 48008 33554432000 4194304 4196468 140721660796928 140398140246704 140399236332162 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15020032 140721660802182 140721660802353 140721660802353 140721660805071 0
Current children cumulated CPU time: 2508.67 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 193488 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2513.7 s]
/proc/loadavg: 1.82 1.76 1.71 3/220 16151
/proc/meminfo: memFree=17341980/32770624 swapFree=67108860/67108860
[pid=15974] ppid=15971 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/15974/stat : 15974 (xcsp3-exec) S 15971 15974 14305 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 231613993 115843072 364 33554432000 4194304 5098028 140725261199824 140725261197928 140329332941436 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 26320896 140725261206586 140725261206788 140725261206788 140725261209546 0
/proc/15974/statm: 28282 364 306 221 0 87 0
[pid=15976] ppid=15974 vsize=14089320 memory=192032 CPUtime=2520.07 cores=1,3,5,7
/proc/15976/stat : 15976 (java) S 15974 15974 14305 0 -1 1077944320 61788 0 0 0 251962 45 0 0 20 0 15 0 231613993 14427463680 48008 33554432000 4194304 4196468 140721660796928 140721660779472 140399236321015 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 15020032 140721660802182 140721660802353 140721660802353 140721660805071 0
/proc/15976/statm: 3522330 48008 3417 1 0 3483524 0
[pid=15976/tid=15977] ppid=15974 vsize=14089320 memory=192032 CPUtime=2513.42 cores=1,3,5,7
/proc/15976/task/15977/stat : 15977 (java) R 15974 15974 14305 0 -1 4202560 18069 0 0 0 251338 4 0 0 20 0 15 0 231613994 14427463680 48008 33554432000 4194304 4196468 140721660796928 140399240558232 140398881024462 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15020032 140721660802182 140721660802353 140721660802353 140721660805071 0
[pid=15976/tid=15978] ppid=15974 vsize=14089320 memory=192032 CPUtime=0.08 cores=1,3,5,7
/proc/15976/task/15978/stat : 15978 (java) S 15974 15974 14305 0 -1 1077944384 2296 0 0 0 7 1 0 0 20 0 15 0 231613994 14427463680 48008 33554432000 4194304 4196468 140721660796928 140398832315536 140399236331221 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15020032 140721660802182 140721660802353 140721660802353 140721660805071 0
[pid=15976/tid=15979] ppid=15974 vsize=14089320 memory=192020 CPUtime=0.08 cores=1,3,5,7
/proc/15976/task/15979/stat : 15979 (java) S 15974 15974 14305 0 -1 1077944384 1523 0 0 0 7 1 0 0 20 0 15 0 231613995 14427463680 48008 33554432000 4194304 4196468 140721660796928 140398831262736 140399236331221 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15020032 140721660802182 140721660802353 140721660802353 140721660805071 0
[pid=15976/tid=15980] ppid=15974 vsize=14089320 memory=192032 CPUtime=0.08 cores=1,3,5,7
/proc/15976/task/15980/stat : 15980 (java) S 15974 15974 14305 0 -1 1077944384 2988 0 0 0 7 1 0 0 20 0 15 0 231613995 14427463680 48008 33554432000 4194304 4196468 140721660796928 140398830209936 140399236331221 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15020032 140721660802182 140721660802353 140721660802353 140721660805071 0
[pid=15976/tid=15981] ppid=15974 vsize=14089320 memory=192032 CPUtime=0.08 cores=1,3,5,7
/proc/15976/task/15981/stat : 15981 (java) S 15974 15974 14305 0 -1 1077944384 2393 0 0 0 7 1 0 0 20 0 15 0 231613995 14427463680 48008 33554432000 4194304 4196468 140721660796928 140398829157136 140399236331221 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15020032 140721660802182 140721660802353 140721660802353 140721660805071 0
[pid=15976/tid=15982] ppid=15974 vsize=14089320 memory=192032 CPUtime=0.06 cores=1,3,5,7
/proc/15976/task/15982/stat : 15982 (java) S 15974 15974 14305 0 -1 1077944384 1858 0 0 0 5 1 0 0 20 0 15 0 231613996 14427463680 48008 33554432000 4194304 4196468 140721660796928 140398148667760 140399236332162 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15020032 140721660802182 140721660802353 140721660802353 140721660805071 0
[pid=15976/tid=15983] ppid=15974 vsize=14089320 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/15976/task/15983/stat : 15983 (java) S 15974 15974 14305 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 231613996 14427463680 48008 33554432000 4194304 4196468 140721660796928 140398147613728 140399236331221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15020032 140721660802182 140721660802353 140721660802353 140721660805071 0
[pid=15976/tid=15984] ppid=15974 vsize=14089320 memory=1236 CPUtime=0 cores=1,3,5,7
/proc/15976/task/15984/stat : 15984 (java) S 15974 15974 14305 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 231613997 14427463680 48008 33554432000 4194304 4196468 140721660796928 140398146560880 140399236331221 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15020032 140721660802182 140721660802353 140721660802353 140721660805071 0
[pid=15976/tid=15985] ppid=15974 vsize=14089320 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/15976/task/15985/stat : 15985 (java) S 15974 15974 14305 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 231613999 14427463680 48008 33554432000 4194304 4196468 140721660796928 140398145509200 140399236339611 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15020032 140721660802182 140721660802353 140721660802353 140721660805071 0
[pid=15976/tid=15986] ppid=15974 vsize=14089320 memory=3244 CPUtime=2.42 cores=1,3,5,7
/proc/15976/task/15986/stat : 15986 (java) S 15974 15974 14305 0 -1 1077944384 10827 0 0 0 241 1 0 0 20 0 15 0 231613999 14427463680 48008 33554432000 4194304 4196468 140721660796928 140398144457584 140399236332162 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15020032 140721660802182 140721660802353 140721660802353 140721660805071 0
[pid=15976/tid=15987] ppid=15974 vsize=14089320 memory=15932 CPUtime=2.43 cores=1,3,5,7
/proc/15976/task/15987/stat : 15987 (java) S 15974 15974 14305 0 -1 1077944384 10651 0 0 0 242 1 0 0 20 0 15 0 231613999 14427463680 48008 33554432000 4194304 4196468 140721660796928 140398143404784 140399236332162 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15020032 140721660802182 140721660802353 140721660802353 140721660805071 0
[pid=15976/tid=15988] ppid=15974 vsize=14089320 memory=3332 CPUtime=0.74 cores=1,3,5,7
/proc/15976/task/15988/stat : 15988 (java) S 15974 15974 14305 0 -1 1077944384 8754 0 0 0 72 2 0 0 20 0 15 0 231613999 14427463680 48008 33554432000 4194304 4196468 140721660796928 140398142351984 140399236332162 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15020032 140721660802182 140721660802353 140721660802353 140721660805071 0
[pid=15976/tid=15989] ppid=15974 vsize=14089320 memory=192032 CPUtime=0 cores=1,3,5,7
/proc/15976/task/15989/stat : 15989 (java) S 15974 15974 14305 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 231613999 14427463680 48008 33554432000 4194304 4196468 140721660796928 140398141299424 140399236331221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15020032 140721660802182 140721660802353 140721660802353 140721660805071 0
[pid=15976/tid=15990] ppid=15974 vsize=14089320 memory=5400 CPUtime=0.58 cores=1,3,5,7
/proc/15976/task/15990/stat : 15990 (java) S 15974 15974 14305 0 -1 1077944384 1066 0 0 0 22 36 0 0 20 0 15 0 231613999 14427463680 48008 33554432000 4194304 4196468 140721660796928 140398140246704 140399236332162 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15020032 140721660802182 140721660802353 140721660802353 140721660805071 0
Current children cumulated CPU time: 2520.07 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 193488 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2513.71 s]
# the end of solver process 15974 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.001116 s, system=0.001116 s
[startup+2513.71 s]
# the end of solver process 15976 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2519.64 s, system=0.457149 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+2513.7 s]
/proc/loadavg: 1.82 1.76 1.71 3/220 16151
/proc/meminfo: memFree=17341980/32770624 swapFree=67108860/67108860
[pid=15974] ppid=15971 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/15974/stat : 15974 (xcsp3-exec) S 15971 15974 14305 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 231613993 115843072 364 33554432000 4194304 5098028 140725261199824 140725261197928 140329332941436 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 26320896 140725261206586 140725261206788 140725261206788 140725261209546 0
/proc/15974/statm: 28282 364 306 221 0 87 0
[pid=15976] ppid=15974 vsize=14089320 memory=192032 CPUtime=2520.07 cores=1,3,5,7
/proc/15976/stat : 15976 (java) S 15974 15974 14305 0 -1 1077944320 61788 0 0 0 251962 45 0 0 20 0 15 0 231613993 14427463680 48008 33554432000 4194304 4196468 140721660796928 140721660779472 140399236321015 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 15020032 140721660802182 140721660802353 140721660802353 140721660805071 0
/proc/15976/statm: 3522330 48008 3417 1 0 3483524 0
[pid=15976/tid=15977] ppid=15974 vsize=14089320 memory=192032 CPUtime=2513.42 cores=1,3,5,7
/proc/15976/task/15977/stat : 15977 (java) R 15974 15974 14305 0 -1 4202560 18069 0 0 0 251338 4 0 0 20 0 15 0 231613994 14427463680 48008 33554432000 4194304 4196468 140721660796928 140399240558232 140398881024462 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15020032 140721660802182 140721660802353 140721660802353 140721660805071 0
[pid=15976/tid=15978] ppid=15974 vsize=14089320 memory=192032 CPUtime=0.08 cores=1,3,5,7
/proc/15976/task/15978/stat : 15978 (java) S 15974 15974 14305 0 -1 1077944384 2296 0 0 0 7 1 0 0 20 0 15 0 231613994 14427463680 48008 33554432000 4194304 4196468 140721660796928 140398832315536 140399236331221 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15020032 140721660802182 140721660802353 140721660802353 140721660805071 0
[pid=15976/tid=15979] ppid=15974 vsize=14089320 memory=192020 CPUtime=0.08 cores=1,3,5,7
/proc/15976/task/15979/stat : 15979 (java) S 15974 15974 14305 0 -1 1077944384 1523 0 0 0 7 1 0 0 20 0 15 0 231613995 14427463680 48008 33554432000 4194304 4196468 140721660796928 140398831262736 140399236331221 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15020032 140721660802182 140721660802353 140721660802353 140721660805071 0
[pid=15976/tid=15980] ppid=15974 vsize=14089320 memory=192032 CPUtime=0.08 cores=1,3,5,7
/proc/15976/task/15980/stat : 15980 (java) S 15974 15974 14305 0 -1 1077944384 2988 0 0 0 7 1 0 0 20 0 15 0 231613995 14427463680 48008 33554432000 4194304 4196468 140721660796928 140398830209936 140399236331221 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15020032 140721660802182 140721660802353 140721660802353 140721660805071 0
[pid=15976/tid=15981] ppid=15974 vsize=14089320 memory=192032 CPUtime=0.08 cores=1,3,5,7
/proc/15976/task/15981/stat : 15981 (java) S 15974 15974 14305 0 -1 1077944384 2393 0 0 0 7 1 0 0 20 0 15 0 231613995 14427463680 48008 33554432000 4194304 4196468 140721660796928 140398829157136 140399236331221 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15020032 140721660802182 140721660802353 140721660802353 140721660805071 0
[pid=15976/tid=15982] ppid=15974 vsize=14089320 memory=192032 CPUtime=0.06 cores=1,3,5,7
/proc/15976/task/15982/stat : 15982 (java) S 15974 15974 14305 0 -1 1077944384 1858 0 0 0 5 1 0 0 20 0 15 0 231613996 14427463680 48008 33554432000 4194304 4196468 140721660796928 140398148667760 140399236332162 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15020032 140721660802182 140721660802353 140721660802353 140721660805071 0
[pid=15976/tid=15983] ppid=15974 vsize=14089320 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/15976/task/15983/stat : 15983 (java) S 15974 15974 14305 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 231613996 14427463680 48008 33554432000 4194304 4196468 140721660796928 140398147613728 140399236331221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15020032 140721660802182 140721660802353 140721660802353 140721660805071 0
[pid=15976/tid=15984] ppid=15974 vsize=14089320 memory=1236 CPUtime=0 cores=1,3,5,7
/proc/15976/task/15984/stat : 15984 (java) S 15974 15974 14305 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 231613997 14427463680 48008 33554432000 4194304 4196468 140721660796928 140398146560880 140399236331221 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15020032 140721660802182 140721660802353 140721660802353 140721660805071 0
[pid=15976/tid=15985] ppid=15974 vsize=14089320 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/15976/task/15985/stat : 15985 (java) S 15974 15974 14305 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 231613999 14427463680 48008 33554432000 4194304 4196468 140721660796928 140398145509200 140399236339611 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15020032 140721660802182 140721660802353 140721660802353 140721660805071 0
[pid=15976/tid=15986] ppid=15974 vsize=14089320 memory=3244 CPUtime=2.42 cores=1,3,5,7
/proc/15976/task/15986/stat : 15986 (java) S 15974 15974 14305 0 -1 1077944384 10827 0 0 0 241 1 0 0 20 0 15 0 231613999 14427463680 48008 33554432000 4194304 4196468 140721660796928 140398144457584 140399236332162 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15020032 140721660802182 140721660802353 140721660802353 140721660805071 0
[pid=15976/tid=15987] ppid=15974 vsize=14089320 memory=15932 CPUtime=2.43 cores=1,3,5,7
/proc/15976/task/15987/stat : 15987 (java) S 15974 15974 14305 0 -1 1077944384 10651 0 0 0 242 1 0 0 20 0 15 0 231613999 14427463680 48008 33554432000 4194304 4196468 140721660796928 140398143404784 140399236332162 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15020032 140721660802182 140721660802353 140721660802353 140721660805071 0
[pid=15976/tid=15988] ppid=15974 vsize=14089320 memory=3332 CPUtime=0.74 cores=1,3,5,7
/proc/15976/task/15988/stat : 15988 (java) S 15974 15974 14305 0 -1 1077944384 8754 0 0 0 72 2 0 0 20 0 15 0 231613999 14427463680 48008 33554432000 4194304 4196468 140721660796928 140398142351984 140399236332162 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15020032 140721660802182 140721660802353 140721660802353 140721660805071 0
[pid=15976/tid=15989] ppid=15974 vsize=14089320 memory=192032 CPUtime=0 cores=1,3,5,7
/proc/15976/task/15989/stat : 15989 (java) S 15974 15974 14305 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 231613999 14427463680 48008 33554432000 4194304 4196468 140721660796928 140398141299424 140399236331221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15020032 140721660802182 140721660802353 140721660802353 140721660805071 0
[pid=15976/tid=15990] ppid=15974 vsize=14089320 memory=5400 CPUtime=0.58 cores=1,3,5,7
/proc/15976/task/15990/stat : 15990 (java) S 15974 15974 14305 0 -1 1077944384 1066 0 0 0 22 36 0 0 20 0 15 0 231613999 14427463680 48008 33554432000 4194304 4196468 140721660796928 140398140246704 140399236332162 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15020032 140721660802182 140721660802353 140721660802353 140721660805071 0
Current children cumulated CPU time: 2520.07 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 193488 KiB
Child status: 143
Real time (s): 2513.71
CPU time (s): 2520.09
CPU user time (s): 2519.64
CPU system time (s): 0.457149
CPU usage (%): 100.254
Max. virtual memory (cumulated for all children) (KiB): 14202448
Max. memory (cumulated for all children) (KiB): 258096
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.64
system time used= 0.457149
maximum resident set size= 256640
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 62577
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2160
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 58122
involuntary context switches= 3443
# summary of solver processes directly reported to runsolver:
# pid: 15974,15976
# total CPU time (s): 2520.09
# total CPU user time (s): 2519.64
# total CPU system time (s): 0.457149
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.5391 second user time and 22.8231 second system time
The end