0.00/0.00 c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4297818-1532718753.xml" -tl '20160s' -p 8
0.12/0.18 c Choco e747e1e
0.12/0.18 c [HOME/instance-4297818-1532718753.xml, -tl, 20160s, -p, 8]
0.33/0.22 c 8 solvers in parallel
0.33/0.28 c parse instance...
2.56/0.93 c solve instance...
19798.78/2520.02 s UNKNOWN
19798.78/2520.02 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 (10705 MiB free)
memory of node 1: 16384 MiB (12670 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4297818-1532718753/watcher-4297818-1532718753 -o /tmp/evaluation-result-4297818-1532718753/solver-4297818-1532718753 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node139-1532718753-21075 --watchdog 2580 HOME/xcsp3-exec -seed 1264972512 -dir HOME -tl 20160 -ml 22000 -p 8 HOME/instance-4297818-1532718753.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=21092, runsolver pid=21089
[startup+0.104141 s]*
/proc/loadavg: 7.91 8.31 7.87 3/200 21113
/proc/meminfo: memFree=23921756/32770624 swapFree=67108860/67108860
[pid=21092] ppid=21089 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/21092/stat : 21092 (xcsp3-exec) S 21089 21092 21047 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 89438462 115843072 363 33554432000 4194304 5098028 140736242159664 140736242157768 139831650718332 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 11808768 140736242164789 140736242164992 140736242164992 140736242167754 0
/proc/21092/statm: 28282 363 305 221 0 87 0
[pid=21094] ppid=21092 vsize=26104152 memory=27584 CPUtime=0.12 cores=0-7
/proc/21094/stat : 21094 (java) S 21092 21092 21047 0 -1 1077944320 5835 0 0 0 11 1 0 0 20 0 20 0 89438462 26730651648 6896 33554432000 4194304 4196468 140728034069424 140728034051968 140608504291063 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 28798976 140728034071681 140728034071853 140728034071853 140728034074575 0
/proc/21094/statm: 6526038 6896 2995 1 0 6488315 0
[pid=21094/tid=21095] ppid=21092 vsize=26104152 memory=4134930498285298233 CPUtime=0.09 cores=0-7
/proc/21094/task/21095/stat : 21095 (java) R 21092 21092 21047 0 -1 4202560 3844 0 0 0 9 0 0 0 20 0 20 0 89438462 26730651648 6896 33554432000 4194304 4196468 140728034069424 140608508524336 140608504302998 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28798976 140728034071681 140728034071853 140728034071853 140728034074575 0
[pid=21094/tid=21096] ppid=21092 vsize=26104152 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/21094/task/21096/stat : 21096 (java) S 21092 21092 21047 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89438463 26730651648 6896 33554432000 4194304 4196468 140728034069424 140608456911248 140608504301269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28798976 140728034071681 140728034071853 140728034071853 140728034074575 0
[pid=21094/tid=21097] ppid=21092 vsize=26104152 memory=139902438651520 CPUtime=0 cores=0-7
/proc/21094/task/21097/stat : 21097 (java) S 21092 21092 21047 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89438463 26730651648 6896 33554432000 4194304 4196468 140728034069424 140608455858448 140608504301269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28798976 140728034071681 140728034071853 140728034071853 140728034074575 0
[pid=21094/tid=21098] ppid=21092 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/21094/task/21098/stat : 21098 (java) S 21092 21092 21047 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89438463 26730651648 6896 33554432000 4194304 4196468 140728034069424 140608454806160 140608504301269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28798976 140728034071681 140728034071853 140728034071853 140728034074575 0
[pid=21094/tid=21099] ppid=21092 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/21094/task/21099/stat : 21099 (java) S 21092 21092 21047 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89438463 26730651648 6896 33554432000 4194304 4196468 140728034069424 140608453753360 140608504301269 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28798976 140728034071681 140728034071853 140728034071853 140728034074575 0
[pid=21094/tid=21100] ppid=21092 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/21094/task/21100/stat : 21100 (java) S 21092 21092 21047 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89438463 26730651648 6896 33554432000 4194304 4196468 140728034069424 140608452701072 140608504301269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28798976 140728034071681 140728034071853 140728034071853 140728034074575 0
[pid=21094/tid=21101] ppid=21092 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/21094/task/21101/stat : 21101 (java) S 21092 21092 21047 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89438463 26730651648 6896 33554432000 4194304 4196468 140728034069424 140608451648272 140608504301269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28798976 140728034071681 140728034071853 140728034071853 140728034074575 0
[pid=21094/tid=21102] ppid=21092 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/21094/task/21102/stat : 21102 (java) S 21092 21092 21047 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89438463 26730651648 6896 33554432000 4194304 4196468 140728034069424 140608450595984 140608504301269 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28798976 140728034071681 140728034071853 140728034071853 140728034074575 0
[pid=21094/tid=21103] ppid=21092 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/21094/task/21103/stat : 21103 (java) S 21092 21092 21047 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89438463 26730651648 6896 33554432000 4194304 4196468 140728034069424 140608449543184 140608504301269 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28798976 140728034071681 140728034071853 140728034071853 140728034074575 0
[pid=21094/tid=21104] ppid=21092 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/21094/task/21104/stat : 21104 (java) S 21092 21092 21047 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 20 0 89438464 26730651648 6896 33554432000 4194304 4196468 140728034069424 140607564535920 140608504302210 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28798976 140728034071681 140728034071853 140728034071853 140728034074575 0
[pid=21094/tid=21105] ppid=21092 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/21094/task/21105/stat : 21105 (java) S 21092 21092 21047 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 89438465 26730651648 6896 33554432000 4194304 4196468 140728034069424 140607563481888 140608504301269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28798976 140728034071681 140728034071853 140728034071853 140728034074575 0
[pid=21094/tid=21106] ppid=21092 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/21094/task/21106/stat : 21106 (java) S 21092 21092 21047 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 89438465 26730651648 6896 33554432000 4194304 4196468 140728034069424 140607562429552 140608504301269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28798976 140728034071681 140728034071853 140728034071853 140728034074575 0
[pid=21094/tid=21107] ppid=21092 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/21094/task/21107/stat : 21107 (java) S 21092 21092 21047 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89438468 26730651648 6896 33554432000 4194304 4196468 140728034069424 140607561377872 140608504309659 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28798976 140728034071681 140728034071853 140728034071853 140728034074575 0
[pid=21094/tid=21108] ppid=21092 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/21094/task/21108/stat : 21108 (java) S 21092 21092 21047 0 -1 1077944384 301 0 0 0 0 0 0 0 20 0 20 0 89438468 26730651648 6896 33554432000 4194304 4196468 140728034069424 140607560325744 140608504302210 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28798976 140728034071681 140728034071853 140728034071853 140728034074575 0
[pid=21094/tid=21109] ppid=21092 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/21094/task/21109/stat : 21109 (java) R 21092 21092 21047 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 89438468 26730651648 6896 33554432000 4194304 4196468 140728034069424 140607559272944 140608504302210 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28798976 140728034071681 140728034071853 140728034071853 140728034074575 0
[pid=21094/tid=21110] ppid=21092 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/21094/task/21110/stat : 21110 (java) S 21092 21092 21047 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 89438468 26730651648 6896 33554432000 4194304 4196468 140728034069424 140607558220656 140608504302210 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28798976 140728034071681 140728034071853 140728034071853 140728034074575 0
[pid=21094/tid=21111] ppid=21092 vsize=26104152 memory=0 CPUtime=0.01 cores=0-7
/proc/21094/task/21111/stat : 21111 (java) R 21092 21092 21047 0 -1 4202560 261 0 0 0 1 0 0 0 20 0 20 0 89438468 26730651648 6896 33554432000 4194304 4196468 140728034069424 140607557167856 140608489986092 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28798976 140728034071681 140728034071853 140728034071853 140728034074575 0
[pid=21094/tid=21112] ppid=21092 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/21094/task/21112/stat : 21112 (java) S 21092 21092 21047 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 89438468 26730651648 6896 33554432000 4194304 4196468 140728034069424 140607556114784 140608504301269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28798976 140728034071681 140728034071853 140728034071853 140728034074575 0
[pid=21094/tid=21113] ppid=21092 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/21094/task/21113/stat : 21113 (java) S 21092 21092 21047 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89438468 26730651648 6896 33554432000 4194304 4196468 140728034069424 140607555062064 140608504302210 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28798976 140728034071681 140728034071853 140728034071853 140728034074575 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 26217280 KiB
Current children cumulated memory: 29036 KiB
[startup+0.210554 s]*
/proc/loadavg: 7.91 8.31 7.87 3/200 21113
/proc/meminfo: memFree=23911184/32770624 swapFree=67108860/67108860
[pid=21092] ppid=21089 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/21092/stat : 21092 (xcsp3-exec) S 21089 21092 21047 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 89438462 115843072 363 33554432000 4194304 5098028 140736242159664 140736242157768 139831650718332 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 11808768 140736242164789 140736242164992 140736242164992 140736242167754 0
/proc/21092/statm: 28282 363 305 221 0 87 0
[pid=21094] ppid=21092 vsize=26104152 memory=39632 CPUtime=0.33 cores=0-7
/proc/21094/stat : 21094 (java) S 21092 21092 21047 0 -1 1077944320 8471 0 0 0 31 2 0 0 20 0 20 0 89438462 26730651648 9908 33554432000 4194304 4196468 140728034069424 140728034051968 140608504291063 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 28798976 140728034071681 140728034071853 140728034071853 140728034074575 0
/proc/21094/statm: 6526038 9908 3157 1 0 6488315 0
[pid=21094/tid=21095] ppid=21092 vsize=26104152 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/21094/task/21095/stat : 21095 (java) R 21092 21092 21047 0 -1 4202560 5598 0 0 0 18 1 0 0 20 0 20 0 89438462 26730651648 9908 33554432000 4194304 4196468 140728034069424 140608508528864 140608488371550 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28798976 140728034071681 140728034071853 140728034071853 140728034074575 0
[pid=21094/tid=21096] ppid=21092 vsize=26104152 memory=329 CPUtime=0 cores=0-7
/proc/21094/task/21096/stat : 21096 (java) S 21092 21092 21047 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89438463 26730651648 9908 33554432000 4194304 4196468 140728034069424 140608456911248 140608504301269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28798976 140728034071681 140728034071853 140728034071853 140728034074575 0
[pid=21094/tid=21097] ppid=21092 vsize=26104152 memory=288370278590363264 CPUtime=0 cores=0-7
/proc/21094/task/21097/stat : 21097 (java) S 21092 21092 21047 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89438463 26730651648 9908 33554432000 4194304 4196468 140728034069424 140608455858448 140608504301269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28798976 140728034071681 140728034071853 140728034071853 140728034074575 0
[pid=21094/tid=21098] ppid=21092 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/21094/task/21098/stat : 21098 (java) S 21092 21092 21047 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89438463 26730651648 9908 33554432000 4194304 4196468 140728034069424 140608454806160 140608504301269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28798976 140728034071681 140728034071853 140728034071853 140728034074575 0
[pid=21094/tid=21099] ppid=21092 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/21094/task/21099/stat : 21099 (java) S 21092 21092 21047 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89438463 26730651648 9908 33554432000 4194304 4196468 140728034069424 140608453753360 140608504301269 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28798976 140728034071681 140728034071853 140728034071853 140728034074575 0
[pid=21094/tid=21100] ppid=21092 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/21094/task/21100/stat : 21100 (java) S 21092 21092 21047 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89438463 26730651648 9908 33554432000 4194304 4196468 140728034069424 140608452701072 140608504301269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28798976 140728034071681 140728034071853 140728034071853 140728034074575 0
[pid=21094/tid=21101] ppid=21092 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/21094/task/21101/stat : 21101 (java) S 21092 21092 21047 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89438463 26730651648 9908 33554432000 4194304 4196468 140728034069424 140608451648272 140608504301269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28798976 140728034071681 140728034071853 140728034071853 140728034074575 0
[pid=21094/tid=21102] ppid=21092 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/21094/task/21102/stat : 21102 (java) S 21092 21092 21047 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89438463 26730651648 9908 33554432000 4194304 4196468 140728034069424 140608450595984 140608504301269 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28798976 140728034071681 140728034071853 140728034071853 140728034074575 0
[pid=21094/tid=21103] ppid=21092 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/21094/task/21103/stat : 21103 (java) S 21092 21092 21047 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89438463 26730651648 9908 33554432000 4194304 4196468 140728034069424 140608449543184 140608504301269 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28798976 140728034071681 140728034071853 140728034071853 140728034074575 0
[pid=21094/tid=21104] ppid=21092 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/21094/task/21104/stat : 21104 (java) S 21092 21092 21047 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 20 0 89438464 26730651648 9908 33554432000 4194304 4196468 140728034069424 140607564535920 140608504302210 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28798976 140728034071681 140728034071853 140728034071853 140728034074575 0
[pid=21094/tid=21105] ppid=21092 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/21094/task/21105/stat : 21105 (java) S 21092 21092 21047 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 89438465 26730651648 9908 33554432000 4194304 4196468 140728034069424 140607563481888 140608504301269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28798976 140728034071681 140728034071853 140728034071853 140728034074575 0
[pid=21094/tid=21106] ppid=21092 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/21094/task/21106/stat : 21106 (java) S 21092 21092 21047 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 89438465 26730651648 9908 33554432000 4194304 4196468 140728034069424 140607562429552 140608504301269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28798976 140728034071681 140728034071853 140728034071853 140728034074575 0
[pid=21094/tid=21107] ppid=21092 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/21094/task/21107/stat : 21107 (java) S 21092 21092 21047 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89438468 26730651648 9908 33554432000 4194304 4196468 140728034069424 140607561377872 140608504309659 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28798976 140728034071681 140728034071853 140728034071853 140728034074575 0
[pid=21094/tid=21108] ppid=21092 vsize=26104152 memory=0 CPUtime=0.01 cores=0-7
/proc/21094/task/21108/stat : 21108 (java) S 21092 21092 21047 0 -1 1077944384 464 0 0 0 1 0 0 0 20 0 20 0 89438468 26730651648 9908 33554432000 4194304 4196468 140728034069424 140607560325744 140608504302210 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28798976 140728034071681 140728034071853 140728034071853 140728034074575 0
[pid=21094/tid=21109] ppid=21092 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/21094/task/21109/stat : 21109 (java) S 21092 21092 21047 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 89438468 26730651648 9908 33554432000 4194304 4196468 140728034069424 140607559272944 140608504302210 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28798976 140728034071681 140728034071853 140728034071853 140728034074575 0
[pid=21094/tid=21110] ppid=21092 vsize=26104152 memory=-1 CPUtime=0.02 cores=0-7
/proc/21094/task/21110/stat : 21110 (java) S 21092 21092 21047 0 -1 1077944384 227 0 0 0 2 0 0 0 20 0 20 0 89438468 26730651648 9908 33554432000 4194304 4196468 140728034069424 140607558220656 140608504302210 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28798976 140728034071681 140728034071853 140728034071853 140728034074575 0
[pid=21094/tid=21111] ppid=21092 vsize=26104152 memory=-1 CPUtime=0.07 cores=0-7
/proc/21094/task/21111/stat : 21111 (java) S 21092 21092 21047 0 -1 1077944384 748 0 0 0 7 0 0 0 20 0 20 0 89438468 26730651648 9908 33554432000 4194304 4196468 140728034069424 140607557167856 140608504302210 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28798976 140728034071681 140728034071853 140728034071853 140728034074575 0
[pid=21094/tid=21112] ppid=21092 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/21094/task/21112/stat : 21112 (java) S 21092 21092 21047 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 89438468 26730651648 9908 33554432000 4194304 4196468 140728034069424 140607556114784 140608504301269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28798976 140728034071681 140728034071853 140728034071853 140728034074575 0
[pid=21094/tid=21113] ppid=21092 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/21094/task/21113/stat : 21113 (java) S 21092 21092 21047 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89438468 26730651648 9908 33554432000 4194304 4196468 140728034069424 140607555062064 140608504302210 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28798976 140728034071681 140728034071853 140728034071853 140728034074575 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 26217280 KiB
Current children cumulated memory: 41084 KiB
[startup+0.310405 s]*
/proc/loadavg: 7.91 8.31 7.87 6/200 21113
/proc/meminfo: memFree=23905352/32770624 swapFree=67108860/67108860
[pid=21092] ppid=21089 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/21092/stat : 21092 (xcsp3-exec) S 21089 21092 21047 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 89438462 115843072 363 33554432000 4194304 5098028 140736242159664 140736242157768 139831650718332 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 11808768 140736242164789 140736242164992 140736242164992 140736242167754 0
/proc/21092/statm: 28282 363 305 221 0 87 0
[pid=21094] ppid=21092 vsize=26108408 memory=46700 CPUtime=0.51 cores=0-7
/proc/21094/stat : 21094 (java) S 21092 21092 21047 0 -1 1077944320 9328 0 0 0 48 3 0 0 20 0 20 0 89438462 26735009792 11675 33554432000 4194304 4196468 140728034069424 140728034051968 140608504291063 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 28798976 140728034071681 140728034071853 140728034071853 140728034074575 0
/proc/21094/statm: 6527102 11675 3254 1 0 6488315 0
[pid=21094/tid=21095] ppid=21092 vsize=26108408 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/21094/task/21095/stat : 21095 (java) R 21092 21092 21047 0 -1 4202560 6292 0 0 0 27 2 0 0 20 0 20 0 89438462 26735009792 11675 33554432000 4194304 4196468 140728034069424 140608508524848 140608488371550 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28798976 140728034071681 140728034071853 140728034071853 140728034074575 0
[pid=21094/tid=21096] ppid=21092 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/21094/task/21096/stat : 21096 (java) S 21092 21092 21047 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89438463 26735009792 11675 33554432000 4194304 4196468 140728034069424 140608456911248 140608504301269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28798976 140728034071681 140728034071853 140728034071853 140728034074575 0
[pid=21094/tid=21097] ppid=21092 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/21094/task/21097/stat : 21097 (java) S 21092 21092 21047 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89438463 26735009792 11675 33554432000 4194304 4196468 140728034069424 140608455858448 140608504301269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28798976 140728034071681 140728034071853 140728034071853 140728034074575 0
[pid=21094/tid=21098] ppid=21092 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/21094/task/21098/stat : 21098 (java) S 21092 21092 21047 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89438463 26735009792 11675 33554432000 4194304 4196468 140728034069424 140608454806160 140608504301269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28798976 140728034071681 140728034071853 140728034071853 140728034074575 0
[pid=21094/tid=21099] ppid=21092 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/21094/task/21099/stat : 21099 (java) S 21092 21092 21047 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89438463 26735009792 11675 33554432000 4194304 4196468 140728034069424 140608453753360 140608504301269 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28798976 140728034071681 140728034071853 140728034071853 140728034074575 0
[pid=21094/tid=21100] ppid=21092 vsize=26108408 memory=2244 CPUtime=0 cores=0-7
/proc/21094/task/21100/stat : 21100 (java) S 21092 21092 21047 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89438463 26735009792 11688 33554432000 4194304 4196468 140728034069424 140608452701072 140608504301269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28798976 140728034071681 140728034071853 140728034071853 140728034074575 0
[pid=21094/tid=21101] ppid=21092 vsize=26108408 memory=139902318637999 CPUtime=0 cores=0-7
/proc/21094/task/21101/stat : 21101 (java) S 21092 21092 21047 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89438463 26735009792 11688 33554432000 4194304 4196468 140728034069424 140608451648272 140608504301269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28798976 140728034071681 140728034071853 140728034071853 140728034074575 0
[pid=21094/tid=21102] ppid=21092 vsize=26108408 memory=139902318640304 CPUtime=0 cores=0-7
/proc/21094/task/21102/stat : 21102 (java) S 21092 21092 21047 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89438463 26735009792 11688 33554432000 4194304 4196468 140728034069424 140608450595984 140608504301269 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28798976 140728034071681 140728034071853 140728034071853 140728034074575 0
[pid=21094/tid=21103] ppid=21092 vsize=26108408 memory=139902318642608 CPUtime=0 cores=0-7
/proc/21094/task/21103/stat : 21103 (java) S 21092 21092 21047 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89438463 26735009792 11688 33554432000 4194304 4196468 140728034069424 140608449543184 140608504301269 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28798976 140728034071681 140728034071853 140728034071853 140728034074575 0
[pid=21094/tid=21104] ppid=21092 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/21094/task/21104/stat : 21104 (java) S 21092 21092 21047 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 20 0 89438464 26735009792 11688 33554432000 4194304 4196468 140728034069424 140607564535920 140608504302210 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28798976 140728034071681 140728034071853 140728034071853 140728034074575 0
[pid=21094/tid=21105] ppid=21092 vsize=26108408 memory=279804637292176 CPUtime=0 cores=0-7
/proc/21094/task/21105/stat : 21105 (java) S 21092 21092 21047 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 89438465 26735009792 11688 33554432000 4194304 4196468 140728034069424 140607563481888 140608504301269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28798976 140728034071681 140728034071853 140728034071853 140728034074575 0
[pid=21094/tid=21106] ppid=21092 vsize=26108408 memory=279804637299088 CPUtime=0 cores=0-7
/proc/21094/task/21106/stat : 21106 (java) S 21092 21092 21047 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 89438465 26735009792 11688 33554432000 4194304 4196468 140728034069424 140607562429552 140608504301269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28798976 140728034071681 140728034071853 140728034071853 140728034074575 0
[pid=21094/tid=21107] ppid=21092 vsize=26108408 memory=279804637240368 CPUtime=0 cores=0-7
/proc/21094/task/21107/stat : 21107 (java) S 21092 21092 21047 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89438468 26735009792 11688 33554432000 4194304 4196468 140728034069424 140607561377872 140608504309659 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28798976 140728034071681 140728034071853 140728034071853 140728034074575 0
[pid=21094/tid=21108] ppid=21092 vsize=26108408 memory=279804637312912 CPUtime=0.04 cores=0-7
/proc/21094/task/21108/stat : 21108 (java) R 21092 21092 21047 0 -1 4202560 547 0 0 0 4 0 0 0 20 0 20 0 89438468 26735009792 11688 33554432000 4194304 4196468 140728034069424 140607560306760 140608483981419 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28798976 140728034071681 140728034071853 140728034071853 140728034074575 0
[pid=21094/tid=21109] ppid=21092 vsize=26108408 memory=279804637319824 CPUtime=0.01 cores=0-7
/proc/21094/task/21109/stat : 21109 (java) S 21092 21092 21047 0 -1 1077944384 142 0 0 0 1 0 0 0 20 0 20 0 89438468 26735009792 11688 33554432000 4194304 4196468 140728034069424 140607559272944 140608504302210 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28798976 140728034071681 140728034071853 140728034071853 140728034074575 0
[pid=21094/tid=21110] ppid=21092 vsize=26108408 memory=279804637317520 CPUtime=0.02 cores=0-7
/proc/21094/task/21110/stat : 21110 (java) S 21092 21092 21047 0 -1 1077944384 230 0 0 0 2 0 0 0 20 0 20 0 89438468 26735009792 11688 33554432000 4194304 4196468 140728034069424 140607558220656 140608504302210 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28798976 140728034071681 140728034071853 140728034071853 140728034074575 0
[pid=21094/tid=21111] ppid=21092 vsize=26108408 memory=279804637333680 CPUtime=0.12 cores=0-7
/proc/21094/task/21111/stat : 21111 (java) S 21092 21092 21047 0 -1 1077944384 807 0 0 0 12 0 0 0 20 0 20 0 89438468 26735009792 11688 33554432000 4194304 4196468 140728034069424 140607557167856 140608504302210 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28798976 140728034071681 140728034071853 140728034071853 140728034074575 0
[pid=21094/tid=21112] ppid=21092 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/21094/task/21112/stat : 21112 (java) S 21092 21092 21047 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 89438468 26735009792 11688 33554432000 4194304 4196468 140728034069424 140607556114784 140608504301269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28798976 140728034071681 140728034071853 140728034071853 140728034074575 0
[pid=21094/tid=21113] ppid=21092 vsize=26108408 memory=-1 CPUtime=0 cores=0-7
/proc/21094/task/21113/stat : 21113 (java) S 21092 21092 21047 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89438468 26735009792 11688 33554432000 4194304 4196468 140728034069424 140607555062064 140608504302210 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28798976 140728034071681 140728034071853 140728034071853 140728034074575 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 26221536 KiB
Current children cumulated memory: 48152 KiB
[startup+0.701041 s]
/proc/loadavg: 7.91 8.31 7.87 4/200 21113
/proc/meminfo: memFree=23890732/32770624 swapFree=67108860/67108860
[pid=21092] ppid=21089 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/21092/stat : 21092 (xcsp3-exec) S 21089 21092 21047 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 89438462 115843072 363 33554432000 4194304 5098028 140736242159664 140736242157768 139831650718332 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 11808768 140736242164789 140736242164992 140736242164992 140736242167754 0
/proc/21092/statm: 28282 363 305 221 0 87 0
[pid=21094] ppid=21092 vsize=26110532 memory=96056 CPUtime=1.74 cores=0-7
/proc/21094/stat : 21094 (java) S 21092 21092 21047 0 -1 1077944320 13633 0 0 0 168 6 0 0 20 0 20 0 89438462 26737184768 24014 33554432000 4194304 4196468 140728034069424 140728034051968 140608504291063 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 28798976 140728034071681 140728034071853 140728034071853 140728034074575 0
/proc/21094/statm: 6527633 24014 3358 1 0 6488827 0
[pid=21094/tid=21095] ppid=21092 vsize=26110532 memory=279804637691568 CPUtime=0.67 cores=0-7
/proc/21094/task/21095/stat : 21095 (java) R 21092 21092 21047 0 -1 4202560 7057 0 0 0 64 3 0 0 20 0 20 0 89438462 26737184768 24014 33554432000 4194304 4196468 140728034069424 140608508526240 140608122656870 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28798976 140728034071681 140728034071853 140728034071853 140728034074575 0
[pid=21094/tid=21096] ppid=21092 vsize=26110532 memory=139902318846832 CPUtime=0 cores=0-7
/proc/21094/task/21096/stat : 21096 (java) S 21092 21092 21047 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89438463 26737184768 24014 33554432000 4194304 4196468 140728034069424 140608456911248 140608504301269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28798976 140728034071681 140728034071853 140728034071853 140728034074575 0
[pid=21094/tid=21097] ppid=21092 vsize=26110532 memory=0 CPUtime=0 cores=0-7
/proc/21094/task/21097/stat : 21097 (java) S 21092 21092 21047 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89438463 26737184768 24014 33554432000 4194304 4196468 140728034069424 140608455858448 140608504301269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28798976 140728034071681 140728034071853 140728034071853 140728034074575 0
[pid=21094/tid=21098] ppid=21092 vsize=26110532 memory=10616 CPUtime=0 cores=0-7
/proc/21094/task/21098/stat : 21098 (java) S 21092 21092 21047 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89438463 26737184768 24014 33554432000 4194304 4196468 140728034069424 140608454806160 140608504301269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28798976 140728034071681 140728034071853 140728034071853 140728034074575 0
################
# More data... #
################
[pid=21094/tid=21121] ppid=21092 vsize=26643044 memory=25840 CPUtime=2467.36 cores=0-7
/proc/21094/task/21121/stat : 21121 (java) R 21092 21092 21047 0 -1 4202560 168396 0 0 0 246143 593 0 0 20 0 28 0 89438556 27282477056 650517 33554432000 4194304 4196468 140728034069424 140607538912928 140608126315633 0 4 0 16800975 0 0 0 -1 1 0 0 32 0 0 6293624 6294260 28798976 140728034071681 140728034071853 140728034071853 140728034074575 0
Current children cumulated CPU time: 19659.8 s
Current children cumulated vsize: 26756172 KiB
Current children cumulated memory: 2603520 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]
/proc/loadavg: 7.92 7.86 7.87 9/207 21155
/proc/meminfo: memFree=21345056/32770624 swapFree=67108860/67108860
[pid=21092] ppid=21089 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/21092/stat : 21092 (xcsp3-exec) S 21089 21092 21047 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 89438462 115843072 363 33554432000 4194304 5098028 140736242159664 140736242157768 139831650718332 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 11808768 140736242164789 140736242164992 140736242164992 140736242167754 0
/proc/21092/statm: 28282 363 305 221 0 87 0
[pid=21094] ppid=21092 vsize=26643044 memory=2602068 CPUtime=19798.8 cores=0-7
/proc/21094/stat : 21094 (java) S 21092 21092 21047 0 -1 1077944320 1230097 0 0 0 1973080 6798 0 0 20 0 28 0 89438462 27282477056 650517 33554432000 4194304 4196468 140728034069424 140728034051968 140608504291063 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 28798976 140728034071681 140728034071853 140728034071853 140728034074575 0
/proc/21094/statm: 6660761 650517 3454 1 0 6621955 0
[pid=21094/tid=21095] ppid=21092 vsize=26643044 memory=2602068 CPUtime=0.91 cores=0-7
/proc/21094/task/21095/stat : 21095 (java) S 21092 21092 21047 0 -1 1077944384 7154 0 0 0 87 4 0 0 20 0 28 0 89438462 27282477056 650517 33554432000 4194304 4196468 140728034069424 140608508531840 140608504301269 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28798976 140728034071681 140728034071853 140728034071853 140728034074575 0
[pid=21094/tid=21096] ppid=21092 vsize=26643044 memory=2602068 CPUtime=5.55 cores=0-7
/proc/21094/task/21096/stat : 21096 (java) S 21092 21092 21047 0 -1 1077944384 48709 0 0 0 521 34 0 0 20 0 28 0 89438463 27282477056 650517 33554432000 4194304 4196468 140728034069424 140608456911248 140608504301269 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 4 0 0 6293624 6294260 28798976 140728034071681 140728034071853 140728034071853 140728034074575 0
[pid=21094/tid=21097] ppid=21092 vsize=26643044 memory=2602068 CPUtime=5.61 cores=0-7
/proc/21094/task/21097/stat : 21097 (java) S 21092 21092 21047 0 -1 1077944384 47166 0 0 0 526 35 0 0 20 0 28 0 89438463 27282477056 650517 33554432000 4194304 4196468 140728034069424 140608455858448 140608504301269 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 6 0 0 6293624 6294260 28798976 140728034071681 140728034071853 140728034071853 140728034074575 0
[pid=21094/tid=21098] ppid=21092 vsize=26643044 memory=2602068 CPUtime=5.62 cores=0-7
/proc/21094/task/21098/stat : 21098 (java) S 21092 21092 21047 0 -1 1077944384 51278 0 0 0 524 38 0 0 20 0 28 0 89438463 27282477056 650517 33554432000 4194304 4196468 140728034069424 140608454806160 140608504301269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 3 0 0 6293624 6294260 28798976 140728034071681 140728034071853 140728034071853 140728034074575 0
[pid=21094/tid=21099] ppid=21092 vsize=26643044 memory=1452 CPUtime=5.61 cores=0-7
/proc/21094/task/21099/stat : 21099 (java) S 21092 21092 21047 0 -1 1077944384 50580 0 0 0 528 33 0 0 20 0 28 0 89438463 27282477056 650517 33554432000 4194304 4196468 140728034069424 140608453753360 140608504301269 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 3 0 0 6293624 6294260 28798976 140728034071681 140728034071853 140728034071853 140728034074575 0
[pid=21094/tid=21100] ppid=21092 vsize=26643044 memory=0 CPUtime=5.67 cores=0-7
/proc/21094/task/21100/stat : 21100 (java) S 21092 21092 21047 0 -1 1077944384 48147 0 0 0 529 38 0 0 20 0 28 0 89438463 27282477056 650517 33554432000 4194304 4196468 140728034069424 140608452701072 140608504301269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 2 0 0 6293624 6294260 28798976 140728034071681 140728034071853 140728034071853 140728034074575 0
[pid=21094/tid=21101] ppid=21092 vsize=26643044 memory=2602068 CPUtime=5.65 cores=0-7
/proc/21094/task/21101/stat : 21101 (java) S 21092 21092 21047 0 -1 1077944384 52495 0 0 0 532 33 0 0 20 0 28 0 89438463 27282477056 650517 33554432000 4194304 4196468 140728034069424 140608451648272 140608504301269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 2 0 0 6293624 6294260 28798976 140728034071681 140728034071853 140728034071853 140728034074575 0
[pid=21094/tid=21102] ppid=21092 vsize=26643044 memory=1452 CPUtime=5.58 cores=0-7
/proc/21094/task/21102/stat : 21102 (java) S 21092 21092 21047 0 -1 1077944384 50488 0 0 0 522 36 0 0 20 0 28 0 89438463 27282477056 650517 33554432000 4194304 4196468 140728034069424 140608450595984 140608504301269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 4 0 0 6293624 6294260 28798976 140728034071681 140728034071853 140728034071853 140728034074575 0
[pid=21094/tid=21103] ppid=21092 vsize=26643044 memory=164 CPUtime=5.64 cores=0-7
/proc/21094/task/21103/stat : 21103 (java) S 21092 21092 21047 0 -1 1077944384 49231 0 0 0 525 39 0 0 20 0 28 0 89438463 27282477056 650517 33554432000 4194304 4196468 140728034069424 140608449543184 140608504301269 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 4 0 0 6293624 6294260 28798976 140728034071681 140728034071853 140728034071853 140728034074575 0
[pid=21094/tid=21104] ppid=21092 vsize=26643044 memory=-6876588628788210059 CPUtime=4.17 cores=0-7
/proc/21094/task/21104/stat : 21104 (java) S 21092 21092 21047 0 -1 1077944384 273457 0 0 0 256 161 0 0 20 0 28 0 89438464 27282477056 650517 33554432000 4194304 4196468 140728034069424 140607564535920 140608504302210 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28798976 140728034071681 140728034071853 140728034071853 140728034074575 0
[pid=21094/tid=21105] ppid=21092 vsize=26643044 memory=212154 CPUtime=0 cores=0-7
/proc/21094/task/21105/stat : 21105 (java) S 21092 21092 21047 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 89438465 27282477056 650517 33554432000 4194304 4196468 140728034069424 140607563481952 140608504301269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28798976 140728034071681 140728034071853 140728034071853 140728034074575 0
[pid=21094/tid=21106] ppid=21092 vsize=26643044 memory=551 CPUtime=0 cores=0-7
/proc/21094/task/21106/stat : 21106 (java) S 21092 21092 21047 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 28 0 89438465 27282477056 650517 33554432000 4194304 4196468 140728034069424 140607562429568 140608504301269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28798976 140728034071681 140728034071853 140728034071853 140728034074575 0
[pid=21094/tid=21107] ppid=21092 vsize=26643044 memory=279804639672560 CPUtime=0 cores=0-7
/proc/21094/task/21107/stat : 21107 (java) S 21092 21092 21047 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 89438468 27282477056 650517 33554432000 4194304 4196468 140728034069424 140607561377872 140608504309659 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28798976 140728034071681 140728034071853 140728034071853 140728034074575 0
[pid=21094/tid=21108] ppid=21092 vsize=26643044 memory=-8532185330861602256 CPUtime=1.53 cores=0-7
/proc/21094/task/21108/stat : 21108 (java) S 21092 21092 21047 0 -1 1077944384 8852 0 0 0 151 2 0 0 20 0 28 0 89438468 27282477056 650517 33554432000 4194304 4196468 140728034069424 140607560325744 140608504302210 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28798976 140728034071681 140728034071853 140728034071853 140728034074575 0
[pid=21094/tid=21109] ppid=21092 vsize=26643044 memory=960 CPUtime=1.4 cores=0-7
/proc/21094/task/21109/stat : 21109 (java) S 21092 21092 21047 0 -1 1077944384 6353 0 0 0 138 2 0 0 20 0 28 0 89438468 27282477056 650517 33554432000 4194304 4196468 140728034069424 140607559272944 140608504302210 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28798976 140728034071681 140728034071853 140728034071853 140728034074575 0
[pid=21094/tid=21110] ppid=21092 vsize=26643044 memory=1232 CPUtime=1.35 cores=0-7
/proc/21094/task/21110/stat : 21110 (java) S 21092 21092 21047 0 -1 1077944384 8268 0 0 0 134 1 0 0 20 0 28 0 89438468 27282477056 650517 33554432000 4194304 4196468 140728034069424 140607558220656 140608504302210 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28798976 140728034071681 140728034071853 140728034071853 140728034074575 0
[pid=21094/tid=21111] ppid=21092 vsize=26643044 memory=164 CPUtime=0.66 cores=0-7
/proc/21094/task/21111/stat : 21111 (java) S 21092 21092 21047 0 -1 1077944384 6339 0 0 0 65 1 0 0 20 0 28 0 89438468 27282477056 650517 33554432000 4194304 4196468 140728034069424 140607557167856 140608504302210 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 28798976 140728034071681 140728034071853 140728034071853 140728034074575 0
[pid=21094/tid=21112] ppid=21092 vsize=26643044 memory=6296666011528292710 CPUtime=0 cores=0-7
/proc/21094/task/21112/stat : 21112 (java) S 21092 21092 21047 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 89438468 27282477056 650517 33554432000 4194304 4196468 140728034069424 140607556114784 140608504301269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28798976 140728034071681 140728034071853 140728034071853 140728034074575 0
[pid=21094/tid=21113] ppid=21092 vsize=26643044 memory=1452 CPUtime=0.36 cores=0-7
/proc/21094/task/21113/stat : 21113 (java) S 21092 21092 21047 0 -1 1077944384 9221 0 0 0 20 16 0 0 20 0 28 0 89438468 27282477056 650517 33554432000 4194304 4196468 140728034069424 140607555062064 140608504302210 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28798976 140728034071681 140728034071853 140728034071853 140728034074575 0
[pid=21094/tid=21114] ppid=21092 vsize=26643044 memory=1452 CPUtime=2459.56 cores=0-7
/proc/21094/task/21114/stat : 21114 (java) R 21092 21092 21047 0 -1 1077944384 32253 0 0 0 245129 827 0 0 20 0 28 0 89438556 27282477056 650517 33554432000 4194304 4196468 140728034069424 140607546280880 140608504301269 0 4 0 16800975 0 0 0 -1 1 0 0 26 0 0 6293624 6294260 28798976 140728034071681 140728034071853 140728034071853 140728034074575 0
[pid=21094/tid=21115] ppid=21092 vsize=26643044 memory=2602068 CPUtime=2462.43 cores=0-7
/proc/21094/task/21115/stat : 21115 (java) R 21092 21092 21047 0 -1 4202560 27679 0 0 0 245355 888 0 0 20 0 28 0 89438556 27282477056 650517 33554432000 4194304 4196468 140728034069424 140607545229200 140608125553853 0 4 0 16800975 0 0 0 -1 5 0 0 33 0 0 6293624 6294260 28798976 140728034071681 140728034071853 140728034071853 140728034074575 0
[pid=21094/tid=21116] ppid=21092 vsize=26643044 memory=1452 CPUtime=2465.2 cores=0-7
/proc/21094/task/21116/stat : 21116 (java) R 21092 21092 21047 0 -1 4202560 72588 0 0 0 245607 913 0 0 20 0 28 0 89438556 27282477056 650517 33554432000 4194304 4196468 140728034069424 140607544176928 140608127183949 0 4 0 16800975 0 0 0 -1 1 0 0 38 0 0 6293624 6294260 28798976 140728034071681 140728034071853 140728034071853 140728034074575 0
[pid=21094/tid=21117] ppid=21092 vsize=26643044 memory=2602068 CPUtime=2470.48 cores=0-7
/proc/21094/task/21117/stat : 21117 (java) R 21092 21092 21047 0 -1 4202560 101042 0 0 0 246269 779 0 0 20 0 28 0 89438556 27282477056 650517 33554432000 4194304 4196468 140728034069424 140607543124016 140608126618623 0 4 0 16800975 0 0 0 -1 2 0 0 30 0 0 6293624 6294260 28798976 140728034071681 140728034071853 140728034071853 140728034074575 0
[pid=21094/tid=21118] ppid=21092 vsize=26643044 memory=1452 CPUtime=2466.12 cores=0-7
/proc/21094/task/21118/stat : 21118 (java) R 21092 21092 21047 0 -1 4202560 61758 0 0 0 245871 741 0 0 20 0 28 0 89438556 27282477056 650517 33554432000 4194304 4196468 140728034069424 140607542071824 140608125554284 0 4 0 16800975 0 0 0 -1 3 0 0 40 0 0 6293624 6294260 28798976 140728034071681 140728034071853 140728034071853 140728034074575 0
[pid=21094/tid=21119] ppid=21092 vsize=26643044 memory=1452 CPUtime=2469.2 cores=0-7
/proc/21094/task/21119/stat : 21119 (java) R 21092 21092 21047 0 -1 4202560 21089 0 0 0 246199 721 0 0 20 0 28 0 89438556 27282477056 650517 33554432000 4194304 4196468 140728034069424 140607541019040 140608125572492 0 4 0 16800975 0 0 0 -1 0 0 0 20 0 0 6293624 6294260 28798976 140728034071681 140728034071853 140728034071853 140728034074575 0
[pid=21094/tid=21120] ppid=21092 vsize=26643044 memory=2602068 CPUtime=2465.44 cores=0-7
/proc/21094/task/21120/stat : 21120 (java) R 21092 21092 21047 0 -1 4202560 25787 0 0 0 245671 873 0 0 20 0 28 0 89438556 27282477056 650517 33554432000 4194304 4196468 140728034069424 140607539965728 140608126919510 0 4 0 16800975 0 0 0 -1 6 0 0 35 0 0 6293624 6294260 28798976 140728034071681 140728034071853 140728034071853 140728034074575 0
[pid=21094/tid=21121] ppid=21092 vsize=26643044 memory=4616 CPUtime=2484.82 cores=0-7
/proc/21094/task/21121/stat : 21121 (java) R 21092 21092 21047 0 -1 4202560 168867 0 0 0 247885 597 0 0 20 0 28 0 89438556 27282477056 650517 33554432000 4194304 4196468 140728034069424 140607538912832 140608126457636 0 4 0 16800975 0 0 0 -1 4 0 0 32 0 0 6293624 6294260 28798976 140728034071681 140728034071853 140728034071853 140728034074575 0
Current children cumulated CPU time: 19798.8 s
Current children cumulated vsize: 26756172 KiB
Current children cumulated memory: 2603520 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.02 s]
# the end of solver process 21092 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.002089 s, system=0.000735 s
[startup+2520.04 s]
# the end of solver process 21094 was just reported to runsolver
# cumulated CPU time of all completed processes: user=19731 s, system=68.0046 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: 7.92 7.86 7.87 9/207 21155
/proc/meminfo: memFree=21345056/32770624 swapFree=67108860/67108860
[pid=21092] ppid=21089 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/21092/stat : 21092 (xcsp3-exec) S 21089 21092 21047 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 89438462 115843072 363 33554432000 4194304 5098028 140736242159664 140736242157768 139831650718332 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 11808768 140736242164789 140736242164992 140736242164992 140736242167754 0
/proc/21092/statm: 28282 363 305 221 0 87 0
[pid=21094] ppid=21092 vsize=26643044 memory=2602068 CPUtime=19798.8 cores=0-7
/proc/21094/stat : 21094 (java) S 21092 21092 21047 0 -1 1077944320 1230097 0 0 0 1973080 6798 0 0 20 0 28 0 89438462 27282477056 650517 33554432000 4194304 4196468 140728034069424 140728034051968 140608504291063 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 28798976 140728034071681 140728034071853 140728034071853 140728034074575 0
/proc/21094/statm: 6660761 650517 3454 1 0 6621955 0
[pid=21094/tid=21095] ppid=21092 vsize=26643044 memory=2602068 CPUtime=0.91 cores=0-7
/proc/21094/task/21095/stat : 21095 (java) S 21092 21092 21047 0 -1 1077944384 7154 0 0 0 87 4 0 0 20 0 28 0 89438462 27282477056 650517 33554432000 4194304 4196468 140728034069424 140608508531840 140608504301269 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28798976 140728034071681 140728034071853 140728034071853 140728034074575 0
[pid=21094/tid=21096] ppid=21092 vsize=26643044 memory=2602068 CPUtime=5.55 cores=0-7
/proc/21094/task/21096/stat : 21096 (java) S 21092 21092 21047 0 -1 1077944384 48709 0 0 0 521 34 0 0 20 0 28 0 89438463 27282477056 650517 33554432000 4194304 4196468 140728034069424 140608456911248 140608504301269 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 4 0 0 6293624 6294260 28798976 140728034071681 140728034071853 140728034071853 140728034074575 0
[pid=21094/tid=21097] ppid=21092 vsize=26643044 memory=2602068 CPUtime=5.61 cores=0-7
/proc/21094/task/21097/stat : 21097 (java) S 21092 21092 21047 0 -1 1077944384 47166 0 0 0 526 35 0 0 20 0 28 0 89438463 27282477056 650517 33554432000 4194304 4196468 140728034069424 140608455858448 140608504301269 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 6 0 0 6293624 6294260 28798976 140728034071681 140728034071853 140728034071853 140728034074575 0
[pid=21094/tid=21098] ppid=21092 vsize=26643044 memory=2602068 CPUtime=5.62 cores=0-7
/proc/21094/task/21098/stat : 21098 (java) S 21092 21092 21047 0 -1 1077944384 51278 0 0 0 524 38 0 0 20 0 28 0 89438463 27282477056 650517 33554432000 4194304 4196468 140728034069424 140608454806160 140608504301269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 3 0 0 6293624 6294260 28798976 140728034071681 140728034071853 140728034071853 140728034074575 0
[pid=21094/tid=21099] ppid=21092 vsize=26643044 memory=1452 CPUtime=5.61 cores=0-7
/proc/21094/task/21099/stat : 21099 (java) S 21092 21092 21047 0 -1 1077944384 50580 0 0 0 528 33 0 0 20 0 28 0 89438463 27282477056 650517 33554432000 4194304 4196468 140728034069424 140608453753360 140608504301269 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 3 0 0 6293624 6294260 28798976 140728034071681 140728034071853 140728034071853 140728034074575 0
[pid=21094/tid=21100] ppid=21092 vsize=26643044 memory=0 CPUtime=5.67 cores=0-7
/proc/21094/task/21100/stat : 21100 (java) S 21092 21092 21047 0 -1 1077944384 48147 0 0 0 529 38 0 0 20 0 28 0 89438463 27282477056 650517 33554432000 4194304 4196468 140728034069424 140608452701072 140608504301269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 2 0 0 6293624 6294260 28798976 140728034071681 140728034071853 140728034071853 140728034074575 0
[pid=21094/tid=21101] ppid=21092 vsize=26643044 memory=2602068 CPUtime=5.65 cores=0-7
/proc/21094/task/21101/stat : 21101 (java) S 21092 21092 21047 0 -1 1077944384 52495 0 0 0 532 33 0 0 20 0 28 0 89438463 27282477056 650517 33554432000 4194304 4196468 140728034069424 140608451648272 140608504301269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 2 0 0 6293624 6294260 28798976 140728034071681 140728034071853 140728034071853 140728034074575 0
[pid=21094/tid=21102] ppid=21092 vsize=26643044 memory=1452 CPUtime=5.58 cores=0-7
/proc/21094/task/21102/stat : 21102 (java) S 21092 21092 21047 0 -1 1077944384 50488 0 0 0 522 36 0 0 20 0 28 0 89438463 27282477056 650517 33554432000 4194304 4196468 140728034069424 140608450595984 140608504301269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 4 0 0 6293624 6294260 28798976 140728034071681 140728034071853 140728034071853 140728034074575 0
[pid=21094/tid=21103] ppid=21092 vsize=26643044 memory=164 CPUtime=5.64 cores=0-7
/proc/21094/task/21103/stat : 21103 (java) S 21092 21092 21047 0 -1 1077944384 49231 0 0 0 525 39 0 0 20 0 28 0 89438463 27282477056 650517 33554432000 4194304 4196468 140728034069424 140608449543184 140608504301269 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 4 0 0 6293624 6294260 28798976 140728034071681 140728034071853 140728034071853 140728034074575 0
[pid=21094/tid=21104] ppid=21092 vsize=26643044 memory=-6876588628788210059 CPUtime=4.17 cores=0-7
/proc/21094/task/21104/stat : 21104 (java) S 21092 21092 21047 0 -1 1077944384 273457 0 0 0 256 161 0 0 20 0 28 0 89438464 27282477056 650517 33554432000 4194304 4196468 140728034069424 140607564535920 140608504302210 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28798976 140728034071681 140728034071853 140728034071853 140728034074575 0
[pid=21094/tid=21105] ppid=21092 vsize=26643044 memory=212154 CPUtime=0 cores=0-7
/proc/21094/task/21105/stat : 21105 (java) S 21092 21092 21047 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 89438465 27282477056 650517 33554432000 4194304 4196468 140728034069424 140607563481952 140608504301269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28798976 140728034071681 140728034071853 140728034071853 140728034074575 0
[pid=21094/tid=21106] ppid=21092 vsize=26643044 memory=551 CPUtime=0 cores=0-7
/proc/21094/task/21106/stat : 21106 (java) S 21092 21092 21047 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 28 0 89438465 27282477056 650517 33554432000 4194304 4196468 140728034069424 140607562429568 140608504301269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28798976 140728034071681 140728034071853 140728034071853 140728034074575 0
[pid=21094/tid=21107] ppid=21092 vsize=26643044 memory=279804639672560 CPUtime=0 cores=0-7
/proc/21094/task/21107/stat : 21107 (java) S 21092 21092 21047 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 89438468 27282477056 650517 33554432000 4194304 4196468 140728034069424 140607561377872 140608504309659 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28798976 140728034071681 140728034071853 140728034071853 140728034074575 0
[pid=21094/tid=21108] ppid=21092 vsize=26643044 memory=-8532185330861602256 CPUtime=1.53 cores=0-7
/proc/21094/task/21108/stat : 21108 (java) S 21092 21092 21047 0 -1 1077944384 8852 0 0 0 151 2 0 0 20 0 28 0 89438468 27282477056 650517 33554432000 4194304 4196468 140728034069424 140607560325744 140608504302210 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28798976 140728034071681 140728034071853 140728034071853 140728034074575 0
[pid=21094/tid=21109] ppid=21092 vsize=26643044 memory=960 CPUtime=1.4 cores=0-7
/proc/21094/task/21109/stat : 21109 (java) S 21092 21092 21047 0 -1 1077944384 6353 0 0 0 138 2 0 0 20 0 28 0 89438468 27282477056 650517 33554432000 4194304 4196468 140728034069424 140607559272944 140608504302210 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28798976 140728034071681 140728034071853 140728034071853 140728034074575 0
[pid=21094/tid=21110] ppid=21092 vsize=26643044 memory=1232 CPUtime=1.35 cores=0-7
/proc/21094/task/21110/stat : 21110 (java) S 21092 21092 21047 0 -1 1077944384 8268 0 0 0 134 1 0 0 20 0 28 0 89438468 27282477056 650517 33554432000 4194304 4196468 140728034069424 140607558220656 140608504302210 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28798976 140728034071681 140728034071853 140728034071853 140728034074575 0
[pid=21094/tid=21111] ppid=21092 vsize=26643044 memory=164 CPUtime=0.66 cores=0-7
/proc/21094/task/21111/stat : 21111 (java) S 21092 21092 21047 0 -1 1077944384 6339 0 0 0 65 1 0 0 20 0 28 0 89438468 27282477056 650517 33554432000 4194304 4196468 140728034069424 140607557167856 140608504302210 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 28798976 140728034071681 140728034071853 140728034071853 140728034074575 0
[pid=21094/tid=21112] ppid=21092 vsize=26643044 memory=6296666011528292710 CPUtime=0 cores=0-7
/proc/21094/task/21112/stat : 21112 (java) S 21092 21092 21047 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 89438468 27282477056 650517 33554432000 4194304 4196468 140728034069424 140607556114784 140608504301269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28798976 140728034071681 140728034071853 140728034071853 140728034074575 0
[pid=21094/tid=21113] ppid=21092 vsize=26643044 memory=1452 CPUtime=0.36 cores=0-7
/proc/21094/task/21113/stat : 21113 (java) S 21092 21092 21047 0 -1 1077944384 9221 0 0 0 20 16 0 0 20 0 28 0 89438468 27282477056 650517 33554432000 4194304 4196468 140728034069424 140607555062064 140608504302210 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28798976 140728034071681 140728034071853 140728034071853 140728034074575 0
[pid=21094/tid=21114] ppid=21092 vsize=26643044 memory=1452 CPUtime=2459.56 cores=0-7
/proc/21094/task/21114/stat : 21114 (java) R 21092 21092 21047 0 -1 1077944384 32253 0 0 0 245129 827 0 0 20 0 28 0 89438556 27282477056 650517 33554432000 4194304 4196468 140728034069424 140607546280880 140608504301269 0 4 0 16800975 0 0 0 -1 1 0 0 26 0 0 6293624 6294260 28798976 140728034071681 140728034071853 140728034071853 140728034074575 0
[pid=21094/tid=21115] ppid=21092 vsize=26643044 memory=2602068 CPUtime=2462.43 cores=0-7
/proc/21094/task/21115/stat : 21115 (java) R 21092 21092 21047 0 -1 4202560 27679 0 0 0 245355 888 0 0 20 0 28 0 89438556 27282477056 650517 33554432000 4194304 4196468 140728034069424 140607545229200 140608125553853 0 4 0 16800975 0 0 0 -1 5 0 0 33 0 0 6293624 6294260 28798976 140728034071681 140728034071853 140728034071853 140728034074575 0
[pid=21094/tid=21116] ppid=21092 vsize=26643044 memory=1452 CPUtime=2465.2 cores=0-7
/proc/21094/task/21116/stat : 21116 (java) R 21092 21092 21047 0 -1 4202560 72588 0 0 0 245607 913 0 0 20 0 28 0 89438556 27282477056 650517 33554432000 4194304 4196468 140728034069424 140607544176928 140608127183949 0 4 0 16800975 0 0 0 -1 1 0 0 38 0 0 6293624 6294260 28798976 140728034071681 140728034071853 140728034071853 140728034074575 0
[pid=21094/tid=21117] ppid=21092 vsize=26643044 memory=2602068 CPUtime=2470.48 cores=0-7
/proc/21094/task/21117/stat : 21117 (java) R 21092 21092 21047 0 -1 4202560 101042 0 0 0 246269 779 0 0 20 0 28 0 89438556 27282477056 650517 33554432000 4194304 4196468 140728034069424 140607543124016 140608126618623 0 4 0 16800975 0 0 0 -1 2 0 0 30 0 0 6293624 6294260 28798976 140728034071681 140728034071853 140728034071853 140728034074575 0
[pid=21094/tid=21118] ppid=21092 vsize=26643044 memory=1452 CPUtime=2466.12 cores=0-7
/proc/21094/task/21118/stat : 21118 (java) R 21092 21092 21047 0 -1 4202560 61758 0 0 0 245871 741 0 0 20 0 28 0 89438556 27282477056 650517 33554432000 4194304 4196468 140728034069424 140607542071824 140608125554284 0 4 0 16800975 0 0 0 -1 3 0 0 40 0 0 6293624 6294260 28798976 140728034071681 140728034071853 140728034071853 140728034074575 0
[pid=21094/tid=21119] ppid=21092 vsize=26643044 memory=1452 CPUtime=2469.2 cores=0-7
/proc/21094/task/21119/stat : 21119 (java) R 21092 21092 21047 0 -1 4202560 21089 0 0 0 246199 721 0 0 20 0 28 0 89438556 27282477056 650517 33554432000 4194304 4196468 140728034069424 140607541019040 140608125572492 0 4 0 16800975 0 0 0 -1 0 0 0 20 0 0 6293624 6294260 28798976 140728034071681 140728034071853 140728034071853 140728034074575 0
[pid=21094/tid=21120] ppid=21092 vsize=26643044 memory=2602068 CPUtime=2465.44 cores=0-7
/proc/21094/task/21120/stat : 21120 (java) R 21092 21092 21047 0 -1 4202560 25787 0 0 0 245671 873 0 0 20 0 28 0 89438556 27282477056 650517 33554432000 4194304 4196468 140728034069424 140607539965728 140608126919510 0 4 0 16800975 0 0 0 -1 6 0 0 35 0 0 6293624 6294260 28798976 140728034071681 140728034071853 140728034071853 140728034074575 0
[pid=21094/tid=21121] ppid=21092 vsize=26643044 memory=4616 CPUtime=2484.82 cores=0-7
/proc/21094/task/21121/stat : 21121 (java) R 21092 21092 21047 0 -1 4202560 168867 0 0 0 247885 597 0 0 20 0 28 0 89438556 27282477056 650517 33554432000 4194304 4196468 140728034069424 140607538912832 140608126457636 0 4 0 16800975 0 0 0 -1 4 0 0 32 0 0 6293624 6294260 28798976 140728034071681 140728034071853 140728034071853 140728034074575 0
Current children cumulated CPU time: 19798.8 s
Current children cumulated vsize: 26756172 KiB
Current children cumulated memory: 2603520 KiB
Child status: 143
Real time (s): 2520.04
CPU time (s): 19799
CPU user time (s): 19731
CPU system time (s): 68.0046
CPU usage (%): 785.661
Max. virtual memory (cumulated for all children) (KiB): 26756172
Max. memory (cumulated for all children) (KiB): 2605548
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 19731
system time used= 68.0046
maximum resident set size= 2604096
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1230978
page faults= 0
swaps= 0
block input operations= 0
block output operations= 4792
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 14814897
involuntary context switches= 52800
# summary of solver processes directly reported to runsolver:
# pid: 21092,21094
# total CPU time (s): 19799
# total CPU user time (s): 19731
# total CPU system time (s): 68.0046
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 21.8585 second user time and 26.7721 second system time
The end
Begin job on node139 at 2018-07-27 21:12:33
IDJOB=4297818
IDBENCH=141414
IDSOLVER=2760
FILE ID=node139/4297818-1532718753
RUNJOBID= node139-1532718753-21075
PBS_JOBID= 21022331
Free space on /tmp= 38720 MiB
SOLVER NAME= Choco-solver 4.0.7b par (e747e1e)
BENCH NAME= XCSP18/Haystacks/Haystacks-ext-13_c18.xml
COMMAND LINE= HOME/xcsp3-exec -seed RANDOMSEED -dir DIR -tl TIMEOUT -ml 22000 -p NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4297818-1532718753/watcher-4297818-1532718753 -o /tmp/evaluation-result-4297818-1532718753/solver-4297818-1532718753 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node139-1532718753-21075 --watchdog 2580 HOME/xcsp3-exec -seed 1264972512 -dir HOME -tl 20160 -ml 22000 -p 8 HOME/instance-4297818-1532718753.xml
TIME LIMIT= 20160 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8
MD5SUM BENCH= d20946c70cb8756d1a4b7fb63c02a1de
RANDOM SEED=1264972512
node139.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.80
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.80
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.80
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.80
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: 23937920 kB
MemAvailable: 31929288 kB
Buffers: 212440 kB
Cached: 7910292 kB
SwapCached: 0 kB
Active: 3076536 kB
Inactive: 5097240 kB
Active(anon): 5620 kB
Inactive(anon): 73584 kB
Active(file): 3070916 kB
Inactive(file): 5023656 kB
Unevictable: 7312 kB
Mlocked: 7312 kB
SwapTotal: 67108860 kB
SwapFree: 67108860 kB
Dirty: 21848 kB
Writeback: 0 kB
AnonPages: 58320 kB
Mapped: 42152 kB
Shmem: 25228 kB
Slab: 352268 kB
SReclaimable: 325256 kB
SUnreclaim: 27012 kB
KernelStack: 3152 kB
PageTables: 5056 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 83494172 kB
Committed_AS: 324088 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 350232 kB
VmallocChunk: 34341910524 kB
HardwareCorrupted: 0 kB
AnonHugePages: 6144 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
DirectMap4k: 107904 kB
DirectMap2M: 33437696 kB
Free space on /tmp at the end= 38696 MiB
End job on node139 at 2018-07-27 21:54:33