0.00/0.00 c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4404280-1569004897.xml" -tl '20160s' -p 8
0.13/0.18 c Choco 3fb4b153
0.13/0.18 c [HOME/instance-4404280-1569004897.xml, -tl, 20160s, -p, 8]
0.33/0.22 c 8 solvers in parallel
0.33/0.28 c parse instance...
5.37/1.54 c solve instance...
20028.10/2520.06 s UNKNOWN
20028.10/2520.06 c Unexpected resolution interruption!
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 (13547 MiB free)
memory of node 1: 16384 MiB (10505 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4404280-1569004897/watcher-4404280-1569004897 -o /var/tmp/evaluation-result-4404280-1569004897/solver-4404280-1569004897 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node140-1569004851-11525 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 122214793 HOME/instance-4404280-1569004897.xml
running on 8 cores: 0,2,4,6,1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=11753, runsolver pid=11750
[startup+0.100063 s]*
/proc/loadavg: 7.43 7.88 7.99 3/212 11774
/proc/meminfo: memFree=24614068/32770624 swapFree=66997224/67108860
[pid=11753] ppid=11750 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/11753/stat : 11753 (xcsp3-exec) S 11750 11753 11498 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 476428076 115843072 362 33554432000 4194304 5098028 140736405496368 140736405494472 139717228253820 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 24858624 140736405504850 140736405505109 140736405505109 140736405508038 0
/proc/11753/statm: 28282 362 304 221 0 87 0
[pid=11755] ppid=11753 vsize=28227396 memory=28940 CPUtime=0.13 cores=0-7
/proc/11755/stat : 11755 (java) S 11753 11753 11498 0 -1 1077944320 5709 0 0 0 11 2 0 0 20 0 20 0 476428076 28904853504 7235 33554432000 4194304 4196468 140734926295216 140734926277760 139945698336503 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 6819840 140734926300118 140734926300294 140734926300294 140734926303183 0
/proc/11755/statm: 7056849 7235 3120 1 0 7019032 0
[pid=11755/tid=11756] ppid=11753 vsize=28227396 memory=4134930498285298233 CPUtime=0.09 cores=0-7
/proc/11755/task/11756/stat : 11756 (java) R 11753 11753 11498 0 -1 4202560 3629 0 0 0 8 1 0 0 20 0 20 0 476428077 28904853504 7235 33554432000 4194304 4196468 140734926295216 139945702569280 139945682380133 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 6819840 140734926300118 140734926300294 140734926300294 140734926303183 0
[pid=11755/tid=11757] ppid=11753 vsize=28227396 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/11755/task/11757/stat : 11757 (java) S 11753 11753 11498 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476428078 28904853504 7235 33554432000 4194304 4196468 140734926295216 139945618189072 139945698346709 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6819840 140734926300118 140734926300294 140734926300294 140734926303183 0
[pid=11755/tid=11758] ppid=11753 vsize=28227396 memory=139998675486336 CPUtime=0 cores=0-7
/proc/11755/task/11758/stat : 11758 (java) S 11753 11753 11498 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476428078 28904853504 7235 33554432000 4194304 4196468 140734926295216 139945617136528 139945698346709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6819840 140734926300118 140734926300294 140734926300294 140734926303183 0
[pid=11755/tid=11759] ppid=11753 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/11755/task/11759/stat : 11759 (java) S 11753 11753 11498 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476428078 28904853504 7235 33554432000 4194304 4196468 140734926295216 139945616083984 139945698346709 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6819840 140734926300118 140734926300294 140734926300294 140734926303183 0
[pid=11755/tid=11760] ppid=11753 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/11755/task/11760/stat : 11760 (java) S 11753 11753 11498 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476428078 28904853504 7235 33554432000 4194304 4196468 140734926295216 139945615031440 139945698346709 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6819840 140734926300118 140734926300294 140734926300294 140734926303183 0
[pid=11755/tid=11761] ppid=11753 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/11755/task/11761/stat : 11761 (java) S 11753 11753 11498 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476428078 28904853504 7235 33554432000 4194304 4196468 140734926295216 139945613977872 139945698346709 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6819840 140734926300118 140734926300294 140734926300294 140734926303183 0
[pid=11755/tid=11762] ppid=11753 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/11755/task/11762/stat : 11762 (java) S 11753 11753 11498 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476428078 28904853504 7235 33554432000 4194304 4196468 140734926295216 139945612925328 139945698346709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6819840 140734926300118 140734926300294 140734926300294 140734926303183 0
[pid=11755/tid=11763] ppid=11753 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/11755/task/11763/stat : 11763 (java) S 11753 11753 11498 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476428078 28904853504 7235 33554432000 4194304 4196468 140734926295216 139945611872784 139945698346709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6819840 140734926300118 140734926300294 140734926300294 140734926303183 0
[pid=11755/tid=11764] ppid=11753 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/11755/task/11764/stat : 11764 (java) S 11753 11753 11498 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476428078 28904853504 7235 33554432000 4194304 4196468 140734926295216 139945610820240 139945698346709 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6819840 140734926300118 140734926300294 140734926300294 140734926303183 0
[pid=11755/tid=11765] ppid=11753 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/11755/task/11765/stat : 11765 (java) S 11753 11753 11498 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476428079 28904853504 7235 33554432000 4194304 4196468 140734926295216 139944814299632 139945698347650 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6819840 140734926300118 140734926300294 140734926300294 140734926303183 0
[pid=11755/tid=11766] ppid=11753 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/11755/task/11766/stat : 11766 (java) S 11753 11753 11498 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 476428079 28904853504 7235 33554432000 4194304 4196468 140734926295216 139944813245856 139945698346709 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6819840 140734926300118 140734926300294 140734926300294 140734926303183 0
[pid=11755/tid=11767] ppid=11753 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/11755/task/11767/stat : 11767 (java) S 11753 11753 11498 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 476428080 28904853504 7235 33554432000 4194304 4196468 140734926295216 139944812193264 139945698346709 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6819840 140734926300118 140734926300294 140734926300294 140734926303183 0
[pid=11755/tid=11768] ppid=11753 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/11755/task/11768/stat : 11768 (java) S 11753 11753 11498 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476428082 28904853504 7235 33554432000 4194304 4196468 140734926295216 139944811141840 139945698355099 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6819840 140734926300118 140734926300294 140734926300294 140734926303183 0
[pid=11755/tid=11769] ppid=11753 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/11755/task/11769/stat : 11769 (java) S 11753 11753 11498 0 -1 1077944384 304 0 0 0 0 0 0 0 20 0 20 0 476428082 28904853504 7235 33554432000 4194304 4196468 140734926295216 139944810088432 139945698347650 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6819840 140734926300118 140734926300294 140734926300294 140734926303183 0
[pid=11755/tid=11770] ppid=11753 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/11755/task/11770/stat : 11770 (java) S 11753 11753 11498 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476428082 28904853504 7235 33554432000 4194304 4196468 140734926295216 139944809035888 139945698347650 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6819840 140734926300118 140734926300294 140734926300294 140734926303183 0
[pid=11755/tid=11771] ppid=11753 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/11755/task/11771/stat : 11771 (java) R 11753 11753 11498 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 476428082 28904853504 7235 33554432000 4194304 4196468 140734926295216 139944807983344 139945698347650 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 6819840 140734926300118 140734926300294 140734926300294 140734926303183 0
[pid=11755/tid=11772] ppid=11753 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/11755/task/11772/stat : 11772 (java) S 11753 11753 11498 0 -1 1077944384 345 0 0 0 1 0 0 0 20 0 20 0 476428082 28904853504 7235 33554432000 4194304 4196468 140734926295216 139944806930800 139945698347650 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6819840 140734926300118 140734926300294 140734926300294 140734926303183 0
[pid=11755/tid=11773] ppid=11753 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/11755/task/11773/stat : 11773 (java) S 11753 11753 11498 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476428082 28904853504 7235 33554432000 4194304 4196468 140734926295216 139944805878496 139945698346709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6819840 140734926300118 140734926300294 140734926300294 140734926303183 0
[pid=11755/tid=11774] ppid=11753 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/11755/task/11774/stat : 11774 (java) S 11753 11753 11498 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476428083 28904853504 7235 33554432000 4194304 4196468 140734926295216 139944804826032 139945698347650 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6819840 140734926300118 140734926300294 140734926300294 140734926303183 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 30388 KiB
[startup+0.210585 s]*
/proc/loadavg: 7.43 7.88 7.99 2/212 11774
/proc/meminfo: memFree=24600540/32770624 swapFree=66997224/67108860
[pid=11753] ppid=11750 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/11753/stat : 11753 (xcsp3-exec) S 11750 11753 11498 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 476428076 115843072 362 33554432000 4194304 5098028 140736405496368 140736405494472 139717228253820 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 24858624 140736405504850 140736405505109 140736405505109 140736405508038 0
/proc/11753/statm: 28282 362 304 221 0 87 0
[pid=11755] ppid=11753 vsize=28227396 memory=40632 CPUtime=0.33 cores=0-7
/proc/11755/stat : 11755 (java) S 11753 11753 11498 0 -1 1077944320 9381 0 0 0 29 4 0 0 20 0 20 0 476428076 28904853504 10158 33554432000 4194304 4196468 140734926295216 140734926277760 139945698336503 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 6819840 140734926300118 140734926300294 140734926300294 140734926303183 0
/proc/11755/statm: 7056849 10158 3313 1 0 7019032 0
[pid=11755/tid=11756] ppid=11753 vsize=28227396 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/11755/task/11756/stat : 11756 (java) R 11753 11753 11498 0 -1 4202560 6639 0 0 0 17 2 0 0 20 0 20 0 476428077 28904853504 10158 33554432000 4194304 4196468 140734926295216 139945702570624 139945698348438 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 6819840 140734926300118 140734926300294 140734926300294 140734926303183 0
[pid=11755/tid=11757] ppid=11753 vsize=28227396 memory=339 CPUtime=0 cores=0-7
/proc/11755/task/11757/stat : 11757 (java) S 11753 11753 11498 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476428078 28904853504 10158 33554432000 4194304 4196468 140734926295216 139945618189072 139945698346709 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6819840 140734926300118 140734926300294 140734926300294 140734926303183 0
[pid=11755/tid=11758] ppid=11753 vsize=28227396 memory=139998675496711 CPUtime=0 cores=0-7
/proc/11755/task/11758/stat : 11758 (java) S 11753 11753 11498 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476428078 28904853504 10158 33554432000 4194304 4196468 140734926295216 139945617136528 139945698346709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6819840 140734926300118 140734926300294 140734926300294 140734926303183 0
[pid=11755/tid=11759] ppid=11753 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/11755/task/11759/stat : 11759 (java) S 11753 11753 11498 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476428078 28904853504 10158 33554432000 4194304 4196468 140734926295216 139945616083984 139945698346709 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6819840 140734926300118 140734926300294 140734926300294 140734926303183 0
[pid=11755/tid=11760] ppid=11753 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/11755/task/11760/stat : 11760 (java) S 11753 11753 11498 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476428078 28904853504 10158 33554432000 4194304 4196468 140734926295216 139945615031440 139945698346709 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6819840 140734926300118 140734926300294 140734926300294 140734926303183 0
[pid=11755/tid=11761] ppid=11753 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/11755/task/11761/stat : 11761 (java) S 11753 11753 11498 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476428078 28904853504 10158 33554432000 4194304 4196468 140734926295216 139945613977872 139945698346709 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6819840 140734926300118 140734926300294 140734926300294 140734926303183 0
[pid=11755/tid=11762] ppid=11753 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/11755/task/11762/stat : 11762 (java) S 11753 11753 11498 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476428078 28904853504 10158 33554432000 4194304 4196468 140734926295216 139945612925328 139945698346709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6819840 140734926300118 140734926300294 140734926300294 140734926303183 0
[pid=11755/tid=11763] ppid=11753 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/11755/task/11763/stat : 11763 (java) S 11753 11753 11498 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476428078 28904853504 10158 33554432000 4194304 4196468 140734926295216 139945611872784 139945698346709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6819840 140734926300118 140734926300294 140734926300294 140734926303183 0
[pid=11755/tid=11764] ppid=11753 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/11755/task/11764/stat : 11764 (java) S 11753 11753 11498 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476428078 28904853504 10158 33554432000 4194304 4196468 140734926295216 139945610820240 139945698346709 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6819840 140734926300118 140734926300294 140734926300294 140734926303183 0
[pid=11755/tid=11765] ppid=11753 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/11755/task/11765/stat : 11765 (java) S 11753 11753 11498 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 476428079 28904853504 10158 33554432000 4194304 4196468 140734926295216 139944814299632 139945698347650 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6819840 140734926300118 140734926300294 140734926300294 140734926303183 0
[pid=11755/tid=11766] ppid=11753 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/11755/task/11766/stat : 11766 (java) S 11753 11753 11498 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 476428079 28904853504 10158 33554432000 4194304 4196468 140734926295216 139944813245856 139945698346709 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6819840 140734926300118 140734926300294 140734926300294 140734926303183 0
[pid=11755/tid=11767] ppid=11753 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/11755/task/11767/stat : 11767 (java) S 11753 11753 11498 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 476428080 28904853504 10158 33554432000 4194304 4196468 140734926295216 139944812193264 139945698346709 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6819840 140734926300118 140734926300294 140734926300294 140734926303183 0
[pid=11755/tid=11768] ppid=11753 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/11755/task/11768/stat : 11768 (java) S 11753 11753 11498 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476428082 28904853504 10158 33554432000 4194304 4196468 140734926295216 139944811141840 139945698355099 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6819840 140734926300118 140734926300294 140734926300294 140734926303183 0
[pid=11755/tid=11769] ppid=11753 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/11755/task/11769/stat : 11769 (java) S 11753 11753 11498 0 -1 1077944384 331 0 0 0 0 0 0 0 20 0 20 0 476428082 28904853504 10158 33554432000 4194304 4196468 140734926295216 139944810088432 139945698347650 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6819840 140734926300118 140734926300294 140734926300294 140734926303183 0
[pid=11755/tid=11770] ppid=11753 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/11755/task/11770/stat : 11770 (java) S 11753 11753 11498 0 -1 1077944384 105 0 0 0 1 0 0 0 20 0 20 0 476428082 28904853504 10158 33554432000 4194304 4196468 140734926295216 139944809035888 139945698347650 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6819840 140734926300118 140734926300294 140734926300294 140734926303183 0
[pid=11755/tid=11771] ppid=11753 vsize=28227396 memory=-1 CPUtime=0.02 cores=0-7
/proc/11755/task/11771/stat : 11771 (java) S 11753 11753 11498 0 -1 1077944384 214 0 0 0 2 0 0 0 20 0 20 0 476428082 28904853504 10158 33554432000 4194304 4196468 140734926295216 139944807983344 139945698347650 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6819840 140734926300118 140734926300294 140734926300294 140734926303183 0
[pid=11755/tid=11772] ppid=11753 vsize=28227396 memory=-1 CPUtime=0.07 cores=0-7
/proc/11755/task/11772/stat : 11772 (java) R 11753 11753 11498 0 -1 4202560 780 0 0 0 7 0 0 0 20 0 20 0 476428082 28904853504 10158 33554432000 4194304 4196468 140734926295216 139944806930800 139945677286456 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 6819840 140734926300118 140734926300294 140734926300294 140734926303183 0
[pid=11755/tid=11773] ppid=11753 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/11755/task/11773/stat : 11773 (java) S 11753 11753 11498 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476428082 28904853504 10158 33554432000 4194304 4196468 140734926295216 139944805878496 139945698346709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6819840 140734926300118 140734926300294 140734926300294 140734926303183 0
[pid=11755/tid=11774] ppid=11753 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/11755/task/11774/stat : 11774 (java) S 11753 11753 11498 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476428083 28904853504 10158 33554432000 4194304 4196468 140734926295216 139944804826032 139945698347650 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6819840 140734926300118 140734926300294 140734926300294 140734926303183 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 42080 KiB
[startup+0.311751 s]*
/proc/loadavg: 7.43 7.88 7.99 4/212 11774
/proc/meminfo: memFree=24593020/32770624 swapFree=66997224/67108860
[pid=11753] ppid=11750 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/11753/stat : 11753 (xcsp3-exec) S 11750 11753 11498 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 476428076 115843072 362 33554432000 4194304 5098028 140736405496368 140736405494472 139717228253820 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 24858624 140736405504850 140736405505109 140736405505109 140736405508038 0
/proc/11753/statm: 28282 362 304 221 0 87 0
[pid=11755] ppid=11753 vsize=28231652 memory=49940 CPUtime=0.53 cores=0-7
/proc/11755/stat : 11755 (java) S 11753 11753 11498 0 -1 1077944320 10913 0 0 0 48 5 0 0 20 0 20 0 476428076 28909211648 12485 33554432000 4194304 4196468 140734926295216 140734926277760 139945698336503 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 6819840 140734926300118 140734926300294 140734926300294 140734926303183 0
/proc/11755/statm: 7057913 12485 3355 1 0 7019032 0
[pid=11755/tid=11756] ppid=11753 vsize=28231652 memory=6791534058613427641 CPUtime=0.3 cores=0-7
/proc/11755/task/11756/stat : 11756 (java) R 11753 11753 11498 0 -1 4202560 7824 0 0 0 27 3 0 0 20 0 20 0 476428077 28909211648 12485 33554432000 4194304 4196468 140734926295216 139945702562968 139945698358429 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 6819840 140734926300118 140734926300294 140734926300294 140734926303183 0
[pid=11755/tid=11757] ppid=11753 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/11755/task/11757/stat : 11757 (java) S 11753 11753 11498 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476428078 28909211648 12485 33554432000 4194304 4196468 140734926295216 139945618189072 139945698346709 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6819840 140734926300118 140734926300294 140734926300294 140734926303183 0
[pid=11755/tid=11758] ppid=11753 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/11755/task/11758/stat : 11758 (java) S 11753 11753 11498 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476428078 28909211648 12485 33554432000 4194304 4196468 140734926295216 139945617136528 139945698346709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6819840 140734926300118 140734926300294 140734926300294 140734926303183 0
[pid=11755/tid=11759] ppid=11753 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/11755/task/11759/stat : 11759 (java) S 11753 11753 11498 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476428078 28909211648 12485 33554432000 4194304 4196468 140734926295216 139945616083984 139945698346709 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6819840 140734926300118 140734926300294 140734926300294 140734926303183 0
[pid=11755/tid=11760] ppid=11753 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/11755/task/11760/stat : 11760 (java) S 11753 11753 11498 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476428078 28909211648 12485 33554432000 4194304 4196468 140734926295216 139945615031440 139945698346709 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6819840 140734926300118 140734926300294 140734926300294 140734926303183 0
[pid=11755/tid=11761] ppid=11753 vsize=28231652 memory=2244 CPUtime=0 cores=0-7
/proc/11755/task/11761/stat : 11761 (java) S 11753 11753 11498 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476428078 28909211648 12485 33554432000 4194304 4196468 140734926295216 139945613977872 139945698346709 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6819840 140734926300118 140734926300294 140734926300294 140734926303183 0
[pid=11755/tid=11762] ppid=11753 vsize=28231652 memory=139998552748975 CPUtime=0 cores=0-7
/proc/11755/task/11762/stat : 11762 (java) S 11753 11753 11498 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476428078 28909211648 12485 33554432000 4194304 4196468 140734926295216 139945612925328 139945698346709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6819840 140734926300118 140734926300294 140734926300294 140734926303183 0
[pid=11755/tid=11763] ppid=11753 vsize=28231652 memory=139998552751280 CPUtime=0 cores=0-7
/proc/11755/task/11763/stat : 11763 (java) S 11753 11753 11498 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476428078 28909211648 12485 33554432000 4194304 4196468 140734926295216 139945611872784 139945698346709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6819840 140734926300118 140734926300294 140734926300294 140734926303183 0
[pid=11755/tid=11764] ppid=11753 vsize=28231652 memory=139998552753584 CPUtime=0 cores=0-7
/proc/11755/task/11764/stat : 11764 (java) S 11753 11753 11498 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476428078 28909211648 12485 33554432000 4194304 4196468 140734926295216 139945610820240 139945698346709 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6819840 140734926300118 140734926300294 140734926300294 140734926303183 0
[pid=11755/tid=11765] ppid=11753 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/11755/task/11765/stat : 11765 (java) S 11753 11753 11498 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 476428079 28909211648 12485 33554432000 4194304 4196468 140734926295216 139944814299632 139945698347650 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6819840 140734926300118 140734926300294 140734926300294 140734926303183 0
[pid=11755/tid=11766] ppid=11753 vsize=28231652 memory=279997105514128 CPUtime=0 cores=0-7
/proc/11755/task/11766/stat : 11766 (java) S 11753 11753 11498 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 476428079 28909211648 12550 33554432000 4194304 4196468 140734926295216 139944813245856 139945698346709 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6819840 140734926300118 140734926300294 140734926300294 140734926303183 0
[pid=11755/tid=11767] ppid=11753 vsize=28231652 memory=279997105521040 CPUtime=0 cores=0-7
/proc/11755/task/11767/stat : 11767 (java) S 11753 11753 11498 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 476428080 28909211648 12550 33554432000 4194304 4196468 140734926295216 139944812193264 139945698346709 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6819840 140734926300118 140734926300294 140734926300294 140734926303183 0
[pid=11755/tid=11768] ppid=11753 vsize=28231652 memory=279997105462192 CPUtime=0 cores=0-7
/proc/11755/task/11768/stat : 11768 (java) S 11753 11753 11498 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476428082 28909211648 12550 33554432000 4194304 4196468 140734926295216 139944811141840 139945698355099 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6819840 140734926300118 140734926300294 140734926300294 140734926303183 0
[pid=11755/tid=11769] ppid=11753 vsize=28231652 memory=279997105534864 CPUtime=0.02 cores=0-7
/proc/11755/task/11769/stat : 11769 (java) R 11753 11753 11498 0 -1 4202560 454 0 0 0 2 0 0 0 20 0 20 0 476428082 28909211648 12550 33554432000 4194304 4196468 140734926295216 139944810069544 139945683259951 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 6819840 140734926300118 140734926300294 140734926300294 140734926303183 0
[pid=11755/tid=11770] ppid=11753 vsize=28231652 memory=279997105541776 CPUtime=0.02 cores=0-7
/proc/11755/task/11770/stat : 11770 (java) S 11753 11753 11498 0 -1 1077944384 105 0 0 0 2 0 0 0 20 0 20 0 476428082 28909211648 12554 33554432000 4194304 4196468 140734926295216 139944809035888 139945698347650 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6819840 140734926300118 140734926300294 140734926300294 140734926303183 0
[pid=11755/tid=11771] ppid=11753 vsize=28231652 memory=279997105539472 CPUtime=0.03 cores=0-7
/proc/11755/task/11771/stat : 11771 (java) S 11753 11753 11498 0 -1 1077944384 255 0 0 0 3 0 0 0 20 0 20 0 476428082 28909211648 12554 33554432000 4194304 4196468 140734926295216 139944807983344 139945698347650 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6819840 140734926300118 140734926300294 140734926300294 140734926303183 0
[pid=11755/tid=11772] ppid=11753 vsize=28231652 memory=279997105555632 CPUtime=0.12 cores=0-7
/proc/11755/task/11772/stat : 11772 (java) S 11753 11753 11498 0 -1 1077944384 967 0 0 0 12 0 0 0 20 0 20 0 476428082 28909211648 12554 33554432000 4194304 4196468 140734926295216 139944806930800 139945698347650 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6819840 140734926300118 140734926300294 140734926300294 140734926303183 0
[pid=11755/tid=11773] ppid=11753 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/11755/task/11773/stat : 11773 (java) S 11753 11753 11498 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476428082 28909211648 12554 33554432000 4194304 4196468 140734926295216 139944805878496 139945698346709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6819840 140734926300118 140734926300294 140734926300294 140734926303183 0
[pid=11755/tid=11774] ppid=11753 vsize=28231652 memory=-1 CPUtime=0 cores=0-7
/proc/11755/task/11774/stat : 11774 (java) S 11753 11753 11498 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476428083 28909211648 12554 33554432000 4194304 4196468 140734926295216 139944804826032 139945698347650 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6819840 140734926300118 140734926300294 140734926300294 140734926303183 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 28344780 KiB
Current children cumulated memory: 51388 KiB
[startup+0.709491 s]
/proc/loadavg: 7.43 7.88 7.99 6/212 11774
/proc/meminfo: memFree=24570320/32770624 swapFree=66997224/67108860
[pid=11753] ppid=11750 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/11753/stat : 11753 (xcsp3-exec) S 11750 11753 11498 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 476428076 115843072 362 33554432000 4194304 5098028 140736405496368 140736405494472 139717228253820 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 24858624 140736405504850 140736405505109 140736405505109 140736405508038 0
/proc/11753/statm: 28282 362 304 221 0 87 0
[pid=11755] ppid=11753 vsize=28233776 memory=111500 CPUtime=2.05 cores=0-7
/proc/11755/stat : 11755 (java) S 11753 11753 11498 0 -1 1077944320 18020 0 0 0 197 8 0 0 20 0 20 0 476428076 28911386624 27875 33554432000 4194304 4196468 140734926295216 140734926277760 139945698336503 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 6819840 140734926300118 140734926300294 140734926300294 140734926303183 0
/proc/11755/statm: 7058444 27875 3455 1 0 7019544 0
[pid=11755/tid=11756] ppid=11753 vsize=28233776 memory=279997105913520 CPUtime=0.69 cores=0-7
/proc/11755/task/11756/stat : 11756 (java) R 11753 11753 11498 0 -1 4202560 9110 0 0 0 65 4 0 0 20 0 20 0 476428077 28911386624 27875 33554432000 4194304 4196468 140734926295216 139945702574272 139945682416990 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 6819840 140734926300118 140734926300294 140734926300294 140734926303183 0
[pid=11755/tid=11757] ppid=11753 vsize=28233776 memory=139998552957808 CPUtime=0 cores=0-7
/proc/11755/task/11757/stat : 11757 (java) S 11753 11753 11498 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476428078 28911386624 27875 33554432000 4194304 4196468 140734926295216 139945618189072 139945698346709 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6819840 140734926300118 140734926300294 140734926300294 140734926303183 0
[pid=11755/tid=11758] ppid=11753 vsize=28233776 memory=0 CPUtime=0 cores=0-7
/proc/11755/task/11758/stat : 11758 (java) S 11753 11753 11498 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476428078 28911386624 27875 33554432000 4194304 4196468 140734926295216 139945617136528 139945698346709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6819840 140734926300118 140734926300294 140734926300294 140734926303183 0
[pid=11755/tid=11759] ppid=11753 vsize=28233776 memory=5800 CPUtime=0 cores=0-7
/proc/11755/task/11759/stat : 11759 (java) S 11753 11753 11498 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476428078 28911386624 27875 33554432000 4194304 4196468 140734926295216 139945616083984 139945698346709 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6819840 140734926300118 140734926300294 140734926300294 140734926303183 0
################
# More data... #
################
[pid=11755/tid=11782] ppid=11753 vsize=28766288 memory=288288861629752351 CPUtime=2474.8 cores=0-7
/proc/11755/task/11782/stat : 11782 (java) R 11753 11753 11498 0 -1 4202560 25580 0 0 0 247427 53 0 0 20 0 28 0 476428234 29456678912 603564 33554432000 4194304 4196468 140734926295216 139943867187536 139945293279813 0 4 0 16800975 0 0 0 -1 2 0 0 8 0 0 6293624 6294260 6819840 140734926300118 140734926300294 140734926300294 140734926303183 0
Current children cumulated CPU time: 19888.6 s
Current children cumulated vsize: 28879416 KiB
Current children cumulated memory: 2415704 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]
/proc/loadavg: 8.15 8.19 8.23 9/220 11992
/proc/meminfo: memFree=22221348/32770624 swapFree=66997224/67108860
[pid=11753] ppid=11750 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/11753/stat : 11753 (xcsp3-exec) S 11750 11753 11498 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 476428076 115843072 362 33554432000 4194304 5098028 140736405496368 140736405494472 139717228253820 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 24858624 140736405504850 140736405505109 140736405505109 140736405508038 0
/proc/11753/statm: 28282 362 304 221 0 87 0
[pid=11755] ppid=11753 vsize=28766288 memory=2414664 CPUtime=20028.1 cores=0-7
/proc/11755/stat : 11755 (java) S 11753 11753 11498 0 -1 1077944320 695084 0 0 0 2001762 1048 0 0 20 0 28 0 476428076 29456678912 603666 33554432000 4194304 4196468 140734926295216 140734926277760 139945698336503 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 6819840 140734926300118 140734926300294 140734926300294 140734926303183 0
/proc/11755/statm: 7191572 603666 3538 1 0 7152672 0
[pid=11755/tid=11756] ppid=11753 vsize=28766288 memory=1448 CPUtime=1.5 cores=0-7
/proc/11755/task/11756/stat : 11756 (java) S 11753 11753 11498 0 -1 1077944384 9303 0 0 0 144 6 0 0 20 0 28 0 476428077 29456678912 603666 33554432000 4194304 4196468 140734926295216 139945702577280 139945698346709 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6819840 140734926300118 140734926300294 140734926300294 140734926303183 0
[pid=11755/tid=11757] ppid=11753 vsize=28766288 memory=2414664 CPUtime=7.13 cores=0-7
/proc/11755/task/11757/stat : 11757 (java) S 11753 11753 11498 0 -1 1077944384 31956 0 0 0 668 45 0 0 20 0 28 0 476428078 29456678912 603666 33554432000 4194304 4196468 140734926295216 139945618189072 139945698346709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 4 0 0 6293624 6294260 6819840 140734926300118 140734926300294 140734926300294 140734926303183 0
[pid=11755/tid=11758] ppid=11753 vsize=28766288 memory=2414664 CPUtime=7.14 cores=0-7
/proc/11755/task/11758/stat : 11758 (java) S 11753 11753 11498 0 -1 1077944384 28734 0 0 0 673 41 0 0 20 0 28 0 476428078 29456678912 603666 33554432000 4194304 4196468 140734926295216 139945617136528 139945698346709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 4 0 0 6293624 6294260 6819840 140734926300118 140734926300294 140734926300294 140734926303183 0
[pid=11755/tid=11759] ppid=11753 vsize=28766288 memory=1448 CPUtime=7.1 cores=0-7
/proc/11755/task/11759/stat : 11759 (java) S 11753 11753 11498 0 -1 1077944384 24000 0 0 0 673 37 0 0 20 0 28 0 476428078 29456678912 603666 33554432000 4194304 4196468 140734926295216 139945616083984 139945698346709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 6 0 0 6293624 6294260 6819840 140734926300118 140734926300294 140734926300294 140734926303183 0
[pid=11755/tid=11760] ppid=11753 vsize=28766288 memory=1448 CPUtime=7.09 cores=0-7
/proc/11755/task/11760/stat : 11760 (java) S 11753 11753 11498 0 -1 1077944384 28898 0 0 0 669 40 0 0 20 0 28 0 476428078 29456678912 603666 33554432000 4194304 4196468 140734926295216 139945615031440 139945698346709 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 4 0 0 6293624 6294260 6819840 140734926300118 140734926300294 140734926300294 140734926303183 0
[pid=11755/tid=11761] ppid=11753 vsize=28766288 memory=1448 CPUtime=7.04 cores=0-7
/proc/11755/task/11761/stat : 11761 (java) S 11753 11753 11498 0 -1 1077944384 34160 0 0 0 664 40 0 0 20 0 28 0 476428078 29456678912 603666 33554432000 4194304 4196468 140734926295216 139945613977872 139945698346709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 6 0 0 6293624 6294260 6819840 140734926300118 140734926300294 140734926300294 140734926303183 0
[pid=11755/tid=11762] ppid=11753 vsize=28766288 memory=1448 CPUtime=7.13 cores=0-7
/proc/11755/task/11762/stat : 11762 (java) S 11753 11753 11498 0 -1 1077944384 29297 0 0 0 673 40 0 0 20 0 28 0 476428078 29456678912 603666 33554432000 4194304 4196468 140734926295216 139945612925328 139945698346709 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 4 0 0 6293624 6294260 6819840 140734926300118 140734926300294 140734926300294 140734926303183 0
[pid=11755/tid=11763] ppid=11753 vsize=28766288 memory=2415176 CPUtime=7.12 cores=0-7
/proc/11755/task/11763/stat : 11763 (java) S 11753 11753 11498 0 -1 1077944384 35232 0 0 0 671 41 0 0 20 0 28 0 476428078 29456678912 603666 33554432000 4194304 4196468 140734926295216 139945611872784 139945698346709 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 4 0 0 6293624 6294260 6819840 140734926300118 140734926300294 140734926300294 140734926303183 0
[pid=11755/tid=11764] ppid=11753 vsize=28766288 memory=3624 CPUtime=7.12 cores=0-7
/proc/11755/task/11764/stat : 11764 (java) S 11753 11753 11498 0 -1 1077944384 32787 0 0 0 669 43 0 0 20 0 28 0 476428078 29456678912 603666 33554432000 4194304 4196468 140734926295216 139945610820240 139945698346709 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 4 0 0 6293624 6294260 6819840 140734926300118 140734926300294 140734926300294 140734926303183 0
[pid=11755/tid=11765] ppid=11753 vsize=28766288 memory=54880 CPUtime=7.86 cores=0-7
/proc/11755/task/11765/stat : 11765 (java) S 11753 11753 11498 0 -1 1077944384 202145 0 0 0 366 420 0 0 20 0 28 0 476428079 29456678912 603666 33554432000 4194304 4196468 140734926295216 139944814299632 139945698347650 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6819840 140734926300118 140734926300294 140734926300294 140734926303183 0
[pid=11755/tid=11766] ppid=11753 vsize=28766288 memory=1448 CPUtime=0 cores=0-7
/proc/11755/task/11766/stat : 11766 (java) S 11753 11753 11498 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 476428079 29456678912 603666 33554432000 4194304 4196468 140734926295216 139944813245920 139945698346709 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6819840 140734926300118 140734926300294 140734926300294 140734926303183 0
[pid=11755/tid=11767] ppid=11753 vsize=28766288 memory=1448 CPUtime=0 cores=0-7
/proc/11755/task/11767/stat : 11767 (java) S 11753 11753 11498 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 28 0 476428080 29456678912 603666 33554432000 4194304 4196468 140734926295216 139944812193280 139945698346709 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6819840 140734926300118 140734926300294 140734926300294 140734926303183 0
[pid=11755/tid=11768] ppid=11753 vsize=28766288 memory=932 CPUtime=0 cores=0-7
/proc/11755/task/11768/stat : 11768 (java) S 11753 11753 11498 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 476428082 29456678912 603666 33554432000 4194304 4196468 140734926295216 139944811141840 139945698355099 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6819840 140734926300118 140734926300294 140734926300294 140734926303183 0
[pid=11755/tid=11769] ppid=11753 vsize=28766288 memory=3680 CPUtime=2.3 cores=0-7
/proc/11755/task/11769/stat : 11769 (java) S 11753 11753 11498 0 -1 1077944384 9313 0 0 0 228 2 0 0 20 0 28 0 476428082 29456678912 603666 33554432000 4194304 4196468 140734926295216 139944810088432 139945698347650 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6819840 140734926300118 140734926300294 140734926300294 140734926303183 0
[pid=11755/tid=11770] ppid=11753 vsize=28766288 memory=6791534058613427641 CPUtime=2.06 cores=0-7
/proc/11755/task/11770/stat : 11770 (java) S 11753 11753 11498 0 -1 1077944384 8633 0 0 0 204 2 0 0 20 0 28 0 476428082 29456678912 603666 33554432000 4194304 4196468 140734926295216 139944809035888 139945698347650 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6819840 140734926300118 140734926300294 140734926300294 140734926303183 0
[pid=11755/tid=11771] ppid=11753 vsize=28766288 memory=1412 CPUtime=2.35 cores=0-7
/proc/11755/task/11771/stat : 11771 (java) S 11753 11753 11498 0 -1 1077944384 10792 0 0 0 233 2 0 0 20 0 28 0 476428082 29456678912 603666 33554432000 4194304 4196468 140734926295216 139944807983344 139945698347650 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6819840 140734926300118 140734926300294 140734926300294 140734926303183 0
[pid=11755/tid=11772] ppid=11753 vsize=28766288 memory=988 CPUtime=0.7 cores=0-7
/proc/11755/task/11772/stat : 11772 (java) S 11753 11753 11498 0 -1 1077944384 8059 0 0 0 69 1 0 0 20 0 28 0 476428082 29456678912 603666 33554432000 4194304 4196468 140734926295216 139944806930800 139945698347650 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 6819840 140734926300118 140734926300294 140734926300294 140734926303183 0
[pid=11755/tid=11773] ppid=11753 vsize=28766288 memory=3628 CPUtime=0 cores=0-7
/proc/11755/task/11773/stat : 11773 (java) S 11753 11753 11498 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 476428082 29456678912 603666 33554432000 4194304 4196468 140734926295216 139944805878496 139945698346709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6819840 140734926300118 140734926300294 140734926300294 140734926303183 0
[pid=11755/tid=11774] ppid=11753 vsize=28766288 memory=111636 CPUtime=0.62 cores=0-7
/proc/11755/task/11774/stat : 11774 (java) S 11753 11753 11498 0 -1 1077944384 6043 0 0 0 12 50 0 0 20 0 28 0 476428083 29456678912 603666 33554432000 4194304 4196468 140734926295216 139944804826032 139945698347650 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6819840 140734926300118 140734926300294 140734926300294 140734926303183 0
[pid=11755/tid=11775] ppid=11753 vsize=28766288 memory=804 CPUtime=2498.75 cores=0-7
/proc/11755/task/11775/stat : 11775 (java) R 11753 11753 11498 0 -1 4202560 19667 0 0 0 249860 15 0 0 20 0 28 0 476428233 29456678912 603666 33554432000 4194304 4196468 140734926295216 139944800133224 139945286094875 0 4 0 16800975 0 0 0 -1 0 0 0 13 0 0 6293624 6294260 6819840 140734926300118 140734926300294 140734926300294 140734926303183 0
[pid=11755/tid=11776] ppid=11753 vsize=28766288 memory=1448 CPUtime=2497.21 cores=0-7
/proc/11755/task/11776/stat : 11776 (java) R 11753 11753 11498 0 -1 4202560 25788 0 0 0 249690 31 0 0 20 0 28 0 476428233 29456678912 603666 33554432000 4194304 4196468 140734926295216 139943873504584 139945292636685 0 4 0 16800975 0 0 0 -1 7 0 0 11 0 0 6293624 6294260 6819840 140734926300118 140734926300294 140734926300294 140734926303183 0
[pid=11755/tid=11777] ppid=11753 vsize=28766288 memory=3624 CPUtime=2497.47 cores=0-7
/proc/11755/task/11777/stat : 11777 (java) R 11753 11753 11498 0 -1 4202560 29943 0 0 0 249709 38 0 0 20 0 28 0 476428233 29456678912 603666 33554432000 4194304 4196468 140734926295216 139943872451016 139945292219283 0 4 0 16800975 0 0 0 -1 4 0 0 17 0 0 6293624 6294260 6819840 140734926300118 140734926300294 140734926300294 140734926303183 0
[pid=11755/tid=11778] ppid=11753 vsize=28766288 memory=54880 CPUtime=2495.16 cores=0-7
/proc/11755/task/11778/stat : 11778 (java) R 11753 11753 11498 0 -1 4202560 33771 0 0 0 249444 72 0 0 20 0 28 0 476428233 29456678912 603666 33554432000 4194304 4196468 140734926295216 139943871397600 139945287440779 0 4 0 16800975 0 0 0 -1 3 0 0 13 0 0 6293624 6294260 6819840 140734926300118 140734926300294 140734926300294 140734926303183 0
[pid=11755/tid=11779] ppid=11753 vsize=28766288 memory=1448 CPUtime=2485.72 cores=0-7
/proc/11755/task/11779/stat : 11779 (java) R 11753 11753 11498 0 -1 4202560 21078 0 0 0 248537 35 0 0 20 0 28 0 476428233 29456678912 603666 33554432000 4194304 4196468 140734926295216 139943870348080 139945293279348 0 4 0 16800975 0 0 0 -1 2 0 0 14 0 0 6293624 6294260 6819840 140734926300118 140734926300294 140734926300294 140734926303183 0
[pid=11755/tid=11780] ppid=11753 vsize=28766288 memory=1448 CPUtime=2492.75 cores=0-7
/proc/11755/task/11780/stat : 11780 (java) R 11753 11753 11498 0 -1 4202560 22770 0 0 0 249234 41 0 0 20 0 28 0 476428233 29456678912 603666 33554432000 4194304 4196468 140734926295216 139943869292776 139945293279436 0 4 0 16800975 0 0 0 -1 1 0 0 12 0 0 6293624 6294260 6819840 140734926300118 140734926300294 140734926300294 140734926303183 0
[pid=11755/tid=11781] ppid=11753 vsize=28766288 memory=2414664 CPUtime=2494.29 cores=0-7
/proc/11755/task/11781/stat : 11781 (java) R 11753 11753 11498 0 -1 4202560 15334 0 0 0 249411 18 0 0 20 0 28 0 476428234 29456678912 603666 33554432000 4194304 4196468 140734926295216 139943868240856 139945292640975 0 4 0 16800975 0 0 0 -1 6 0 0 13 0 0 6293624 6294260 6819840 140734926300118 140734926300294 140734926300294 140734926303183 0
[pid=11755/tid=11782] ppid=11753 vsize=28766288 memory=2415672 CPUtime=2492.25 cores=0-7
/proc/11755/task/11782/stat : 11782 (java) R 11753 11753 11498 0 -1 4202560 26083 0 0 0 249171 54 0 0 20 0 28 0 476428234 29456678912 603666 33554432000 4194304 4196468 140734926295216 139943867187592 139945287440814 0 4 0 16800975 0 0 0 -1 5 0 0 9 0 0 6293624 6294260 6819840 140734926300118 140734926300294 140734926300294 140734926303183 0
Current children cumulated CPU time: 20028.1 s
Current children cumulated vsize: 28879416 KiB
Current children cumulated memory: 2416112 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.04 s]
# the end of solver process 11753 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.001195 s, system=0.001195 s
[startup+2520.1 s]
# the end of solver process 11755 was just reported to runsolver
# cumulated CPU time of all completed processes: user=20018.2 s, system=10.507 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+2520 s]
/proc/loadavg: 8.15 8.19 8.23 9/220 11992
/proc/meminfo: memFree=22221348/32770624 swapFree=66997224/67108860
[pid=11753] ppid=11750 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/11753/stat : 11753 (xcsp3-exec) S 11750 11753 11498 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 476428076 115843072 362 33554432000 4194304 5098028 140736405496368 140736405494472 139717228253820 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 24858624 140736405504850 140736405505109 140736405505109 140736405508038 0
/proc/11753/statm: 28282 362 304 221 0 87 0
[pid=11755] ppid=11753 vsize=28766288 memory=2414664 CPUtime=20028.1 cores=0-7
/proc/11755/stat : 11755 (java) S 11753 11753 11498 0 -1 1077944320 695084 0 0 0 2001762 1048 0 0 20 0 28 0 476428076 29456678912 603666 33554432000 4194304 4196468 140734926295216 140734926277760 139945698336503 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 6819840 140734926300118 140734926300294 140734926300294 140734926303183 0
/proc/11755/statm: 7191572 603666 3538 1 0 7152672 0
[pid=11755/tid=11756] ppid=11753 vsize=28766288 memory=1448 CPUtime=1.5 cores=0-7
/proc/11755/task/11756/stat : 11756 (java) S 11753 11753 11498 0 -1 1077944384 9303 0 0 0 144 6 0 0 20 0 28 0 476428077 29456678912 603666 33554432000 4194304 4196468 140734926295216 139945702577280 139945698346709 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6819840 140734926300118 140734926300294 140734926300294 140734926303183 0
[pid=11755/tid=11757] ppid=11753 vsize=28766288 memory=2414664 CPUtime=7.13 cores=0-7
/proc/11755/task/11757/stat : 11757 (java) S 11753 11753 11498 0 -1 1077944384 31956 0 0 0 668 45 0 0 20 0 28 0 476428078 29456678912 603666 33554432000 4194304 4196468 140734926295216 139945618189072 139945698346709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 4 0 0 6293624 6294260 6819840 140734926300118 140734926300294 140734926300294 140734926303183 0
[pid=11755/tid=11758] ppid=11753 vsize=28766288 memory=2414664 CPUtime=7.14 cores=0-7
/proc/11755/task/11758/stat : 11758 (java) S 11753 11753 11498 0 -1 1077944384 28734 0 0 0 673 41 0 0 20 0 28 0 476428078 29456678912 603666 33554432000 4194304 4196468 140734926295216 139945617136528 139945698346709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 4 0 0 6293624 6294260 6819840 140734926300118 140734926300294 140734926300294 140734926303183 0
[pid=11755/tid=11759] ppid=11753 vsize=28766288 memory=1448 CPUtime=7.1 cores=0-7
/proc/11755/task/11759/stat : 11759 (java) S 11753 11753 11498 0 -1 1077944384 24000 0 0 0 673 37 0 0 20 0 28 0 476428078 29456678912 603666 33554432000 4194304 4196468 140734926295216 139945616083984 139945698346709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 6 0 0 6293624 6294260 6819840 140734926300118 140734926300294 140734926300294 140734926303183 0
[pid=11755/tid=11760] ppid=11753 vsize=28766288 memory=1448 CPUtime=7.09 cores=0-7
/proc/11755/task/11760/stat : 11760 (java) S 11753 11753 11498 0 -1 1077944384 28898 0 0 0 669 40 0 0 20 0 28 0 476428078 29456678912 603666 33554432000 4194304 4196468 140734926295216 139945615031440 139945698346709 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 4 0 0 6293624 6294260 6819840 140734926300118 140734926300294 140734926300294 140734926303183 0
[pid=11755/tid=11761] ppid=11753 vsize=28766288 memory=1448 CPUtime=7.04 cores=0-7
/proc/11755/task/11761/stat : 11761 (java) S 11753 11753 11498 0 -1 1077944384 34160 0 0 0 664 40 0 0 20 0 28 0 476428078 29456678912 603666 33554432000 4194304 4196468 140734926295216 139945613977872 139945698346709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 6 0 0 6293624 6294260 6819840 140734926300118 140734926300294 140734926300294 140734926303183 0
[pid=11755/tid=11762] ppid=11753 vsize=28766288 memory=1448 CPUtime=7.13 cores=0-7
/proc/11755/task/11762/stat : 11762 (java) S 11753 11753 11498 0 -1 1077944384 29297 0 0 0 673 40 0 0 20 0 28 0 476428078 29456678912 603666 33554432000 4194304 4196468 140734926295216 139945612925328 139945698346709 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 4 0 0 6293624 6294260 6819840 140734926300118 140734926300294 140734926300294 140734926303183 0
[pid=11755/tid=11763] ppid=11753 vsize=28766288 memory=2415176 CPUtime=7.12 cores=0-7
/proc/11755/task/11763/stat : 11763 (java) S 11753 11753 11498 0 -1 1077944384 35232 0 0 0 671 41 0 0 20 0 28 0 476428078 29456678912 603666 33554432000 4194304 4196468 140734926295216 139945611872784 139945698346709 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 4 0 0 6293624 6294260 6819840 140734926300118 140734926300294 140734926300294 140734926303183 0
[pid=11755/tid=11764] ppid=11753 vsize=28766288 memory=3624 CPUtime=7.12 cores=0-7
/proc/11755/task/11764/stat : 11764 (java) S 11753 11753 11498 0 -1 1077944384 32787 0 0 0 669 43 0 0 20 0 28 0 476428078 29456678912 603666 33554432000 4194304 4196468 140734926295216 139945610820240 139945698346709 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 4 0 0 6293624 6294260 6819840 140734926300118 140734926300294 140734926300294 140734926303183 0
[pid=11755/tid=11765] ppid=11753 vsize=28766288 memory=54880 CPUtime=7.86 cores=0-7
/proc/11755/task/11765/stat : 11765 (java) S 11753 11753 11498 0 -1 1077944384 202145 0 0 0 366 420 0 0 20 0 28 0 476428079 29456678912 603666 33554432000 4194304 4196468 140734926295216 139944814299632 139945698347650 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6819840 140734926300118 140734926300294 140734926300294 140734926303183 0
[pid=11755/tid=11766] ppid=11753 vsize=28766288 memory=1448 CPUtime=0 cores=0-7
/proc/11755/task/11766/stat : 11766 (java) S 11753 11753 11498 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 476428079 29456678912 603666 33554432000 4194304 4196468 140734926295216 139944813245920 139945698346709 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6819840 140734926300118 140734926300294 140734926300294 140734926303183 0
[pid=11755/tid=11767] ppid=11753 vsize=28766288 memory=1448 CPUtime=0 cores=0-7
/proc/11755/task/11767/stat : 11767 (java) S 11753 11753 11498 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 28 0 476428080 29456678912 603666 33554432000 4194304 4196468 140734926295216 139944812193280 139945698346709 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6819840 140734926300118 140734926300294 140734926300294 140734926303183 0
[pid=11755/tid=11768] ppid=11753 vsize=28766288 memory=932 CPUtime=0 cores=0-7
/proc/11755/task/11768/stat : 11768 (java) S 11753 11753 11498 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 476428082 29456678912 603666 33554432000 4194304 4196468 140734926295216 139944811141840 139945698355099 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6819840 140734926300118 140734926300294 140734926300294 140734926303183 0
[pid=11755/tid=11769] ppid=11753 vsize=28766288 memory=3680 CPUtime=2.3 cores=0-7
/proc/11755/task/11769/stat : 11769 (java) S 11753 11753 11498 0 -1 1077944384 9313 0 0 0 228 2 0 0 20 0 28 0 476428082 29456678912 603666 33554432000 4194304 4196468 140734926295216 139944810088432 139945698347650 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6819840 140734926300118 140734926300294 140734926300294 140734926303183 0
[pid=11755/tid=11770] ppid=11753 vsize=28766288 memory=6791534058613427641 CPUtime=2.06 cores=0-7
/proc/11755/task/11770/stat : 11770 (java) S 11753 11753 11498 0 -1 1077944384 8633 0 0 0 204 2 0 0 20 0 28 0 476428082 29456678912 603666 33554432000 4194304 4196468 140734926295216 139944809035888 139945698347650 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6819840 140734926300118 140734926300294 140734926300294 140734926303183 0
[pid=11755/tid=11771] ppid=11753 vsize=28766288 memory=1412 CPUtime=2.35 cores=0-7
/proc/11755/task/11771/stat : 11771 (java) S 11753 11753 11498 0 -1 1077944384 10792 0 0 0 233 2 0 0 20 0 28 0 476428082 29456678912 603666 33554432000 4194304 4196468 140734926295216 139944807983344 139945698347650 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6819840 140734926300118 140734926300294 140734926300294 140734926303183 0
[pid=11755/tid=11772] ppid=11753 vsize=28766288 memory=988 CPUtime=0.7 cores=0-7
/proc/11755/task/11772/stat : 11772 (java) S 11753 11753 11498 0 -1 1077944384 8059 0 0 0 69 1 0 0 20 0 28 0 476428082 29456678912 603666 33554432000 4194304 4196468 140734926295216 139944806930800 139945698347650 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 6819840 140734926300118 140734926300294 140734926300294 140734926303183 0
[pid=11755/tid=11773] ppid=11753 vsize=28766288 memory=3628 CPUtime=0 cores=0-7
/proc/11755/task/11773/stat : 11773 (java) S 11753 11753 11498 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 476428082 29456678912 603666 33554432000 4194304 4196468 140734926295216 139944805878496 139945698346709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6819840 140734926300118 140734926300294 140734926300294 140734926303183 0
[pid=11755/tid=11774] ppid=11753 vsize=28766288 memory=111636 CPUtime=0.62 cores=0-7
/proc/11755/task/11774/stat : 11774 (java) S 11753 11753 11498 0 -1 1077944384 6043 0 0 0 12 50 0 0 20 0 28 0 476428083 29456678912 603666 33554432000 4194304 4196468 140734926295216 139944804826032 139945698347650 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6819840 140734926300118 140734926300294 140734926300294 140734926303183 0
[pid=11755/tid=11775] ppid=11753 vsize=28766288 memory=804 CPUtime=2498.75 cores=0-7
/proc/11755/task/11775/stat : 11775 (java) R 11753 11753 11498 0 -1 4202560 19667 0 0 0 249860 15 0 0 20 0 28 0 476428233 29456678912 603666 33554432000 4194304 4196468 140734926295216 139944800133224 139945286094875 0 4 0 16800975 0 0 0 -1 0 0 0 13 0 0 6293624 6294260 6819840 140734926300118 140734926300294 140734926300294 140734926303183 0
[pid=11755/tid=11776] ppid=11753 vsize=28766288 memory=1448 CPUtime=2497.21 cores=0-7
/proc/11755/task/11776/stat : 11776 (java) R 11753 11753 11498 0 -1 4202560 25788 0 0 0 249690 31 0 0 20 0 28 0 476428233 29456678912 603666 33554432000 4194304 4196468 140734926295216 139943873504584 139945292636685 0 4 0 16800975 0 0 0 -1 7 0 0 11 0 0 6293624 6294260 6819840 140734926300118 140734926300294 140734926300294 140734926303183 0
[pid=11755/tid=11777] ppid=11753 vsize=28766288 memory=3624 CPUtime=2497.47 cores=0-7
/proc/11755/task/11777/stat : 11777 (java) R 11753 11753 11498 0 -1 4202560 29943 0 0 0 249709 38 0 0 20 0 28 0 476428233 29456678912 603666 33554432000 4194304 4196468 140734926295216 139943872451016 139945292219283 0 4 0 16800975 0 0 0 -1 4 0 0 17 0 0 6293624 6294260 6819840 140734926300118 140734926300294 140734926300294 140734926303183 0
[pid=11755/tid=11778] ppid=11753 vsize=28766288 memory=54880 CPUtime=2495.16 cores=0-7
/proc/11755/task/11778/stat : 11778 (java) R 11753 11753 11498 0 -1 4202560 33771 0 0 0 249444 72 0 0 20 0 28 0 476428233 29456678912 603666 33554432000 4194304 4196468 140734926295216 139943871397600 139945287440779 0 4 0 16800975 0 0 0 -1 3 0 0 13 0 0 6293624 6294260 6819840 140734926300118 140734926300294 140734926300294 140734926303183 0
[pid=11755/tid=11779] ppid=11753 vsize=28766288 memory=1448 CPUtime=2485.72 cores=0-7
/proc/11755/task/11779/stat : 11779 (java) R 11753 11753 11498 0 -1 4202560 21078 0 0 0 248537 35 0 0 20 0 28 0 476428233 29456678912 603666 33554432000 4194304 4196468 140734926295216 139943870348080 139945293279348 0 4 0 16800975 0 0 0 -1 2 0 0 14 0 0 6293624 6294260 6819840 140734926300118 140734926300294 140734926300294 140734926303183 0
[pid=11755/tid=11780] ppid=11753 vsize=28766288 memory=1448 CPUtime=2492.75 cores=0-7
/proc/11755/task/11780/stat : 11780 (java) R 11753 11753 11498 0 -1 4202560 22770 0 0 0 249234 41 0 0 20 0 28 0 476428233 29456678912 603666 33554432000 4194304 4196468 140734926295216 139943869292776 139945293279436 0 4 0 16800975 0 0 0 -1 1 0 0 12 0 0 6293624 6294260 6819840 140734926300118 140734926300294 140734926300294 140734926303183 0
[pid=11755/tid=11781] ppid=11753 vsize=28766288 memory=2414664 CPUtime=2494.29 cores=0-7
/proc/11755/task/11781/stat : 11781 (java) R 11753 11753 11498 0 -1 4202560 15334 0 0 0 249411 18 0 0 20 0 28 0 476428234 29456678912 603666 33554432000 4194304 4196468 140734926295216 139943868240856 139945292640975 0 4 0 16800975 0 0 0 -1 6 0 0 13 0 0 6293624 6294260 6819840 140734926300118 140734926300294 140734926300294 140734926303183 0
[pid=11755/tid=11782] ppid=11753 vsize=28766288 memory=2415672 CPUtime=2492.25 cores=0-7
/proc/11755/task/11782/stat : 11782 (java) R 11753 11753 11498 0 -1 4202560 26083 0 0 0 249171 54 0 0 20 0 28 0 476428234 29456678912 603666 33554432000 4194304 4196468 140734926295216 139943867187592 139945287440814 0 4 0 16800975 0 0 0 -1 5 0 0 9 0 0 6293624 6294260 6819840 140734926300118 140734926300294 140734926300294 140734926303183 0
Current children cumulated CPU time: 20028.1 s
Current children cumulated vsize: 28879416 KiB
Current children cumulated memory: 2416112 KiB
Child status: 143
Real time (s): 2520.1
CPU time (s): 20028.8
CPU user time (s): 20018.2
CPU system time (s): 10.507
CPU usage (%): 794.761
Max. virtual memory (cumulated for all children) (KiB): 28879416
Max. memory (cumulated for all children) (KiB): 2602676
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 20018.2
system time used= 10.507
maximum resident set size= 2605872
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 695941
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3440
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 159011
involuntary context switches= 240121
# summary of solver processes directly reported to runsolver:
# pid: 11753,11755
# total CPU time (s): 20028.8
# total CPU user time (s): 20018.2
# total CPU system time (s): 10.507
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 26.496 second user time and 24.2146 second system time
The end
Begin job on node140 at 2019-09-20 20:40:56
IDJOB=4404280
IDBENCH=134701
IDSOLVER=2865
FILE ID=node140/4404280-1569004897
RUNJOBID= node140-1569004851-11525
PBS_JOBID= 21704742
Free space on /var/tmp= 13508 MiB
SOLVER NAME= choco-solver 2019-09-20 parallel
BENCH NAME= XCSP17/PseudoBoolean/PseudoBoolean-dec-fpga/Pb-fpga45-44-sat.xml
COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 24000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4404280-1569004897/watcher-4404280-1569004897 -o /var/tmp/evaluation-result-4404280-1569004897/solver-4404280-1569004897 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node140-1569004851-11525 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 122214793 HOME/instance-4404280-1569004897.xml
TIME LIMIT= 20160 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8
MD5SUM BENCH= 5bcfa8fa7457011a5ed18201858fb80b
RANDOM SEED=122214793
node140.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5333.43
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5332.55
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5333.43
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5332.55
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5333.43
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5332.55
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5333.43
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5332.55
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 32770624 kB
MemFree: 24630364 kB
MemAvailable: 31851224 kB
Buffers: 79044 kB
Cached: 7228252 kB
SwapCached: 2516 kB
Active: 3633032 kB
Inactive: 3681756 kB
Active(anon): 3784 kB
Inactive(anon): 50652 kB
Active(file): 3629248 kB
Inactive(file): 3631104 kB
Unevictable: 107440 kB
Mlocked: 107440 kB
SwapTotal: 67108860 kB
SwapFree: 66997224 kB
Dirty: 26188 kB
Writeback: 0 kB
AnonPages: 119300 kB
Mapped: 52180 kB
Shmem: 38328 kB
Slab: 417460 kB
SReclaimable: 388968 kB
SUnreclaim: 28492 kB
KernelStack: 3840 kB
PageTables: 5676 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 83494172 kB
Committed_AS: 506424 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 350232 kB
VmallocChunk: 34341910524 kB
HardwareCorrupted: 0 kB
AnonHugePages: 75776 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
DirectMap4k: 105856 kB
DirectMap2M: 33439744 kB
Free space on /var/tmp at the end= 13484 MiB
End job on node140 at 2019-09-20 21:22:56