0.00/0.00 c (scop.sh) java -Xms11g -Xmx11g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Encode -hybrid -solver HOME/cryptominisat5 -solverOption default -tmp HOME -serialFile HOME/scop-10649-serial-file.bin HOME/instance-4388404-1568298352.xml
0.66/0.53
0.66/0.53 Fun-sCOP hybrid+cryptominisat5 (2019-06-15)
0.66/0.53
0.66/0.55 c BEGIN-Prog: Thu Sep 12 16:25:12 CEST 2019
0.66/0.55 c PID: 10652
0.94/0.88 c IP: 172.20.3.124
0.94/0.88 c HOST: node124.alineos.net
0.94/0.88 c (0,0) Parsing Begin
1.42/1.15 c (0,0) Parsing End
1.42/1.15 c (0,0) CSP: 338 int (0 aux), 0 bool (0 aux), 1 ctr, max domain size 14
1.42/1.16 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.42/1.16 c (0,0) Constraint Name Generate Begin
1.42/1.16 c (0,0) Ctr:HOME/instance-4388404-1568298352.xml,Circuit:Var
1.42/1.16 c (0,0) Constraint Name Generate End
1.42/1.16 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.42/1.16 c (0,0) CSP to CSPinCNF Begin
1.42/1.20 c (0,0) translated 1 (10%) constraints
1.42/1.20 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.42/1.20 c (0,0) fun.scop.TranslatorOrd.transCtr(Translator.scala:1829)
1.42/1.20 c (0,0) fun.scop.TranslatorOrd.$anonfun$transCSPtoCSPinCNF$1(Translator.scala:2019)
1.42/1.20 c (0,0) scala.collection.immutable.Range.foreach$mVc$sp(Range.scala:155)
1.42/1.20 c (0,0) fun.scop.TranslatorOrd.transCSPtoCSPinCNF(Translator.scala:2009)
1.42/1.20 c (0,0) fun.scop.XCSP19Encode.run(XCSP19Encode.scala:279)
1.42/1.20 c (0,0) fun.scop.XCSP19Encode$.main(XCSP19Encode.scala:568)
1.42/1.20 c (0,0) fun.scop.XCSP19Encode.main(XCSP19Encode.scala)
1.42/1.20 c (0,0) 0,0,TO,TO,TO,TO,TO,TO,TO,STOP-AFTER(CtrName)
1.42/1.20 s UNSUPPORTED
1.42/1.20 c END-Prog: Thu Sep 12 16:25:13 CEST 2019
1.42/1.20 c (scop.sh) HOME/scop-10649-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 (7662 MiB free)
memory of node 1: 16384 MiB (6876 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4388404-1568298352/watcher-4388404-1568298352 -o /tmp/evaluation-result-4388404-1568298352/solver-4388404-1568298352 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node124-1568286434-6491 --watchdog 2580 HOME/scop.sh 11g HOME/scop.jar -hybrid HOME/cryptominisat5 default HOME HOME/instance-4388404-1568298352.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=10649, runsolver pid=10646
[startup+0.100078 s]*
/proc/loadavg: 2.17 2.23 2.18 4/234 10666
/proc/meminfo: memFree=14826608/32770624 swapFree=66959212/67108860
[pid=10649] ppid=10646 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/10649/stat : 10649 (scop.sh) S 10646 10649 5595 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 405775337 115843072 349 33554432000 4194304 5098028 140726790598768 140726790596024 140081762239100 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 38998016 140726790607715 140726790607984 140726790607984 140726790610893 0
/proc/10649/statm: 28282 349 296 221 0 87 0
[pid=10652] ppid=10649 vsize=15012696 memory=73432 CPUtime=0.11 cores=0,2,4,6
/proc/10652/stat : 10652 (java) S 10649 10649 5595 0 -1 1077944320 7104 0 0 0 10 1 0 0 20 0 15 0 405775337 15373000704 18358 33554432000 4194304 4196468 140721603748592 140721603731136 139796550033143 0 0 2 16800973 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 15609856 140721603752745 140721603753114 140721603753114 140721603755983 0
/proc/10652/statm: 3753174 18358 2928 1 0 3715579 0
[pid=10652/tid=10653] ppid=10649 vsize=15012696 memory=-6581303614368956357 CPUtime=0.08 cores=0,2,4,6
/proc/10652/task/10653/stat : 10653 (java) R 10649 10649 5595 0 -1 4202560 4989 0 0 0 8 0 0 0 20 0 15 0 405775338 15373000704 18424 33554432000 4194304 4196468 140721603748592 139796521827048 139796534076773 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15609856 140721603752745 140721603753114 140721603753114 140721603755983 0
[pid=10652/tid=10654] ppid=10649 vsize=15012696 memory=4206468019014099040 CPUtime=0 cores=0,2,4,6
/proc/10652/task/10654/stat : 10654 (java) S 10649 10649 5595 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405775339 15373000704 18424 33554432000 4194304 4196468 140721603748592 139796554275472 139796550043349 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15609856 140721603752745 140721603753114 140721603753114 140721603755983 0
[pid=10652/tid=10655] ppid=10649 vsize=15012696 memory=140450242942592 CPUtime=0 cores=0,2,4,6
/proc/10652/task/10655/stat : 10655 (java) S 10649 10649 5595 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405775339 15373000704 18424 33554432000 4194304 4196468 140721603748592 139796368431632 139796550043349 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15609856 140721603752745 140721603753114 140721603753114 140721603755983 0
[pid=10652/tid=10656] ppid=10649 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10652/task/10656/stat : 10656 (java) S 10649 10649 5595 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405775339 15373000704 18424 33554432000 4194304 4196468 140721603748592 139796367378832 139796550043349 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15609856 140721603752745 140721603753114 140721603753114 140721603755983 0
[pid=10652/tid=10657] ppid=10649 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10652/task/10657/stat : 10657 (java) S 10649 10649 5595 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405775339 15373000704 18424 33554432000 4194304 4196468 140721603748592 139796366326032 139796550043349 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15609856 140721603752745 140721603753114 140721603753114 140721603755983 0
[pid=10652/tid=10658] ppid=10649 vsize=15012696 memory=140450242942592 CPUtime=0 cores=0,2,4,6
/proc/10652/task/10658/stat : 10658 (java) S 10649 10649 5595 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405775341 15373000704 18424 33554432000 4194304 4196468 140721603748592 139795587578736 139796550044290 0 0 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15609856 140721603752745 140721603753114 140721603753114 140721603755983 0
[pid=10652/tid=10659] ppid=10649 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10652/task/10659/stat : 10659 (java) S 10649 10649 5595 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405775341 15373000704 18424 33554432000 4194304 4196468 140721603748592 139795078571552 139796550043349 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15609856 140721603752745 140721603753114 140721603753114 140721603755983 0
[pid=10652/tid=10660] ppid=10649 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10652/task/10660/stat : 10660 (java) S 10649 10649 5595 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405775341 15373000704 18424 33554432000 4194304 4196468 140721603748592 139794810135920 139796550043349 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15609856 140721603752745 140721603753114 140721603753114 140721603755983 0
[pid=10652/tid=10661] ppid=10649 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10652/task/10661/stat : 10661 (java) S 10649 10649 5595 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405775344 15373000704 18424 33554432000 4194304 4196468 140721603748592 139794435627344 139796550051739 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15609856 140721603752745 140721603753114 140721603753114 140721603755983 0
[pid=10652/tid=10662] ppid=10649 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10652/task/10662/stat : 10662 (java) S 10649 10649 5595 0 -1 1077944384 312 0 0 0 0 0 0 0 20 0 15 0 405775344 15373000704 18490 33554432000 4194304 4196468 140721603748592 139795586525552 139796550044290 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15609856 140721603752745 140721603753114 140721603753114 140721603755983 0
[pid=10652/tid=10663] ppid=10649 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10652/task/10663/stat : 10663 (java) S 10649 10649 5595 0 -1 1077944384 135 0 0 0 0 0 0 0 20 0 15 0 405775344 15373000704 18490 33554432000 4194304 4196468 140721603748592 139795585472752 139796550044290 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15609856 140721603752745 140721603753114 140721603753114 140721603755983 0
[pid=10652/tid=10664] ppid=10649 vsize=15012696 memory=140450242942592 CPUtime=0.01 cores=0,2,4,6
/proc/10652/task/10664/stat : 10664 (java) R 10649 10649 5595 0 -1 4202560 426 0 0 0 1 0 0 0 20 0 15 0 405775344 15373000704 18490 33554432000 4194304 4196468 140721603748592 139795584416824 139796542270270 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15609856 140721603752745 140721603753114 140721603753114 140721603755983 0
[pid=10652/tid=10665] ppid=10649 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10652/task/10665/stat : 10665 (java) S 10649 10649 5595 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405775344 15373000704 18490 33554432000 4194304 4196468 140721603748592 139793937721568 139796550043349 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15609856 140721603752745 140721603753114 140721603753114 140721603755983 0
[pid=10652/tid=10666] ppid=10649 vsize=15012696 memory=140450242942592 CPUtime=0 cores=0,2,4,6
/proc/10652/task/10666/stat : 10666 (java) S 10649 10649 5595 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405775344 15373000704 18490 33554432000 4194304 4196468 140721603748592 139795583368368 139796550044290 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15609856 140721603752745 140721603753114 140721603753114 140721603755983 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 74828 KiB
[startup+0.211693 s]*
/proc/loadavg: 2.17 2.23 2.18 3/234 10666
/proc/meminfo: memFree=14806960/32770624 swapFree=66959212/67108860
[pid=10649] ppid=10646 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/10649/stat : 10649 (scop.sh) S 10646 10649 5595 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 405775337 115843072 349 33554432000 4194304 5098028 140726790598768 140726790596024 140081762239100 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 38998016 140726790607715 140726790607984 140726790607984 140726790610893 0
/proc/10649/statm: 28282 349 296 221 0 87 0
[pid=10652] ppid=10649 vsize=15012696 memory=89088 CPUtime=0.24 cores=0,2,4,6
/proc/10652/stat : 10652 (java) S 10649 10649 5595 0 -1 1077944320 12305 0 0 0 22 2 0 0 20 0 15 0 405775337 15373000704 22272 33554432000 4194304 4196468 140721603748592 140721603731136 139796550033143 0 0 2 16800973 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 15609856 140721603752745 140721603753114 140721603753114 140721603755983 0
/proc/10652/statm: 3753174 22272 2959 1 0 3715579 0
[pid=10652/tid=10653] ppid=10649 vsize=15012696 memory=7022364632946311227 CPUtime=0.2 cores=0,2,4,6
/proc/10652/task/10653/stat : 10653 (java) R 10649 10649 5595 0 -1 4202560 10048 0 0 0 18 2 0 0 20 0 15 0 405775338 15373000704 22272 33554432000 4194304 4196468 140721603748592 139796521855680 139796528477941 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15609856 140721603752745 140721603753114 140721603753114 140721603755983 0
[pid=10652/tid=10654] ppid=10649 vsize=15012696 memory=397 CPUtime=0 cores=0,2,4,6
/proc/10652/task/10654/stat : 10654 (java) S 10649 10649 5595 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405775339 15373000704 22272 33554432000 4194304 4196468 140721603748592 139796554275472 139796550043349 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15609856 140721603752745 140721603753114 140721603753114 140721603755983 0
[pid=10652/tid=10655] ppid=10649 vsize=15012696 memory=4122119589802464928 CPUtime=0 cores=0,2,4,6
/proc/10652/task/10655/stat : 10655 (java) S 10649 10649 5595 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405775339 15373000704 22272 33554432000 4194304 4196468 140721603748592 139796368431632 139796550043349 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15609856 140721603752745 140721603753114 140721603753114 140721603755983 0
[pid=10652/tid=10656] ppid=10649 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10652/task/10656/stat : 10656 (java) S 10649 10649 5595 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405775339 15373000704 22272 33554432000 4194304 4196468 140721603748592 139796367378832 139796550043349 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15609856 140721603752745 140721603753114 140721603753114 140721603755983 0
[pid=10652/tid=10657] ppid=10649 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10652/task/10657/stat : 10657 (java) S 10649 10649 5595 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405775339 15373000704 22272 33554432000 4194304 4196468 140721603748592 139796366326032 139796550043349 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15609856 140721603752745 140721603753114 140721603753114 140721603755983 0
[pid=10652/tid=10658] ppid=10649 vsize=15012696 memory=140450242942592 CPUtime=0 cores=0,2,4,6
/proc/10652/task/10658/stat : 10658 (java) S 10649 10649 5595 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405775341 15373000704 22272 33554432000 4194304 4196468 140721603748592 139795587578736 139796550044290 0 0 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15609856 140721603752745 140721603753114 140721603753114 140721603755983 0
[pid=10652/tid=10659] ppid=10649 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10652/task/10659/stat : 10659 (java) S 10649 10649 5595 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405775341 15373000704 22272 33554432000 4194304 4196468 140721603748592 139795078571552 139796550043349 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15609856 140721603752745 140721603753114 140721603753114 140721603755983 0
[pid=10652/tid=10660] ppid=10649 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10652/task/10660/stat : 10660 (java) S 10649 10649 5595 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405775341 15373000704 22272 33554432000 4194304 4196468 140721603748592 139794810135920 139796550043349 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15609856 140721603752745 140721603753114 140721603753114 140721603755983 0
[pid=10652/tid=10661] ppid=10649 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10652/task/10661/stat : 10661 (java) S 10649 10649 5595 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405775344 15373000704 22272 33554432000 4194304 4196468 140721603748592 139794435627344 139796550051739 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15609856 140721603752745 140721603753114 140721603753114 140721603755983 0
[pid=10652/tid=10662] ppid=10649 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10652/task/10662/stat : 10662 (java) S 10649 10649 5595 0 -1 1077944384 346 0 0 0 0 0 0 0 20 0 15 0 405775344 15373000704 22272 33554432000 4194304 4196468 140721603748592 139795586525552 139796550044290 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15609856 140721603752745 140721603753114 140721603753114 140721603755983 0
[pid=10652/tid=10663] ppid=10649 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10652/task/10663/stat : 10663 (java) S 10649 10649 5595 0 -1 1077944384 146 0 0 0 0 0 0 0 20 0 15 0 405775344 15373000704 22272 33554432000 4194304 4196468 140721603748592 139795585472752 139796550044290 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15609856 140721603752745 140721603753114 140721603753114 140721603755983 0
[pid=10652/tid=10664] ppid=10649 vsize=15012696 memory=140450242942592 CPUtime=0.02 cores=0,2,4,6
/proc/10652/task/10664/stat : 10664 (java) S 10649 10649 5595 0 -1 1077944384 434 0 0 0 2 0 0 0 20 0 15 0 405775344 15373000704 22272 33554432000 4194304 4196468 140721603748592 139795584419952 139796550044290 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15609856 140721603752745 140721603753114 140721603753114 140721603755983 0
[pid=10652/tid=10665] ppid=10649 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10652/task/10665/stat : 10665 (java) S 10649 10649 5595 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405775344 15373000704 22272 33554432000 4194304 4196468 140721603748592 139793937721568 139796550043349 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15609856 140721603752745 140721603753114 140721603753114 140721603755983 0
[pid=10652/tid=10666] ppid=10649 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10652/task/10666/stat : 10666 (java) S 10649 10649 5595 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405775344 15373000704 22272 33554432000 4194304 4196468 140721603748592 139795583368368 139796550044290 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15609856 140721603752745 140721603753114 140721603753114 140721603755983 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 90484 KiB
[startup+0.310876 s]*
/proc/loadavg: 2.17 2.23 2.18 3/234 10666
/proc/meminfo: memFree=14804516/32770624 swapFree=66959212/67108860
[pid=10649] ppid=10646 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/10649/stat : 10649 (scop.sh) S 10646 10649 5595 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 405775337 115843072 349 33554432000 4194304 5098028 140726790598768 140726790596024 140081762239100 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 38998016 140726790607715 140726790607984 140726790607984 140726790610893 0
/proc/10649/statm: 28282 349 296 221 0 87 0
[pid=10652] ppid=10649 vsize=15012696 memory=92172 CPUtime=0.43 cores=0,2,4,6
/proc/10652/stat : 10652 (java) S 10649 10649 5595 0 -1 1077944320 12650 0 0 0 40 3 0 0 20 0 15 0 405775337 15373000704 23043 33554432000 4194304 4196468 140721603748592 140721603731136 139796550033143 0 0 2 16800973 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 15609856 140721603752745 140721603753114 140721603753114 140721603755983 0
/proc/10652/statm: 3753174 23043 3012 1 0 3715579 0
[pid=10652/tid=10653] ppid=10649 vsize=15012696 memory=6791534058613427641 CPUtime=0.3 cores=0,2,4,6
/proc/10652/task/10653/stat : 10653 (java) R 10649 10649 5595 0 -1 4202560 10226 0 0 0 28 2 0 0 20 0 15 0 405775338 15373000704 23043 33554432000 4194304 4196468 140721603748592 139796521823792 139796531406922 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15609856 140721603752745 140721603753114 140721603753114 140721603755983 0
[pid=10652/tid=10654] ppid=10649 vsize=15012696 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/10652/task/10654/stat : 10654 (java) S 10649 10649 5595 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405775339 15373000704 23043 33554432000 4194304 4196468 140721603748592 139796554275472 139796550043349 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15609856 140721603752745 140721603753114 140721603753114 140721603755983 0
[pid=10652/tid=10655] ppid=10649 vsize=15012696 memory=-5587046532246807594 CPUtime=0 cores=0,2,4,6
/proc/10652/task/10655/stat : 10655 (java) S 10649 10649 5595 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405775339 15373000704 23043 33554432000 4194304 4196468 140721603748592 139796368431632 139796550043349 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15609856 140721603752745 140721603753114 140721603753114 140721603755983 0
[pid=10652/tid=10656] ppid=10649 vsize=15012696 memory=7379517702019849078 CPUtime=0 cores=0,2,4,6
/proc/10652/task/10656/stat : 10656 (java) S 10649 10649 5595 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405775339 15373000704 23043 33554432000 4194304 4196468 140721603748592 139796367378832 139796550043349 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15609856 140721603752745 140721603753114 140721603753114 140721603755983 0
[pid=10652/tid=10657] ppid=10649 vsize=15012696 memory=7016714186490735262 CPUtime=0 cores=0,2,4,6
/proc/10652/task/10657/stat : 10657 (java) S 10649 10649 5595 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405775339 15373000704 23043 33554432000 4194304 4196468 140721603748592 139796366326032 139796550043349 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15609856 140721603752745 140721603753114 140721603753114 140721603755983 0
[pid=10652/tid=10658] ppid=10649 vsize=15012696 memory=-9062862659931694204 CPUtime=0 cores=0,2,4,6
/proc/10652/task/10658/stat : 10658 (java) S 10649 10649 5595 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405775341 15373000704 23043 33554432000 4194304 4196468 140721603748592 139795587578736 139796550044290 0 0 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15609856 140721603752745 140721603753114 140721603753114 140721603755983 0
[pid=10652/tid=10659] ppid=10649 vsize=15012696 memory=3047711566422646390 CPUtime=0 cores=0,2,4,6
/proc/10652/task/10659/stat : 10659 (java) S 10649 10649 5595 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405775341 15373000704 23043 33554432000 4194304 4196468 140721603748592 139795078571552 139796550043349 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15609856 140721603752745 140721603753114 140721603753114 140721603755983 0
[pid=10652/tid=10660] ppid=10649 vsize=15012696 memory=8982046290584177472 CPUtime=0 cores=0,2,4,6
/proc/10652/task/10660/stat : 10660 (java) S 10649 10649 5595 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405775341 15373000704 23043 33554432000 4194304 4196468 140721603748592 139794810135920 139796550043349 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15609856 140721603752745 140721603753114 140721603753114 140721603755983 0
[pid=10652/tid=10661] ppid=10649 vsize=15012696 memory=8325818968683490714 CPUtime=0 cores=0,2,4,6
/proc/10652/task/10661/stat : 10661 (java) S 10649 10649 5595 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405775344 15373000704 23043 33554432000 4194304 4196468 140721603748592 139794435627344 139796550051739 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15609856 140721603752745 140721603753114 140721603753114 140721603755983 0
[pid=10652/tid=10662] ppid=10649 vsize=15012696 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/10652/task/10662/stat : 10662 (java) S 10649 10649 5595 0 -1 1077944384 445 0 0 0 2 0 0 0 20 0 15 0 405775344 15373000704 23043 33554432000 4194304 4196468 140721603748592 139795586525552 139796550044290 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15609856 140721603752745 140721603753114 140721603753114 140721603755983 0
[pid=10652/tid=10663] ppid=10649 vsize=15012696 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/10652/task/10663/stat : 10663 (java) S 10649 10649 5595 0 -1 1077944384 191 0 0 0 1 0 0 0 20 0 15 0 405775344 15373000704 23043 33554432000 4194304 4196468 140721603748592 139795585472752 139796550044290 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15609856 140721603752745 140721603753114 140721603753114 140721603755983 0
[pid=10652/tid=10664] ppid=10649 vsize=15012696 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/10652/task/10664/stat : 10664 (java) S 10649 10649 5595 0 -1 1077944384 456 0 0 0 7 0 0 0 20 0 15 0 405775344 15373000704 23043 33554432000 4194304 4196468 140721603748592 139795584419952 139796550044290 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15609856 140721603752745 140721603753114 140721603753114 140721603755983 0
[pid=10652/tid=10665] ppid=10649 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10652/task/10665/stat : 10665 (java) S 10649 10649 5595 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405775344 15373000704 23043 33554432000 4194304 4196468 140721603748592 139793937721568 139796550043349 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15609856 140721603752745 140721603753114 140721603753114 140721603755983 0
[pid=10652/tid=10666] ppid=10649 vsize=15012696 memory=3835158346008114224 CPUtime=0 cores=0,2,4,6
/proc/10652/task/10666/stat : 10666 (java) S 10649 10649 5595 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405775344 15373000704 23043 33554432000 4194304 4196468 140721603748592 139795583368368 139796550044290 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15609856 140721603752745 140721603753114 140721603753114 140721603755983 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 93568 KiB
[startup+0.700813 s]
/proc/loadavg: 2.17 2.23 2.18 3/234 10666
/proc/meminfo: memFree=14783572/32770624 swapFree=66959212/67108860
[pid=10649] ppid=10646 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/10649/stat : 10649 (scop.sh) S 10646 10649 5595 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 405775337 115843072 349 33554432000 4194304 5098028 140726790598768 140726790596024 140081762239100 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 38998016 140726790607715 140726790607984 140726790607984 140726790610893 0
/proc/10649/statm: 28282 349 296 221 0 87 0
[pid=10652] ppid=10649 vsize=15018968 memory=126640 CPUtime=0.94 cores=0,2,4,6
/proc/10652/stat : 10652 (java) S 10649 10649 5595 0 -1 1077944320 20001 0 0 0 89 5 0 0 20 0 15 0 405775337 15379423232 31660 33554432000 4194304 4196468 140721603748592 140721603731136 139796550033143 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 15609856 140721603752745 140721603753114 140721603753114 140721603755983 0
/proc/10652/statm: 3754742 31660 3182 1 0 3716091 0
[pid=10652/tid=10653] ppid=10649 vsize=15018968 memory=-7816663703405220396 CPUtime=0.64 cores=0,2,4,6
/proc/10652/task/10653/stat : 10653 (java) D 10649 10649 5595 0 -1 4202560 17094 0 0 0 61 3 0 0 20 0 15 0 405775338 15379423232 31660 33554432000 4194304 4196468 140721603748592 139796521872416 139796550055069 0 4 2 25189581 18446744072100461701 0 0 -1 6 0 0 0 0 0 6293624 6294260 15609856 140721603752745 140721603753114 140721603753114 140721603755983 0
[pid=10652/tid=10654] ppid=10649 vsize=15018968 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10652/task/10654/stat : 10654 (java) S 10649 10649 5595 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405775339 15379423232 31660 33554432000 4194304 4196468 140721603748592 139796554275472 139796550043349 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15609856 140721603752745 140721603753114 140721603753114 140721603755983 0
[pid=10652/tid=10655] ppid=10649 vsize=15018968 memory=1660 CPUtime=0 cores=0,2,4,6
/proc/10652/task/10655/stat : 10655 (java) S 10649 10649 5595 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405775339 15379423232 31660 33554432000 4194304 4196468 140721603748592 139796368431632 139796550043349 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15609856 140721603752745 140721603753114 140721603753114 140721603755983 0
[pid=10652/tid=10656] ppid=10649 vsize=15018968 memory=37496 CPUtime=0 cores=0,2,4,6
/proc/10652/task/10656/stat : 10656 (java) S 10649 10649 5595 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405775339 15379423232 31660 33554432000 4194304 4196468 140721603748592 139796367378832 139796550043349 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15609856 140721603752745 140721603753114 140721603753114 140721603755983 0
[pid=10652/tid=10657] ppid=10649 vsize=15018968 memory=988 CPUtime=0 cores=0,2,4,6
/proc/10652/task/10657/stat : 10657 (java) S 10649 10649 5595 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405775339 15379423232 31660 33554432000 4194304 4196468 140721603748592 139796366326032 139796550043349 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15609856 140721603752745 140721603753114 140721603753114 140721603755983 0
[pid=10652/tid=10658] ppid=10649 vsize=15018968 memory=2008 CPUtime=0 cores=0,2,4,6
/proc/10652/task/10658/stat : 10658 (java) S 10649 10649 5595 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 405775341 15379423232 31660 33554432000 4194304 4196468 140721603748592 139795587578736 139796550044290 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15609856 140721603752745 140721603753114 140721603753114 140721603755983 0
[pid=10652/tid=10659] ppid=10649 vsize=15018968 memory=1436 CPUtime=0 cores=0,2,4,6
/proc/10652/task/10659/stat : 10659 (java) S 10649 10649 5595 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405775341 15379423232 31660 33554432000 4194304 4196468 140721603748592 139795078571552 139796550043349 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15609856 140721603752745 140721603753114 140721603753114 140721603755983 0
[pid=10652/tid=10660] ppid=10649 vsize=15018968 memory=580 CPUtime=0 cores=0,2,4,6
/proc/10652/task/10660/stat : 10660 (java) S 10649 10649 5595 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405775341 15379423232 31660 33554432000 4194304 4196468 140721603748592 139794810135920 139796550043349 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15609856 140721603752745 140721603753114 140721603753114 140721603755983 0
[pid=10652/tid=10661] ppid=10649 vsize=15018968 memory=1720 CPUtime=0 cores=0,2,4,6
/proc/10652/task/10661/stat : 10661 (java) S 10649 10649 5595 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405775344 15379423232 31660 33554432000 4194304 4196468 140721603748592 139794435627344 139796550051739 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15609856 140721603752745 140721603753114 140721603753114 140721603755983 0
[pid=10652/tid=10662] ppid=10649 vsize=15018968 memory=10604 CPUtime=0.07 cores=0,2,4,6
/proc/10652/task/10662/stat : 10662 (java) S 10649 10649 5595 0 -1 1077944384 647 0 0 0 7 0 0 0 20 0 15 0 405775344 15379423232 31660 33554432000 4194304 4196468 140721603748592 139795586525552 139796550044290 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15609856 140721603752745 140721603753114 140721603753114 140721603755983 0
[pid=10652/tid=10663] ppid=10649 vsize=15018968 memory=3360 CPUtime=0.06 cores=0,2,4,6
/proc/10652/task/10663/stat : 10663 (java) S 10649 10649 5595 0 -1 1077944384 392 0 0 0 6 0 0 0 20 0 15 0 405775344 15379423232 31660 33554432000 4194304 4196468 140721603748592 139795585472752 139796550044290 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15609856 140721603752745 140721603753114 140721603753114 140721603755983 0
[pid=10652/tid=10664] ppid=10649 vsize=15018968 memory=776 CPUtime=0.14 cores=0,2,4,6
/proc/10652/task/10664/stat : 10664 (java) S 10649 10649 5595 0 -1 1077944384 532 0 0 0 14 0 0 0 20 0 15 0 405775344 15379423232 31660 33554432000 4194304 4196468 140721603748592 139795584419952 139796550044290 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15609856 140721603752745 140721603753114 140721603753114 140721603755983 0
[pid=10652/tid=10665] ppid=10649 vsize=15018968 memory=1564 CPUtime=0 cores=0,2,4,6
/proc/10652/task/10665/stat : 10665 (java) S 10649 10649 5595 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405775344 15379423232 31660 33554432000 4194304 4196468 140721603748592 139793937721568 139796550043349 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15609856 140721603752745 140721603753114 140721603753114 140721603755983 0
[pid=10652/tid=10666] ppid=10649 vsize=15018968 memory=5960 CPUtime=0 cores=0,2,4,6
/proc/10652/task/10666/stat : 10666 (java) S 10649 10649 5595 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405775344 15379423232 31660 33554432000 4194304 4196468 140721603748592 139795583368368 139796550044290 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15609856 140721603752745 140721603753114 140721603753114 140721603755983 0
Current children cumulated CPU time: 0.94 s
Current children cumulated vsize: 15132096 KiB
Current children cumulated memory: 128036 KiB
[startup+1.20858 s]
# the end of solver process 10649 was just reported to runsolver
# cumulated CPU time of all completed processes: user=1.54999 s, system=0.065531 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+0.987791 s]
/proc/loadavg: 2.17 2.23 2.18 3/234 10666
/proc/meminfo: memFree=14783572/32770624 swapFree=66959212/67108860
[pid=10649] ppid=10646 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/10649/stat : 10649 (scop.sh) S 10646 10649 5595 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 405775337 115843072 349 33554432000 4194304 5098028 140726790598768 140726790596024 140081762239100 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 38998016 140726790607715 140726790607984 140726790607984 140726790610893 0
/proc/10649/statm: 28282 349 296 221 0 87 0
[pid=10652] ppid=10649 vsize=15021092 memory=133668 CPUtime=1.18 cores=0,2,4,6
/proc/10652/stat : 10652 (java) S 10649 10649 5595 0 -1 1077944320 20615 0 0 0 113 5 0 0 20 0 15 0 405775337 15381598208 33417 33554432000 4194304 4196468 140721603748592 140721603731136 139796550033143 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 15609856 140721603752745 140721603753114 140721603753114 140721603755983 0
/proc/10652/statm: 3755273 33417 3223 1 0 3716603 0
[pid=10652/tid=10653] ppid=10649 vsize=15021092 memory=6791534058613427641 CPUtime=0.74 cores=0,2,4,6
/proc/10652/task/10653/stat : 10653 (java) R 10649 10649 5595 0 -1 4202560 17457 0 0 0 70 4 0 0 20 0 15 0 405775338 15381598208 33417 33554432000 4194304 4196468 140721603748592 139796521869376 139796550055069 0 4 2 25189581 0 0 0 -1 0 0 0 22 0 0 6293624 6294260 15609856 140721603752745 140721603753114 140721603753114 140721603755983 0
[pid=10652/tid=10654] ppid=10649 vsize=15021092 memory=4420 CPUtime=0 cores=0,2,4,6
/proc/10652/task/10654/stat : 10654 (java) S 10649 10649 5595 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405775339 15381598208 33417 33554432000 4194304 4196468 140721603748592 139796554275472 139796550043349 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15609856 140721603752745 140721603753114 140721603753114 140721603755983 0
[pid=10652/tid=10655] ppid=10649 vsize=15021092 memory=6628 CPUtime=0 cores=0,2,4,6
/proc/10652/task/10655/stat : 10655 (java) S 10649 10649 5595 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405775339 15381598208 33417 33554432000 4194304 4196468 140721603748592 139796368431632 139796550043349 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15609856 140721603752745 140721603753114 140721603753114 140721603755983 0
[pid=10652/tid=10656] ppid=10649 vsize=15021092 memory=8836 CPUtime=0 cores=0,2,4,6
/proc/10652/task/10656/stat : 10656 (java) S 10649 10649 5595 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405775339 15381598208 33417 33554432000 4194304 4196468 140721603748592 139796367378832 139796550043349 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15609856 140721603752745 140721603753114 140721603753114 140721603755983 0
[pid=10652/tid=10657] ppid=10649 vsize=15021092 memory=11044 CPUtime=0 cores=0,2,4,6
/proc/10652/task/10657/stat : 10657 (java) S 10649 10649 5595 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405775339 15381598208 33417 33554432000 4194304 4196468 140721603748592 139796366326032 139796550043349 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15609856 140721603752745 140721603753114 140721603753114 140721603755983 0
[pid=10652/tid=10658] ppid=10649 vsize=15021092 memory=13252 CPUtime=0 cores=0,2,4,6
/proc/10652/task/10658/stat : 10658 (java) S 10649 10649 5595 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 405775341 15381598208 33417 33554432000 4194304 4196468 140721603748592 139795587578736 139796550044290 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15609856 140721603752745 140721603753114 140721603753114 140721603755983 0
[pid=10652/tid=10659] ppid=10649 vsize=15021092 memory=15460 CPUtime=0 cores=0,2,4,6
/proc/10652/task/10659/stat : 10659 (java) S 10649 10649 5595 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405775341 15381598208 33417 33554432000 4194304 4196468 140721603748592 139795078571552 139796550043349 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15609856 140721603752745 140721603753114 140721603753114 140721603755983 0
[pid=10652/tid=10660] ppid=10649 vsize=15021092 memory=17668 CPUtime=0 cores=0,2,4,6
/proc/10652/task/10660/stat : 10660 (java) S 10649 10649 5595 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405775341 15381598208 33417 33554432000 4194304 4196468 140721603748592 139794810135920 139796550043349 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15609856 140721603752745 140721603753114 140721603753114 140721603755983 0
[pid=10652/tid=10661] ppid=10649 vsize=15021092 memory=19876 CPUtime=0 cores=0,2,4,6
/proc/10652/task/10661/stat : 10661 (java) S 10649 10649 5595 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405775344 15381598208 33417 33554432000 4194304 4196468 140721603748592 139794435627344 139796550051739 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15609856 140721603752745 140721603753114 140721603753114 140721603755983 0
[pid=10652/tid=10662] ppid=10649 vsize=15021092 memory=22084 CPUtime=0.11 cores=0,2,4,6
/proc/10652/task/10662/stat : 10662 (java) S 10649 10649 5595 0 -1 1077944384 659 0 0 0 11 0 0 0 20 0 15 0 405775344 15381598208 33417 33554432000 4194304 4196468 140721603748592 139795586525552 139796550044290 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15609856 140721603752745 140721603753114 140721603753114 140721603755983 0
[pid=10652/tid=10663] ppid=10649 vsize=15021092 memory=24292 CPUtime=0.08 cores=0,2,4,6
/proc/10652/task/10663/stat : 10663 (java) R 10649 10649 5595 0 -1 4202560 426 0 0 0 8 0 0 0 20 0 15 0 405775344 15381598208 33417 33554432000 4194304 4196468 140721603748592 139795585472752 139796533529669 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15609856 140721603752745 140721603753114 140721603753114 140721603755983 0
[pid=10652/tid=10664] ppid=10649 vsize=15021092 memory=26500 CPUtime=0.22 cores=0,2,4,6
/proc/10652/task/10664/stat : 10664 (java) R 10649 10649 5595 0 -1 4202560 737 0 0 0 22 0 0 0 20 0 15 0 405775344 15381598208 33417 33554432000 4194304 4196468 140721603748592 139795584418352 139796550054490 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15609856 140721603752745 140721603753114 140721603753114 140721603755983 0
[pid=10652/tid=10665] ppid=10649 vsize=15021092 memory=28708 CPUtime=0 cores=0,2,4,6
/proc/10652/task/10665/stat : 10665 (java) S 10649 10649 5595 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405775344 15381598208 33417 33554432000 4194304 4196468 140721603748592 139793937721568 139796550043349 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15609856 140721603752745 140721603753114 140721603753114 140721603755983 0
[pid=10652/tid=10666] ppid=10649 vsize=15021092 memory=30916 CPUtime=0 cores=0,2,4,6
/proc/10652/task/10666/stat : 10666 (java) S 10649 10649 5595 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405775344 15381598208 33417 33554432000 4194304 4196468 140721603748592 139795583368368 139796550044290 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15609856 140721603752745 140721603753114 140721603753114 140721603755983 0
Current children cumulated CPU time: 1.18 s
Current children cumulated vsize: 15134220 KiB
Current children cumulated memory: 135064 KiB
[startup+1.10199 s]*
/proc/loadavg: 2.17 2.23 2.18 3/234 10666
/proc/meminfo: memFree=14762132/32770624 swapFree=66959212/67108860
[pid=10649] ppid=10646 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/10649/stat : 10649 (scop.sh) S 10646 10649 5595 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 405775337 115843072 349 33554432000 4194304 5098028 140726790598768 140726790596024 140081762239100 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 38998016 140726790607715 140726790607984 140726790607984 140726790610893 0
/proc/10649/statm: 28282 349 296 221 0 87 0
[pid=10652] ppid=10649 vsize=15021092 memory=137304 CPUtime=1.42 cores=0,2,4,6
/proc/10652/stat : 10652 (java) S 10649 10649 5595 0 -1 1077944320 21040 0 0 0 137 5 0 0 20 0 15 0 405775337 15381598208 34326 33554432000 4194304 4196468 140721603748592 140721603731136 139796550033143 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 15609856 140721603752745 140721603753114 140721603753114 140721603755983 0
/proc/10652/statm: 3755273 34326 3230 1 0 3716603 0
[pid=10652/tid=10653] ppid=10649 vsize=15021092 memory=4026532046 CPUtime=0.86 cores=0,2,4,6
/proc/10652/task/10653/stat : 10653 (java) R 10649 10649 5595 0 -1 4202560 17712 0 0 0 82 4 0 0 20 0 15 0 405775338 15381598208 34326 33554432000 4194304 4196468 140721603748592 139796521869296 139796550045078 0 4 2 25189581 0 0 0 -1 0 0 0 22 0 0 6293624 6294260 15609856 140721603752745 140721603753114 140721603753114 140721603755983 0
[pid=10652/tid=10654] ppid=10649 vsize=15021092 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10652/task/10654/stat : 10654 (java) S 10649 10649 5595 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405775339 15381598208 34326 33554432000 4194304 4196468 140721603748592 139796554275472 139796550043349 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15609856 140721603752745 140721603753114 140721603753114 140721603755983 0
[pid=10652/tid=10655] ppid=10649 vsize=15021092 memory=140450242951622 CPUtime=0 cores=0,2,4,6
/proc/10652/task/10655/stat : 10655 (java) S 10649 10649 5595 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405775339 15381598208 34326 33554432000 4194304 4196468 140721603748592 139796368431632 139796550043349 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15609856 140721603752745 140721603753114 140721603753114 140721603755983 0
[pid=10652/tid=10656] ppid=10649 vsize=15021092 memory=140450130346739 CPUtime=0 cores=0,2,4,6
/proc/10652/task/10656/stat : 10656 (java) S 10649 10649 5595 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405775339 15381598208 34326 33554432000 4194304 4196468 140721603748592 139796367378832 139796550043349 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15609856 140721603752745 140721603753114 140721603753114 140721603755983 0
[pid=10652/tid=10657] ppid=10649 vsize=15021092 memory=2244 CPUtime=0 cores=0,2,4,6
/proc/10652/task/10657/stat : 10657 (java) S 10649 10649 5595 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405775339 15381598208 34326 33554432000 4194304 4196468 140721603748592 139796366326032 139796550043349 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15609856 140721603752745 140721603753114 140721603753114 140721603755983 0
[pid=10652/tid=10658] ppid=10649 vsize=15021092 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10652/task/10658/stat : 10658 (java) S 10649 10649 5595 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 405775341 15381598208 34326 33554432000 4194304 4196468 140721603748592 139795587578736 139796550044290 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15609856 140721603752745 140721603753114 140721603753114 140721603755983 0
[pid=10652/tid=10659] ppid=10649 vsize=15021092 memory=140450128385895 CPUtime=0 cores=0,2,4,6
/proc/10652/task/10659/stat : 10659 (java) S 10649 10649 5595 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405775341 15381598208 34326 33554432000 4194304 4196468 140721603748592 139795078571552 139796550043349 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15609856 140721603752745 140721603753114 140721603753114 140721603755983 0
[pid=10652/tid=10660] ppid=10649 vsize=15021092 memory=280900256588088 CPUtime=0 cores=0,2,4,6
/proc/10652/task/10660/stat : 10660 (java) S 10649 10649 5595 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405775341 15381598208 34326 33554432000 4194304 4196468 140721603748592 139794810135920 139796550043349 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15609856 140721603752745 140721603753114 140721603753114 140721603755983 0
[pid=10652/tid=10661] ppid=10649 vsize=15021092 memory=280900256776592 CPUtime=0 cores=0,2,4,6
/proc/10652/task/10661/stat : 10661 (java) S 10649 10649 5595 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405775344 15381598208 34326 33554432000 4194304 4196468 140721603748592 139794435627344 139796550051739 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15609856 140721603752745 140721603753114 140721603753114 140721603755983 0
[pid=10652/tid=10662] ppid=10649 vsize=15021092 memory=0 CPUtime=0.15 cores=0,2,4,6
/proc/10652/task/10662/stat : 10662 (java) S 10649 10649 5595 0 -1 1077944384 677 0 0 0 15 0 0 0 20 0 15 0 405775344 15381598208 34326 33554432000 4194304 4196468 140721603748592 139795586525552 139796550044290 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15609856 140721603752745 140721603753114 140721603753114 140721603755983 0
[pid=10652/tid=10663] ppid=10649 vsize=15021092 memory=-1 CPUtime=0.1 cores=0,2,4,6
/proc/10652/task/10663/stat : 10663 (java) S 10649 10649 5595 0 -1 1077944384 447 0 0 0 10 0 0 0 20 0 15 0 405775344 15381598208 34326 33554432000 4194304 4196468 140721603748592 139795585472752 139796550044290 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15609856 140721603752745 140721603753114 140721603753114 140721603755983 0
[pid=10652/tid=10664] ppid=10649 vsize=15021092 memory=140450242968416 CPUtime=0.28 cores=0,2,4,6
/proc/10652/task/10664/stat : 10664 (java) S 10649 10649 5595 0 -1 1077944384 874 0 0 0 28 0 0 0 20 0 15 0 405775344 15381598208 34326 33554432000 4194304 4196468 140721603748592 139795584419952 139796550044290 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15609856 140721603752745 140721603753114 140721603753114 140721603755983 0
[pid=10652/tid=10665] ppid=10649 vsize=15021092 memory=140450128402023 CPUtime=0 cores=0,2,4,6
/proc/10652/task/10665/stat : 10665 (java) S 10649 10649 5595 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405775344 15381598208 34326 33554432000 4194304 4196468 140721603748592 139793937721568 139796550043349 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15609856 140721603752745 140721603753114 140721603753114 140721603755983 0
[pid=10652/tid=10666] ppid=10649 vsize=15021092 memory=280900371344592 CPUtime=0 cores=0,2,4,6
/proc/10652/task/10666/stat : 10666 (java) S 10649 10649 5595 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405775344 15381598208 34326 33554432000 4194304 4196468 140721603748592 139795583368368 139796550044290 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15609856 140721603752745 140721603753114 140721603753114 140721603755983 0
Current children cumulated CPU time: 1.42 s
Current children cumulated vsize: 15134220 KiB
Current children cumulated memory: 138700 KiB
Child status: 0
Real time (s): 1.20862
CPU time (s): 1.61553
CPU user time (s): 1.54999
CPU system time (s): 0.065531
CPU usage (%): 133.667
Max. virtual memory (cumulated for all children) (KiB): 15134220
Max. memory (cumulated for all children) (KiB): 138700
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.54999
system time used= 0.065531
maximum resident set size= 141488
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 22325
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1703
involuntary context switches= 12
# summary of solver processes directly reported to runsolver:
# pid: 10649
# total CPU time (s): 1.61553
# total CPU user time (s): 1.54999
# total CPU system time (s): 0.065531
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.032521 second user time and 0.057699 second system time
The end