0.00/0.00 c (scop.sh) java -Xms11g -Xmx11g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Encode -order -solver HOME/glueminisat-simp-2.2.10-193oa-n-release -solverOption -model:-verb=3:-elim-cl=5000000:-native-oa -tmp HOME -serialFile HOME/scop-15497-serial-file.bin HOME/instance-4388403-1568299139.xml
0.66/0.54
0.66/0.54 Fun-sCOP order+glueminisat-simp-2.2.10-193oa-n-release (2019-06-15)
0.66/0.54
0.66/0.56 c BEGIN-Prog: Thu Sep 12 16:38:16 CEST 2019
0.66/0.56 c PID: 15500
0.66/0.56 c IP: 172.20.3.147
0.66/0.56 c HOST: node147.alineos.net
0.66/0.57 c (0,0) Parsing Begin
1.44/0.93 c (0,0) Parsing End
1.44/0.94 c (0,0) CSP: 338 int (0 aux), 0 bool (0 aux), 1 ctr, max domain size 14
1.44/0.94 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.44/0.94 c (0,0) Constraint Name Generate Begin
1.44/0.94 c (0,0) Ctr:HOME/instance-4388403-1568299139.xml,Circuit:Var
1.44/0.94 c (0,0) Constraint Name Generate End
1.44/0.94 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.44/0.94 c (0,0) CSP to CSPinCNF Begin
1.44/0.98 c (0,0) translated 1 (10%) constraints
1.44/0.98 c (0,0) fun.scop.ScopException: Circuit((v0,v1,v2,v3,v4,v5,v6,v7,v8,v9,v10,v11,v12,v13,v14,v15,v16,v17,v18,v19,v20,v21,v22,v23,v24,v25,v26,v27,v28,v29,v30,v31,v32,v33,v34,v35,v36,v37,v38,v39,v40,v41,v42,v43,v44,v45,v46,v47,v48,v49,v50,v51,v52,v53,v54,v55,v56,v57,v58,v59,v60,v61,v62,v63,v64,v65,v66,v67,v68,v69,v70,v71,v72,v73,v74,v75,v76,v77,v78,v79,v80,v81,v82,v83,v84,v85,v86,v87,v88,v89,v90,v91,v92,v93,v94,v95,v96,v97,v98,v99,v100,v101,v102,v103,v104,v105,v106,v107,v108,v109,v110,v111,v112,v113,v114,v115,v116,v117,v118,v119,v120,v121,v122,v123,v124,v125,v126,v127,v128,v129,v130,v131,v132,v133,v134,v135,v136,v137,v138,v139,v140,v141,v142,v143,v144,v145,v146,v147,v148,v149,v150,v151,v152,v153,v154,v155,v156,v157,v158,v159,v160,v161,v162,v163,v164,v165,v166,v167,v168,v169,v170,v171,v172,v173,v174,v175,v176,v177,v178,v179,v180,v181,v182,v183,v184,v185,v186,v187,v188,v189,v190,v191,v192,v193,v194,v195,v196,v197,v198,v199,v200,v201,v202,v203,v204,v205,v206,v207,v208,v209,v210,v211,v212,v213,v214,v215,v216,v217,v218,v219,v220,v221,v222,v223,v224,v225,v226,v227,v228,v229,v230,v231,v232,v233,v234,v235,v236,v237,v238,v239,v240,v241,v242,v243,v244,v245,v246,v247,v248,v249,v250,v251,v252,v253,v254,v255,v256,v257,v258,v259,v260,v261,v262,v263,v264,v265,v266,v267,v268,v269,v270,v271,v272,v273,v274,v275,v276,v277,v278,v279,v280,v281,v282,v283,v284,v285,v286,v287,v288,v289,v290,v291,v292,v293,v294,v295,v296,v297,v298,v299,v300,v301,v302,v303,v304,v305,v306,v307,v308,v309,v310,v311,v312,v313,v314,v315,v316,v317,v318,v319,v320,v321,v322,v323,v324,v325,v326,v327,v328,v329,v330,v331,v332,v333,v334,v335,v336,v337),Some(0),None) did not match in CtrTr
1.44/0.98 c (0,0) fun.scop.TranslatorOrd.transCtr(Translator.scala:1829)
1.44/0.98 c (0,0) fun.scop.TranslatorOrd.$anonfun$transCSPtoCSPinCNF$1(Translator.scala:2019)
1.44/0.98 c (0,0) scala.collection.immutable.Range.foreach$mVc$sp(Range.scala:155)
1.44/0.98 c (0,0) fun.scop.TranslatorOrd.transCSPtoCSPinCNF(Translator.scala:2009)
1.44/0.98 c (0,0) fun.scop.XCSP19Encode.run(XCSP19Encode.scala:279)
1.44/0.98 c (0,0) fun.scop.XCSP19Encode$.main(XCSP19Encode.scala:568)
1.44/0.98 c (0,0) fun.scop.XCSP19Encode.main(XCSP19Encode.scala)
1.44/0.98 c (0,0) 0,0,TO,TO,TO,TO,TO,TO,TO,STOP-AFTER(CtrName)
1.44/0.98 s UNSUPPORTED
1.44/0.98 c END-Prog: Thu Sep 12 16:38:17 CEST 2019
1.44/1.00 c (scop.sh) HOME/scop-15497-serial-file.bin does not exist. End.
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 (11539 MiB free)
memory of node 1: 16384 MiB (14284 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4388403-1568299139/watcher-4388403-1568299139 -o /tmp/evaluation-result-4388403-1568299139/solver-4388403-1568299139 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node147-1568286038-9751 --watchdog 2580 HOME/scop.sh 11g HOME/scop.jar -order HOME/glueminisat-simp-2.2.10-193oa-n-release -model:-verb=3:-elim-cl=5000000:-native-oa HOME HOME/instance-4388403-1568299139.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=15497, runsolver pid=15494
[startup+0.10009 s]*
/proc/loadavg: 2.39 2.19 2.11 3/229 15540
/proc/meminfo: memFree=26324352/32770624 swapFree=66957008/67108860
[pid=15497] ppid=15494 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/15497/stat : 15497 (scop.sh) S 15494 15497 8853 0 -1 4202496 558 321 0 0 0 0 0 0 20 0 1 0 405827729 115843072 349 33554432000 4194304 5098028 140734188090272 140734188087528 140466669728380 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 26431488 140734188098344 140734188098672 140734188098672 140734188101581 0
/proc/15497/statm: 28282 349 296 221 0 87 0
[pid=15500] ppid=15497 vsize=15012696 memory=73532 CPUtime=0.11 cores=0,2,4,6
/proc/15500/stat : 15500 (java) S 15497 15497 8853 0 -1 1077944320 6095 0 0 0 9 2 0 0 20 0 15 0 405827729 15373000704 18383 33554432000 4194304 4196468 140720960466640 140720960449184 140573347901175 0 0 2 16800973 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 38461440 140720960471790 140720960472218 140720960472218 140720960475087 0
/proc/15500/statm: 3753174 18383 2905 1 0 3715579 0
[pid=15500/tid=15504] ppid=15497 vsize=15012696 memory=4639423674203602319 CPUtime=0.09 cores=0,2,4,6
/proc/15500/task/15504/stat : 15504 (java) R 15497 15497 8853 0 -1 4202560 3991 0 0 0 8 1 0 0 20 0 15 0 405827730 15373000704 18383 33554432000 4194304 4196468 140720960466640 140573319712952 140573347923101 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38461440 140720960471790 140720960472218 140720960472218 140720960475087 0
[pid=15500/tid=15512] ppid=15497 vsize=15012696 memory=-3689349214911541841 CPUtime=0 cores=0,2,4,6
/proc/15500/task/15512/stat : 15512 (java) S 15497 15497 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405827731 15373000704 18383 33554432000 4194304 4196468 140720960466640 140573352143504 140573347911381 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38461440 140720960471790 140720960472218 140720960472218 140720960475087 0
[pid=15500/tid=15513] ppid=15497 vsize=15012696 memory=139872853509760 CPUtime=0 cores=0,2,4,6
/proc/15500/task/15513/stat : 15513 (java) S 15497 15497 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405827731 15373000704 18383 33554432000 4194304 4196468 140720960466640 140573143226896 140573347911381 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38461440 140720960471790 140720960472218 140720960472218 140720960475087 0
[pid=15500/tid=15514] ppid=15497 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15500/task/15514/stat : 15514 (java) S 15497 15497 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405827732 15373000704 18383 33554432000 4194304 4196468 140720960466640 140573142174096 140573347911381 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38461440 140720960471790 140720960472218 140720960472218 140720960475087 0
[pid=15500/tid=15515] ppid=15497 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15500/task/15515/stat : 15515 (java) S 15497 15497 8853 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405827732 15373000704 18383 33554432000 4194304 4196468 140720960466640 140573141121296 140573347911381 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38461440 140720960471790 140720960472218 140720960472218 140720960475087 0
[pid=15500/tid=15519] ppid=15497 vsize=15012696 memory=139872853509760 CPUtime=0 cores=0,2,4,6
/proc/15500/task/15519/stat : 15519 (java) S 15497 15497 8853 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405827733 15373000704 18383 33554432000 4194304 4196468 140720960466640 140572116478832 140573347912322 0 0 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38461440 140720960471790 140720960472218 140720960472218 140720960475087 0
[pid=15500/tid=15520] ppid=15497 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15500/task/15520/stat : 15520 (java) S 15497 15497 8853 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405827733 15373000704 18383 33554432000 4194304 4196468 140720960466640 140571997890080 140573347911381 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38461440 140720960471790 140720960472218 140720960472218 140720960475087 0
[pid=15500/tid=15524] ppid=15497 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15500/task/15524/stat : 15524 (java) S 15497 15497 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405827734 15373000704 18383 33554432000 4194304 4196468 140720960466640 140571729454448 140573347911381 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38461440 140720960471790 140720960472218 140720960472218 140720960475087 0
[pid=15500/tid=15529] ppid=15497 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15500/task/15529/stat : 15529 (java) S 15497 15497 8853 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405827736 15373000704 18383 33554432000 4194304 4196468 140720960466640 140571354945872 140573347919771 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38461440 140720960471790 140720960472218 140720960472218 140720960475087 0
[pid=15500/tid=15530] ppid=15497 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15500/task/15530/stat : 15530 (java) S 15497 15497 8853 0 -1 1077944384 29 0 0 0 0 0 0 0 20 0 15 0 405827736 15373000704 18383 33554432000 4194304 4196468 140720960466640 140572115425648 140573347912322 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38461440 140720960471790 140720960472218 140720960472218 140720960475087 0
[pid=15500/tid=15531] ppid=15497 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15500/task/15531/stat : 15531 (java) S 15497 15497 8853 0 -1 1077944384 408 0 0 0 0 0 0 0 20 0 15 0 405827736 15373000704 18383 33554432000 4194304 4196468 140720960466640 140572114372848 140573347912322 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38461440 140720960471790 140720960472218 140720960472218 140720960475087 0
[pid=15500/tid=15532] ppid=15497 vsize=15012696 memory=139872853509760 CPUtime=0.01 cores=0,2,4,6
/proc/15500/task/15532/stat : 15532 (java) R 15497 15497 8853 0 -1 4202560 358 0 0 0 1 0 0 0 20 0 15 0 405827736 15373000704 18383 33554432000 4194304 4196468 140720960466640 140572113320048 140573326527039 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38461440 140720960471790 140720960472218 140720960472218 140720960475087 0
[pid=15500/tid=15533] ppid=15497 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15500/task/15533/stat : 15533 (java) S 15497 15497 8853 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405827736 15373000704 18383 33554432000 4194304 4196468 140720960466640 140570857040096 140573347911381 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38461440 140720960471790 140720960472218 140720960472218 140720960475087 0
[pid=15500/tid=15534] ppid=15497 vsize=15012696 memory=139872853509760 CPUtime=0 cores=0,2,4,6
/proc/15500/task/15534/stat : 15534 (java) S 15497 15497 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405827737 15373000704 18448 33554432000 4194304 4196468 140720960466640 140572112268464 140573347912322 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38461440 140720960471790 140720960472218 140720960472218 140720960475087 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 74928 KiB
[startup+0.210714 s]*
/proc/loadavg: 2.39 2.19 2.11 3/229 15540
/proc/meminfo: memFree=26283040/32770624 swapFree=66957008/67108860
[pid=15497] ppid=15494 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/15497/stat : 15497 (scop.sh) S 15494 15497 8853 0 -1 4202496 558 321 0 0 0 0 0 0 20 0 1 0 405827729 115843072 349 33554432000 4194304 5098028 140734188090272 140734188087528 140466669728380 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 26431488 140734188098344 140734188098672 140734188098672 140734188101581 0
/proc/15497/statm: 28282 349 296 221 0 87 0
[pid=15500] ppid=15497 vsize=15012696 memory=89440 CPUtime=0.25 cores=0,2,4,6
/proc/15500/stat : 15500 (java) S 15497 15497 8853 0 -1 1077944320 11339 0 0 0 21 4 0 0 20 0 15 0 405827729 15373000704 22360 33554432000 4194304 4196468 140720960466640 140720960449184 140573347901175 0 0 2 16800973 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 38461440 140720960471790 140720960472218 140720960472218 140720960475087 0
/proc/15500/statm: 3753174 22360 2969 1 0 3715579 0
[pid=15500/tid=15504] ppid=15497 vsize=15012696 memory=7883960649037381690 CPUtime=0.2 cores=0,2,4,6
/proc/15500/task/15504/stat : 15504 (java) R 15497 15497 8853 0 -1 4202560 9111 0 0 0 17 3 0 0 20 0 15 0 405827730 15373000704 22360 33554432000 4194304 4196468 140720960466640 140573319700560 140573347923101 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38461440 140720960471790 140720960472218 140720960472218 140720960475087 0
[pid=15500/tid=15512] ppid=15497 vsize=15012696 memory=8952 CPUtime=0 cores=0,2,4,6
/proc/15500/task/15512/stat : 15512 (java) S 15497 15497 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405827731 15373000704 22360 33554432000 4194304 4196468 140720960466640 140573352143504 140573347911381 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38461440 140720960471790 140720960472218 140720960472218 140720960475087 0
[pid=15500/tid=15513] ppid=15497 vsize=15012696 memory=288370249005221504 CPUtime=0 cores=0,2,4,6
/proc/15500/task/15513/stat : 15513 (java) S 15497 15497 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405827731 15373000704 22360 33554432000 4194304 4196468 140720960466640 140573143226896 140573347911381 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38461440 140720960471790 140720960472218 140720960472218 140720960475087 0
[pid=15500/tid=15514] ppid=15497 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15500/task/15514/stat : 15514 (java) S 15497 15497 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405827732 15373000704 22360 33554432000 4194304 4196468 140720960466640 140573142174096 140573347911381 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38461440 140720960471790 140720960472218 140720960472218 140720960475087 0
[pid=15500/tid=15515] ppid=15497 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15500/task/15515/stat : 15515 (java) S 15497 15497 8853 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405827732 15373000704 22360 33554432000 4194304 4196468 140720960466640 140573141121296 140573347911381 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38461440 140720960471790 140720960472218 140720960472218 140720960475087 0
[pid=15500/tid=15519] ppid=15497 vsize=15012696 memory=139872853509760 CPUtime=0 cores=0,2,4,6
/proc/15500/task/15519/stat : 15519 (java) S 15497 15497 8853 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405827733 15373000704 22360 33554432000 4194304 4196468 140720960466640 140572116478832 140573347912322 0 0 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38461440 140720960471790 140720960472218 140720960472218 140720960475087 0
[pid=15500/tid=15520] ppid=15497 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15500/task/15520/stat : 15520 (java) S 15497 15497 8853 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405827733 15373000704 22360 33554432000 4194304 4196468 140720960466640 140571997890080 140573347911381 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38461440 140720960471790 140720960472218 140720960472218 140720960475087 0
[pid=15500/tid=15524] ppid=15497 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15500/task/15524/stat : 15524 (java) S 15497 15497 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405827734 15373000704 22360 33554432000 4194304 4196468 140720960466640 140571729454448 140573347911381 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38461440 140720960471790 140720960472218 140720960472218 140720960475087 0
[pid=15500/tid=15529] ppid=15497 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15500/task/15529/stat : 15529 (java) S 15497 15497 8853 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405827736 15373000704 22360 33554432000 4194304 4196468 140720960466640 140571354945872 140573347919771 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38461440 140720960471790 140720960472218 140720960472218 140720960475087 0
[pid=15500/tid=15530] ppid=15497 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15500/task/15530/stat : 15530 (java) S 15497 15497 8853 0 -1 1077944384 77 0 0 0 0 0 0 0 20 0 15 0 405827736 15373000704 22360 33554432000 4194304 4196468 140720960466640 140572115425648 140573347912322 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38461440 140720960471790 140720960472218 140720960472218 140720960475087 0
[pid=15500/tid=15531] ppid=15497 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15500/task/15531/stat : 15531 (java) S 15497 15497 8853 0 -1 1077944384 408 0 0 0 0 0 0 0 20 0 15 0 405827736 15373000704 22360 33554432000 4194304 4196468 140720960466640 140572114372848 140573347912322 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38461440 140720960471790 140720960472218 140720960472218 140720960475087 0
[pid=15500/tid=15532] ppid=15497 vsize=15012696 memory=139872853509760 CPUtime=0.02 cores=0,2,4,6
/proc/15500/task/15532/stat : 15532 (java) S 15497 15497 8853 0 -1 1077944384 413 0 0 0 2 0 0 0 20 0 15 0 405827736 15373000704 22360 33554432000 4194304 4196468 140720960466640 140572113320048 140573347912322 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38461440 140720960471790 140720960472218 140720960472218 140720960475087 0
[pid=15500/tid=15533] ppid=15497 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15500/task/15533/stat : 15533 (java) S 15497 15497 8853 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405827736 15373000704 22360 33554432000 4194304 4196468 140720960466640 140570857040096 140573347911381 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38461440 140720960471790 140720960472218 140720960472218 140720960475087 0
[pid=15500/tid=15534] ppid=15497 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15500/task/15534/stat : 15534 (java) S 15497 15497 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405827737 15373000704 22360 33554432000 4194304 4196468 140720960466640 140572112268464 140573347912322 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38461440 140720960471790 140720960472218 140720960472218 140720960475087 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 90836 KiB
[startup+0.310383 s]*
/proc/loadavg: 2.39 2.19 2.11 3/229 15540
/proc/meminfo: memFree=26277332/32770624 swapFree=66957008/67108860
[pid=15497] ppid=15494 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/15497/stat : 15497 (scop.sh) S 15494 15497 8853 0 -1 4202496 558 321 0 0 0 0 0 0 20 0 1 0 405827729 115843072 349 33554432000 4194304 5098028 140734188090272 140734188087528 140466669728380 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 26431488 140734188098344 140734188098672 140734188098672 140734188101581 0
/proc/15497/statm: 28282 349 296 221 0 87 0
[pid=15500] ppid=15497 vsize=15012696 memory=92524 CPUtime=0.43 cores=0,2,4,6
/proc/15500/stat : 15500 (java) S 15497 15497 8853 0 -1 1077944320 12168 0 0 0 39 4 0 0 20 0 15 0 405827729 15373000704 23131 33554432000 4194304 4196468 140720960466640 140720960449184 140573347901175 0 0 2 16800973 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 38461440 140720960471790 140720960472218 140720960472218 140720960475087 0
/proc/15500/statm: 3753174 23131 3027 1 0 3715579 0
[pid=15500/tid=15504] ppid=15497 vsize=15012696 memory=6791534058613427641 CPUtime=0.29 cores=0,2,4,6
/proc/15500/task/15504/stat : 15504 (java) R 15497 15497 8853 0 -1 4202560 9790 0 0 0 26 3 0 0 20 0 15 0 405827730 15373000704 23131 33554432000 4194304 4196468 140720960466640 140573319684192 140573347915084 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38461440 140720960471790 140720960472218 140720960472218 140720960475087 0
[pid=15500/tid=15512] ppid=15497 vsize=15012696 memory=4126316290023845779 CPUtime=0 cores=0,2,4,6
/proc/15500/task/15512/stat : 15512 (java) S 15497 15497 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405827731 15373000704 23131 33554432000 4194304 4196468 140720960466640 140573352143504 140573347911381 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38461440 140720960471790 140720960472218 140720960472218 140720960475087 0
[pid=15500/tid=15513] ppid=15497 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15500/task/15513/stat : 15513 (java) S 15497 15497 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405827731 15373000704 23131 33554432000 4194304 4196468 140720960466640 140573143226896 140573347911381 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38461440 140720960471790 140720960472218 140720960472218 140720960475087 0
[pid=15500/tid=15514] ppid=15497 vsize=15012696 memory=9122464004270842071 CPUtime=0 cores=0,2,4,6
/proc/15500/task/15514/stat : 15514 (java) S 15497 15497 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405827732 15373000704 23131 33554432000 4194304 4196468 140720960466640 140573142174096 140573347911381 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38461440 140720960471790 140720960472218 140720960472218 140720960475087 0
[pid=15500/tid=15515] ppid=15497 vsize=15012696 memory=6944652177228980320 CPUtime=0 cores=0,2,4,6
/proc/15500/task/15515/stat : 15515 (java) S 15497 15497 8853 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405827732 15373000704 23131 33554432000 4194304 4196468 140720960466640 140573141121296 140573347911381 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38461440 140720960471790 140720960472218 140720960472218 140720960475087 0
[pid=15500/tid=15519] ppid=15497 vsize=15012696 memory=6944656592455097440 CPUtime=0 cores=0,2,4,6
/proc/15500/task/15519/stat : 15519 (java) S 15497 15497 8853 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405827733 15373000704 23131 33554432000 4194304 4196468 140720960466640 140572116478832 140573347912322 0 0 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38461440 140720960471790 140720960472218 140720960472218 140720960475087 0
[pid=15500/tid=15520] ppid=15497 vsize=15012696 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/15500/task/15520/stat : 15520 (java) S 15497 15497 8853 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405827733 15373000704 23131 33554432000 4194304 4196468 140720960466640 140571997890080 140573347911381 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38461440 140720960471790 140720960472218 140720960472218 140720960475087 0
[pid=15500/tid=15524] ppid=15497 vsize=15012696 memory=-5587046532246807594 CPUtime=0 cores=0,2,4,6
/proc/15500/task/15524/stat : 15524 (java) S 15497 15497 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405827734 15373000704 23131 33554432000 4194304 4196468 140720960466640 140571729454448 140573347911381 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38461440 140720960471790 140720960472218 140720960472218 140720960475087 0
[pid=15500/tid=15529] ppid=15497 vsize=15012696 memory=7379517702019849078 CPUtime=0 cores=0,2,4,6
/proc/15500/task/15529/stat : 15529 (java) S 15497 15497 8853 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405827736 15373000704 23131 33554432000 4194304 4196468 140720960466640 140571354945872 140573347919771 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38461440 140720960471790 140720960472218 140720960472218 140720960475087 0
[pid=15500/tid=15530] ppid=15497 vsize=15012696 memory=7016714186490735262 CPUtime=0.01 cores=0,2,4,6
/proc/15500/task/15530/stat : 15530 (java) S 15497 15497 8853 0 -1 1077944384 84 0 0 0 1 0 0 0 20 0 15 0 405827736 15373000704 23131 33554432000 4194304 4196468 140720960466640 140572115425648 140573347912322 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38461440 140720960471790 140720960472218 140720960472218 140720960475087 0
[pid=15500/tid=15531] ppid=15497 vsize=15012696 memory=-9062862659931694204 CPUtime=0.03 cores=0,2,4,6
/proc/15500/task/15531/stat : 15531 (java) R 15497 15497 8853 0 -1 4202560 528 0 0 0 3 0 0 0 20 0 15 0 405827736 15373000704 23131 33554432000 4194304 4196468 140720960466640 140572114372848 140573327564784 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38461440 140720960471790 140720960472218 140720960472218 140720960475087 0
[pid=15500/tid=15532] ppid=15497 vsize=15012696 memory=3047711566422646390 CPUtime=0.07 cores=0,2,4,6
/proc/15500/task/15532/stat : 15532 (java) S 15497 15497 8853 0 -1 1077944384 435 0 0 0 7 0 0 0 20 0 15 0 405827736 15373000704 23131 33554432000 4194304 4196468 140720960466640 140572113320048 140573347912322 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38461440 140720960471790 140720960472218 140720960472218 140720960475087 0
[pid=15500/tid=15533] ppid=15497 vsize=15012696 memory=-6664436420846797971 CPUtime=0 cores=0,2,4,6
/proc/15500/task/15533/stat : 15533 (java) S 15497 15497 8853 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405827736 15373000704 23131 33554432000 4194304 4196468 140720960466640 140570857040096 140573347911381 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38461440 140720960471790 140720960472218 140720960472218 140720960475087 0
[pid=15500/tid=15534] ppid=15497 vsize=15012696 memory=4628975386420216973 CPUtime=0 cores=0,2,4,6
/proc/15500/task/15534/stat : 15534 (java) S 15497 15497 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405827737 15373000704 23131 33554432000 4194304 4196468 140720960466640 140572112268464 140573347912322 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38461440 140720960471790 140720960472218 140720960472218 140720960475087 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 93920 KiB
[startup+0.700793 s]
/proc/loadavg: 2.39 2.19 2.11 4/229 15540
/proc/meminfo: memFree=26235992/32770624 swapFree=66957008/67108860
[pid=15497] ppid=15494 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/15497/stat : 15497 (scop.sh) S 15494 15497 8853 0 -1 4202496 558 321 0 0 0 0 0 0 20 0 1 0 405827729 115843072 349 33554432000 4194304 5098028 140734188090272 140734188087528 140466669728380 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 26431488 140734188098344 140734188098672 140734188098672 140734188101581 0
/proc/15497/statm: 28282 349 296 221 0 87 0
[pid=15500] ppid=15497 vsize=15021016 memory=130020 CPUtime=0.99 cores=0,2,4,6
/proc/15500/stat : 15500 (java) S 15497 15497 8853 0 -1 1077944320 19190 0 0 0 93 6 0 0 20 0 15 0 405827729 15381520384 32505 33554432000 4194304 4196468 140720960466640 140720960449184 140573347901175 0 0 2 25189581 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 38461440 140720960471790 140720960472218 140720960472218 140720960475087 0
/proc/15500/statm: 3755254 32505 3191 1 0 3716603 0
[pid=15500/tid=15504] ppid=15497 vsize=15021016 memory=0 CPUtime=0.68 cores=0,2,4,6
/proc/15500/task/15504/stat : 15504 (java) R 15497 15497 8853 0 -1 4202560 16279 0 0 0 63 5 0 0 20 0 15 0 405827730 15381520384 32505 33554432000 4194304 4196468 140720960466640 140573319723344 140573331981662 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38461440 140720960471790 140720960472218 140720960472218 140720960475087 0
[pid=15500/tid=15512] ppid=15497 vsize=15021016 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15500/task/15512/stat : 15512 (java) S 15497 15497 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405827731 15381520384 32505 33554432000 4194304 4196468 140720960466640 140573352143504 140573347911381 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38461440 140720960471790 140720960472218 140720960472218 140720960475087 0
[pid=15500/tid=15513] ppid=15497 vsize=15021016 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15500/task/15513/stat : 15513 (java) S 15497 15497 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405827731 15381520384 32505 33554432000 4194304 4196468 140720960466640 140573143226896 140573347911381 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38461440 140720960471790 140720960472218 140720960472218 140720960475087 0
[pid=15500/tid=15514] ppid=15497 vsize=15021016 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15500/task/15514/stat : 15514 (java) S 15497 15497 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405827732 15381520384 32505 33554432000 4194304 4196468 140720960466640 140573142174096 140573347911381 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38461440 140720960471790 140720960472218 140720960472218 140720960475087 0
[pid=15500/tid=15515] ppid=15497 vsize=15021016 memory=11624 CPUtime=0 cores=0,2,4,6
/proc/15500/task/15515/stat : 15515 (java) S 15497 15497 8853 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405827732 15381520384 32505 33554432000 4194304 4196468 140720960466640 140573141121296 140573347911381 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38461440 140720960471790 140720960472218 140720960472218 140720960475087 0
[pid=15500/tid=15519] ppid=15497 vsize=15021016 memory=732 CPUtime=0 cores=0,2,4,6
/proc/15500/task/15519/stat : 15519 (java) S 15497 15497 8853 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 405827733 15381520384 32505 33554432000 4194304 4196468 140720960466640 140572116478832 140573347912322 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38461440 140720960471790 140720960472218 140720960472218 140720960475087 0
[pid=15500/tid=15520] ppid=15497 vsize=15021016 memory=776 CPUtime=0 cores=0,2,4,6
/proc/15500/task/15520/stat : 15520 (java) S 15497 15497 8853 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405827733 15381520384 32505 33554432000 4194304 4196468 140720960466640 140571997890080 140573347911381 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38461440 140720960471790 140720960472218 140720960472218 140720960475087 0
[pid=15500/tid=15524] ppid=15497 vsize=15021016 memory=1560 CPUtime=0 cores=0,2,4,6
/proc/15500/task/15524/stat : 15524 (java) S 15497 15497 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405827734 15381520384 32505 33554432000 4194304 4196468 140720960466640 140571729454448 140573347911381 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38461440 140720960471790 140720960472218 140720960472218 140720960475087 0
[pid=15500/tid=15529] ppid=15497 vsize=15021016 memory=4008 CPUtime=0 cores=0,2,4,6
/proc/15500/task/15529/stat : 15529 (java) S 15497 15497 8853 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405827736 15381520384 32505 33554432000 4194304 4196468 140720960466640 140571354945872 140573347919771 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38461440 140720960471790 140720960472218 140720960472218 140720960475087 0
[pid=15500/tid=15530] ppid=15497 vsize=15021016 memory=1096 CPUtime=0.06 cores=0,2,4,6
/proc/15500/task/15530/stat : 15530 (java) R 15497 15497 8853 0 -1 4202560 310 0 0 0 6 0 0 0 20 0 15 0 405827736 15381520384 32505 33554432000 4194304 4196468 140720960466640 140572115414320 140573347922522 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38461440 140720960471790 140720960472218 140720960472218 140720960475087 0
[pid=15500/tid=15531] ppid=15497 vsize=15021016 memory=2828 CPUtime=0.08 cores=0,2,4,6
/proc/15500/task/15531/stat : 15531 (java) S 15497 15497 8853 0 -1 1077944384 731 0 0 0 8 0 0 0 20 0 15 0 405827736 15381520384 32505 33554432000 4194304 4196468 140720960466640 140572114372848 140573347912322 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38461440 140720960471790 140720960472218 140720960472218 140720960475087 0
[pid=15500/tid=15532] ppid=15497 vsize=15021016 memory=1164 CPUtime=0.15 cores=0,2,4,6
/proc/15500/task/15532/stat : 15532 (java) S 15497 15497 8853 0 -1 1077944384 546 0 0 0 15 0 0 0 20 0 15 0 405827736 15381520384 32505 33554432000 4194304 4196468 140720960466640 140572113320048 140573347912322 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38461440 140720960471790 140720960472218 140720960472218 140720960475087 0
[pid=15500/tid=15533] ppid=15497 vsize=15021016 memory=14008 CPUtime=0 cores=0,2,4,6
/proc/15500/task/15533/stat : 15533 (java) S 15497 15497 8853 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405827736 15381520384 32505 33554432000 4194304 4196468 140720960466640 140570857040096 140573347911381 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38461440 140720960471790 140720960472218 140720960472218 140720960475087 0
[pid=15500/tid=15534] ppid=15497 vsize=15021016 memory=12040 CPUtime=0 cores=0,2,4,6
/proc/15500/task/15534/stat : 15534 (java) S 15497 15497 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405827737 15381520384 32505 33554432000 4194304 4196468 140720960466640 140572112268464 140573347912322 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38461440 140720960471790 140720960472218 140720960472218 140720960475087 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 15134144 KiB
Current children cumulated memory: 131416 KiB
[startup+1.00022 s]
# the end of solver process 15497 was just reported to runsolver
# cumulated CPU time of all completed processes: user=1.52318 s, system=0.084673 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+0.800987 s]
/proc/loadavg: 2.39 2.19 2.11 4/229 15540
/proc/meminfo: memFree=26235992/32770624 swapFree=66957008/67108860
[pid=15497] ppid=15494 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/15497/stat : 15497 (scop.sh) S 15494 15497 8853 0 -1 4202496 558 321 0 0 0 0 0 0 20 0 1 0 405827729 115843072 349 33554432000 4194304 5098028 140734188090272 140734188087528 140466669728380 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 26431488 140734188098344 140734188098672 140734188098672 140734188101581 0
/proc/15497/statm: 28282 349 296 221 0 87 0
[pid=15500] ppid=15497 vsize=15021092 memory=134088 CPUtime=1.24 cores=0,2,4,6
/proc/15500/stat : 15500 (java) S 15497 15497 8853 0 -1 1077944320 19718 0 0 0 117 7 0 0 20 0 15 0 405827729 15381598208 33522 33554432000 4194304 4196468 140720960466640 140720960449184 140573347901175 0 0 2 25189581 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 38461440 140720960471790 140720960472218 140720960472218 140720960475087 0
/proc/15500/statm: 3755273 33522 3224 1 0 3716603 0
[pid=15500/tid=15504] ppid=15497 vsize=15021092 memory=492 CPUtime=0.78 cores=0,2,4,6
/proc/15500/task/15504/stat : 15504 (java) R 15497 15497 8853 0 -1 4202560 16577 0 0 0 73 5 0 0 20 0 15 0 405827730 15381598208 33522 33554432000 4194304 4196468 140720960466640 140573319730528 140573325927077 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38461440 140720960471790 140720960472218 140720960472218 140720960475087 0
[pid=15500/tid=15512] ppid=15497 vsize=15021092 memory=1560 CPUtime=0 cores=0,2,4,6
/proc/15500/task/15512/stat : 15512 (java) S 15497 15497 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405827731 15381598208 33522 33554432000 4194304 4196468 140720960466640 140573352143504 140573347911381 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38461440 140720960471790 140720960472218 140720960472218 140720960475087 0
[pid=15500/tid=15513] ppid=15497 vsize=15021092 memory=3512 CPUtime=0 cores=0,2,4,6
/proc/15500/task/15513/stat : 15513 (java) S 15497 15497 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405827731 15381598208 33522 33554432000 4194304 4196468 140720960466640 140573143226896 140573347911381 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38461440 140720960471790 140720960472218 140720960472218 140720960475087 0
[pid=15500/tid=15514] ppid=15497 vsize=15021092 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15500/task/15514/stat : 15514 (java) S 15497 15497 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405827732 15381598208 33522 33554432000 4194304 4196468 140720960466640 140573142174096 140573347911381 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38461440 140720960471790 140720960472218 140720960472218 140720960475087 0
[pid=15500/tid=15515] ppid=15497 vsize=15021092 memory=6382321403051 CPUtime=0 cores=0,2,4,6
/proc/15500/task/15515/stat : 15515 (java) S 15497 15497 8853 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405827732 15381598208 33522 33554432000 4194304 4196468 140720960466640 140573141121296 140573347911381 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38461440 140720960471790 140720960472218 140720960472218 140720960475087 0
[pid=15500/tid=15519] ppid=15497 vsize=15021092 memory=288230617509003574 CPUtime=0 cores=0,2,4,6
/proc/15500/task/15519/stat : 15519 (java) S 15497 15497 8853 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 405827733 15381598208 33522 33554432000 4194304 4196468 140720960466640 140572116478832 140573347912322 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38461440 140720960471790 140720960472218 140720960472218 140720960475087 0
[pid=15500/tid=15520] ppid=15497 vsize=15021092 memory=14689690934577591 CPUtime=0 cores=0,2,4,6
/proc/15500/task/15520/stat : 15520 (java) S 15497 15497 8853 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405827733 15381598208 33522 33554432000 4194304 4196468 140720960466640 140571997890080 140573347911381 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38461440 140720960471790 140720960472218 140720960472218 140720960475087 0
[pid=15500/tid=15524] ppid=15497 vsize=15021092 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15500/task/15524/stat : 15524 (java) S 15497 15497 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405827734 15381598208 33522 33554432000 4194304 4196468 140720960466640 140571729454448 140573347911381 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38461440 140720960471790 140720960472218 140720960472218 140720960475087 0
[pid=15500/tid=15529] ppid=15497 vsize=15021092 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15500/task/15529/stat : 15529 (java) S 15497 15497 8853 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405827736 15381598208 33522 33554432000 4194304 4196468 140720960466640 140571354945872 140573347919771 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38461440 140720960471790 140720960472218 140720960472218 140720960475087 0
[pid=15500/tid=15530] ppid=15497 vsize=15021092 memory=0 CPUtime=0.1 cores=0,2,4,6
/proc/15500/task/15530/stat : 15530 (java) S 15497 15497 8853 0 -1 1077944384 335 0 0 0 10 0 0 0 20 0 15 0 405827736 15381598208 33522 33554432000 4194304 4196468 140720960466640 140572115425648 140573347912322 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38461440 140720960471790 140720960472218 140720960472218 140720960475087 0
[pid=15500/tid=15531] ppid=15497 vsize=15021092 memory=0 CPUtime=0.11 cores=0,2,4,6
/proc/15500/task/15531/stat : 15531 (java) S 15497 15497 8853 0 -1 1077944384 755 0 0 0 11 0 0 0 20 0 15 0 405827736 15381598208 33522 33554432000 4194304 4196468 140720960466640 140572114372848 140573347912322 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38461440 140720960471790 140720960472218 140720960472218 140720960475087 0
[pid=15500/tid=15532] ppid=15497 vsize=15021092 memory=0 CPUtime=0.22 cores=0,2,4,6
/proc/15500/task/15532/stat : 15532 (java) S 15497 15497 8853 0 -1 1077944384 717 0 0 0 22 0 0 0 20 0 15 0 405827736 15381598208 33522 33554432000 4194304 4196468 140720960466640 140572113320048 140573347912322 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38461440 140720960471790 140720960472218 140720960472218 140720960475087 0
[pid=15500/tid=15533] ppid=15497 vsize=15021092 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15500/task/15533/stat : 15533 (java) S 15497 15497 8853 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405827736 15381598208 33522 33554432000 4194304 4196468 140720960466640 140570857040096 140573347911381 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38461440 140720960471790 140720960472218 140720960472218 140720960475087 0
[pid=15500/tid=15534] ppid=15497 vsize=15021092 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15500/task/15534/stat : 15534 (java) S 15497 15497 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405827737 15381598208 33522 33554432000 4194304 4196468 140720960466640 140572112268464 140573347912322 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38461440 140720960471790 140720960472218 140720960472218 140720960475087 0
Current children cumulated CPU time: 1.24 s
Current children cumulated vsize: 15134220 KiB
Current children cumulated memory: 135484 KiB
[startup+0.900779 s]
/proc/loadavg: 2.39 2.19 2.11 4/229 15540
/proc/meminfo: memFree=26235992/32770624 swapFree=66957008/67108860
[pid=15497] ppid=15494 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/15497/stat : 15497 (scop.sh) S 15494 15497 8853 0 -1 4202496 558 321 0 0 0 0 0 0 20 0 1 0 405827729 115843072 349 33554432000 4194304 5098028 140734188090272 140734188087528 140466669728380 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 26431488 140734188098344 140734188098672 140734188098672 140734188101581 0
/proc/15497/statm: 28282 349 296 221 0 87 0
[pid=15500] ppid=15497 vsize=15021092 memory=137408 CPUtime=1.44 cores=0,2,4,6
/proc/15500/stat : 15500 (java) S 15497 15497 8853 0 -1 1077944320 20025 0 0 0 137 7 0 0 20 0 15 0 405827729 15381598208 34352 33554432000 4194304 4196468 140720960466640 140720960449184 140573347901175 0 0 2 25189581 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 38461440 140720960471790 140720960472218 140720960472218 140720960475087 0
/proc/15500/statm: 3755273 34352 3232 1 0 3716603 0
[pid=15500/tid=15504] ppid=15497 vsize=15021092 memory=0 CPUtime=0.87 cores=0,2,4,6
/proc/15500/task/15504/stat : 15504 (java) R 15497 15497 8853 0 -1 4202560 16718 0 0 0 82 5 0 0 20 0 15 0 405827730 15381598208 34352 33554432000 4194304 4196468 140720960466640 140573319738912 140573347913110 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38461440 140720960471790 140720960472218 140720960472218 140720960475087 0
[pid=15500/tid=15512] ppid=15497 vsize=15021092 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15500/task/15512/stat : 15512 (java) S 15497 15497 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405827731 15381598208 34352 33554432000 4194304 4196468 140720960466640 140573352143504 140573347911381 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38461440 140720960471790 140720960472218 140720960472218 140720960475087 0
[pid=15500/tid=15513] ppid=15497 vsize=15021092 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15500/task/15513/stat : 15513 (java) S 15497 15497 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405827731 15381598208 34352 33554432000 4194304 4196468 140720960466640 140573143226896 140573347911381 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38461440 140720960471790 140720960472218 140720960472218 140720960475087 0
[pid=15500/tid=15514] ppid=15497 vsize=15021092 memory=130020 CPUtime=0 cores=0,2,4,6
/proc/15500/task/15514/stat : 15514 (java) S 15497 15497 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405827732 15381598208 34352 33554432000 4194304 4196468 140720960466640 140573142174096 140573347911381 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38461440 140720960471790 140720960472218 140720960472218 140720960475087 0
[pid=15500/tid=15515] ppid=15497 vsize=15021092 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15500/task/15515/stat : 15515 (java) S 15497 15497 8853 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405827732 15381598208 34352 33554432000 4194304 4196468 140720960466640 140573141121296 140573347911381 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38461440 140720960471790 140720960472218 140720960472218 140720960475087 0
[pid=15500/tid=15519] ppid=15497 vsize=15021092 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15500/task/15519/stat : 15519 (java) S 15497 15497 8853 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 405827733 15381598208 34352 33554432000 4194304 4196468 140720960466640 140572116478832 140573347912322 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38461440 140720960471790 140720960472218 140720960472218 140720960475087 0
[pid=15500/tid=15520] ppid=15497 vsize=15021092 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15500/task/15520/stat : 15520 (java) S 15497 15497 8853 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405827733 15381598208 34352 33554432000 4194304 4196468 140720960466640 140571997890080 140573347911381 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38461440 140720960471790 140720960472218 140720960472218 140720960475087 0
[pid=15500/tid=15524] ppid=15497 vsize=15021092 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15500/task/15524/stat : 15524 (java) S 15497 15497 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405827734 15381598208 34352 33554432000 4194304 4196468 140720960466640 140571729454448 140573347911381 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38461440 140720960471790 140720960472218 140720960472218 140720960475087 0
[pid=15500/tid=15529] ppid=15497 vsize=15021092 memory=11624 CPUtime=0 cores=0,2,4,6
/proc/15500/task/15529/stat : 15529 (java) S 15497 15497 8853 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405827736 15381598208 34352 33554432000 4194304 4196468 140720960466640 140571354945872 140573347919771 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38461440 140720960471790 140720960472218 140720960472218 140720960475087 0
[pid=15500/tid=15530] ppid=15497 vsize=15021092 memory=732 CPUtime=0.11 cores=0,2,4,6
/proc/15500/task/15530/stat : 15530 (java) R 15497 15497 8853 0 -1 4202560 349 0 0 0 11 0 0 0 20 0 15 0 405827736 15381598208 34352 33554432000 4194304 4196468 140720960466640 140572115425648 140573329311325 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38461440 140720960471790 140720960472218 140720960472218 140720960475087 0
[pid=15500/tid=15531] ppid=15497 vsize=15021092 memory=776 CPUtime=0.14 cores=0,2,4,6
/proc/15500/task/15531/stat : 15531 (java) S 15497 15497 8853 0 -1 1077944384 768 0 0 0 14 0 0 0 20 0 15 0 405827736 15381598208 34352 33554432000 4194304 4196468 140720960466640 140572114372848 140573347912322 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38461440 140720960471790 140720960472218 140720960472218 140720960475087 0
[pid=15500/tid=15532] ppid=15497 vsize=15021092 memory=1560 CPUtime=0.27 cores=0,2,4,6
/proc/15500/task/15532/stat : 15532 (java) S 15497 15497 8853 0 -1 1077944384 858 0 0 0 27 0 0 0 20 0 15 0 405827736 15381598208 34352 33554432000 4194304 4196468 140720960466640 140572113320048 140573347912322 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38461440 140720960471790 140720960472218 140720960472218 140720960475087 0
[pid=15500/tid=15533] ppid=15497 vsize=15021092 memory=4008 CPUtime=0 cores=0,2,4,6
/proc/15500/task/15533/stat : 15533 (java) S 15497 15497 8853 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405827736 15381598208 34352 33554432000 4194304 4196468 140720960466640 140570857040096 140573347911381 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38461440 140720960471790 140720960472218 140720960472218 140720960475087 0
[pid=15500/tid=15534] ppid=15497 vsize=15021092 memory=1096 CPUtime=0 cores=0,2,4,6
/proc/15500/task/15534/stat : 15534 (java) S 15497 15497 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405827737 15381598208 34352 33554432000 4194304 4196468 140720960466640 140572112268464 140573347912322 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38461440 140720960471790 140720960472218 140720960472218 140720960475087 0
Current children cumulated CPU time: 1.44 s
Current children cumulated vsize: 15134220 KiB
Current children cumulated memory: 138804 KiB
Child status: 0
Real time (s): 1.00026
CPU time (s): 1.60785
CPU user time (s): 1.52318
CPU system time (s): 0.084673
CPU usage (%): 160.743
Max. virtual memory (cumulated for all children) (KiB): 15134220
Max. memory (cumulated for all children) (KiB): 138804
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.52318
system time used= 0.084673
maximum resident set size= 141380
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 21275
page faults= 0
swaps= 0
block input operations= 0
block output operations= 72
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1698
involuntary context switches= 5
# summary of solver processes directly reported to runsolver:
# pid: 15497
# total CPU time (s): 1.60785
# total CPU user time (s): 1.52318
# total CPU system time (s): 0.084673
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.026026 second user time and 0.052053 second system time
The end