0.00/0.00 c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4271035-1502757869.xml" -tl '20160s' -p 8 -x 0
0.12/0.14 c [HOME/instance-4271035-1502757869.xml, -tl, 20160s, -p, 8, -x, 0]
0.12/0.20 c 8 solvers in parallel
0.33/0.26 c parse instance...
4.52/2.08 c solve instance...
18.00/3.89 s SATISFIABLE
18.00/3.89 v <instantiation>
18.00/3.89 v <list>x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] </list>
18.00/3.89 v <values>16 3 31 19 12 30 7 34 6 21 18 25 32 9 13 17 29 11 10 27 24 5 23 22 26 2 33 14 28 8 20 36 4 35 1 15 </values>
18.00/3.89 v </instantiation>
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 (14050 MiB free)
memory of node 1: 16384 MiB (12258 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4271035-1502757869/watcher-4271035-1502757869 -o /tmp/evaluation-result-4271035-1502757869/solver-4271035-1502757869 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node114-1502749406-11814 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 1893729535 HOME/instance-4271035-1502757869.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
solver pid=12624, runsolver pid=12621
Current StackSize limit: 8192 KiB
[startup+0.100111 s]*
/proc/loadavg: 4.80 7.67 8.37 2/199 12645
/proc/meminfo: memFree=26925044/32770624 swapFree=67108860/67108860
[pid=12624] ppid=12621 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/12624/stat : 12624 (xcsp3-exec) S 12621 12624 11787 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 108874649 9740288 346 33554432000 4194304 5098028 140722670422656 140722670420760 140088155521660 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 12660736 140722670425188 140722670425399 140722670425399 140722670428139 0
/proc/12624/statm: 2378 346 289 221 0 87 0
[pid=12626] ppid=12624 vsize=25999808 memory=26096 CPUtime=0.12 cores=0-7
/proc/12626/stat : 12626 (java) S 12624 12624 11787 0 -1 1077944320 5484 0 0 0 11 1 0 0 20 0 20 0 108874649 26623803392 6524 33554432000 4194304 4196468 140737006099200 140737006081744 140399785127671 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 6729728 140737006101650 140737006101827 140737006101827 140737006104527 0
/proc/12626/statm: 6499952 6524 2842 1 0 6488269 0
[pid=12626/tid=12627] ppid=12624 vsize=25999808 memory=4134930498285298233 CPUtime=0.08 cores=0-7
/proc/12626/task/12627/stat : 12627 (java) R 12624 12624 11787 0 -1 4202560 3481 0 0 0 8 0 0 0 20 0 20 0 108874649 26623803392 6524 33554432000 4194304 4196468 140737006099200 140399789359600 140399785149597 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 6729728 140737006101650 140737006101827 140737006101827 140737006104527 0
[pid=12626/tid=12628] ppid=12624 vsize=25999808 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/12626/task/12628/stat : 12628 (java) S 12624 12624 11787 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 108874650 26623803392 6524 33554432000 4194304 4196468 140737006099200 140399737748368 140399785137877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6729728 140737006101650 140737006101827 140737006101827 140737006104527 0
[pid=12626/tid=12629] ppid=12624 vsize=25999808 memory=140088621360768 CPUtime=0 cores=0-7
/proc/12626/task/12629/stat : 12629 (java) S 12624 12624 11787 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 108874650 26623803392 6524 33554432000 4194304 4196468 140737006099200 140399736695568 140399785137877 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6729728 140737006101650 140737006101827 140737006101827 140737006104527 0
[pid=12626/tid=12630] ppid=12624 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/12626/task/12630/stat : 12630 (java) S 12624 12624 11787 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 108874650 26623803392 6524 33554432000 4194304 4196468 140737006099200 140399735643280 140399785137877 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6729728 140737006101650 140737006101827 140737006101827 140737006104527 0
[pid=12626/tid=12631] ppid=12624 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/12626/task/12631/stat : 12631 (java) S 12624 12624 11787 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 108874650 26623803392 6524 33554432000 4194304 4196468 140737006099200 140399734590480 140399785137877 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6729728 140737006101650 140737006101827 140737006101827 140737006104527 0
[pid=12626/tid=12632] ppid=12624 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/12626/task/12632/stat : 12632 (java) S 12624 12624 11787 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 108874650 26623803392 6524 33554432000 4194304 4196468 140737006099200 140399733537168 140399785137877 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6729728 140737006101650 140737006101827 140737006101827 140737006104527 0
[pid=12626/tid=12633] ppid=12624 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/12626/task/12633/stat : 12633 (java) S 12624 12624 11787 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 108874650 26623803392 6524 33554432000 4194304 4196468 140737006099200 140399732484368 140399785137877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6729728 140737006101650 140737006101827 140737006101827 140737006104527 0
[pid=12626/tid=12634] ppid=12624 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/12626/task/12634/stat : 12634 (java) S 12624 12624 11787 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 108874650 26623803392 6524 33554432000 4194304 4196468 140737006099200 140399731432080 140399785137877 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6729728 140737006101650 140737006101827 140737006101827 140737006104527 0
[pid=12626/tid=12635] ppid=12624 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/12626/task/12635/stat : 12635 (java) S 12624 12624 11787 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 108874650 26623803392 6524 33554432000 4194304 4196468 140737006099200 140399335569936 140399785137877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6729728 140737006101650 140737006101827 140737006101827 140737006104527 0
[pid=12626/tid=12636] ppid=12624 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/12626/task/12636/stat : 12636 (java) S 12624 12624 11787 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 108874652 26623803392 6524 33554432000 4194304 4196468 140737006099200 140398777281136 140399785138818 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6729728 140737006101650 140737006101827 140737006101827 140737006104527 0
[pid=12626/tid=12637] ppid=12624 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/12626/task/12637/stat : 12637 (java) S 12624 12624 11787 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 108874652 26623803392 6524 33554432000 4194304 4196468 140737006099200 140398776227104 140399785137877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6729728 140737006101650 140737006101827 140737006101827 140737006104527 0
[pid=12626/tid=12638] ppid=12624 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/12626/task/12638/stat : 12638 (java) S 12624 12624 11787 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 108874652 26623803392 6524 33554432000 4194304 4196468 140737006099200 140398775174768 140399785137877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6729728 140737006101650 140737006101827 140737006101827 140737006104527 0
[pid=12626/tid=12639] ppid=12624 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/12626/task/12639/stat : 12639 (java) S 12624 12624 11787 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 108874655 26623803392 6524 33554432000 4194304 4196468 140737006099200 140398774123088 140399785146267 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6729728 140737006101650 140737006101827 140737006101827 140737006104527 0
[pid=12626/tid=12640] ppid=12624 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/12626/task/12640/stat : 12640 (java) S 12624 12624 11787 0 -1 1077944384 301 0 0 0 0 0 0 0 20 0 20 0 108874655 26623803392 6524 33554432000 4194304 4196468 140737006099200 140398773069936 140399785138818 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6729728 140737006101650 140737006101827 140737006101827 140737006104527 0
[pid=12626/tid=12641] ppid=12624 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/12626/task/12641/stat : 12641 (java) S 12624 12624 11787 0 -1 1077944384 125 0 0 0 0 0 0 0 20 0 20 0 108874655 26623803392 6524 33554432000 4194304 4196468 140737006099200 140398772017136 140399785138818 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6729728 140737006101650 140737006101827 140737006101827 140737006104527 0
[pid=12626/tid=12642] ppid=12624 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/12626/task/12642/stat : 12642 (java) S 12624 12624 11787 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 108874655 26623803392 6524 33554432000 4194304 4196468 140737006099200 140398770964848 140399785138818 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6729728 140737006101650 140737006101827 140737006101827 140737006104527 0
[pid=12626/tid=12643] ppid=12624 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7
/proc/12626/task/12643/stat : 12643 (java) S 12624 12624 11787 0 -1 1077944384 263 0 0 0 1 0 0 0 20 0 20 0 108874655 26623803392 6524 33554432000 4194304 4196468 140737006099200 140398769912048 140399785138818 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6729728 140737006101650 140737006101827 140737006101827 140737006104527 0
[pid=12626/tid=12644] ppid=12624 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/12626/task/12644/stat : 12644 (java) S 12624 12624 11787 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 108874655 26623803392 6524 33554432000 4194304 4196468 140737006099200 140398768860000 140399785137877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6729728 140737006101650 140737006101827 140737006101827 140737006104527 0
[pid=12626/tid=12645] ppid=12624 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/12626/task/12645/stat : 12645 (java) S 12624 12624 11787 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 108874655 26623803392 6524 33554432000 4194304 4196468 140737006099200 140398767807280 140399785138818 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6729728 140737006101650 140737006101827 140737006101827 140737006104527 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 26009320 KiB
Current children cumulated memory: 27480 KiB
[startup+0.210142 s]*
/proc/loadavg: 4.80 7.67 8.37 3/199 12645
/proc/meminfo: memFree=26913912/32770624 swapFree=67108860/67108860
[pid=12624] ppid=12621 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/12624/stat : 12624 (xcsp3-exec) S 12621 12624 11787 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 108874649 9740288 346 33554432000 4194304 5098028 140722670422656 140722670420760 140088155521660 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 12660736 140722670425188 140722670425399 140722670425399 140722670428139 0
/proc/12624/statm: 2378 346 289 221 0 87 0
[pid=12626] ppid=12624 vsize=26004064 memory=39068 CPUtime=0.33 cores=0-7
/proc/12626/stat : 12626 (java) S 12624 12624 11787 0 -1 1077944320 8336 0 0 0 31 2 0 0 20 0 20 0 108874649 26628161536 9767 33554432000 4194304 4196468 140737006099200 140737006081744 140399785127671 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 6729728 140737006101650 140737006101827 140737006101827 140737006104527 0
/proc/12626/statm: 6501016 9767 3069 1 0 6488269 0
[pid=12626/tid=12627] ppid=12624 vsize=26004064 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/12626/task/12627/stat : 12627 (java) R 12624 12624 11787 0 -1 4202560 5387 0 0 0 19 1 0 0 20 0 20 0 108874649 26628161536 9767 33554432000 4194304 4196468 140737006099200 140399789333504 140399785149597 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 6729728 140737006101650 140737006101827 140737006101827 140737006104527 0
[pid=12626/tid=12628] ppid=12624 vsize=26004064 memory=331 CPUtime=0 cores=0-7
/proc/12626/task/12628/stat : 12628 (java) S 12624 12624 11787 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 108874650 26628161536 9767 33554432000 4194304 4196468 140737006099200 140399737748368 140399785137877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6729728 140737006101650 140737006101827 140737006101827 140737006104527 0
[pid=12626/tid=12629] ppid=12624 vsize=26004064 memory=3688931442341406368 CPUtime=0 cores=0-7
/proc/12626/task/12629/stat : 12629 (java) S 12624 12624 11787 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 108874650 26628161536 9767 33554432000 4194304 4196468 140737006099200 140399736695568 140399785137877 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6729728 140737006101650 140737006101827 140737006101827 140737006104527 0
[pid=12626/tid=12630] ppid=12624 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/12626/task/12630/stat : 12630 (java) S 12624 12624 11787 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 108874650 26628161536 9767 33554432000 4194304 4196468 140737006099200 140399735643280 140399785137877 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6729728 140737006101650 140737006101827 140737006101827 140737006104527 0
[pid=12626/tid=12631] ppid=12624 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/12626/task/12631/stat : 12631 (java) S 12624 12624 11787 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 108874650 26628161536 9767 33554432000 4194304 4196468 140737006099200 140399734590480 140399785137877 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6729728 140737006101650 140737006101827 140737006101827 140737006104527 0
[pid=12626/tid=12632] ppid=12624 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/12626/task/12632/stat : 12632 (java) S 12624 12624 11787 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 108874650 26628161536 9767 33554432000 4194304 4196468 140737006099200 140399733537168 140399785137877 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6729728 140737006101650 140737006101827 140737006101827 140737006104527 0
[pid=12626/tid=12633] ppid=12624 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/12626/task/12633/stat : 12633 (java) S 12624 12624 11787 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 108874650 26628161536 9767 33554432000 4194304 4196468 140737006099200 140399732484368 140399785137877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6729728 140737006101650 140737006101827 140737006101827 140737006104527 0
[pid=12626/tid=12634] ppid=12624 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/12626/task/12634/stat : 12634 (java) S 12624 12624 11787 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 108874650 26628161536 9767 33554432000 4194304 4196468 140737006099200 140399731432080 140399785137877 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6729728 140737006101650 140737006101827 140737006101827 140737006104527 0
[pid=12626/tid=12635] ppid=12624 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/12626/task/12635/stat : 12635 (java) S 12624 12624 11787 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 108874650 26628161536 9767 33554432000 4194304 4196468 140737006099200 140399335569936 140399785137877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6729728 140737006101650 140737006101827 140737006101827 140737006104527 0
[pid=12626/tid=12636] ppid=12624 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/12626/task/12636/stat : 12636 (java) S 12624 12624 11787 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 108874652 26628161536 9767 33554432000 4194304 4196468 140737006099200 140398777281136 140399785138818 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6729728 140737006101650 140737006101827 140737006101827 140737006104527 0
[pid=12626/tid=12637] ppid=12624 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/12626/task/12637/stat : 12637 (java) S 12624 12624 11787 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 108874652 26628161536 9767 33554432000 4194304 4196468 140737006099200 140398776227104 140399785137877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6729728 140737006101650 140737006101827 140737006101827 140737006104527 0
[pid=12626/tid=12638] ppid=12624 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/12626/task/12638/stat : 12638 (java) S 12624 12624 11787 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 108874652 26628161536 9767 33554432000 4194304 4196468 140737006099200 140398775174768 140399785137877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6729728 140737006101650 140737006101827 140737006101827 140737006104527 0
[pid=12626/tid=12639] ppid=12624 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/12626/task/12639/stat : 12639 (java) S 12624 12624 11787 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 108874655 26628161536 9767 33554432000 4194304 4196468 140737006099200 140398774123088 140399785146267 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6729728 140737006101650 140737006101827 140737006101827 140737006104527 0
[pid=12626/tid=12640] ppid=12624 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/12626/task/12640/stat : 12640 (java) S 12624 12624 11787 0 -1 1077944384 373 0 0 0 0 0 0 0 20 0 20 0 108874655 26628161536 9767 33554432000 4194304 4196468 140737006099200 140398773069936 140399785138818 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6729728 140737006101650 140737006101827 140737006101827 140737006104527 0
[pid=12626/tid=12641] ppid=12624 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/12626/task/12641/stat : 12641 (java) S 12624 12624 11787 0 -1 1077944384 367 0 0 0 1 0 0 0 20 0 20 0 108874655 26628161536 9767 33554432000 4194304 4196468 140737006099200 140398772017136 140399785138818 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6729728 140737006101650 140737006101827 140737006101827 140737006104527 0
[pid=12626/tid=12642] ppid=12624 vsize=26004064 memory=-1 CPUtime=0.01 cores=0-7
/proc/12626/task/12642/stat : 12642 (java) S 12624 12624 11787 0 -1 1077944384 157 0 0 0 1 0 0 0 20 0 20 0 108874655 26628161536 9767 33554432000 4194304 4196468 140737006099200 140398770964848 140399785138818 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6729728 140737006101650 140737006101827 140737006101827 140737006104527 0
[pid=12626/tid=12643] ppid=12624 vsize=26004064 memory=-1 CPUtime=0.07 cores=0-7
/proc/12626/task/12643/stat : 12643 (java) R 12624 12624 11787 0 -1 4202560 741 0 0 0 7 0 0 0 20 0 20 0 108874655 26628161536 9767 33554432000 4194304 4196468 140737006099200 140398769912048 140399785149018 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 6729728 140737006101650 140737006101827 140737006101827 140737006104527 0
[pid=12626/tid=12644] ppid=12624 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/12626/task/12644/stat : 12644 (java) S 12624 12624 11787 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 108874655 26628161536 9767 33554432000 4194304 4196468 140737006099200 140398768860000 140399785137877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6729728 140737006101650 140737006101827 140737006101827 140737006104527 0
[pid=12626/tid=12645] ppid=12624 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/12626/task/12645/stat : 12645 (java) S 12624 12624 11787 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 108874655 26628161536 9767 33554432000 4194304 4196468 140737006099200 140398767807280 140399785138818 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6729728 140737006101650 140737006101827 140737006101827 140737006104527 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 40452 KiB
[startup+0.309513 s]*
/proc/loadavg: 4.80 7.67 8.37 3/199 12645
/proc/meminfo: memFree=26907944/32770624 swapFree=67108860/67108860
[pid=12624] ppid=12621 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/12624/stat : 12624 (xcsp3-exec) S 12621 12624 11787 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 108874649 9740288 346 33554432000 4194304 5098028 140722670422656 140722670420760 140088155521660 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 12660736 140722670425188 140722670425399 140722670425399 140722670428139 0
/proc/12624/statm: 2378 346 289 221 0 87 0
[pid=12626] ppid=12624 vsize=26004064 memory=45500 CPUtime=0.49 cores=0-7
/proc/12626/stat : 12626 (java) S 12624 12624 11787 0 -1 1077944320 9114 0 0 0 47 2 0 0 20 0 20 0 108874649 26628161536 11375 33554432000 4194304 4196468 140737006099200 140737006081744 140399785127671 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 6729728 140737006101650 140737006101827 140737006101827 140737006104527 0
/proc/12626/statm: 6501016 11375 3083 1 0 6488269 0
[pid=12626/tid=12627] ppid=12624 vsize=26004064 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/12626/task/12627/stat : 12627 (java) R 12624 12624 11787 0 -1 4202560 6058 0 0 0 28 1 0 0 20 0 20 0 108874649 26628161536 11375 33554432000 4194304 4196468 140737006099200 140399789364544 140399785149597 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 6729728 140737006101650 140737006101827 140737006101827 140737006104527 0
[pid=12626/tid=12628] ppid=12624 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/12626/task/12628/stat : 12628 (java) S 12624 12624 11787 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 108874650 26628161536 11375 33554432000 4194304 4196468 140737006099200 140399737748368 140399785137877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6729728 140737006101650 140737006101827 140737006101827 140737006104527 0
[pid=12626/tid=12629] ppid=12624 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/12626/task/12629/stat : 12629 (java) S 12624 12624 11787 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 108874650 26628161536 11375 33554432000 4194304 4196468 140737006099200 140399736695568 140399785137877 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6729728 140737006101650 140737006101827 140737006101827 140737006104527 0
[pid=12626/tid=12630] ppid=12624 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/12626/task/12630/stat : 12630 (java) S 12624 12624 11787 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 108874650 26628161536 11375 33554432000 4194304 4196468 140737006099200 140399735643280 140399785137877 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6729728 140737006101650 140737006101827 140737006101827 140737006104527 0
[pid=12626/tid=12631] ppid=12624 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/12626/task/12631/stat : 12631 (java) S 12624 12624 11787 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 108874650 26628161536 11375 33554432000 4194304 4196468 140737006099200 140399734590480 140399785137877 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6729728 140737006101650 140737006101827 140737006101827 140737006104527 0
[pid=12626/tid=12632] ppid=12624 vsize=26004064 memory=2244 CPUtime=0 cores=0-7
/proc/12626/task/12632/stat : 12632 (java) S 12624 12624 11787 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 108874650 26628161536 11375 33554432000 4194304 4196468 140737006099200 140399733537168 140399785137877 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6729728 140737006101650 140737006101827 140737006101827 140737006104527 0
[pid=12626/tid=12633] ppid=12624 vsize=26004064 memory=140088478626735 CPUtime=0 cores=0-7
/proc/12626/task/12633/stat : 12633 (java) S 12624 12624 11787 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 108874650 26628161536 11375 33554432000 4194304 4196468 140737006099200 140399732484368 140399785137877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6729728 140737006101650 140737006101827 140737006101827 140737006104527 0
[pid=12626/tid=12634] ppid=12624 vsize=26004064 memory=140088478629040 CPUtime=0 cores=0-7
/proc/12626/task/12634/stat : 12634 (java) S 12624 12624 11787 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 108874650 26628161536 11375 33554432000 4194304 4196468 140737006099200 140399731432080 140399785137877 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6729728 140737006101650 140737006101827 140737006101827 140737006104527 0
[pid=12626/tid=12635] ppid=12624 vsize=26004064 memory=140088478631344 CPUtime=0 cores=0-7
/proc/12626/task/12635/stat : 12635 (java) S 12624 12624 11787 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 108874650 26628161536 11375 33554432000 4194304 4196468 140737006099200 140399335569936 140399785137877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6729728 140737006101650 140737006101827 140737006101827 140737006104527 0
[pid=12626/tid=12636] ppid=12624 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/12626/task/12636/stat : 12636 (java) S 12624 12624 11787 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 108874652 26628161536 11375 33554432000 4194304 4196468 140737006099200 140398777281136 140399785138818 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6729728 140737006101650 140737006101827 140737006101827 140737006104527 0
[pid=12626/tid=12637] ppid=12624 vsize=26004064 memory=280176957269648 CPUtime=0 cores=0-7
/proc/12626/task/12637/stat : 12637 (java) S 12624 12624 11787 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 108874652 26628161536 11375 33554432000 4194304 4196468 140737006099200 140398776227104 140399785137877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6729728 140737006101650 140737006101827 140737006101827 140737006104527 0
[pid=12626/tid=12638] ppid=12624 vsize=26004064 memory=280176957276560 CPUtime=0 cores=0-7
/proc/12626/task/12638/stat : 12638 (java) S 12624 12624 11787 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 108874652 26628161536 11375 33554432000 4194304 4196468 140737006099200 140398775174768 140399785137877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6729728 140737006101650 140737006101827 140737006101827 140737006104527 0
[pid=12626/tid=12639] ppid=12624 vsize=26004064 memory=280176957217840 CPUtime=0 cores=0-7
/proc/12626/task/12639/stat : 12639 (java) S 12624 12624 11787 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 108874655 26628161536 11375 33554432000 4194304 4196468 140737006099200 140398774123088 140399785146267 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6729728 140737006101650 140737006101827 140737006101827 140737006104527 0
[pid=12626/tid=12640] ppid=12624 vsize=26004064 memory=280176957290384 CPUtime=0.01 cores=0-7
/proc/12626/task/12640/stat : 12640 (java) S 12624 12624 11787 0 -1 1077944384 375 0 0 0 1 0 0 0 20 0 20 0 108874655 26628161536 11375 33554432000 4194304 4196468 140737006099200 140398773069936 140399785138818 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6729728 140737006101650 140737006101827 140737006101827 140737006104527 0
[pid=12626/tid=12641] ppid=12624 vsize=26004064 memory=280176957297296 CPUtime=0.02 cores=0-7
/proc/12626/task/12641/stat : 12641 (java) S 12624 12624 11787 0 -1 1077944384 377 0 0 0 2 0 0 0 20 0 20 0 108874655 26628161536 11375 33554432000 4194304 4196468 140737006099200 140398772017136 140399785138818 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6729728 140737006101650 140737006101827 140737006101827 140737006104527 0
[pid=12626/tid=12642] ppid=12624 vsize=26004064 memory=280176957294992 CPUtime=0.02 cores=0-7
/proc/12626/task/12642/stat : 12642 (java) R 12624 12624 11787 0 -1 4202560 163 0 0 0 2 0 0 0 20 0 20 0 108874655 26628161536 11375 33554432000 4194304 4196468 140737006099200 140398770964848 140399764789744 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 6729728 140737006101650 140737006101827 140737006101827 140737006104527 0
[pid=12626/tid=12643] ppid=12624 vsize=26004064 memory=280176957311152 CPUtime=0.12 cores=0-7
/proc/12626/task/12643/stat : 12643 (java) R 12624 12624 11787 0 -1 4202560 828 0 0 0 12 0 0 0 20 0 20 0 108874655 26628161536 11375 33554432000 4194304 4196468 140737006099200 140398769912048 140399764078663 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 6729728 140737006101650 140737006101827 140737006101827 140737006104527 0
[pid=12626/tid=12644] ppid=12624 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/12626/task/12644/stat : 12644 (java) S 12624 12624 11787 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 108874655 26628161536 11375 33554432000 4194304 4196468 140737006099200 140398768860000 140399785137877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6729728 140737006101650 140737006101827 140737006101827 140737006104527 0
[pid=12626/tid=12645] ppid=12624 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/12626/task/12645/stat : 12645 (java) S 12624 12624 11787 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 108874655 26628161536 11375 33554432000 4194304 4196468 140737006099200 140398767807280 140399785138818 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6729728 140737006101650 140737006101827 140737006101827 140737006104527 0
Current children cumulated CPU time: 0.49 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 46884 KiB
[startup+0.70104 s]
/proc/loadavg: 4.80 7.67 8.37 5/199 12645
/proc/meminfo: memFree=26876760/32770624 swapFree=67108860/67108860
[pid=12624] ppid=12621 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/12624/stat : 12624 (xcsp3-exec) S 12621 12624 11787 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 108874649 9740288 346 33554432000 4194304 5098028 140722670422656 140722670420760 140088155521660 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 12660736 140722670425188 140722670425399 140722670425399 140722670428139 0
/proc/12624/statm: 2378 346 289 221 0 87 0
[pid=12626] ppid=12624 vsize=26006188 memory=107376 CPUtime=1.9 cores=0-7
/proc/12626/stat : 12626 (java) S 12624 12624 11787 0 -1 1077944320 12271 0 0 0 186 4 0 0 20 0 20 0 108874649 26630336512 26332 33554432000 4194304 4196468 140737006099200 140737006081744 140399785127671 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 6729728 140737006101650 140737006101827 140737006101827 140737006104527 0
/proc/12626/statm: 6501547 26844 3196 1 0 6488781 0
[pid=12626/tid=12627] ppid=12624 vsize=26006188 memory=280176957669040 CPUtime=0.67 cores=0-7
/proc/12626/task/12627/stat : 12627 (java) R 12624 12624 11787 0 -1 4202560 6547 0 0 0 65 2 0 0 20 0 20 0 108874649 26630336512 26844 33554432000 4194304 4196468 140737006099200 140399789364928 140399414153689 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 6729728 140737006101650 140737006101827 140737006101827 140737006104527 0
[pid=12626/tid=12628] ppid=12624 vsize=26006188 memory=140088478835568 CPUtime=0 cores=0-7
/proc/12626/task/12628/stat : 12628 (java) S 12624 12624 11787 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 108874650 26630336512 26844 33554432000 4194304 4196468 140737006099200 140399737748368 140399785137877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6729728 140737006101650 140737006101827 140737006101827 140737006104527 0
[pid=12626/tid=12629] ppid=12624 vsize=26006188 memory=0 CPUtime=0 cores=0-7
/proc/12626/task/12629/stat : 12629 (java) S 12624 12624 11787 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 108874650 26630336512 26844 33554432000 4194304 4196468 140737006099200 140399736695568 140399785137877 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6729728 140737006101650 140737006101827 140737006101827 140737006104527 0
[pid=12626/tid=12630] ppid=12624 vsize=26006188 memory=1008 CPUtime=0 cores=0-7
/proc/12626/task/12630/stat : 12630 (java) S 12624 12624 11787 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 108874650 26630336512 26844 33554432000 4194304 4196468 140737006099200 140399735643280 140399785137877 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6729728 140737006101650 140737006101827 140737006101827 140737006104527 0
################
# More data... #
################
[pid=12626/tid=12630] ppid=12624 vsize=26538700 memory=0 CPUtime=0.01 cores=0-7
/proc/12626/task/12630/stat : 12630 (java) S 12624 12624 11787 0 -1 1077944384 30 0 0 0 1 0 0 0 20 0 28 0 108874650 27175628800 91782 33554432000 4194304 4196468 140737006099200 140399735643280 140399785137877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6729728 140737006101650 140737006101827 140737006101827 140737006104527 0
[pid=12626/tid=12631] ppid=12624 vsize=26538700 memory=290 CPUtime=0.01 cores=0-7
/proc/12626/task/12631/stat : 12631 (java) S 12624 12624 11787 0 -1 1077944384 23 0 0 0 1 0 0 0 20 0 28 0 108874650 27175628800 91782 33554432000 4194304 4196468 140737006099200 140399734590480 140399785137877 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6729728 140737006101650 140737006101827 140737006101827 140737006104527 0
[pid=12626/tid=12632] ppid=12624 vsize=26538700 memory=0 CPUtime=0.02 cores=0-7
/proc/12626/task/12632/stat : 12632 (java) S 12624 12624 11787 0 -1 1077944384 28 0 0 0 1 1 0 0 20 0 28 0 108874650 27175628800 91782 33554432000 4194304 4196468 140737006099200 140399733537168 140399785137877 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6729728 140737006101650 140737006101827 140737006101827 140737006104527 0
[pid=12626/tid=12633] ppid=12624 vsize=26538700 memory=0 CPUtime=0.01 cores=0-7
/proc/12626/task/12633/stat : 12633 (java) S 12624 12624 11787 0 -1 1077944384 32 0 0 0 1 0 0 0 20 0 28 0 108874650 27175628800 91782 33554432000 4194304 4196468 140737006099200 140399732484368 140399785137877 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6729728 140737006101650 140737006101827 140737006101827 140737006104527 0
[pid=12626/tid=12634] ppid=12624 vsize=26538700 memory=98172348 CPUtime=0.01 cores=0-7
/proc/12626/task/12634/stat : 12634 (java) S 12624 12624 11787 0 -1 1077944384 156 0 0 0 1 0 0 0 20 0 28 0 108874650 27175628800 91782 33554432000 4194304 4196468 140737006099200 140399731432080 140399785137877 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6729728 140737006101650 140737006101827 140737006101827 140737006104527 0
[pid=12626/tid=12635] ppid=12624 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/12626/task/12635/stat : 12635 (java) S 12624 12624 11787 0 -1 1077944384 409 0 0 0 0 0 0 0 20 0 28 0 108874650 27175628800 91782 33554432000 4194304 4196468 140737006099200 140399335569936 140399785137877 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6729728 140737006101650 140737006101827 140737006101827 140737006104527 0
[pid=12626/tid=12636] ppid=12624 vsize=26538700 memory=7596542751466873938 CPUtime=0 cores=0-7
/proc/12626/task/12636/stat : 12636 (java) S 12624 12624 11787 0 -1 1077944384 427 0 0 0 0 0 0 0 20 0 28 0 108874652 27175628800 91782 33554432000 4194304 4196468 140737006099200 140398777281136 140399785138818 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6729728 140737006101650 140737006101827 140737006101827 140737006104527 0
[pid=12626/tid=12637] ppid=12624 vsize=26538700 memory=7156344531165343063 CPUtime=0 cores=0-7
/proc/12626/task/12637/stat : 12637 (java) S 12624 12624 11787 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 28 0 108874652 27175628800 91782 33554432000 4194304 4196468 140737006099200 140398776227168 140399785137877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6729728 140737006101650 140737006101827 140737006101827 140737006104527 0
[pid=12626/tid=12638] ppid=12624 vsize=26538700 memory=8170488929419881322 CPUtime=0 cores=0-7
/proc/12626/task/12638/stat : 12638 (java) S 12624 12624 11787 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 108874652 27175628800 91782 33554432000 4194304 4196468 140737006099200 140398775174784 140399785137877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6729728 140737006101650 140737006101827 140737006101827 140737006104527 0
[pid=12626/tid=12639] ppid=12624 vsize=26538700 memory=1944 CPUtime=0 cores=0-7
/proc/12626/task/12639/stat : 12639 (java) S 12624 12624 11787 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 108874655 27175628800 91782 33554432000 4194304 4196468 140737006099200 140398774123088 140399785146267 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6729728 140737006101650 140737006101827 140737006101827 140737006104527 0
[pid=12626/tid=12640] ppid=12624 vsize=26538700 memory=1700 CPUtime=1.43 cores=0-7
/proc/12626/task/12640/stat : 12640 (java) R 12624 12624 11787 0 -1 4202560 4850 0 0 0 142 1 0 0 20 0 28 0 108874655 27175628800 91782 33554432000 4194304 4196468 140737006099200 140398773070232 140399764374457 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 6729728 140737006101650 140737006101827 140737006101827 140737006104527 0
[pid=12626/tid=12641] ppid=12624 vsize=26538700 memory=1228 CPUtime=1.79 cores=0-7
/proc/12626/task/12641/stat : 12641 (java) R 12624 12624 11787 0 -1 4202560 4781 0 0 0 178 1 0 0 20 0 28 0 108874655 27175628800 91782 33554432000 4194304 4196468 140737006099200 140398772017432 140399770037609 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 6729728 140737006101650 140737006101827 140737006101827 140737006104527 0
[pid=12626/tid=12642] ppid=12624 vsize=26538700 memory=5428 CPUtime=1.63 cores=0-7
/proc/12626/task/12642/stat : 12642 (java) S 12624 12624 11787 0 -1 1077944384 5697 0 0 0 162 1 0 0 20 0 28 0 108874655 27175628800 91782 33554432000 4194304 4196468 140737006099200 140398770964848 140399785138818 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6729728 140737006101650 140737006101827 140737006101827 140737006104527 0
[pid=12626/tid=12643] ppid=12624 vsize=26538700 memory=4624 CPUtime=0.54 cores=0-7
/proc/12626/task/12643/stat : 12643 (java) S 12624 12624 11787 0 -1 1077944384 2954 0 0 0 53 1 0 0 20 0 28 0 108874655 27175628800 91782 33554432000 4194304 4196468 140737006099200 140398769912048 140399785138818 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6729728 140737006101650 140737006101827 140737006101827 140737006104527 0
[pid=12626/tid=12644] ppid=12624 vsize=26538700 memory=1424 CPUtime=0 cores=0-7
/proc/12626/task/12644/stat : 12644 (java) S 12624 12624 11787 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 108874655 27175628800 91782 33554432000 4194304 4196468 140737006099200 140398768860000 140399785137877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6729728 140737006101650 140737006101827 140737006101827 140737006104527 0
[pid=12626/tid=12645] ppid=12624 vsize=26538700 memory=13056 CPUtime=0 cores=0-7
/proc/12626/task/12645/stat : 12645 (java) S 12624 12624 11787 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 28 0 108874655 27175628800 91782 33554432000 4194304 4196468 140737006099200 140398767807280 140399785138818 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6729728 140737006101650 140737006101827 140737006101827 140737006104527 0
[pid=12626/tid=12646] ppid=12624 vsize=26538700 memory=792 CPUtime=1.09 cores=0-7
/proc/12626/task/12646/stat : 12646 (java) R 12624 12624 11787 0 -1 4202560 217 0 0 0 108 1 0 0 20 0 28 0 108874858 27175628800 91782 33554432000 4194304 4196468 140737006099200 140398760293976 140399416233646 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 6729728 140737006101650 140737006101827 140737006101827 140737006104527 0
[pid=12626/tid=12647] ppid=12624 vsize=26538700 memory=1008 CPUtime=1.05 cores=0-7
/proc/12626/task/12647/stat : 12647 (java) R 12624 12624 11787 0 -1 4202560 463 0 0 0 105 0 0 0 20 0 28 0 108874858 27175628800 91782 33554432000 4194304 4196468 140737006099200 140398759240168 140399417580227 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 6729728 140737006101650 140737006101827 140737006101827 140737006104527 0
[pid=12626/tid=12648] ppid=12624 vsize=26538700 memory=10652 CPUtime=1.21 cores=0-7
/proc/12626/task/12648/stat : 12648 (java) R 12624 12624 11787 0 -1 4202560 228 0 0 0 121 0 0 0 20 0 28 0 108874858 27175628800 91782 33554432000 4194304 4196468 140737006099200 140398758188288 140399416233665 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 6729728 140737006101650 140737006101827 140737006101827 140737006104527 0
[pid=12626/tid=12649] ppid=12624 vsize=26538700 memory=1204 CPUtime=0.99 cores=0-7
/proc/12626/task/12649/stat : 12649 (java) R 12624 12624 11787 0 -1 4202560 154 0 0 0 99 0 0 0 20 0 28 0 108874859 27175628800 91782 33554432000 4194304 4196468 140737006099200 140398757133768 140399416232129 0 4 0 16800975 0 0 0 -1 7 0 0 2 0 0 6293624 6294260 6729728 140737006101650 140737006101827 140737006101827 140737006104527 0
[pid=12626/tid=12650] ppid=12624 vsize=26538700 memory=15872 CPUtime=1.04 cores=0-7
/proc/12626/task/12650/stat : 12650 (java) R 12624 12624 11787 0 -1 4202560 174 0 0 0 104 0 0 0 20 0 28 0 108874859 27175628800 91782 33554432000 4194304 4196468 140737006099200 140398756081344 140399416219113 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 6729728 140737006101650 140737006101827 140737006101827 140737006104527 0
[pid=12626/tid=12651] ppid=12624 vsize=26538700 memory=16444 CPUtime=1.07 cores=0-7
/proc/12626/task/12651/stat : 12651 (java) R 12624 12624 11787 0 -1 4202560 156 0 0 0 107 0 0 0 20 0 28 0 108874859 27175628800 91782 33554432000 4194304 4196468 140737006099200 140398755028320 140399417426507 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 6729728 140737006101650 140737006101827 140737006101827 140737006104527 0
[pid=12626/tid=12652] ppid=12624 vsize=26538700 memory=4052 CPUtime=1.2 cores=0-7
/proc/12626/task/12652/stat : 12652 (java) R 12624 12624 11787 0 -1 4202560 134 0 0 0 120 0 0 0 20 0 28 0 108874859 27175628800 91782 33554432000 4194304 4196468 140737006099200 140398753976856 140399416232665 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 6729728 140737006101650 140737006101827 140737006101827 140737006104527 0
[pid=12626/tid=12653] ppid=12624 vsize=26538700 memory=17328 CPUtime=1.04 cores=0-7
/proc/12626/task/12653/stat : 12653 (java) R 12624 12624 11787 0 -1 4202560 108 0 0 0 104 0 0 0 20 0 28 0 108874859 27175628800 91782 33554432000 4194304 4196468 140737006099200 140398752924168 140399416233646 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 6729728 140737006101650 140737006101827 140737006101827 140737006104527 0
Current children cumulated CPU time: 16.44 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 368512 KiB
[startup+3.8019 s]
/proc/loadavg: 4.58 7.57 8.33 13/207 12653
/proc/meminfo: memFree=26701808/32770624 swapFree=67108860/67108860
[pid=12624] ppid=12621 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/12624/stat : 12624 (xcsp3-exec) S 12621 12624 11787 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 108874649 9740288 346 33554432000 4194304 5098028 140722670422656 140722670420760 140088155521660 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 12660736 140722670425188 140722670425399 140722670425399 140722670428139 0
/proc/12624/statm: 2378 346 289 221 0 87 0
[pid=12626] ppid=12624 vsize=26538700 memory=388440 CPUtime=18 cores=0-7
/proc/12626/stat : 12626 (java) S 12624 12624 11787 0 -1 1077944320 29922 0 0 0 1776 24 0 0 20 0 28 0 108874649 27175628800 97110 33554432000 4194304 4196468 140737006099200 140737006081744 140399785127671 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 6729728 140737006101650 140737006101827 140737006101827 140737006104527 0
/proc/12626/statm: 6634675 97110 3262 1 0 6621909 0
[pid=12626/tid=12627] ppid=12624 vsize=26538700 memory=-8035107114841901037 CPUtime=2.03 cores=0-7
/proc/12626/task/12627/stat : 12627 (java) S 12624 12624 11787 0 -1 1077944384 6742 0 0 0 200 3 0 0 20 0 28 0 108874649 27175628800 97110 33554432000 4194304 4196468 140737006099200 140399789368448 140399785137877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6729728 140737006101650 140737006101827 140737006101827 140737006104527 0
[pid=12626/tid=12628] ppid=12624 vsize=26538700 memory=288230377007612190 CPUtime=0.02 cores=0-7
/proc/12626/task/12628/stat : 12628 (java) S 12624 12624 11787 0 -1 1077944384 113 0 0 0 1 1 0 0 20 0 28 0 108874650 27175628800 97110 33554432000 4194304 4196468 140737006099200 140399737748368 140399785137877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6729728 140737006101650 140737006101827 140737006101827 140737006104527 0
[pid=12626/tid=12629] ppid=12624 vsize=26538700 memory=288284485106271467 CPUtime=0.02 cores=0-7
/proc/12626/task/12629/stat : 12629 (java) S 12624 12624 11787 0 -1 1077944384 334 0 0 0 1 1 0 0 20 0 28 0 108874650 27175628800 97110 33554432000 4194304 4196468 140737006099200 140399736695568 140399785137877 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6729728 140737006101650 140737006101827 140737006101827 140737006104527 0
[pid=12626/tid=12630] ppid=12624 vsize=26538700 memory=0 CPUtime=0.02 cores=0-7
/proc/12626/task/12630/stat : 12630 (java) S 12624 12624 11787 0 -1 1077944384 114 0 0 0 1 1 0 0 20 0 28 0 108874650 27175628800 97110 33554432000 4194304 4196468 140737006099200 140399735643280 140399785137877 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6729728 140737006101650 140737006101827 140737006101827 140737006104527 0
[pid=12626/tid=12631] ppid=12624 vsize=26538700 memory=0 CPUtime=0.02 cores=0-7
/proc/12626/task/12631/stat : 12631 (java) S 12624 12624 11787 0 -1 1077944384 93 0 0 0 1 1 0 0 20 0 28 0 108874650 27175628800 97110 33554432000 4194304 4196468 140737006099200 140399734590480 140399785137877 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6729728 140737006101650 140737006101827 140737006101827 140737006104527 0
[pid=12626/tid=12632] ppid=12624 vsize=26538700 memory=0 CPUtime=0.02 cores=0-7
/proc/12626/task/12632/stat : 12632 (java) S 12624 12624 11787 0 -1 1077944384 71 0 0 0 1 1 0 0 20 0 28 0 108874650 27175628800 97110 33554432000 4194304 4196468 140737006099200 140399733537168 140399785137877 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6729728 140737006101650 140737006101827 140737006101827 140737006104527 0
[pid=12626/tid=12633] ppid=12624 vsize=26538700 memory=0 CPUtime=0.01 cores=0-7
/proc/12626/task/12633/stat : 12633 (java) S 12624 12624 11787 0 -1 1077944384 32 0 0 0 1 0 0 0 20 0 28 0 108874650 27175628800 97110 33554432000 4194304 4196468 140737006099200 140399732484368 140399785137877 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6729728 140737006101650 140737006101827 140737006101827 140737006104527 0
[pid=12626/tid=12634] ppid=12624 vsize=26538700 memory=0 CPUtime=0.01 cores=0-7
/proc/12626/task/12634/stat : 12634 (java) S 12624 12624 11787 0 -1 1077944384 156 0 0 0 1 0 0 0 20 0 28 0 108874650 27175628800 97110 33554432000 4194304 4196468 140737006099200 140399731432080 140399785137877 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6729728 140737006101650 140737006101827 140737006101827 140737006104527 0
[pid=12626/tid=12635] ppid=12624 vsize=26538700 memory=56405335739114 CPUtime=0.02 cores=0-7
/proc/12626/task/12635/stat : 12635 (java) S 12624 12624 11787 0 -1 1077944384 425 0 0 0 1 1 0 0 20 0 28 0 108874650 27175628800 97110 33554432000 4194304 4196468 140737006099200 140399335569936 140399785137877 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6729728 140737006101650 140737006101827 140737006101827 140737006104527 0
[pid=12626/tid=12636] ppid=12624 vsize=26538700 memory=26739211162 CPUtime=0 cores=0-7
/proc/12626/task/12636/stat : 12636 (java) S 12624 12624 11787 0 -1 1077944384 431 0 0 0 0 0 0 0 20 0 28 0 108874652 27175628800 97110 33554432000 4194304 4196468 140737006099200 140398777281136 140399785138818 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6729728 140737006101650 140737006101827 140737006101827 140737006104527 0
[pid=12626/tid=12637] ppid=12624 vsize=26538700 memory=7445158545979583635 CPUtime=0 cores=0-7
/proc/12626/task/12637/stat : 12637 (java) S 12624 12624 11787 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 28 0 108874652 27175628800 97110 33554432000 4194304 4196468 140737006099200 140398776227168 140399785137877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6729728 140737006101650 140737006101827 140737006101827 140737006104527 0
[pid=12626/tid=12638] ppid=12624 vsize=26538700 memory=7956260070678221927 CPUtime=0 cores=0-7
/proc/12626/task/12638/stat : 12638 (java) S 12624 12624 11787 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 108874652 27175628800 97110 33554432000 4194304 4196468 140737006099200 140398775174784 140399785137877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6729728 140737006101650 140737006101827 140737006101827 140737006104527 0
[pid=12626/tid=12639] ppid=12624 vsize=26538700 memory=7740677739494006887 CPUtime=0 cores=0-7
/proc/12626/task/12639/stat : 12639 (java) S 12624 12624 11787 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 108874655 27175628800 97110 33554432000 4194304 4196468 140737006099200 140398774123088 140399785146267 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6729728 140737006101650 140737006101827 140737006101827 140737006104527 0
[pid=12626/tid=12640] ppid=12624 vsize=26538700 memory=6299802978650451056 CPUtime=1.44 cores=0-7
/proc/12626/task/12640/stat : 12640 (java) R 12624 12624 11787 0 -1 1077944384 4871 0 0 0 143 1 0 0 20 0 28 0 108874655 27175628800 97110 33554432000 4194304 4196468 140737006099200 140398773069936 140399785138818 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 6729728 140737006101650 140737006101827 140737006101827 140737006104527 0
[pid=12626/tid=12641] ppid=12624 vsize=26538700 memory=7595426760201625708 CPUtime=1.87 cores=0-7
/proc/12626/task/12641/stat : 12641 (java) S 12624 12624 11787 0 -1 1077944384 4903 0 0 0 186 1 0 0 20 0 28 0 108874655 27175628800 97110 33554432000 4194304 4196468 140737006099200 140398772017136 140399785138818 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6729728 140737006101650 140737006101827 140737006101827 140737006104527 0
[pid=12626/tid=12642] ppid=12624 vsize=26538700 memory=7595426760201625708 CPUtime=1.73 cores=0-7
/proc/12626/task/12642/stat : 12642 (java) S 12624 12624 11787 0 -1 1077944384 5718 0 0 0 172 1 0 0 20 0 28 0 108874655 27175628800 97110 33554432000 4194304 4196468 140737006099200 140398770964848 140399785138818 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6729728 140737006101650 140737006101827 140737006101827 140737006104527 0
[pid=12626/tid=12643] ppid=12624 vsize=26538700 memory=7811889791878254688 CPUtime=0.54 cores=0-7
/proc/12626/task/12643/stat : 12643 (java) S 12624 12624 11787 0 -1 1077944384 2955 0 0 0 53 1 0 0 20 0 28 0 108874655 27175628800 97110 33554432000 4194304 4196468 140737006099200 140398769912048 140399785138818 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6729728 140737006101650 140737006101827 140737006101827 140737006104527 0
[pid=12626/tid=12644] ppid=12624 vsize=26538700 memory=7236229500900889449 CPUtime=0 cores=0-7
/proc/12626/task/12644/stat : 12644 (java) S 12624 12624 11787 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 108874655 27175628800 97110 33554432000 4194304 4196468 140737006099200 140398768860000 140399785137877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6729728 140737006101650 140737006101827 140737006101827 140737006104527 0
[pid=12626/tid=12645] ppid=12624 vsize=26538700 memory=7956005031678667109 CPUtime=0 cores=0-7
/proc/12626/task/12645/stat : 12645 (java) S 12624 12624 11787 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 28 0 108874655 27175628800 97110 33554432000 4194304 4196468 140737006099200 140398767807280 140399785138818 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6729728 140737006101650 140737006101827 140737006101827 140737006104527 0
[pid=12626/tid=12646] ppid=12624 vsize=26538700 memory=7302709298741338981 CPUtime=1.26 cores=0-7
/proc/12626/task/12646/stat : 12646 (java) R 12624 12624 11787 0 -1 4202560 220 0 0 0 125 1 0 0 20 0 28 0 108874858 27175628800 97110 33554432000 4194304 4196468 140737006099200 140398760285088 140399765328544 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 6729728 140737006101650 140737006101827 140737006101827 140737006104527 0
[pid=12626/tid=12647] ppid=12624 vsize=26538700 memory=7444556181243193700 CPUtime=1.16 cores=0-7
/proc/12626/task/12647/stat : 12647 (java) R 12624 12624 11787 0 -1 4202560 463 0 0 0 116 0 0 0 20 0 28 0 108874858 27175628800 97110 33554432000 4194304 4196468 140737006099200 140398759239936 140399417580367 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 6729728 140737006101650 140737006101827 140737006101827 140737006104527 0
[pid=12626/tid=12648] ppid=12624 vsize=26538700 memory=0 CPUtime=1.4 cores=0-7
/proc/12626/task/12648/stat : 12648 (java) R 12624 12624 11787 0 -1 4202560 230 0 0 0 140 0 0 0 20 0 28 0 108874858 27175628800 97110 33554432000 4194304 4196468 140737006099200 140398758185968 140399416234055 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 6729728 140737006101650 140737006101827 140737006101827 140737006104527 0
[pid=12626/tid=12649] ppid=12624 vsize=26538700 memory=-1 CPUtime=1.17 cores=0-7
/proc/12626/task/12649/stat : 12649 (java) R 12624 12624 11787 0 -1 4202560 154 0 0 0 117 0 0 0 20 0 28 0 108874859 27175628800 97110 33554432000 4194304 4196468 140737006099200 140398757134088 140399416234052 0 4 0 16800975 0 0 0 -1 7 0 0 2 0 0 6293624 6294260 6729728 140737006101650 140737006101827 140737006101827 140737006104527 0
[pid=12626/tid=12650] ppid=12624 vsize=26538700 memory=0 CPUtime=1.21 cores=0-7
/proc/12626/task/12650/stat : 12650 (java) R 12624 12624 11787 0 -1 4202560 174 0 0 0 121 0 0 0 20 0 28 0 108874859 27175628800 97110 33554432000 4194304 4196468 140737006099200 140398756081216 140399416232865 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 6729728 140737006101650 140737006101827 140737006101827 140737006104527 0
[pid=12626/tid=12651] ppid=12624 vsize=26538700 memory=0 CPUtime=1.22 cores=0-7
/proc/12626/task/12651/stat : 12651 (java) R 12624 12624 11787 0 -1 4202560 159 0 0 0 122 0 0 0 20 0 28 0 108874859 27175628800 97110 33554432000 4194304 4196468 140737006099200 140398755031776 140399416401505 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 6729728 140737006101650 140737006101827 140737006101827 140737006104527 0
[pid=12626/tid=12652] ppid=12624 vsize=26538700 memory=0 CPUtime=1.36 cores=0-7
/proc/12626/task/12652/stat : 12652 (java) R 12624 12624 11787 0 -1 4202560 135 0 0 0 136 0 0 0 20 0 28 0 108874859 27175628800 97110 33554432000 4194304 4196468 140737006099200 140398753976424 140399416234374 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 6729728 140737006101650 140737006101827 140737006101827 140737006104527 0
[pid=12626/tid=12653] ppid=12624 vsize=26538700 memory=2241 CPUtime=1.22 cores=0-7
/proc/12626/task/12653/stat : 12653 (java) R 12624 12624 11787 0 -1 4202560 108 0 0 0 122 0 0 0 20 0 28 0 108874859 27175628800 97110 33554432000 4194304 4196468 140737006099200 140398752923464 140399416233908 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 6729728 140737006101650 140737006101827 140737006101827 140737006104527 0
Current children cumulated CPU time: 18 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 389824 KiB
[startup+3.90122 s]
/proc/loadavg: 4.58 7.57 8.33 13/207 12653
/proc/meminfo: memFree=26701808/32770624 swapFree=67108860/67108860
[pid=12624] ppid=12621 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/12624/stat : 12624 (xcsp3-exec) S 12621 12624 11787 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 108874649 9740288 346 33554432000 4194304 5098028 140722670422656 140722670420760 140088155521660 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 12660736 140722670425188 140722670425399 140722670425399 140722670428139 0
/proc/12624/statm: 2378 346 289 221 0 87 0
[pid=12626] ppid=12624 vsize=26538700 memory=387996 CPUtime=18.69 cores=0-7
/proc/12626/stat : 12626 (java) S 12624 12624 11787 0 -1 1077944320 30581 0 0 0 1845 24 0 0 20 0 18 0 108874649 27175628800 96999 33554432000 4194304 4196468 140737006099200 140737006081744 140399785127671 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 6729728 140737006101650 140737006101827 140737006101827 140737006104527 0
/proc/12626/statm: 6634675 96999 3264 1 0 6621909 0
[pid=12626/tid=12627] ppid=12624 vsize=26538700 memory=0 CPUtime=2.05 cores=0-7
/proc/12626/task/12627/stat : 12627 (java) R 12624 12624 11787 0 -1 4202560 7180 0 0 0 201 4 0 0 20 0 18 0 108874649 27175628800 96999 33554432000 4194304 4196468 140737006099200 140399789370512 140399785141962 0 0 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 6729728 140737006101650 140737006101827 140737006101827 140737006104527 0
[pid=12626/tid=12628] ppid=12624 vsize=26538700 memory=6352256631980 CPUtime=0.02 cores=0-7
/proc/12626/task/12628/stat : 12628 (java) S 12624 12624 11787 0 -1 1077944384 113 0 0 0 1 1 0 0 20 0 18 0 108874650 27175628800 96999 33554432000 4194304 4196468 140737006099200 140399737748368 140399785137877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6729728 140737006101650 140737006101827 140737006101827 140737006104527 0
[pid=12626/tid=12629] ppid=12624 vsize=26538700 memory=56 CPUtime=0.02 cores=0-7
/proc/12626/task/12629/stat : 12629 (java) S 12624 12624 11787 0 -1 1077944384 334 0 0 0 1 1 0 0 20 0 18 0 108874650 27175628800 96999 33554432000 4194304 4196468 140737006099200 140399736695568 140399785137877 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6729728 140737006101650 140737006101827 140737006101827 140737006104527 0
[pid=12626/tid=12630] ppid=12624 vsize=26538700 memory=6944656592387989600 CPUtime=0.02 cores=0-7
/proc/12626/task/12630/stat : 12630 (java) S 12624 12624 11787 0 -1 1077944384 114 0 0 0 1 1 0 0 20 0 18 0 108874650 27175628800 96971 33554432000 4194304 4196468 140737006099200 140399735643280 140399785137877 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6729728 140737006101650 140737006101827 140737006101827 140737006104527 0
[pid=12626/tid=12631] ppid=12624 vsize=26538700 memory=0 CPUtime=0.02 cores=0-7
/proc/12626/task/12631/stat : 12631 (java) S 12624 12624 11787 0 -1 1077944384 93 0 0 0 1 1 0 0 20 0 17 0 108874650 27175628800 96971 33554432000 4194304 4196468 140737006099200 140399734590480 140399785137877 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6729728 140737006101650 140737006101827 140737006101827 140737006104527 0
[pid=12626/tid=12632] ppid=12624 vsize=26538700 memory=0 CPUtime=0.02 cores=0-7
/proc/12626/task/12632/stat : 12632 (java) S 12624 12624 11787 0 -1 1077944384 71 0 0 0 1 1 0 0 20 0 17 0 108874650 27175628800 96971 33554432000 4194304 4196468 140737006099200 140399733537168 140399785137877 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6729728 140737006101650 140737006101827 140737006101827 140737006104527 0
[pid=12626/tid=12633] ppid=12624 vsize=26538700 memory=288230604707987820 CPUtime=0.01 cores=0-7
/proc/12626/task/12633/stat : 12633 (java) S 12624 12624 11787 0 -1 1077944384 32 0 0 0 1 0 0 0 20 0 17 0 108874650 27175628800 96971 33554432000 4194304 4196468 140737006099200 140399732484368 140399785137877 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6729728 140737006101650 140737006101827 140737006101827 140737006104527 0
[pid=12626/tid=12634] ppid=12624 vsize=26538700 memory=280176958035200 CPUtime=0.01 cores=0-7
/proc/12626/task/12634/stat : 12634 (java) S 12624 12624 11787 0 -1 1077944384 156 0 0 0 1 0 0 0 20 0 17 0 108874650 27175628800 96971 33554432000 4194304 4196468 140737006099200 140399731432080 140399785137877 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6729728 140737006101650 140737006101827 140737006101827 140737006104527 0
[pid=12626/tid=12635] ppid=12624 vsize=26538700 memory=140088479012656 CPUtime=0.02 cores=0-7
/proc/12626/task/12635/stat : 12635 (java) S 12624 12624 11787 0 -1 1077944384 425 0 0 0 1 1 0 0 20 0 17 0 108874650 27175628800 96971 33554432000 4194304 4196468 140737006099200 140399335569936 140399785137877 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6729728 140737006101650 140737006101827 140737006101827 140737006104527 0
[pid=12626/tid=12637] ppid=12624 vsize=26538700 memory=56 CPUtime=0 cores=0-7
/proc/12626/task/12637/stat : 12637 (java) S 12624 12624 11787 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 17 0 108874652 27175628800 96971 33554432000 4194304 4196468 140737006099200 140398776227168 140399785137877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6729728 140737006101650 140737006101827 140737006101827 140737006104527 0
[pid=12626/tid=12638] ppid=12624 vsize=26538700 memory=9323 CPUtime=0 cores=0-7
/proc/12626/task/12638/stat : 12638 (java) S 12624 12624 11787 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 17 0 108874652 27175628800 96998 33554432000 4194304 4196468 140737006099200 140398775174784 140399785137877 256 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6729728 140737006101650 140737006101827 140737006101827 140737006104527 0
[pid=12626/tid=12639] ppid=12624 vsize=26538700 memory=24930 CPUtime=0 cores=0-7
/proc/12626/task/12639/stat : 12639 (java) R 12624 12624 11787 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 17 0 108874655 27175628800 97025 33554432000 4194304 4196468 140737006099200 140398774121856 140399785137877 256 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 6729728 140737006101650 140737006101827 140737006101827 140737006104527 0
[pid=12626/tid=12640] ppid=12624 vsize=26538700 memory=0 CPUtime=1.45 cores=0-7
/proc/12626/task/12640/stat : 12640 (java) R 12624 12624 11787 0 -1 1077944384 4872 0 0 0 144 1 0 0 20 0 14 0 108874655 27175628800 97092 33554432000 4194304 4196468 140737006099200 140398773069936 140399785138818 256 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 6729728 140737006101650 140737006101827 140737006101827 140737006104527 0
[pid=12626/tid=12642] ppid=12624 vsize=26538700 memory=1384 CPUtime=1.75 cores=0-7
/proc/12626/task/12642/stat : 12642 (java) R 12624 12624 11787 0 -1 1077944384 5726 0 0 0 174 1 0 0 20 0 7 0 108874655 27175628800 97260 33554432000 4194304 4196468 140737006099200 140398770949904 140399785137877 256 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 6729728 140737006101650 140737006101827 140737006101827 140737006104527 0
Current children cumulated CPU time: 18.69 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 389380 KiB
Child status: 0
Real time (s): 3.91045
CPU time (s): 18.719
CPU user time (s): 18.4594
CPU system time (s): 0.259595
CPU usage (%): 478.692
Max. virtual memory (cumulated for all children) (KiB): 26548212
Max. memory (cumulated for all children) (KiB): 389824
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 18.4594
system time used= 0.259595
maximum resident set size= 389080
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 31138
page faults= 0
swaps= 0
block input operations= 0
block output operations= 144
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3512
involuntary context switches= 502
# summary of solver processes directly reported to runsolver:
# pid: 12624
# total CPU time (s): 18.719
# total CPU user time (s): 18.4594
# total CPU system time (s): 0.259595
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.063718 second user time and 0.06478 second system time
The end
Begin job on node114 at 2017-08-15 02:30:10
IDJOB=4271035
IDBENCH=133260
IDSOLVER=2662
FILE ID=node114/4271035-1502757869
RUNJOBID= node114-1502749406-11814
PBS_JOBID= 20629072
Free space on /tmp= 61700 MiB
SOLVER NAME= choco-solver 4.0.5 par
BENCH NAME= XCSP17/MagicSquare/MagicSquare-mdd-s1/MagicSquare-6-mdd.xml
COMMAND LINE= ./xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 22000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4271035-1502757869/watcher-4271035-1502757869 -o /tmp/evaluation-result-4271035-1502757869/solver-4271035-1502757869 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node114-1502749406-11814 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 1893729535 HOME/instance-4271035-1502757869.xml
TIME LIMIT= 20160 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8
MD5SUM BENCH= 8668c89063be86bb404699d31286727c
RANDOM SEED=1893729535
node114.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 : 5332.98
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 : 5332.98
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 : 5332.98
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 : 5332.98
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: 26940660 kB
MemAvailable: 31984624 kB
Buffers: 205508 kB
Cached: 5125756 kB
SwapCached: 0 kB
Active: 472192 kB
Inactive: 4915368 kB
Active(anon): 58740 kB
Inactive(anon): 25124 kB
Active(file): 413452 kB
Inactive(file): 4890244 kB
Unevictable: 6432 kB
Mlocked: 6432 kB
SwapTotal: 67108860 kB
SwapFree: 67108860 kB
Dirty: 8340 kB
Writeback: 0 kB
AnonPages: 120760 kB
Mapped: 44548 kB
Shmem: 25224 kB
Slab: 137676 kB
SReclaimable: 112208 kB
SUnreclaim: 25468 kB
KernelStack: 3584 kB
PageTables: 5668 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 83494172 kB
Committed_AS: 323336 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 350232 kB
VmallocChunk: 34341910524 kB
HardwareCorrupted: 0 kB
AnonHugePages: 67584 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
DirectMap4k: 109952 kB
DirectMap2M: 33435648 kB
Free space on /tmp at the end= 61692 MiB
End job on node114 at 2017-08-15 02:30:14