0.00/0.00 c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4271138-1502717733.xml" -tl '20160s' -p 8 -x 0
0.12/0.14 c [HOME/instance-4271138-1502717733.xml, -tl, 20160s, -p, 8, -x, 0]
0.12/0.19 c 8 solvers in parallel
0.33/0.26 c parse instance...
403.04/141.49 c solve instance...
408.51/142.21 s SATISFIABLE
408.51/142.21 v <instantiation>
408.51/142.21 v <list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] x[50] x[51] x[52] x[53] x[54] x[55] x[56] x[57] x[58] x[59] x[60] x[61] x[62] x[63] x[64] x[65] x[66] x[67] x[68] x[69] x[70] x[71] x[72] x[73] x[74] x[75] x[76] x[77] x[78] x[79] x[80] x[81] x[82] x[83] x[84] </list>
408.51/142.21 v <values>0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 </values>
408.51/142.21 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 (13438 MiB free)
memory of node 1: 16384 MiB (14521 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4271138-1502717733/watcher-4271138-1502717733 -o /tmp/evaluation-result-4271138-1502717733/solver-4271138-1502717733 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node151-1502716719-25911 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 1276942786 HOME/instance-4271138-1502717733.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=26317, runsolver pid=26314
Current StackSize limit: 8192 KiB
[startup+0.100132 s]*
/proc/loadavg: 7.66 7.76 8.30 2/201 26338
/proc/meminfo: memFree=28616144/32770624 swapFree=67108860/67108860
[pid=26317] ppid=26314 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/26317/stat : 26317 (xcsp3-exec) S 26314 26317 25884 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 104854265 9740288 346 33554432000 4194304 5098028 140728439799904 140728439798008 140036168442492 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 29863936 140728439805028 140728439805239 140728439805239 140728439807979 0
/proc/26317/statm: 2378 346 289 221 0 87 0
[pid=26319] ppid=26317 vsize=25999808 memory=26232 CPUtime=0.12 cores=0-7
/proc/26319/stat : 26319 (java) S 26317 26317 25884 0 -1 1077944320 5515 0 0 0 11 1 0 0 20 0 20 0 104854265 26623803392 6558 33554432000 4194304 4196468 140725429249872 140725429232416 140007870467831 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 36286464 140725429253266 140725429253443 140725429253443 140725429256143 0
/proc/26319/statm: 6499952 6558 2836 1 0 6488269 0
[pid=26319/tid=26320] ppid=26317 vsize=25999808 memory=4134930498285298233 CPUtime=0.08 cores=0-7
/proc/26319/task/26320/stat : 26320 (java) R 26317 26317 25884 0 -1 4202560 3504 0 0 0 8 0 0 0 20 0 20 0 104854265 26623803392 6558 33554432000 4194304 4196468 140725429249872 140007874692304 140007870479766 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36286464 140725429253266 140725429253443 140725429253443 140725429256143 0
[pid=26319/tid=26321] ppid=26317 vsize=25999808 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/26319/task/26321/stat : 26321 (java) S 26317 26317 25884 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104854266 26623803392 6558 33554432000 4194304 4196468 140725429249872 140007823087888 140007870478037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36286464 140725429253266 140725429253443 140725429253443 140725429256143 0
[pid=26319/tid=26322] ppid=26317 vsize=25999808 memory=140525168539264 CPUtime=0 cores=0-7
/proc/26319/task/26322/stat : 26322 (java) S 26317 26317 25884 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104854266 26623803392 6558 33554432000 4194304 4196468 140725429249872 140007822035344 140007870478037 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36286464 140725429253266 140725429253443 140725429253443 140725429256143 0
[pid=26319/tid=26323] ppid=26317 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/26319/task/26323/stat : 26323 (java) S 26317 26317 25884 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 104854266 26623803392 6558 33554432000 4194304 4196468 140725429249872 140007820982800 140007870478037 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36286464 140725429253266 140725429253443 140725429253443 140725429256143 0
[pid=26319/tid=26324] ppid=26317 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/26319/task/26324/stat : 26324 (java) S 26317 26317 25884 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104854266 26623803392 6558 33554432000 4194304 4196468 140725429249872 140007819930256 140007870478037 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36286464 140725429253266 140725429253443 140725429253443 140725429256143 0
[pid=26319/tid=26325] ppid=26317 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/26319/task/26325/stat : 26325 (java) S 26317 26317 25884 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104854266 26623803392 6558 33554432000 4194304 4196468 140725429249872 140007818877712 140007870478037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36286464 140725429253266 140725429253443 140725429253443 140725429256143 0
[pid=26319/tid=26326] ppid=26317 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/26319/task/26326/stat : 26326 (java) S 26317 26317 25884 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104854266 26623803392 6558 33554432000 4194304 4196468 140725429249872 140007817825168 140007870478037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36286464 140725429253266 140725429253443 140725429253443 140725429256143 0
[pid=26319/tid=26327] ppid=26317 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/26319/task/26327/stat : 26327 (java) S 26317 26317 25884 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104854266 26623803392 6558 33554432000 4194304 4196468 140725429249872 140007816772624 140007870478037 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36286464 140725429253266 140725429253443 140725429253443 140725429256143 0
[pid=26319/tid=26328] ppid=26317 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/26319/task/26328/stat : 26328 (java) S 26317 26317 25884 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104854266 26623803392 6558 33554432000 4194304 4196468 140725429249872 140007815720080 140007870478037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36286464 140725429253266 140725429253443 140725429253443 140725429256143 0
[pid=26319/tid=26329] ppid=26317 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/26319/task/26329/stat : 26329 (java) S 26317 26317 25884 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104854268 26623803392 6558 33554432000 4194304 4196468 140725429249872 140006592026608 140007870478978 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36286464 140725429253266 140725429253443 140725429253443 140725429256143 0
[pid=26319/tid=26330] ppid=26317 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/26319/task/26330/stat : 26330 (java) S 26317 26317 25884 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 104854268 26623803392 6623 33554432000 4194304 4196468 140725429249872 140006590972832 140007870478037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36286464 140725429253266 140725429253443 140725429253443 140725429256143 0
[pid=26319/tid=26331] ppid=26317 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/26319/task/26331/stat : 26331 (java) S 26317 26317 25884 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 104854268 26623803392 6623 33554432000 4194304 4196468 140725429249872 140006589920240 140007870478037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36286464 140725429253266 140725429253443 140725429253443 140725429256143 0
[pid=26319/tid=26332] ppid=26317 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/26319/task/26332/stat : 26332 (java) S 26317 26317 25884 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104854271 26623803392 6623 33554432000 4194304 4196468 140725429249872 140006588868816 140007870486427 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36286464 140725429253266 140725429253443 140725429253443 140725429256143 0
[pid=26319/tid=26333] ppid=26317 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/26319/task/26333/stat : 26333 (java) S 26317 26317 25884 0 -1 1077944384 313 0 0 0 0 0 0 0 20 0 20 0 104854271 26623803392 6623 33554432000 4194304 4196468 140725429249872 140006587816432 140007870478978 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36286464 140725429253266 140725429253443 140725429253443 140725429256143 0
[pid=26319/tid=26334] ppid=26317 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/26319/task/26334/stat : 26334 (java) S 26317 26317 25884 0 -1 1077944384 125 0 0 0 0 0 0 0 20 0 20 0 104854271 26623803392 6623 33554432000 4194304 4196468 140725429249872 140006586763888 140007870478978 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36286464 140725429253266 140725429253443 140725429253443 140725429256143 0
[pid=26319/tid=26335] ppid=26317 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/26319/task/26335/stat : 26335 (java) S 26317 26317 25884 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 104854271 26623803392 6623 33554432000 4194304 4196468 140725429249872 140006585711344 140007870478978 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36286464 140725429253266 140725429253443 140725429253443 140725429256143 0
[pid=26319/tid=26336] ppid=26317 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7
/proc/26319/task/26336/stat : 26336 (java) R 26317 26317 25884 0 -1 4202560 267 0 0 0 1 0 0 0 20 0 20 0 104854271 26623803392 6623 33554432000 4194304 4196468 140725429249872 140006584658800 140007870479766 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36286464 140725429253266 140725429253443 140725429253443 140725429256143 0
[pid=26319/tid=26337] ppid=26317 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/26319/task/26337/stat : 26337 (java) S 26317 26317 25884 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 104854271 26623803392 6623 33554432000 4194304 4196468 140725429249872 140006583605472 140007870478037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36286464 140725429253266 140725429253443 140725429253443 140725429256143 0
[pid=26319/tid=26338] ppid=26317 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/26319/task/26338/stat : 26338 (java) S 26317 26317 25884 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104854271 26623803392 6623 33554432000 4194304 4196468 140725429249872 140006582553008 140007870478978 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36286464 140725429253266 140725429253443 140725429253443 140725429256143 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 26009320 KiB
Current children cumulated memory: 27616 KiB
[startup+0.210416 s]*
/proc/loadavg: 7.66 7.76 8.30 2/201 26338
/proc/meminfo: memFree=28604732/32770624 swapFree=67108860/67108860
[pid=26317] ppid=26314 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/26317/stat : 26317 (xcsp3-exec) S 26314 26317 25884 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 104854265 9740288 346 33554432000 4194304 5098028 140728439799904 140728439798008 140036168442492 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 29863936 140728439805028 140728439805239 140728439805239 140728439807979 0
/proc/26317/statm: 2378 346 289 221 0 87 0
[pid=26319] ppid=26317 vsize=26004064 memory=39192 CPUtime=0.33 cores=0-7
/proc/26319/stat : 26319 (java) S 26317 26317 25884 0 -1 1077944320 8377 0 0 0 31 2 0 0 20 0 20 0 104854265 26628161536 9798 33554432000 4194304 4196468 140725429249872 140725429232416 140007870467831 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 36286464 140725429253266 140725429253443 140725429253443 140725429256143 0
/proc/26319/statm: 6501016 9798 3070 1 0 6488269 0
[pid=26319/tid=26320] ppid=26317 vsize=26004064 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/26319/task/26320/stat : 26320 (java) R 26317 26317 25884 0 -1 1077944384 5459 0 0 0 18 1 0 0 20 0 20 0 104854265 26628161536 9798 33554432000 4194304 4196468 140725429249872 140007874669552 140007863147053 0 4 0 16800975 18446744072101629476 0 0 -1 2 0 0 0 0 0 6293624 6294260 36286464 140725429253266 140725429253443 140725429253443 140725429256143 0
[pid=26319/tid=26321] ppid=26317 vsize=26004064 memory=340 CPUtime=0 cores=0-7
/proc/26319/task/26321/stat : 26321 (java) S 26317 26317 25884 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104854266 26628161536 9798 33554432000 4194304 4196468 140725429249872 140007823087888 140007870478037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36286464 140725429253266 140725429253443 140725429253443 140725429256143 0
[pid=26319/tid=26322] ppid=26317 vsize=26004096 memory=140525169008049 CPUtime=0 cores=0-7
/proc/26319/task/26322/stat : 26322 (java) S 26317 26317 25884 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104854266 26628194304 9798 33554432000 4194304 4196468 140725429249872 140007822035344 140007870478037 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36286464 140725429253266 140725429253443 140725429253443 140725429256143 0
[pid=26319/tid=26323] ppid=26317 vsize=26004096 memory=-1 CPUtime=0 cores=0-7
/proc/26319/task/26323/stat : 26323 (java) S 26317 26317 25884 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 104854266 26628194304 9798 33554432000 4194304 4196468 140725429249872 140007820982800 140007870478037 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36286464 140725429253266 140725429253443 140725429253443 140725429256143 0
[pid=26319/tid=26324] ppid=26317 vsize=26004096 memory=0 CPUtime=0 cores=0-7
/proc/26319/task/26324/stat : 26324 (java) S 26317 26317 25884 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104854266 26628194304 9798 33554432000 4194304 4196468 140725429249872 140007819930256 140007870478037 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36286464 140725429253266 140725429253443 140725429253443 140725429256143 0
[pid=26319/tid=26325] ppid=26317 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/26319/task/26325/stat : 26325 (java) S 26317 26317 25884 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104854266 26628161536 9798 33554432000 4194304 4196468 140725429249872 140007818877712 140007870478037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36286464 140725429253266 140725429253443 140725429253443 140725429256143 0
[pid=26319/tid=26326] ppid=26317 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/26319/task/26326/stat : 26326 (java) S 26317 26317 25884 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104854266 26628161536 9798 33554432000 4194304 4196468 140725429249872 140007817825168 140007870478037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36286464 140725429253266 140725429253443 140725429253443 140725429256143 0
[pid=26319/tid=26327] ppid=26317 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/26319/task/26327/stat : 26327 (java) S 26317 26317 25884 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104854266 26628161536 9798 33554432000 4194304 4196468 140725429249872 140007816772624 140007870478037 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36286464 140725429253266 140725429253443 140725429253443 140725429256143 0
[pid=26319/tid=26328] ppid=26317 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/26319/task/26328/stat : 26328 (java) S 26317 26317 25884 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104854266 26628161536 9798 33554432000 4194304 4196468 140725429249872 140007815720080 140007870478037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36286464 140725429253266 140725429253443 140725429253443 140725429256143 0
[pid=26319/tid=26329] ppid=26317 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/26319/task/26329/stat : 26329 (java) S 26317 26317 25884 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104854268 26628161536 9798 33554432000 4194304 4196468 140725429249872 140006592026608 140007870478978 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36286464 140725429253266 140725429253443 140725429253443 140725429256143 0
[pid=26319/tid=26330] ppid=26317 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/26319/task/26330/stat : 26330 (java) S 26317 26317 25884 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 104854268 26628161536 9798 33554432000 4194304 4196468 140725429249872 140006590972832 140007870478037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36286464 140725429253266 140725429253443 140725429253443 140725429256143 0
[pid=26319/tid=26331] ppid=26317 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/26319/task/26331/stat : 26331 (java) S 26317 26317 25884 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 104854268 26628161536 9798 33554432000 4194304 4196468 140725429249872 140006589920240 140007870478037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36286464 140725429253266 140725429253443 140725429253443 140725429256143 0
[pid=26319/tid=26332] ppid=26317 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/26319/task/26332/stat : 26332 (java) S 26317 26317 25884 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104854271 26628161536 9798 33554432000 4194304 4196468 140725429249872 140006588868816 140007870486427 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36286464 140725429253266 140725429253443 140725429253443 140725429256143 0
[pid=26319/tid=26333] ppid=26317 vsize=26004096 memory=0 CPUtime=0.01 cores=0-7
/proc/26319/task/26333/stat : 26333 (java) S 26317 26317 25884 0 -1 1077944384 522 0 0 0 1 0 0 0 20 0 20 0 104854271 26628194304 9798 33554432000 4194304 4196468 140725429249872 140006587816432 140007870478978 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36286464 140725429253266 140725429253443 140725429253443 140725429256143 0
[pid=26319/tid=26334] ppid=26317 vsize=26004096 memory=0 CPUtime=0 cores=0-7
/proc/26319/task/26334/stat : 26334 (java) S 26317 26317 25884 0 -1 1077944384 136 0 0 0 0 0 0 0 20 0 20 0 104854271 26628194304 9798 33554432000 4194304 4196468 140725429249872 140006586763888 140007870478978 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36286464 140725429253266 140725429253443 140725429253443 140725429256143 0
[pid=26319/tid=26335] ppid=26317 vsize=26004096 memory=-1 CPUtime=0.02 cores=0-7
/proc/26319/task/26335/stat : 26335 (java) S 26317 26317 25884 0 -1 1077944384 225 0 0 0 2 0 0 0 20 0 20 0 104854271 26628194304 9798 33554432000 4194304 4196468 140725429249872 140006585711344 140007870478978 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36286464 140725429253266 140725429253443 140725429253443 140725429256143 0
[pid=26319/tid=26336] ppid=26317 vsize=26004064 memory=-1 CPUtime=0.07 cores=0-7
/proc/26319/task/26336/stat : 26336 (java) S 26317 26317 25884 0 -1 1077944384 731 0 0 0 7 0 0 0 20 0 20 0 104854271 26628161536 9798 33554432000 4194304 4196468 140725429249872 140006584658800 140007870478978 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36286464 140725429253266 140725429253443 140725429253443 140725429256143 0
[pid=26319/tid=26337] ppid=26317 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/26319/task/26337/stat : 26337 (java) S 26317 26317 25884 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 104854271 26628161536 9798 33554432000 4194304 4196468 140725429249872 140006583605472 140007870478037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36286464 140725429253266 140725429253443 140725429253443 140725429256143 0
[pid=26319/tid=26338] ppid=26317 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/26319/task/26338/stat : 26338 (java) S 26317 26317 25884 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104854271 26628161536 9798 33554432000 4194304 4196468 140725429249872 140006582553008 140007870478978 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36286464 140725429253266 140725429253443 140725429253443 140725429256143 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 40576 KiB
[startup+0.310267 s]*
/proc/loadavg: 7.66 7.76 8.30 3/201 26338
/proc/meminfo: memFree=28598280/32770624 swapFree=67108860/67108860
[pid=26317] ppid=26314 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/26317/stat : 26317 (xcsp3-exec) S 26314 26317 25884 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 104854265 9740288 346 33554432000 4194304 5098028 140728439799904 140728439798008 140036168442492 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 29863936 140728439805028 140728439805239 140728439805239 140728439807979 0
/proc/26317/statm: 2378 346 289 221 0 87 0
[pid=26319] ppid=26317 vsize=26004064 memory=46576 CPUtime=0.51 cores=0-7
/proc/26319/stat : 26319 (java) S 26317 26317 25884 0 -1 1077944320 9323 0 0 0 48 3 0 0 20 0 20 0 104854265 26628161536 11644 33554432000 4194304 4196468 140725429249872 140725429232416 140007870467831 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 36286464 140725429253266 140725429253443 140725429253443 140725429256143 0
/proc/26319/statm: 6501016 11644 3118 1 0 6488269 0
[pid=26319/tid=26320] ppid=26317 vsize=26004064 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/26319/task/26320/stat : 26320 (java) R 26317 26317 25884 0 -1 4202560 6063 0 0 0 27 2 0 0 20 0 20 0 104854265 26628161536 11644 33554432000 4194304 4196468 140725429249872 140007874705344 140007497046550 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36286464 140725429253266 140725429253443 140725429253443 140725429256143 0
[pid=26319/tid=26321] ppid=26317 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/26319/task/26321/stat : 26321 (java) S 26317 26317 25884 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104854266 26628161536 11644 33554432000 4194304 4196468 140725429249872 140007823087888 140007870478037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36286464 140725429253266 140725429253443 140725429253443 140725429256143 0
[pid=26319/tid=26322] ppid=26317 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/26319/task/26322/stat : 26322 (java) S 26317 26317 25884 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104854266 26628161536 11644 33554432000 4194304 4196468 140725429249872 140007822035344 140007870478037 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36286464 140725429253266 140725429253443 140725429253443 140725429256143 0
[pid=26319/tid=26323] ppid=26317 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/26319/task/26323/stat : 26323 (java) S 26317 26317 25884 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 104854266 26628161536 11644 33554432000 4194304 4196468 140725429249872 140007820982800 140007870478037 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36286464 140725429253266 140725429253443 140725429253443 140725429256143 0
[pid=26319/tid=26324] ppid=26317 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/26319/task/26324/stat : 26324 (java) S 26317 26317 25884 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104854266 26628161536 11644 33554432000 4194304 4196468 140725429249872 140007819930256 140007870478037 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36286464 140725429253266 140725429253443 140725429253443 140725429256143 0
[pid=26319/tid=26325] ppid=26317 vsize=26004064 memory=2244 CPUtime=0 cores=0-7
/proc/26319/task/26325/stat : 26325 (java) S 26317 26317 25884 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104854266 26628161536 11644 33554432000 4194304 4196468 140725429249872 140007818877712 140007870478037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36286464 140725429253266 140725429253443 140725429253443 140725429256143 0
[pid=26319/tid=26326] ppid=26317 vsize=26004064 memory=140525021787055 CPUtime=0 cores=0-7
/proc/26319/task/26326/stat : 26326 (java) S 26317 26317 25884 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104854266 26628161536 11644 33554432000 4194304 4196468 140725429249872 140007817825168 140007870478037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36286464 140725429253266 140725429253443 140725429253443 140725429256143 0
[pid=26319/tid=26327] ppid=26317 vsize=26004064 memory=140525021789360 CPUtime=0 cores=0-7
/proc/26319/task/26327/stat : 26327 (java) S 26317 26317 25884 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104854266 26628161536 11644 33554432000 4194304 4196468 140725429249872 140007816772624 140007870478037 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36286464 140725429253266 140725429253443 140725429253443 140725429256143 0
[pid=26319/tid=26328] ppid=26317 vsize=26004064 memory=140525021791664 CPUtime=0 cores=0-7
/proc/26319/task/26328/stat : 26328 (java) S 26317 26317 25884 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104854266 26628161536 11644 33554432000 4194304 4196468 140725429249872 140007815720080 140007870478037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36286464 140725429253266 140725429253443 140725429253443 140725429256143 0
[pid=26319/tid=26329] ppid=26317 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/26319/task/26329/stat : 26329 (java) S 26317 26317 25884 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104854268 26628161536 11644 33554432000 4194304 4196468 140725429249872 140006592026608 140007870478978 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36286464 140725429253266 140725429253443 140725429253443 140725429256143 0
[pid=26319/tid=26330] ppid=26317 vsize=26004064 memory=281050043590288 CPUtime=0 cores=0-7
/proc/26319/task/26330/stat : 26330 (java) S 26317 26317 25884 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 104854268 26628161536 11644 33554432000 4194304 4196468 140725429249872 140006590972832 140007870478037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36286464 140725429253266 140725429253443 140725429253443 140725429256143 0
[pid=26319/tid=26331] ppid=26317 vsize=26004064 memory=281050043597200 CPUtime=0 cores=0-7
/proc/26319/task/26331/stat : 26331 (java) S 26317 26317 25884 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 104854268 26628161536 11644 33554432000 4194304 4196468 140725429249872 140006589920240 140007870478037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36286464 140725429253266 140725429253443 140725429253443 140725429256143 0
[pid=26319/tid=26332] ppid=26317 vsize=26004064 memory=281050043538480 CPUtime=0 cores=0-7
/proc/26319/task/26332/stat : 26332 (java) S 26317 26317 25884 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104854271 26628161536 11644 33554432000 4194304 4196468 140725429249872 140006588868816 140007870486427 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36286464 140725429253266 140725429253443 140725429253443 140725429256143 0
[pid=26319/tid=26333] ppid=26317 vsize=26004064 memory=281050043611024 CPUtime=0.02 cores=0-7
/proc/26319/task/26333/stat : 26333 (java) R 26317 26317 25884 0 -1 4202560 528 0 0 0 2 0 0 0 20 0 20 0 104854271 26628161536 11644 33554432000 4194304 4196468 140725429249872 140006587816432 140007854867588 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 36286464 140725429253266 140725429253443 140725429253443 140725429256143 0
[pid=26319/tid=26334] ppid=26317 vsize=26004064 memory=281050043617936 CPUtime=0.01 cores=0-7
/proc/26319/task/26334/stat : 26334 (java) R 26317 26317 25884 0 -1 4202560 301 0 0 0 1 0 0 0 20 0 20 0 104854271 26628161536 11644 33554432000 4194304 4196468 140725429249872 140006586744904 140007854370912 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36286464 140725429253266 140725429253443 140725429253443 140725429256143 0
[pid=26319/tid=26335] ppid=26317 vsize=26004064 memory=281050043615632 CPUtime=0.04 cores=0-7
/proc/26319/task/26335/stat : 26335 (java) S 26317 26317 25884 0 -1 1077944384 289 0 0 0 4 0 0 0 20 0 20 0 104854271 26628161536 11644 33554432000 4194304 4196468 140725429249872 140006585711344 140007870478978 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36286464 140725429253266 140725429253443 140725429253443 140725429256143 0
[pid=26319/tid=26336] ppid=26317 vsize=26004064 memory=281050043631792 CPUtime=0.12 cores=0-7
/proc/26319/task/26336/stat : 26336 (java) S 26317 26317 25884 0 -1 1077944384 830 0 0 0 12 0 0 0 20 0 20 0 104854271 26628161536 11644 33554432000 4194304 4196468 140725429249872 140006584658800 140007870478978 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36286464 140725429253266 140725429253443 140725429253443 140725429256143 0
[pid=26319/tid=26337] ppid=26317 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/26319/task/26337/stat : 26337 (java) S 26317 26317 25884 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 104854271 26628161536 11644 33554432000 4194304 4196468 140725429249872 140006583605472 140007870478037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36286464 140725429253266 140725429253443 140725429253443 140725429256143 0
[pid=26319/tid=26338] ppid=26317 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/26319/task/26338/stat : 26338 (java) S 26317 26317 25884 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104854271 26628161536 11644 33554432000 4194304 4196468 140725429249872 140006582553008 140007870478978 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36286464 140725429253266 140725429253443 140725429253443 140725429256143 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 47960 KiB
[startup+0.704545 s]
/proc/loadavg: 7.66 7.76 8.30 5/201 26338
/proc/meminfo: memFree=28477336/32770624 swapFree=67108860/67108860
[pid=26317] ppid=26314 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/26317/stat : 26317 (xcsp3-exec) S 26314 26317 25884 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 104854265 9740288 346 33554432000 4194304 5098028 140728439799904 140728439798008 140036168442492 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 29863936 140728439805028 140728439805239 140728439805239 140728439807979 0
/proc/26317/statm: 2378 346 289 221 0 87 0
[pid=26319] ppid=26317 vsize=26004140 memory=297968 CPUtime=1.81 cores=0-7
/proc/26319/stat : 26319 (java) S 26317 26317 25884 0 -1 1077944320 13268 0 0 0 150 31 0 0 20 0 20 0 104854265 26628239360 74492 33554432000 4194304 4196468 140725429249872 140725429232416 140007870467831 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 36286464 140725429253266 140725429253443 140725429253443 140725429256143 0
/proc/26319/statm: 6501035 74492 3190 1 0 6488269 0
[pid=26319/tid=26320] ppid=26317 vsize=26004140 memory=281050043989680 CPUtime=0.62 cores=0-7
/proc/26319/task/26320/stat : 26320 (java) R 26317 26317 25884 0 -1 4202560 6373 0 0 0 56 6 0 0 20 0 20 0 104854265 26628239360 74492 33554432000 4194304 4196468 140725429249872 140007874705280 140007854548318 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36286464 140725429253266 140725429253443 140725429253443 140725429256143 0
[pid=26319/tid=26321] ppid=26317 vsize=26004140 memory=140525021995888 CPUtime=0.05 cores=0-7
/proc/26319/task/26321/stat : 26321 (java) S 26317 26317 25884 0 -1 1077944384 61 0 0 0 2 3 0 0 20 0 20 0 104854266 26628239360 74492 33554432000 4194304 4196468 140725429249872 140007823087888 140007870478037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36286464 140725429253266 140725429253443 140725429253443 140725429256143 0
[pid=26319/tid=26322] ppid=26317 vsize=26004140 memory=0 CPUtime=0.04 cores=0-7
/proc/26319/task/26322/stat : 26322 (java) S 26317 26317 25884 0 -1 1077944384 51 0 0 0 2 2 0 0 20 0 20 0 104854266 26628239360 74492 33554432000 4194304 4196468 140725429249872 140007822035344 140007870478037 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36286464 140725429253266 140725429253443 140725429253443 140725429256143 0
[pid=26319/tid=26323] ppid=26317 vsize=26004140 memory=1200 CPUtime=0.04 cores=0-7
/proc/26319/task/26323/stat : 26323 (java) S 26317 26317 25884 0 -1 1077944384 49 0 0 0 2 2 0 0 20 0 20 0 104854266 26628239360 74492 33554432000 4194304 4196468 140725429249872 140007820982800 140007870478037 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36286464 140725429253266 140725429253443 140725429253443 140725429256143 0
################
# More data... #
################
[pid=26319/tid=26328] ppid=26317 vsize=26538700 memory=8556 CPUtime=36.87 cores=0-7
/proc/26319/task/26328/stat : 26328 (java) S 26317 26317 25884 0 -1 1077944384 10534 0 0 0 3440 247 0 0 20 0 28 0 104854266 27175628800 3107440 33554432000 4194304 4196468 140725429249872 140007815720080 140007870478037 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 12 0 0 6293624 6294260 36286464 140725429253266 140725429253443 140725429253443 140725429256143 0
[pid=26319/tid=26329] ppid=26317 vsize=26538700 memory=15872 CPUtime=1.2 cores=0-7
/proc/26319/task/26329/stat : 26329 (java) S 26317 26317 25884 0 -1 1077944384 37488 0 0 0 106 14 0 0 20 0 28 0 104854268 27175628800 3107440 33554432000 4194304 4196468 140725429249872 140006592026608 140007870478978 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36286464 140725429253266 140725429253443 140725429253443 140725429256143 0
[pid=26319/tid=26330] ppid=26317 vsize=26538700 memory=1224 CPUtime=0 cores=0-7
/proc/26319/task/26330/stat : 26330 (java) S 26317 26317 25884 0 -1 1077944384 76 0 0 0 0 0 0 0 20 0 28 0 104854268 27175628800 3107440 33554432000 4194304 4196468 140725429249872 140006590972896 140007870478037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36286464 140725429253266 140725429253443 140725429253443 140725429256143 0
[pid=26319/tid=26331] ppid=26317 vsize=26538700 memory=5716 CPUtime=0 cores=0-7
/proc/26319/task/26331/stat : 26331 (java) S 26317 26317 25884 0 -1 1077944384 180 0 0 0 0 0 0 0 20 0 28 0 104854268 27175628800 3107440 33554432000 4194304 4196468 140725429249872 140006589920256 140007870478037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36286464 140725429253266 140725429253443 140725429253443 140725429256143 0
[pid=26319/tid=26332] ppid=26317 vsize=26538700 memory=1720 CPUtime=0 cores=0-7
/proc/26319/task/26332/stat : 26332 (java) S 26317 26317 25884 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 104854271 27175628800 3107440 33554432000 4194304 4196468 140725429249872 140006588868816 140007870486427 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36286464 140725429253266 140725429253443 140725429253443 140725429256143 0
[pid=26319/tid=26333] ppid=26317 vsize=26538700 memory=4612 CPUtime=0.94 cores=0-7
/proc/26319/task/26333/stat : 26333 (java) S 26317 26317 25884 0 -1 1077944384 5133 0 0 0 93 1 0 0 20 0 28 0 104854271 27175628800 3107440 33554432000 4194304 4196468 140725429249872 140006587816432 140007870478978 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36286464 140725429253266 140725429253443 140725429253443 140725429256143 0
[pid=26319/tid=26334] ppid=26317 vsize=26538700 memory=1008 CPUtime=1.21 cores=0-7
/proc/26319/task/26334/stat : 26334 (java) S 26317 26317 25884 0 -1 1077944384 7701 0 0 0 120 1 0 0 20 0 28 0 104854271 27175628800 3107440 33554432000 4194304 4196468 140725429249872 140006586763888 140007870478978 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36286464 140725429253266 140725429253443 140725429253443 140725429256143 0
[pid=26319/tid=26335] ppid=26317 vsize=26538700 memory=4052 CPUtime=1.1 cores=0-7
/proc/26319/task/26335/stat : 26335 (java) R 26317 26317 25884 0 -1 4202560 6089 0 0 0 109 1 0 0 20 0 28 0 104854271 27175628800 3107440 33554432000 4194304 4196468 140725429249872 140006585711440 140007848215330 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36286464 140725429253266 140725429253443 140725429253443 140725429256143 0
[pid=26319/tid=26336] ppid=26317 vsize=26538700 memory=17796 CPUtime=0.55 cores=0-7
/proc/26319/task/26336/stat : 26336 (java) S 26317 26317 25884 0 -1 1077944384 5713 0 0 0 53 2 0 0 20 0 28 0 104854271 27175628800 3107440 33554432000 4194304 4196468 140725429249872 140006584658800 140007870478978 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36286464 140725429253266 140725429253443 140725429253443 140725429256143 0
[pid=26319/tid=26337] ppid=26317 vsize=26538700 memory=18472 CPUtime=0 cores=0-7
/proc/26319/task/26337/stat : 26337 (java) S 26317 26317 25884 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 104854271 27175628800 3107440 33554432000 4194304 4196468 140725429249872 140006583605472 140007870478037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36286464 140725429253266 140725429253443 140725429253443 140725429256143 0
[pid=26319/tid=26338] ppid=26317 vsize=26538700 memory=640 CPUtime=0.05 cores=0-7
/proc/26319/task/26338/stat : 26338 (java) S 26317 26317 25884 0 -1 1077944384 1047 0 0 0 2 3 0 0 20 0 28 0 104854271 27175628800 3107440 33554432000 4194304 4196468 140725429249872 140006582553008 140007870478978 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36286464 140725429253266 140725429253443 140725429253443 140725429256143 0
Current children cumulated CPU time: 403.93 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 12431144 KiB
[startup+142.002 s]*
/proc/loadavg: 3.84 6.06 7.58 10/209 26346
/proc/meminfo: memFree=16185852/32770624 swapFree=67108860/67108860
[pid=26317] ppid=26314 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/26317/stat : 26317 (xcsp3-exec) S 26314 26317 25884 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 104854265 9740288 346 33554432000 4194304 5098028 140728439799904 140728439798008 140036168442492 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 29863936 140728439805028 140728439805239 140728439805239 140728439807979 0
/proc/26317/statm: 2378 346 289 221 0 87 0
[pid=26319] ppid=26317 vsize=26538700 memory=12435956 CPUtime=407.07 cores=0-7
/proc/26319/stat : 26319 (java) S 26317 26317 25884 0 -1 1077944320 225205 0 0 0 38667 2040 0 0 20 0 28 0 104854265 27175628800 3108989 33554432000 4194304 4196468 140725429249872 140725429232416 140007870467831 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 36286464 140725429253266 140725429253443 140725429253443 140725429256143 0
/proc/26319/statm: 6634675 3108989 3280 1 0 6621909 0
[pid=26319/tid=26320] ppid=26317 vsize=26538700 memory=960 CPUtime=102.55 cores=0-7
/proc/26319/task/26320/stat : 26320 (java) S 26317 26317 25884 0 -1 1077944384 40951 0 0 0 10142 113 0 0 20 0 28 0 104854265 27175628800 3108989 33554432000 4194304 4196468 140725429249872 140007874708608 140007870478037 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36286464 140725429253266 140725429253443 140725429253443 140725429256143 0
[pid=26319/tid=26321] ppid=26317 vsize=26538700 memory=4872558044660077418 CPUtime=36.99 cores=0-7
/proc/26319/task/26321/stat : 26321 (java) S 26317 26317 25884 0 -1 1077944384 21652 0 0 0 3460 239 0 0 20 0 28 0 104854266 27175628800 3108989 33554432000 4194304 4196468 140725429249872 140007823087888 140007870478037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 13 0 0 6293624 6294260 36286464 140725429253266 140725429253443 140725429253443 140725429256143 0
[pid=26319/tid=26322] ppid=26317 vsize=26538700 memory=288230596050944315 CPUtime=36.96 cores=0-7
/proc/26319/task/26322/stat : 26322 (java) S 26317 26317 25884 0 -1 1077944384 9710 0 0 0 3461 235 0 0 20 0 28 0 104854266 27175628800 3108989 33554432000 4194304 4196468 140725429249872 140007822035344 140007870478037 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 14 0 0 6293624 6294260 36286464 140725429253266 140725429253443 140725429253443 140725429256143 0
[pid=26319/tid=26323] ppid=26317 vsize=26538700 memory=14692993764428351 CPUtime=37.11 cores=0-7
/proc/26319/task/26323/stat : 26323 (java) S 26317 26317 25884 0 -1 1077944384 12483 0 0 0 3475 236 0 0 20 0 28 0 104854266 27175628800 3108989 33554432000 4194304 4196468 140725429249872 140007820982800 140007870478037 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 14 0 0 6293624 6294260 36286464 140725429253266 140725429253443 140725429253443 140725429256143 0
[pid=26319/tid=26324] ppid=26317 vsize=26538700 memory=9992 CPUtime=36.61 cores=0-7
/proc/26319/task/26324/stat : 26324 (java) S 26317 26317 25884 0 -1 1077944384 9846 0 0 0 3428 233 0 0 20 0 28 0 104854266 27175628800 3108989 33554432000 4194304 4196468 140725429249872 140007819930256 140007870478037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 15 0 0 6293624 6294260 36286464 140725429253266 140725429253443 140725429253443 140725429256143 0
[pid=26319/tid=26325] ppid=26317 vsize=26538700 memory=4132 CPUtime=37.14 cores=0-7
/proc/26319/task/26325/stat : 26325 (java) S 26317 26317 25884 0 -1 1077944384 20777 0 0 0 3480 234 0 0 20 0 28 0 104854266 27175628800 3108989 33554432000 4194304 4196468 140725429249872 140007818877712 140007870478037 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 16 0 0 6293624 6294260 36286464 140725429253266 140725429253443 140725429253443 140725429256143 0
[pid=26319/tid=26326] ppid=26317 vsize=26538700 memory=2204 CPUtime=36.94 cores=0-7
/proc/26319/task/26326/stat : 26326 (java) S 26317 26317 25884 0 -1 1077944384 19394 0 0 0 3460 234 0 0 20 0 28 0 104854266 27175628800 3108989 33554432000 4194304 4196468 140725429249872 140007817825168 140007870478037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 14 0 0 6293624 6294260 36286464 140725429253266 140725429253443 140725429253443 140725429256143 0
[pid=26319/tid=26327] ppid=26317 vsize=26538700 memory=7280 CPUtime=36.87 cores=0-7
/proc/26319/task/26327/stat : 26327 (java) S 26317 26317 25884 0 -1 1077944384 10266 0 0 0 3447 240 0 0 20 0 28 0 104854266 27175628800 3108989 33554432000 4194304 4196468 140725429249872 140007816772624 140007870478037 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 13 0 0 6293624 6294260 36286464 140725429253266 140725429253443 140725429253443 140725429256143 0
[pid=26319/tid=26328] ppid=26317 vsize=26538700 memory=844 CPUtime=36.87 cores=0-7
/proc/26319/task/26328/stat : 26328 (java) S 26317 26317 25884 0 -1 1077944384 10534 0 0 0 3440 247 0 0 20 0 28 0 104854266 27175628800 3108989 33554432000 4194304 4196468 140725429249872 140007815720080 140007870478037 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 12 0 0 6293624 6294260 36286464 140725429253266 140725429253443 140725429253443 140725429256143 0
[pid=26319/tid=26329] ppid=26317 vsize=26538700 memory=4108 CPUtime=1.2 cores=0-7
/proc/26319/task/26329/stat : 26329 (java) S 26317 26317 25884 0 -1 1077944384 37488 0 0 0 106 14 0 0 20 0 28 0 104854268 27175628800 3108989 33554432000 4194304 4196468 140725429249872 140006592026608 140007870478978 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36286464 140725429253266 140725429253443 140725429253443 140725429256143 0
[pid=26319/tid=26330] ppid=26317 vsize=26538700 memory=1696 CPUtime=0 cores=0-7
/proc/26319/task/26330/stat : 26330 (java) S 26317 26317 25884 0 -1 1077944384 76 0 0 0 0 0 0 0 20 0 28 0 104854268 27175628800 3108989 33554432000 4194304 4196468 140725429249872 140006590972896 140007870478037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36286464 140725429253266 140725429253443 140725429253443 140725429256143 0
[pid=26319/tid=26331] ppid=26317 vsize=26538700 memory=920 CPUtime=0 cores=0-7
/proc/26319/task/26331/stat : 26331 (java) S 26317 26317 25884 0 -1 1077944384 180 0 0 0 0 0 0 0 20 0 28 0 104854268 27175628800 3108989 33554432000 4194304 4196468 140725429249872 140006589920256 140007870478037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36286464 140725429253266 140725429253443 140725429253443 140725429256143 0
[pid=26319/tid=26332] ppid=26317 vsize=26538700 memory=4116 CPUtime=0 cores=0-7
/proc/26319/task/26332/stat : 26332 (java) S 26317 26317 25884 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 104854271 27175628800 3108989 33554432000 4194304 4196468 140725429249872 140006588868816 140007870486427 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36286464 140725429253266 140725429253443 140725429253443 140725429256143 0
[pid=26319/tid=26333] ppid=26317 vsize=26538700 memory=1152 CPUtime=1.17 cores=0-7
/proc/26319/task/26333/stat : 26333 (java) R 26317 26317 25884 0 -1 4202560 6536 0 0 0 116 1 0 0 20 0 28 0 104854271 27175628800 3108989 33554432000 4194304 4196468 140725429249872 140006587816728 140007855348064 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 36286464 140725429253266 140725429253443 140725429253443 140725429256143 0
[pid=26319/tid=26334] ppid=26317 vsize=26538700 memory=3188 CPUtime=1.41 cores=0-7
/proc/26319/task/26334/stat : 26334 (java) S 26317 26317 25884 0 -1 1077944384 9202 0 0 0 140 1 0 0 20 0 28 0 104854271 27175628800 3108989 33554432000 4194304 4196468 140725429249872 140006586763888 140007870478978 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36286464 140725429253266 140725429253443 140725429253443 140725429256143 0
[pid=26319/tid=26335] ppid=26317 vsize=26538700 memory=1384 CPUtime=1.32 cores=0-7
/proc/26319/task/26335/stat : 26335 (java) S 26317 26317 25884 0 -1 1077944384 7648 0 0 0 131 1 0 0 20 0 28 0 104854271 27175628800 3108989 33554432000 4194304 4196468 140725429249872 140006585711344 140007870478978 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36286464 140725429253266 140725429253443 140725429253443 140725429256143 0
[pid=26319/tid=26336] ppid=26317 vsize=26538700 memory=12428836 CPUtime=0.57 cores=0-7
/proc/26319/task/26336/stat : 26336 (java) S 26317 26317 25884 0 -1 1077944384 5783 0 0 0 55 2 0 0 20 0 28 0 104854271 27175628800 3108989 33554432000 4194304 4196468 140725429249872 140006584658800 140007870478978 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36286464 140725429253266 140725429253443 140725429253443 140725429256143 0
[pid=26319/tid=26337] ppid=26317 vsize=26538700 memory=4052 CPUtime=0 cores=0-7
/proc/26319/task/26337/stat : 26337 (java) S 26317 26317 25884 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 104854271 27175628800 3108989 33554432000 4194304 4196468 140725429249872 140006583605472 140007870478037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36286464 140725429253266 140725429253443 140725429253443 140725429256143 0
[pid=26319/tid=26338] ppid=26317 vsize=26538700 memory=1384 CPUtime=0.05 cores=0-7
/proc/26319/task/26338/stat : 26338 (java) S 26317 26317 25884 0 -1 1077944384 1047 0 0 0 2 3 0 0 20 0 28 0 104854271 27175628800 3108989 33554432000 4194304 4196468 140725429249872 140006582553008 140007870478978 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36286464 140725429253266 140725429253443 140725429253443 140725429256143 0
[pid=26319/tid=26339] ppid=26317 vsize=26538700 memory=4872558044660077418 CPUtime=0.38 cores=0-7
/proc/26319/task/26339/stat : 26339 (java) R 26317 26317 25884 0 -1 1077944384 73 0 0 0 38 0 0 0 20 0 28 0 104868416 27175628800 3108989 33554432000 4194304 4196468 140725429249872 140006574544288 140007870478037 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36286464 140725429253266 140725429253443 140725429253443 140725429256143 0
[pid=26319/tid=26340] ppid=26317 vsize=26538700 memory=8328453600958622283 CPUtime=0.37 cores=0-7
/proc/26319/task/26340/stat : 26340 (java) R 26317 26317 25884 0 -1 4202560 37 0 0 0 37 0 0 0 20 0 28 0 104868416 27175628800 3108989 33554432000 4194304 4196468 140725429249872 140006573489120 140007499045156 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36286464 140725429253266 140725429253443 140725429253443 140725429256143 0
[pid=26319/tid=26341] ppid=26317 vsize=26538700 memory=-8412652160765825907 CPUtime=0.41 cores=0-7
/proc/26319/task/26341/stat : 26341 (java) R 26317 26317 25884 0 -1 4202560 79 0 0 0 41 0 0 0 20 0 28 0 104868416 27175628800 3108989 33554432000 4194304 4196468 140725429249872 140006572437696 140007498003075 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36286464 140725429253266 140725429253443 140725429253443 140725429256143 0
[pid=26319/tid=26342] ppid=26317 vsize=26538700 memory=-8634980985311628903 CPUtime=0.33 cores=0-7
/proc/26319/task/26342/stat : 26342 (java) S 26317 26317 25884 0 -1 1077944384 34 0 0 0 33 0 0 0 20 0 28 0 104868416 27175628800 3108989 33554432000 4194304 4196468 140725429249872 140006571384032 140007870478037 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36286464 140725429253266 140725429253443 140725429253443 140725429256143 0
[pid=26319/tid=26343] ppid=26317 vsize=26538700 memory=7100839878645619564 CPUtime=0.36 cores=0-7
/proc/26319/task/26343/stat : 26343 (java) R 26317 26317 25884 0 -1 4202560 54 0 0 0 36 0 0 0 20 0 28 0 104868416 27175628800 3108989 33554432000 4194304 4196468 140725429249872 140006570331488 140007499044399 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36286464 140725429253266 140725429253443 140725429253443 140725429256143 0
[pid=26319/tid=26344] ppid=26317 vsize=26538700 memory=7897517683652307531 CPUtime=0.44 cores=0-7
/proc/26319/task/26344/stat : 26344 (java) R 26317 26317 25884 0 -1 4202560 48 0 0 0 44 0 0 0 20 0 28 0 104868416 27175628800 3108989 33554432000 4194304 4196468 140725429249872 140006569278944 140007499045156 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36286464 140725429253266 140725429253443 140725429253443 140725429256143 0
[pid=26319/tid=26345] ppid=26317 vsize=26538700 memory=8514726395715349656 CPUtime=0.37 cores=0-7
/proc/26319/task/26345/stat : 26345 (java) R 26317 26317 25884 0 -1 4202560 34 0 0 0 37 0 0 0 20 0 28 0 104868416 27175628800 3108989 33554432000 4194304 4196468 140725429249872 140006568225376 140007499044636 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36286464 140725429253266 140725429253443 140725429253443 140725429256143 0
[pid=26319/tid=26346] ppid=26317 vsize=26538700 memory=1384 CPUtime=0.45 cores=0-7
/proc/26319/task/26346/stat : 26346 (java) R 26317 26317 25884 0 -1 4202560 33 0 0 0 45 0 0 0 20 0 28 0 104868416 27175628800 3108989 33554432000 4194304 4196468 140725429249872 140006567172832 140007499045193 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36286464 140725429253266 140725429253443 140725429253443 140725429256143 0
Current children cumulated CPU time: 407.07 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 12437340 KiB
[startup+142.201 s]
/proc/loadavg: 3.84 6.06 7.58 10/209 26346
/proc/meminfo: memFree=16185852/32770624 swapFree=67108860/67108860
[pid=26317] ppid=26314 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/26317/stat : 26317 (xcsp3-exec) S 26314 26317 25884 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 104854265 9740288 346 33554432000 4194304 5098028 140728439799904 140728439798008 140036168442492 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 29863936 140728439805028 140728439805239 140728439805239 140728439807979 0
/proc/26317/statm: 2378 346 289 221 0 87 0
[pid=26319] ppid=26317 vsize=26538700 memory=12436092 CPUtime=408.51 cores=0-7
/proc/26319/stat : 26319 (java) S 26317 26317 25884 0 -1 1077944320 225271 0 0 0 38810 2041 0 0 20 0 28 0 104854265 27175628800 3109023 33554432000 4194304 4196468 140725429249872 140725429232416 140007870467831 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 36286464 140725429253266 140725429253443 140725429253443 140725429256143 0
/proc/26319/statm: 6634675 3109023 3280 1 0 6621909 0
[pid=26319/tid=26320] ppid=26317 vsize=26538700 memory=4052 CPUtime=102.55 cores=0-7
/proc/26319/task/26320/stat : 26320 (java) S 26317 26317 25884 0 -1 1077944384 40951 0 0 0 10142 113 0 0 20 0 28 0 104854265 27175628800 3109023 33554432000 4194304 4196468 140725429249872 140007874708608 140007870478037 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36286464 140725429253266 140725429253443 140725429253443 140725429256143 0
[pid=26319/tid=26321] ppid=26317 vsize=26538700 memory=17796 CPUtime=36.99 cores=0-7
/proc/26319/task/26321/stat : 26321 (java) S 26317 26317 25884 0 -1 1077944384 21652 0 0 0 3460 239 0 0 20 0 28 0 104854266 27175628800 3109023 33554432000 4194304 4196468 140725429249872 140007823087888 140007870478037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 13 0 0 6293624 6294260 36286464 140725429253266 140725429253443 140725429253443 140725429256143 0
[pid=26319/tid=26322] ppid=26317 vsize=26538700 memory=18472 CPUtime=36.96 cores=0-7
/proc/26319/task/26322/stat : 26322 (java) S 26317 26317 25884 0 -1 1077944384 9710 0 0 0 3461 235 0 0 20 0 28 0 104854266 27175628800 3109023 33554432000 4194304 4196468 140725429249872 140007822035344 140007870478037 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 14 0 0 6293624 6294260 36286464 140725429253266 140725429253443 140725429253443 140725429256143 0
[pid=26319/tid=26323] ppid=26317 vsize=26538700 memory=640 CPUtime=37.11 cores=0-7
/proc/26319/task/26323/stat : 26323 (java) S 26317 26317 25884 0 -1 1077944384 12483 0 0 0 3475 236 0 0 20 0 28 0 104854266 27175628800 3109023 33554432000 4194304 4196468 140725429249872 140007820982800 140007870478037 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 14 0 0 6293624 6294260 36286464 140725429253266 140725429253443 140725429253443 140725429256143 0
[pid=26319/tid=26324] ppid=26317 vsize=26538700 memory=12429092 CPUtime=36.61 cores=0-7
/proc/26319/task/26324/stat : 26324 (java) S 26317 26317 25884 0 -1 1077944384 9846 0 0 0 3428 233 0 0 20 0 28 0 104854266 27175628800 3109023 33554432000 4194304 4196468 140725429249872 140007819930256 140007870478037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 15 0 0 6293624 6294260 36286464 140725429253266 140725429253443 140725429253443 140725429256143 0
[pid=26319/tid=26325] ppid=26317 vsize=26538700 memory=-8412652169205224307 CPUtime=37.14 cores=0-7
/proc/26319/task/26325/stat : 26325 (java) S 26317 26317 25884 0 -1 1077944384 20777 0 0 0 3480 234 0 0 20 0 28 0 104854266 27175628800 3109023 33554432000 4194304 4196468 140725429249872 140007818877712 140007870478037 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 16 0 0 6293624 6294260 36286464 140725429253266 140725429253443 140725429253443 140725429256143 0
[pid=26319/tid=26326] ppid=26317 vsize=26538700 memory=7163942117908758630 CPUtime=36.94 cores=0-7
/proc/26319/task/26326/stat : 26326 (java) S 26317 26317 25884 0 -1 1077944384 19394 0 0 0 3460 234 0 0 20 0 28 0 104854266 27175628800 3109023 33554432000 4194304 4196468 140725429249872 140007817825168 140007870478037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 14 0 0 6293624 6294260 36286464 140725429253266 140725429253443 140725429253443 140725429256143 0
[pid=26319/tid=26327] ppid=26317 vsize=26538700 memory=7517744056155203177 CPUtime=36.87 cores=0-7
/proc/26319/task/26327/stat : 26327 (java) S 26317 26317 25884 0 -1 1077944384 10266 0 0 0 3447 240 0 0 20 0 28 0 104854266 27175628800 3109023 33554432000 4194304 4196468 140725429249872 140007816772624 140007870478037 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 13 0 0 6293624 6294260 36286464 140725429253266 140725429253443 140725429253443 140725429256143 0
[pid=26319/tid=26328] ppid=26317 vsize=26538700 memory=7523105295604935272 CPUtime=36.87 cores=0-7
/proc/26319/task/26328/stat : 26328 (java) S 26317 26317 25884 0 -1 1077944384 10534 0 0 0 3440 247 0 0 20 0 28 0 104854266 27175628800 3109023 33554432000 4194304 4196468 140725429249872 140007815720080 140007870478037 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 12 0 0 6293624 6294260 36286464 140725429253266 140725429253443 140725429253443 140725429256143 0
[pid=26319/tid=26329] ppid=26317 vsize=26538700 memory=7019539880022402666 CPUtime=1.2 cores=0-7
/proc/26319/task/26329/stat : 26329 (java) S 26317 26317 25884 0 -1 1077944384 37489 0 0 0 106 14 0 0 20 0 28 0 104854268 27175628800 3109023 33554432000 4194304 4196468 140725429249872 140006592026608 140007870478978 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36286464 140725429253266 140725429253443 140725429253443 140725429256143 0
[pid=26319/tid=26330] ppid=26317 vsize=26538700 memory=6003977171963242346 CPUtime=0 cores=0-7
/proc/26319/task/26330/stat : 26330 (java) S 26317 26317 25884 0 -1 1077944384 76 0 0 0 0 0 0 0 20 0 28 0 104854268 27175628800 3109023 33554432000 4194304 4196468 140725429249872 140006590972896 140007870478037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36286464 140725429253266 140725429253443 140725429253443 140725429256143 0
[pid=26319/tid=26331] ppid=26317 vsize=26538700 memory=7380390791222881636 CPUtime=0 cores=0-7
/proc/26319/task/26331/stat : 26331 (java) S 26317 26317 25884 0 -1 1077944384 180 0 0 0 0 0 0 0 20 0 28 0 104854268 27175628800 3109023 33554432000 4194304 4196468 140725429249872 140006589920256 140007870478037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36286464 140725429253266 140725429253443 140725429253443 140725429256143 0
[pid=26319/tid=26332] ppid=26317 vsize=26538700 memory=4639948313719891052 CPUtime=0 cores=0-7
/proc/26319/task/26332/stat : 26332 (java) S 26317 26317 25884 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 104854271 27175628800 3109023 33554432000 4194304 4196468 140725429249872 140006588868816 140007870486427 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36286464 140725429253266 140725429253443 140725429253443 140725429256143 0
[pid=26319/tid=26333] ppid=26317 vsize=26538700 memory=5938677137667352170 CPUtime=1.24 cores=0-7
/proc/26319/task/26333/stat : 26333 (java) R 26317 26317 25884 0 -1 4202560 6541 0 0 0 123 1 0 0 20 0 28 0 104854271 27175628800 3109023 33554432000 4194304 4196468 140725429249872 140006587816432 140007870489178 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36286464 140725429253266 140725429253443 140725429253443 140725429256143 0
[pid=26319/tid=26334] ppid=26317 vsize=26538700 memory=7523615452491704178 CPUtime=1.45 cores=0-7
/proc/26319/task/26334/stat : 26334 (java) R 26317 26317 25884 0 -1 4202560 9204 0 0 0 144 1 0 0 20 0 28 0 104854271 27175628800 3109023 33554432000 4194304 4196468 140725429249872 140006586753360 140007854891336 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36286464 140725429253266 140725429253443 140725429253443 140725429256143 0
[pid=26319/tid=26335] ppid=26317 vsize=26538700 memory=7739551684919584871 CPUtime=1.39 cores=0-7
/proc/26319/task/26335/stat : 26335 (java) R 26317 26317 25884 0 -1 4202560 7673 0 0 0 138 1 0 0 20 0 28 0 104854271 27175628800 3109023 33554432000 4194304 4196468 140725429249872 140006585699824 140007855373466 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 36286464 140725429253266 140725429253443 140725429253443 140725429256143 0
[pid=26319/tid=26336] ppid=26317 vsize=26538700 memory=7523615452491704178 CPUtime=0.59 cores=0-7
/proc/26319/task/26336/stat : 26336 (java) S 26317 26317 25884 0 -1 1077944384 5784 0 0 0 57 2 0 0 20 0 28 0 104854271 27175628800 3109023 33554432000 4194304 4196468 140725429249872 140006584658800 140007870478978 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36286464 140725429253266 140725429253443 140725429253443 140725429256143 0
[pid=26319/tid=26337] ppid=26317 vsize=26538700 memory=7739551684919584871 CPUtime=0 cores=0-7
/proc/26319/task/26337/stat : 26337 (java) S 26317 26317 25884 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 104854271 27175628800 3109023 33554432000 4194304 4196468 140725429249872 140006583605472 140007870478037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36286464 140725429253266 140725429253443 140725429253443 140725429256143 0
[pid=26319/tid=26338] ppid=26317 vsize=26538700 memory=12428836 CPUtime=0.05 cores=0-7
/proc/26319/task/26338/stat : 26338 (java) S 26317 26317 25884 0 -1 1077944384 1047 0 0 0 2 3 0 0 20 0 28 0 104854271 27175628800 3109023 33554432000 4194304 4196468 140725429249872 140006582553008 140007870478978 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36286464 140725429253266 140725429253443 140725429253443 140725429256143 0
[pid=26319/tid=26339] ppid=26317 vsize=26538700 memory=1292 CPUtime=0.51 cores=0-7
/proc/26319/task/26339/stat : 26339 (java) S 26317 26317 25884 0 -1 1077944384 74 0 0 0 51 0 0 0 20 0 28 0 104868416 27175628800 3109023 33554432000 4194304 4196468 140725429249872 140006574546496 140007870478037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36286464 140725429253266 140725429253443 140725429253443 140725429256143 0
[pid=26319/tid=26340] ppid=26317 vsize=26538700 memory=2428 CPUtime=0.54 cores=0-7
/proc/26319/task/26340/stat : 26340 (java) S 26317 26317 25884 0 -1 1077944384 40 0 0 0 54 0 0 0 20 0 28 0 104868416 27175628800 3109023 33554432000 4194304 4196468 140725429249872 140006573495376 140007870478037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36286464 140725429253266 140725429253443 140725429253443 140725429256143 0
[pid=26319/tid=26341] ppid=26317 vsize=26538700 memory=1728 CPUtime=0.58 cores=0-7
/proc/26319/task/26341/stat : 26341 (java) S 26317 26317 25884 0 -1 1077944384 89 0 0 0 58 0 0 0 20 0 28 0 104868416 27175628800 3109023 33554432000 4194304 4196468 140725429249872 140006572442832 140007870478037 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36286464 140725429253266 140725429253443 140725429253443 140725429256143 0
[pid=26319/tid=26342] ppid=26317 vsize=26538700 memory=792 CPUtime=0.47 cores=0-7
/proc/26319/task/26342/stat : 26342 (java) R 26317 26317 25884 0 -1 4202560 37 0 0 0 47 0 0 0 20 0 28 0 104868416 27175628800 3109023 33554432000 4194304 4196468 140725429249872 140006571386880 140007498813056 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36286464 140725429253266 140725429253443 140725429253443 140725429256143 0
[pid=26319/tid=26343] ppid=26317 vsize=26538700 memory=9992 CPUtime=0.52 cores=0-7
/proc/26319/task/26343/stat : 26343 (java) R 26317 26317 25884 0 -1 4202560 57 0 0 0 52 0 0 0 20 0 28 0 104868416 27175628800 3109023 33554432000 4194304 4196468 140725429249872 140006570335472 140007497868438 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36286464 140725429253266 140725429253443 140725429253443 140725429256143 0
[pid=26319/tid=26344] ppid=26317 vsize=26538700 memory=1384 CPUtime=0.58 cores=0-7
/proc/26319/task/26344/stat : 26344 (java) S 26317 26317 25884 0 -1 1077944384 58 0 0 0 58 0 0 0 20 0 28 0 104868416 27175628800 3109023 33554432000 4194304 4196468 140725429249872 140006569285200 140007870478037 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36286464 140725429253266 140725429253443 140725429253443 140725429256143 0
[pid=26319/tid=26345] ppid=26317 vsize=26538700 memory=12429092 CPUtime=0.51 cores=0-7
/proc/26319/task/26345/stat : 26345 (java) S 26317 26317 25884 0 -1 1077944384 35 0 0 0 51 0 0 0 20 0 28 0 104868416 27175628800 3109023 33554432000 4194304 4196468 140725429249872 140006568231632 140007870478037 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36286464 140725429253266 140725429253443 140725429253443 140725429256143 0
[pid=26319/tid=26346] ppid=26317 vsize=26538700 memory=1720 CPUtime=0.62 cores=0-7
/proc/26319/task/26346/stat : 26346 (java) S 26317 26317 25884 0 -1 1077944384 34 0 0 0 62 0 0 0 20 0 28 0 104868416 27175628800 3109023 33554432000 4194304 4196468 140725429249872 140006567179088 140007870478037 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36286464 140725429253266 140725429253443 140725429253443 140725429256143 0
Current children cumulated CPU time: 408.51 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 12437476 KiB
Child status: 0
Real time (s): 142.28
CPU time (s): 408.627
CPU user time (s): 388.155
CPU system time (s): 20.4725
CPU usage (%): 287.199
Max. virtual memory (cumulated for all children) (KiB): 26548212
Max. memory (cumulated for all children) (KiB): 12687520
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 388.155
system time used= 20.4725
maximum resident set size= 12686136
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 225900
page faults= 0
swaps= 0
block input operations= 0
block output operations= 312
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 15601
involuntary context switches= 5325
# summary of solver processes directly reported to runsolver:
# pid: 26317
# total CPU time (s): 408.627
# total CPU user time (s): 388.155
# total CPU system time (s): 20.4725
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.29117 second user time and 1.16226 second system time
The end
Begin job on node151 at 2017-08-14 15:21:15
IDJOB=4271138
IDBENCH=125603
IDSOLVER=2662
FILE ID=node151/4271138-1502717733
RUNJOBID= node151-1502716719-25911
PBS_JOBID= 20629033
Free space on /tmp= 61672 MiB
SOLVER NAME= choco-solver 4.0.5 par
BENCH NAME= XCSP17/QRandom/QRandom-m1-lard/lard-85-85.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-4271138-1502717733/watcher-4271138-1502717733 -o /tmp/evaluation-result-4271138-1502717733/solver-4271138-1502717733 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node151-1502716719-25911 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 1276942786 HOME/instance-4271138-1502717733.xml
TIME LIMIT= 20160 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8
MD5SUM BENCH= ba1c49fa80fd17c1a348725aa5db0d15
RANDOM SEED=1276942786
node151.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.95
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.95
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.95
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.95
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: 28632000 kB
MemAvailable: 31989400 kB
Buffers: 272888 kB
Cached: 3372944 kB
SwapCached: 0 kB
Active: 1052148 kB
Inactive: 2647288 kB
Active(anon): 55980 kB
Inactive(anon): 25048 kB
Active(file): 996168 kB
Inactive(file): 2622240 kB
Unevictable: 7020 kB
Mlocked: 7020 kB
SwapTotal: 67108860 kB
SwapFree: 67108860 kB
Dirty: 91876 kB
Writeback: 0 kB
AnonPages: 58860 kB
Mapped: 45044 kB
Shmem: 25224 kB
Slab: 136028 kB
SReclaimable: 109656 kB
SUnreclaim: 26372 kB
KernelStack: 3232 kB
PageTables: 4728 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 83494172 kB
Committed_AS: 323924 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: 114048 kB
DirectMap2M: 33431552 kB
Free space on /tmp at the end= 61668 MiB
End job on node151 at 2017-08-14 15:23:37