Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
SAT4J PB CuttingPlanes 2.2.0 2010-05-26 | Wrong UNSAT | 11.6752 | 6.02234 |
Name | /PARTIAL-BIGINT-LIN/wcsp/graphs/ normalized-graph05_wcsp.wbo |
MD5SUM | 16314cc1180b662b2cbfb0443cd0a158 |
Bench Category | PARTIAL-BIGINT-LIN (both soft and hard constraints, big integers, linear constraints) |
Best result obtained on this benchmark | MSAT |
Best cost obtained on this benchmark | 33778 |
Best CPU time to get the best result obtained on this benchmark | 1800.18 |
Max-Satisfiable | |
Max-(Un)Satisfiability was proved | |
Best value of the cost | |
Optimality of the best cost was proved | |
Number of variables | 3708 |
Total number of constraints | 521269 |
Number of soft constraints | 521169 |
Number of constraints which are clauses | 521169 |
Number of constraints which are cardinality constraints (but not clauses) | 100 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 44 |
Top cost | 229599 |
Min constraint cost | 1 |
Max constraint cost | 1000 |
Sum of constraints costs | 117319947 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 45 |
Number of bits of the biggest sum of numbers | 6 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.06 c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre 0.00/0.06 c This is free software under the dual EPL/GNU LGPL licenses. 0.00/0.06 c See www.sat4j.org for details. 0.00/0.07 c version 2.2.0.v20100526 0.00/0.07 c java.runtime.name Java(TM) SE Runtime Environment 0.00/0.07 c java.vm.name Java HotSpot(TM) Server VM 0.00/0.07 c java.vm.version 11.2-b01 0.00/0.07 c java.vm.vendor Sun Microsystems Inc. 0.00/0.07 c sun.arch.data.model 32 0.00/0.07 c java.version 1.6.0_12 0.00/0.07 c os.name Linux 0.00/0.07 c os.version 2.6.18-164.el5 0.00/0.07 c os.arch i386 0.00/0.07 c Free memory 1393557488 0.00/0.07 c Max memory 1395916800 0.00/0.07 c Total memory 1395916800 0.00/0.07 c Number of processors 8 0.11/0.10 c Pseudo Boolean Optimization 0.11/0.10 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.11/0.10 c --- Begin Solver configuration --- 0.11/0.10 c Stops conflict analysis at the first Unique Implication Point 0.11/0.10 c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@1b16e52 0.11/0.10 c Learn all clauses as in MiniSAT 0.11/0.10 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.11/0.10 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.11/0.10 c No reason simplification 0.11/0.10 c Armin Biere (Picosat) restarts strategy 0.11/0.10 c Glucose learned constraints deletion strategy 0.11/0.10 c timeout=2147483s 0.11/0.10 c DB Simplification allowed=false 0.11/0.10 c --- End Solver configuration --- 0.11/0.10 c solving HOME/instance-2701817-1278541698.wbo 0.11/0.10 c reading problem ... 8.14/3.72 c ... done. Wall clock time 3.628s. 8.14/3.72 c #vars 524877 8.14/3.72 c #constraints 521370 8.14/3.72 c constraints type 8.14/3.72 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 100 8.14/3.72 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 521269 8.14/3.72 c org.sat4j.pb.constraints.pb.MaxWatchPb => 1 11.58/5.95 c starts : 1 11.58/5.95 c conflicts : 59 11.58/5.95 c decisions : 1819135 11.58/5.95 c propagations : 1825624 11.58/5.95 c inspects : 30277 11.58/5.95 c learnt literals : 0 11.58/5.95 c learnt binary clauses : 0 11.58/5.95 c learnt ternary clauses : 0 11.58/5.95 c learnt clauses : 58 11.58/5.95 c ignored clauses : 0 11.58/5.95 c root simplifications : 0 11.58/5.95 c removed literals (reason simplification) : 0 11.58/5.95 c reason swapping (by a shorter reason) : 0 11.58/5.95 c Calls to reduceDB : 0 11.58/5.95 c number of reductions to clauses (during analyze) : 0 11.58/5.95 c number of learned constraints concerned by reduction : 0 11.58/5.95 c number of learning phase by resolution : 0 11.58/5.95 c number of learning phase by cutting planes : 0 11.58/5.95 c speed (assignments/second) : 834761.7741197989 11.58/5.95 c non guided choices 2701 11.58/5.95 c learnt constraints type 11.58/5.95 c org.sat4j.pb.constraints.pb.MaxWatchPb => 58 11.58/5.95 c constraints type 11.58/5.95 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 100 11.58/5.95 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 521269 11.58/5.95 c org.sat4j.pb.constraints.pb.MaxWatchPb => 1 11.58/5.95 s UNSATISFIABLE 11.58/5.95 c Total wall clock time (in seconds): 5.857
ERROR: no interpretation found !
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2701817-1278541698/watcher-2701817-1278541698 -o /tmp/evaluation-result-2701817-1278541698/solver-2701817-1278541698 -C 1800 -W 2000 -M 3800 java6 -server -Xmx1350m -Xms1350m -jar HOME/sat4j-pb.jar CuttingPlanes HOME/instance-2701817-1278541698.wbo Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 3891200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.04 2.19 2.14 3/178 21400 /proc/meminfo: memFree=29666072/32950928 swapFree=67111528/67111528 [pid=21400] ppid=21398 vsize=13164 CPUtime=0 /proc/21400/stat : 21400 (java) R 21398 21400 19054 0 -1 4194304 585 0 0 0 0 0 0 0 22 0 1 0 22383383 13479936 248 4089446400 134512640 134550932 4290682016 18446744073709551615 6092421 0 0 4096 0 0 0 0 17 2 0 0 0 /proc/21400/statm: 3291 255 141 10 0 1121 0 [startup+0.0831999 s] /proc/loadavg: 2.04 2.19 2.14 3/178 21400 /proc/meminfo: memFree=29666072/32950928 swapFree=67111528/67111528 [pid=21400] ppid=21398 vsize=1530040 CPUtime=0.09 /proc/21400/stat : 21400 (java) S 21398 21400 19054 0 -1 4202496 5034 0 1 0 8 1 0 0 22 0 18 0 22383383 1566760960 4470 4089446400 134512640 134550932 4290682016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 /proc/21400/statm: 382510 4470 1333 10 0 379812 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1530040 [startup+0.100198 s] /proc/loadavg: 2.04 2.19 2.14 3/178 21400 /proc/meminfo: memFree=29666072/32950928 swapFree=67111528/67111528 [pid=21400] ppid=21398 vsize=1530040 CPUtime=0.11 /proc/21400/stat : 21400 (java) S 21398 21400 19054 0 -1 4202496 5244 0 1 0 10 1 0 0 22 0 18 0 22383383 1566760960 4680 4089446400 134512640 134550932 4290682016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 /proc/21400/statm: 382510 4681 1348 10 0 379812 0 Current children cumulated CPU time (s) 0.11 Current children cumulated vsize (KiB) 1530040 [startup+0.300162 s] /proc/loadavg: 2.04 2.19 2.14 3/178 21400 /proc/meminfo: memFree=29666072/32950928 swapFree=67111528/67111528 [pid=21400] ppid=21398 vsize=1532496 CPUtime=0.55 /proc/21400/stat : 21400 (java) S 21398 21400 19054 0 -1 4202496 8242 0 1 0 54 1 0 0 22 0 18 0 22383383 1569275904 7639 4089446400 134512640 134550932 4290682016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 /proc/21400/statm: 383124 7640 1407 10 0 380426 0 Current children cumulated CPU time (s) 0.55 Current children cumulated vsize (KiB) 1532496 [startup+0.701091 s] /proc/loadavg: 2.04 2.19 2.14 3/178 21400 /proc/meminfo: memFree=29666072/32950928 swapFree=67111528/67111528 [pid=21400] ppid=21398 vsize=1532624 CPUtime=1.23 /proc/21400/stat : 21400 (java) S 21398 21400 19054 0 -1 4202496 39836 0 1 0 117 6 0 0 22 0 18 0 22383383 1569406976 39010 4089446400 134512640 134550932 4290682016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 /proc/21400/statm: 383156 39010 1420 10 0 380458 0 Current children cumulated CPU time (s) 1.23 Current children cumulated vsize (KiB) 1532624 [startup+1.50095 s] /proc/loadavg: 2.04 2.19 2.14 3/196 21418 /proc/meminfo: memFree=29476168/32950928 swapFree=67111528/67111528 [pid=21400] ppid=21398 vsize=1532948 CPUtime=2.84 /proc/21400/stat : 21400 (java) S 21398 21400 19054 0 -1 4202496 61060 0 1 0 275 9 0 0 22 0 18 0 22383383 1569738752 59807 4089446400 134512640 134550932 4290682016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 /proc/21400/statm: 383237 59807 1420 10 0 380539 0 [pid=21400/tid=21402] ppid=21398 vsize=1532948 CPUtime=1.32 /proc/21400/task/21402/stat : 21402 (java) R 21398 21400 19054 0 -1 4202560 32036 0 1 0 127 5 0 0 25 0 18 0 22383384 1569738752 59807 4089446400 134512640 134550932 4290682016 18446744073709551615 4109873232 0 4 0 16800975 0 0 0 -1 2 0 0 0 [pid=21400/tid=21403] ppid=21398 vsize=1532948 CPUtime=0.08 /proc/21400/task/21403/stat : 21403 (java) S 21398 21400 19054 0 -1 4202560 3011 0 0 0 8 0 0 0 16 0 18 0 22383384 1569738752 59807 4089446400 134512640 134550932 4290682016 18446744073709551615 4294960144 0 4 0 16800975 18446604453934555584 0 0 -1 0 0 0 0 [pid=21400/tid=21404] ppid=21398 vsize=1532948 CPUtime=0.13 /proc/21400/task/21404/stat : 21404 (java) S 21398 21400 19054 0 -1 4202560 2717 0 0 0 13 0 0 0 16 0 18 0 22383384 1569738752 59807 4089446400 134512640 134550932 4290682016 18446744073709551615 4294960144 0 4 0 16800975 18446604453934555584 0 0 -1 3 0 0 0 [pid=21400/tid=21405] ppid=21398 vsize=1532948 CPUtime=0.07 /proc/21400/task/21405/stat : 21405 (java) S 21398 21400 19054 0 -1 4202560 2280 0 0 0 7 0 0 0 16 0 18 0 22383384 1569738752 59807 4089446400 134512640 134550932 4290682016 18446744073709551615 4294960144 0 4 0 16800975 18446604453934555584 0 0 -1 0 0 0 0 [pid=21400/tid=21406] ppid=21398 vsize=1532948 CPUtime=0.12 /proc/21400/task/21406/stat : 21406 (java) S 21398 21400 19054 0 -1 4202560 2497 0 0 0 12 0 0 0 16 0 18 0 22383384 1569738752 59807 4089446400 134512640 134550932 4290682016 18446744073709551615 4294960144 0 4 0 16800975 18446604453934555584 0 0 -1 1 0 0 0 [pid=21400/tid=21407] ppid=21398 vsize=1532948 CPUtime=0.12 /proc/21400/task/21407/stat : 21407 (java) S 21398 21400 19054 0 -1 4202560 1876 0 0 0 12 0 0 0 16 0 18 0 22383384 1569738752 59807 4089446400 134512640 134550932 4290682016 18446744073709551615 4294960144 0 4 0 16800975 18446604453934555584 0 0 -1 7 0 0 0 [pid=21400/tid=21408] ppid=21398 vsize=1532948 CPUtime=0.15 /proc/21400/task/21408/stat : 21408 (java) S 21398 21400 19054 0 -1 4202560 4647 0 0 0 15 0 0 0 16 0 18 0 22383384 1569738752 59807 4089446400 134512640 134550932 4290682016 18446744073709551615 4294960144 0 4 0 16800975 18446604453934555584 0 0 -1 2 0 0 0 [pid=21400/tid=21409] ppid=21398 vsize=1532948 CPUtime=0.15 /proc/21400/task/21409/stat : 21409 (java) S 21398 21400 19054 0 -1 4202560 4952 0 0 0 15 0 0 0 16 0 18 0 22383384 1569738752 59807 4089446400 134512640 134550932 4290682016 18446744073709551615 4294960144 0 4 0 16800975 18446604453934555584 0 0 -1 6 0 0 0 [pid=21400/tid=21410] ppid=21398 vsize=1532948 CPUtime=0.13 /proc/21400/task/21410/stat : 21410 (java) S 21398 21400 19054 0 -1 4202560 4265 0 0 0 13 0 0 0 16 0 18 0 22383384 1569738752 59807 4089446400 134512640 134550932 4290682016 18446744073709551615 4294960144 0 4 0 16800975 18446604453934555584 0 0 -1 4 0 0 0 [pid=21400/tid=21411] ppid=21398 vsize=1532948 CPUtime=0 /proc/21400/task/21411/stat : 21411 (java) S 21398 21400 19054 0 -1 4202560 11 0 0 0 0 0 0 0 15 0 18 0 22383385 1569738752 59807 4089446400 134512640 134550932 4290682016 18446744073709551615 4294960144 0 0 0 16800975 18446604453934555584 0 0 -1 2 0 0 0 [pid=21400/tid=21412] ppid=21398 vsize=1532948 CPUtime=0 /proc/21400/task/21412/stat : 21412 (java) S 21398 21400 19054 0 -1 4202560 11 0 0 0 0 0 0 0 19 0 18 0 22383385 1569738752 59807 4089446400 134512640 134550932 4290682016 18446744073709551615 4294960144 0 4 0 16800975 18446604453934555584 0 0 -1 4 0 0 0 [pid=21400/tid=21413] ppid=21398 vsize=1532948 CPUtime=0 /proc/21400/task/21413/stat : 21413 (java) S 21398 21400 19054 0 -1 4202560 8 0 0 0 0 0 0 0 19 0 18 0 22383385 1569738752 59807 4089446400 134512640 134550932 4290682016 18446744073709551615 4294960144 0 4 0 16800975 18446604453934555584 0 0 -1 6 0 0 0 [pid=21400/tid=21414] ppid=21398 vsize=1532948 CPUtime=0 /proc/21400/task/21414/stat : 21414 (java) S 21398 21400 19054 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 22383387 1569738752 59807 4089446400 134512640 134550932 4290682016 18446744073709551615 4294960144 0 4 0 16800975 18446604453934555584 0 0 -1 4 0 0 0 [pid=21400/tid=21415] ppid=21398 vsize=1532948 CPUtime=0.22 /proc/21400/task/21415/stat : 21415 (java) S 21398 21400 19054 0 -1 4202560 756 0 0 0 22 0 0 0 25 0 18 0 22383387 1569738752 59807 4089446400 134512640 134550932 4290682016 18446744073709551615 4294960144 0 4 0 16800975 18446604453934555584 0 0 -1 1 0 0 0 [pid=21400/tid=21416] ppid=21398 vsize=1532948 CPUtime=0.26 /proc/21400/task/21416/stat : 21416 (java) S 21398 21400 19054 0 -1 4202560 947 0 0 0 26 0 0 0 25 0 18 0 22383388 1569738752 59807 4089446400 134512640 134550932 4290682016 18446744073709551615 4294960144 0 4 0 16800975 18446604453934555584 0 0 -1 6 0 0 0 [pid=21400/tid=21417] ppid=21398 vsize=1532948 CPUtime=0 /proc/21400/task/21417/stat : 21417 (java) S 21398 21400 19054 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 22383388 1569738752 59807 4089446400 134512640 134550932 4290682016 18446744073709551615 4294960144 0 4 0 16800975 18446604453934555584 0 0 -1 4 0 0 0 [pid=21400/tid=21418] ppid=21398 vsize=1532948 CPUtime=0 /proc/21400/task/21418/stat : 21418 (java) S 21398 21400 19054 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 22383388 1569738752 59807 4089446400 134512640 134550932 4290682016 18446744073709551615 4294960144 0 4 0 16800975 18446604453934555584 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 2.84 Current children cumulated vsize (KiB) 1532948 [startup+3.11993 s] /proc/loadavg: 2.03 2.19 2.14 3/196 21418 /proc/meminfo: memFree=29395940/32950928 swapFree=67111528/67111528 [pid=21400] ppid=21398 vsize=1535844 CPUtime=7.25 /proc/21400/stat : 21400 (java) S 21398 21400 19054 0 -1 4202496 94524 0 1 0 701 24 0 0 22 0 18 0 22383383 1572704256 91187 4089446400 134512640 134550932 4290682016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 /proc/21400/statm: 383961 91187 1426 10 0 381263 0 [pid=21400/tid=21402] ppid=21398 vsize=1535844 CPUtime=2.43 /proc/21400/task/21402/stat : 21402 (java) S 21398 21400 19054 0 -1 4202560 32065 0 1 0 237 6 0 0 25 0 18 0 22383384 1572704256 91187 4089446400 134512640 134550932 4290682016 18446744073709551615 4294960144 0 4 0 16800975 18446604453934555584 0 0 -1 4 0 0 0 [pid=21400/tid=21403] ppid=21398 vsize=1535844 CPUtime=0.47 /proc/21400/task/21403/stat : 21403 (java) R 21398 21400 19054 0 -1 4202560 6285 0 0 0 46 1 0 0 15 0 18 0 22383384 1572704256 91187 4089446400 134512640 134550932 4290682016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 6 0 0 0 [pid=21400/tid=21404] ppid=21398 vsize=1535844 CPUtime=0.45 /proc/21400/task/21404/stat : 21404 (java) R 21398 21400 19054 0 -1 4202560 5028 0 0 0 45 0 0 0 15 0 18 0 22383384 1572704256 91187 4089446400 134512640 134550932 4290682016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 7 0 0 0 [pid=21400/tid=21405] ppid=21398 vsize=1535844 CPUtime=0.52 /proc/21400/task/21405/stat : 21405 (java) R 21398 21400 19054 0 -1 4202560 9444 0 0 0 51 1 0 0 15 0 18 0 22383384 1572704256 91187 4089446400 134512640 134550932 4290682016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 4 0 0 0 [pid=21400/tid=21406] ppid=21398 vsize=1535844 CPUtime=0.51 /proc/21400/task/21406/stat : 21406 (java) R 21398 21400 19054 0 -1 4202560 6478 0 0 0 49 2 0 0 15 0 18 0 22383384 1572704256 91187 4089446400 134512640 134550932 4290682016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 3 0 0 0 [pid=21400/tid=21407] ppid=21398 vsize=1535844 CPUtime=0.52 /proc/21400/task/21407/stat : 21407 (java) R 21398 21400 19054 0 -1 4202560 6669 0 0 0 50 2 0 0 15 0 18 0 22383384 1572704256 91187 4089446400 134512640 134550932 4290682016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 7 0 0 0 [pid=21400/tid=21408] ppid=21398 vsize=1535844 CPUtime=0.63 /proc/21400/task/21408/stat : 21408 (java) R 21398 21400 19054 0 -1 4202560 9925 0 0 0 60 3 0 0 15 0 18 0 22383384 1572704256 91187 4089446400 134512640 134550932 4290682016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 2 0 0 0 [pid=21400/tid=21409] ppid=21398 vsize=1535844 CPUtime=0.53 /proc/21400/task/21409/stat : 21409 (java) R 21398 21400 19054 0 -1 4202560 7191 0 0 0 51 2 0 0 15 0 18 0 22383384 1572704256 91187 4089446400 134512640 134550932 4290682016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=21400/tid=21410] ppid=21398 vsize=1535844 CPUtime=0.61 /proc/21400/task/21410/stat : 21410 (java) R 21398 21400 19054 0 -1 4202560 8660 0 0 0 59 2 0 0 15 0 18 0 22383384 1572704256 91187 4089446400 134512640 134550932 4290682016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=21400/tid=21411] ppid=21398 vsize=1535844 CPUtime=0 /proc/21400/task/21411/stat : 21411 (java) S 21398 21400 19054 0 -1 4202560 11 0 0 0 0 0 0 0 16 0 18 0 22383385 1572704256 91187 4089446400 134512640 134550932 4290682016 18446744073709551615 4294960144 0 0 0 16800975 18446604453934555584 0 0 -1 4 0 0 0 [pid=21400/tid=21412] ppid=21398 vsize=1535844 CPUtime=0 /proc/21400/task/21412/stat : 21412 (java) S 21398 21400 19054 0 -1 4202560 11 0 0 0 0 0 0 0 19 0 18 0 22383385 1572704256 91187 4089446400 134512640 134550932 4290682016 18446744073709551615 4294960144 0 4 0 16800975 18446604453934555584 0 0 -1 4 0 0 0 [pid=21400/tid=21413] ppid=21398 vsize=1535844 CPUtime=0 /proc/21400/task/21413/stat : 21413 (java) S 21398 21400 19054 0 -1 4202560 8 0 0 0 0 0 0 0 19 0 18 0 22383385 1572704256 91187 4089446400 134512640 134550932 4290682016 18446744073709551615 4294960144 0 4 0 16800975 18446604453934555584 0 0 -1 6 0 0 0 [pid=21400/tid=21414] ppid=21398 vsize=1535844 CPUtime=0 /proc/21400/task/21414/stat : 21414 (java) S 21398 21400 19054 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 22383387 1572704256 91187 4089446400 134512640 134550932 4290682016 18446744073709551615 4294960144 0 4 0 16800975 18446604453934555584 0 0 -1 4 0 0 0 [pid=21400/tid=21415] ppid=21398 vsize=1535844 CPUtime=0.22 /proc/21400/task/21415/stat : 21415 (java) S 21398 21400 19054 0 -1 4202560 756 0 0 0 22 0 0 0 18 0 18 0 22383387 1572704256 91187 4089446400 134512640 134550932 4290682016 18446744073709551615 4294960144 0 4 0 16800975 18446604453934555584 0 0 -1 1 0 0 0 [pid=21400/tid=21416] ppid=21398 vsize=1535844 CPUtime=0.26 /proc/21400/task/21416/stat : 21416 (java) S 21398 21400 19054 0 -1 4202560 947 0 0 0 26 0 0 0 25 0 18 0 22383388 1572704256 91187 4089446400 134512640 134550932 4290682016 18446744073709551615 4294960144 0 4 0 16800975 18446604453934555584 0 0 -1 6 0 0 0 [pid=21400/tid=21417] ppid=21398 vsize=1535844 CPUtime=0 /proc/21400/task/21417/stat : 21417 (java) S 21398 21400 19054 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 22383388 1572704256 91187 4089446400 134512640 134550932 4290682016 18446744073709551615 4294960144 0 4 0 16800975 18446604453934555584 0 0 -1 4 0 0 0 [pid=21400/tid=21418] ppid=21398 vsize=1535844 CPUtime=0 /proc/21400/task/21418/stat : 21418 (java) S 21398 21400 19054 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 22383388 1572704256 91187 4089446400 134512640 134550932 4290682016 18446744073709551615 4294960144 0 4 0 16800975 18446604453934555584 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 7.25 Current children cumulated vsize (KiB) 1535844 Solver just ended. Dumping a history of the last processes samples [startup+4.70138 s] /proc/loadavg: 2.03 2.19 2.14 10/196 21418 /proc/meminfo: memFree=29229012/32950928 swapFree=67111528/67111528 [pid=21400] ppid=21398 vsize=1539920 CPUtime=10.07 /proc/21400/stat : 21400 (java) S 21398 21400 19054 0 -1 4202496 116503 0 1 0 974 33 0 0 22 0 19 0 22383383 1576878080 112322 4089446400 134512640 134550932 4290682016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 /proc/21400/statm: 384980 112322 1440 10 0 382282 0 [pid=21400/tid=21402] ppid=21398 vsize=1539920 CPUtime=3.81 /proc/21400/task/21402/stat : 21402 (java) R 21398 21400 19054 0 -1 4202560 32101 0 1 0 375 6 0 0 25 0 19 0 22383384 1576878080 112322 4089446400 134512640 134550932 4290682016 18446744073709551615 4109913120 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=21400/tid=21403] ppid=21398 vsize=1539920 CPUtime=0.59 /proc/21400/task/21403/stat : 21403 (java) S 21398 21400 19054 0 -1 4202560 9576 0 0 0 57 2 0 0 15 0 19 0 22383384 1576878080 112322 4089446400 134512640 134550932 4290682016 18446744073709551615 4294960144 0 4 0 16800975 18446604453934555584 0 0 -1 0 0 0 0 [pid=21400/tid=21404] ppid=21398 vsize=1539920 CPUtime=0.58 /proc/21400/task/21404/stat : 21404 (java) S 21398 21400 19054 0 -1 4202560 6482 0 0 0 57 1 0 0 15 0 19 0 22383384 1576878080 112322 4089446400 134512640 134550932 4290682016 18446744073709551615 4294960144 0 4 0 16800975 18446604453934555584 0 0 -1 7 0 0 0 [pid=21400/tid=21405] ppid=21398 vsize=1539920 CPUtime=0.66 /proc/21400/task/21405/stat : 21405 (java) S 21398 21400 19054 0 -1 4202560 12719 0 0 0 63 3 0 0 15 0 19 0 22383384 1576878080 112322 4089446400 134512640 134550932 4290682016 18446744073709551615 4294960144 0 4 0 16800975 18446604453934555584 0 0 -1 6 0 0 0 [pid=21400/tid=21406] ppid=21398 vsize=1539920 CPUtime=0.63 /proc/21400/task/21406/stat : 21406 (java) S 21398 21400 19054 0 -1 4202560 8523 0 0 0 60 3 0 0 15 0 19 0 22383384 1576878080 112322 4089446400 134512640 134550932 4290682016 18446744073709551615 4294960144 0 4 0 16800975 18446604453934555584 0 0 -1 2 0 0 0 [pid=21400/tid=21407] ppid=21398 vsize=1539920 CPUtime=0.66 /proc/21400/task/21407/stat : 21407 (java) S 21398 21400 19054 0 -1 4202560 10917 0 0 0 63 3 0 0 15 0 19 0 22383384 1576878080 112322 4089446400 134512640 134550932 4290682016 18446744073709551615 4294960144 0 4 0 16800975 18446604453934555584 0 0 -1 1 0 0 0 [pid=21400/tid=21408] ppid=21398 vsize=1539920 CPUtime=0.71 /proc/21400/task/21408/stat : 21408 (java) S 21398 21400 19054 0 -1 4202560 12084 0 0 0 67 4 0 0 15 0 19 0 22383384 1576878080 112322 4089446400 134512640 134550932 4290682016 18446744073709551615 4294960144 0 4 0 16800975 18446604453934555584 0 0 -1 4 0 0 0 [pid=21400/tid=21409] ppid=21398 vsize=1539920 CPUtime=0.61 /proc/21400/task/21409/stat : 21409 (java) S 21398 21400 19054 0 -1 4202560 9328 0 0 0 58 3 0 0 15 0 19 0 22383384 1576878080 112322 4089446400 134512640 134550932 4290682016 18446744073709551615 4294960144 0 4 0 16800975 18446604453934555584 0 0 -1 6 0 0 0 [pid=21400/tid=21410] ppid=21398 vsize=1539920 CPUtime=0.74 /proc/21400/task/21410/stat : 21410 (java) S 21398 21400 19054 0 -1 4202560 11414 0 0 0 71 3 0 0 15 0 19 0 22383384 1576878080 112322 4089446400 134512640 134550932 4290682016 18446744073709551615 4294960144 0 4 0 16800975 18446604453934555584 0 0 -1 3 0 0 0 [pid=21400/tid=21411] ppid=21398 vsize=1539920 CPUtime=0 /proc/21400/task/21411/stat : 21411 (java) S 21398 21400 19054 0 -1 4202560 11 0 0 0 0 0 0 0 16 0 19 0 22383385 1576878080 112322 4089446400 134512640 134550932 4290682016 18446744073709551615 4294960144 0 0 0 16800975 18446604453934555584 0 0 -1 2 0 0 0 [pid=21400/tid=21412] ppid=21398 vsize=1539920 CPUtime=0 /proc/21400/task/21412/stat : 21412 (java) S 21398 21400 19054 0 -1 4202560 11 0 0 0 0 0 0 0 19 0 19 0 22383385 1576878080 112322 4089446400 134512640 134550932 4290682016 18446744073709551615 4294960144 0 4 0 16800975 18446604453934555584 0 0 -1 4 0 0 0 [pid=21400/tid=21413] ppid=21398 vsize=1539920 CPUtime=0 /proc/21400/task/21413/stat : 21413 (java) S 21398 21400 19054 0 -1 4202560 8 0 0 0 0 0 0 0 19 0 19 0 22383385 1576878080 112322 4089446400 134512640 134550932 4290682016 18446744073709551615 4294960144 0 4 0 16800975 18446604453934555584 0 0 -1 6 0 0 0 [pid=21400/tid=21414] ppid=21398 vsize=1539920 CPUtime=0 /proc/21400/task/21414/stat : 21414 (java) S 21398 21400 19054 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 22383387 1576878080 112322 4089446400 134512640 134550932 4290682016 18446744073709551615 4294960144 0 4 0 16800975 18446604453934555584 0 0 -1 4 0 0 0 [pid=21400/tid=21415] ppid=21398 vsize=1539920 CPUtime=0.44 /proc/21400/task/21415/stat : 21415 (java) S 21398 21400 19054 0 -1 4202560 1030 0 0 0 44 0 0 0 16 0 19 0 22383387 1576878080 112322 4089446400 134512640 134550932 4290682016 18446744073709551615 4294960144 0 4 0 16800975 18446604453934555584 0 0 -1 1 0 0 0 [pid=21400/tid=21416] ppid=21398 vsize=1539920 CPUtime=0.51 /proc/21400/task/21416/stat : 21416 (java) S 21398 21400 19054 0 -1 4202560 1249 0 0 0 51 0 0 0 15 0 19 0 22383388 1576878080 112322 4089446400 134512640 134550932 4290682016 18446744073709551615 4294960144 0 4 0 16800975 18446604453934555584 0 0 -1 6 0 0 0 [pid=21400/tid=21417] ppid=21398 vsize=1539920 CPUtime=0 /proc/21400/task/21417/stat : 21417 (java) S 21398 21400 19054 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 22383388 1576878080 112322 4089446400 134512640 134550932 4290682016 18446744073709551615 4294960144 0 4 0 16800975 18446604453934555584 0 0 -1 4 0 0 0 [pid=21400/tid=21418] ppid=21398 vsize=1539920 CPUtime=0 /proc/21400/task/21418/stat : 21418 (java) S 21398 21400 19054 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 22383388 1576878080 112322 4089446400 134512640 134550932 4290682016 18446744073709551615 4294960144 0 4 0 16800975 18446604453934555584 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 10.07 Current children cumulated vsize (KiB) 1539920 [startup+5.50723 s] /proc/loadavg: 2.03 2.19 2.14 3/197 21419 /proc/meminfo: memFree=29220544/32950928 swapFree=67111528/67111528 [pid=21400] ppid=21398 vsize=1540144 CPUtime=11.17 /proc/21400/stat : 21400 (java) S 21398 21400 19054 0 -1 4202496 116707 0 1 0 1084 33 0 0 22 0 19 0 22383383 1577107456 112403 4089446400 134512640 134550932 4290682016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 /proc/21400/statm: 385036 112403 1441 10 0 382338 0 [pid=21400/tid=21402] ppid=21398 vsize=1540144 CPUtime=4.59 /proc/21400/task/21402/stat : 21402 (java) R 21398 21400 19054 0 -1 4202560 32114 0 1 0 453 6 0 0 25 0 19 0 22383384 1577107456 112403 4089446400 134512640 134550932 4290682016 18446744073709551615 4109803753 0 4 0 16800975 0 0 0 -1 4 0 0 0 [pid=21400/tid=21403] ppid=21398 vsize=1540144 CPUtime=0.6 /proc/21400/task/21403/stat : 21403 (java) S 21398 21400 19054 0 -1 4202560 9576 0 0 0 58 2 0 0 15 0 19 0 22383384 1577107456 112403 4089446400 134512640 134550932 4290682016 18446744073709551615 4294960144 0 4 0 16800975 18446604453934555584 0 0 -1 4 0 0 0 [pid=21400/tid=21404] ppid=21398 vsize=1540144 CPUtime=0.59 /proc/21400/task/21404/stat : 21404 (java) S 21398 21400 19054 0 -1 4202560 6487 0 0 0 58 1 0 0 15 0 19 0 22383384 1577107456 112403 4089446400 134512640 134550932 4290682016 18446744073709551615 4294960144 0 4 0 16800975 18446604453934555584 0 0 -1 3 0 0 0 [pid=21400/tid=21405] ppid=21398 vsize=1540144 CPUtime=0.67 /proc/21400/task/21405/stat : 21405 (java) S 21398 21400 19054 0 -1 4202560 12722 0 0 0 64 3 0 0 15 0 19 0 22383384 1577107456 112403 4089446400 134512640 134550932 4290682016 18446744073709551615 4294960144 0 4 0 16800975 18446604453934555584 0 0 -1 6 0 0 0 [pid=21400/tid=21406] ppid=21398 vsize=1540144 CPUtime=0.65 /proc/21400/task/21406/stat : 21406 (java) S 21398 21400 19054 0 -1 4202560 8532 0 0 0 62 3 0 0 15 0 19 0 22383384 1577107456 112403 4089446400 134512640 134550932 4290682016 18446744073709551615 4294960144 0 4 0 16800975 18446604453934555584 0 0 -1 2 0 0 0 [pid=21400/tid=21407] ppid=21398 vsize=1540144 CPUtime=0.67 /proc/21400/task/21407/stat : 21407 (java) S 21398 21400 19054 0 -1 4202560 10917 0 0 0 64 3 0 0 15 0 19 0 22383384 1577107456 112403 4089446400 134512640 134550932 4290682016 18446744073709551615 4294960144 0 4 0 16800975 18446604453934555584 0 0 -1 7 0 0 0 [pid=21400/tid=21408] ppid=21398 vsize=1540144 CPUtime=0.72 /proc/21400/task/21408/stat : 21408 (java) S 21398 21400 19054 0 -1 4202560 12086 0 0 0 68 4 0 0 15 0 19 0 22383384 1577107456 112403 4089446400 134512640 134550932 4290682016 18446744073709551615 4294960144 0 4 0 16800975 18446604453934555584 0 0 -1 0 0 0 0 [pid=21400/tid=21409] ppid=21398 vsize=1540144 CPUtime=0.61 /proc/21400/task/21409/stat : 21409 (java) S 21398 21400 19054 0 -1 4202560 9328 0 0 0 58 3 0 0 15 0 19 0 22383384 1577107456 112403 4089446400 134512640 134550932 4290682016 18446744073709551615 4294960144 0 4 0 16800975 18446604453934555584 0 0 -1 6 0 0 0 [pid=21400/tid=21410] ppid=21398 vsize=1540144 CPUtime=0.76 /proc/21400/task/21410/stat : 21410 (java) S 21398 21400 19054 0 -1 4202560 11423 0 0 0 72 4 0 0 15 0 19 0 22383384 1577107456 112403 4089446400 134512640 134550932 4290682016 18446744073709551615 4294960144 0 4 0 16800975 18446604453934555584 0 0 -1 1 0 0 0 [pid=21400/tid=21411] ppid=21398 vsize=1540144 CPUtime=0 /proc/21400/task/21411/stat : 21411 (java) S 21398 21400 19054 0 -1 4202560 11 0 0 0 0 0 0 0 15 0 19 0 22383385 1577107456 112403 4089446400 134512640 134550932 4290682016 18446744073709551615 4294960144 0 0 0 16800975 18446604453934555584 0 0 -1 2 0 0 0 [pid=21400/tid=21412] ppid=21398 vsize=1540144 CPUtime=0 /proc/21400/task/21412/stat : 21412 (java) S 21398 21400 19054 0 -1 4202560 11 0 0 0 0 0 0 0 19 0 19 0 22383385 1577107456 112403 4089446400 134512640 134550932 4290682016 18446744073709551615 4294960144 0 4 0 16800975 18446604453934555584 0 0 -1 4 0 0 0 [pid=21400/tid=21413] ppid=21398 vsize=1540144 CPUtime=0 /proc/21400/task/21413/stat : 21413 (java) S 21398 21400 19054 0 -1 4202560 8 0 0 0 0 0 0 0 19 0 19 0 22383385 1577107456 112403 4089446400 134512640 134550932 4290682016 18446744073709551615 4294960144 0 4 0 16800975 18446604453934555584 0 0 -1 6 0 0 0 [pid=21400/tid=21414] ppid=21398 vsize=1540144 CPUtime=0 /proc/21400/task/21414/stat : 21414 (java) S 21398 21400 19054 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 22383387 1577107456 112403 4089446400 134512640 134550932 4290682016 18446744073709551615 4294960144 0 4 0 16800975 18446604453934555584 0 0 -1 4 0 0 0 [pid=21400/tid=21415] ppid=21398 vsize=1540144 CPUtime=0.64 /proc/21400/task/21415/stat : 21415 (java) S 21398 21400 19054 0 -1 4202560 1188 0 0 0 64 0 0 0 15 0 19 0 22383387 1577107456 112403 4089446400 134512640 134550932 4290682016 18446744073709551615 4294960144 0 4 0 16800975 18446604453934555584 0 0 -1 1 0 0 0 [pid=21400/tid=21416] ppid=21398 vsize=1540144 CPUtime=0.57 /proc/21400/task/21416/stat : 21416 (java) S 21398 21400 19054 0 -1 4202560 1254 0 0 0 57 0 0 0 15 0 19 0 22383388 1577107456 112403 4089446400 134512640 134550932 4290682016 18446744073709551615 4294960144 0 4 0 16800975 18446604453934555584 0 0 -1 6 0 0 0 [pid=21400/tid=21417] ppid=21398 vsize=1540144 CPUtime=0 /proc/21400/task/21417/stat : 21417 (java) S 21398 21400 19054 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 22383388 1577107456 112403 4089446400 134512640 134550932 4290682016 18446744073709551615 4294960144 0 4 0 16800975 18446604453934555584 0 0 -1 4 0 0 0 [pid=21400/tid=21418] ppid=21398 vsize=1540144 CPUtime=0 /proc/21400/task/21418/stat : 21418 (java) S 21398 21400 19054 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 22383388 1577107456 112403 4089446400 134512640 134550932 4290682016 18446744073709551615 4294960144 0 4 0 16800975 18446604453934555584 0 0 -1 4 0 0 0 [pid=21400/tid=21419] ppid=21398 vsize=1540144 CPUtime=0 /proc/21400/task/21419/stat : 21419 (java) S 21398 21400 19054 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 19 0 22383831 1577107456 112403 4089446400 134512640 134550932 4290682016 18446744073709551615 4294960144 0 4 0 16800975 18446604453934555584 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 11.17 Current children cumulated vsize (KiB) 1540144 [startup+5.90117 s] /proc/loadavg: 2.03 2.19 2.14 3/197 21419 /proc/meminfo: memFree=29220544/32950928 swapFree=67111528/67111528 [pid=21400] ppid=21398 vsize=1540144 CPUtime=11.58 /proc/21400/stat : 21400 (java) S 21398 21400 19054 0 -1 4202496 116718 0 1 0 1125 33 0 0 22 0 19 0 22383383 1577107456 112414 4089446400 134512640 134550932 4290682016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 /proc/21400/statm: 385036 112414 1441 10 0 382338 0 [pid=21400/tid=21402] ppid=21398 vsize=1540144 CPUtime=4.98 /proc/21400/task/21402/stat : 21402 (java) R 21398 21400 19054 0 -1 4202560 32115 0 1 0 492 6 0 0 25 0 19 0 22383384 1577107456 112414 4089446400 134512640 134550932 4290682016 18446744073709551615 4110216864 0 4 0 16800975 0 0 0 -1 4 0 0 0 [pid=21400/tid=21403] ppid=21398 vsize=1540144 CPUtime=0.6 /proc/21400/task/21403/stat : 21403 (java) S 21398 21400 19054 0 -1 4202560 9576 0 0 0 58 2 0 0 15 0 19 0 22383384 1577107456 112414 4089446400 134512640 134550932 4290682016 18446744073709551615 4294960144 0 4 0 16800975 18446604453934555584 0 0 -1 4 0 0 0 [pid=21400/tid=21404] ppid=21398 vsize=1540144 CPUtime=0.59 /proc/21400/task/21404/stat : 21404 (java) S 21398 21400 19054 0 -1 4202560 6487 0 0 0 58 1 0 0 15 0 19 0 22383384 1577107456 112414 4089446400 134512640 134550932 4290682016 18446744073709551615 4294960144 0 4 0 16800975 18446604453934555584 0 0 -1 3 0 0 0 [pid=21400/tid=21405] ppid=21398 vsize=1540144 CPUtime=0.67 /proc/21400/task/21405/stat : 21405 (java) S 21398 21400 19054 0 -1 4202560 12722 0 0 0 64 3 0 0 15 0 19 0 22383384 1577107456 112414 4089446400 134512640 134550932 4290682016 18446744073709551615 4294960144 0 4 0 16800975 18446604453934555584 0 0 -1 6 0 0 0 [pid=21400/tid=21406] ppid=21398 vsize=1540144 CPUtime=0.65 /proc/21400/task/21406/stat : 21406 (java) S 21398 21400 19054 0 -1 4202560 8532 0 0 0 62 3 0 0 15 0 19 0 22383384 1577107456 112414 4089446400 134512640 134550932 4290682016 18446744073709551615 4294960144 0 4 0 16800975 18446604453934555584 0 0 -1 2 0 0 0 [pid=21400/tid=21407] ppid=21398 vsize=1540144 CPUtime=0.67 /proc/21400/task/21407/stat : 21407 (java) S 21398 21400 19054 0 -1 4202560 10917 0 0 0 64 3 0 0 15 0 19 0 22383384 1577107456 112414 4089446400 134512640 134550932 4290682016 18446744073709551615 4294960144 0 4 0 16800975 18446604453934555584 0 0 -1 7 0 0 0 [pid=21400/tid=21408] ppid=21398 vsize=1540144 CPUtime=0.72 /proc/21400/task/21408/stat : 21408 (java) S 21398 21400 19054 0 -1 4202560 12086 0 0 0 68 4 0 0 15 0 19 0 22383384 1577107456 112414 4089446400 134512640 134550932 4290682016 18446744073709551615 4294960144 0 4 0 16800975 18446604453934555584 0 0 -1 0 0 0 0 [pid=21400/tid=21409] ppid=21398 vsize=1540144 CPUtime=0.61 /proc/21400/task/21409/stat : 21409 (java) S 21398 21400 19054 0 -1 4202560 9328 0 0 0 58 3 0 0 15 0 19 0 22383384 1577107456 112414 4089446400 134512640 134550932 4290682016 18446744073709551615 4294960144 0 4 0 16800975 18446604453934555584 0 0 -1 6 0 0 0 [pid=21400/tid=21410] ppid=21398 vsize=1540144 CPUtime=0.76 /proc/21400/task/21410/stat : 21410 (java) S 21398 21400 19054 0 -1 4202560 11423 0 0 0 72 4 0 0 15 0 19 0 22383384 1577107456 112414 4089446400 134512640 134550932 4290682016 18446744073709551615 4294960144 0 4 0 16800975 18446604453934555584 0 0 -1 1 0 0 0 [pid=21400/tid=21411] ppid=21398 vsize=1540144 CPUtime=0 /proc/21400/task/21411/stat : 21411 (java) S 21398 21400 19054 0 -1 4202560 11 0 0 0 0 0 0 0 15 0 19 0 22383385 1577107456 112414 4089446400 134512640 134550932 4290682016 18446744073709551615 4294960144 0 0 0 16800975 18446604453934555584 0 0 -1 2 0 0 0 [pid=21400/tid=21412] ppid=21398 vsize=1540144 CPUtime=0 /proc/21400/task/21412/stat : 21412 (java) S 21398 21400 19054 0 -1 4202560 11 0 0 0 0 0 0 0 19 0 19 0 22383385 1577107456 112414 4089446400 134512640 134550932 4290682016 18446744073709551615 4294960144 0 4 0 16800975 18446604453934555584 0 0 -1 4 0 0 0 [pid=21400/tid=21413] ppid=21398 vsize=1540144 CPUtime=0 /proc/21400/task/21413/stat : 21413 (java) S 21398 21400 19054 0 -1 4202560 8 0 0 0 0 0 0 0 19 0 19 0 22383385 1577107456 112414 4089446400 134512640 134550932 4290682016 18446744073709551615 4294960144 0 4 0 16800975 18446604453934555584 0 0 -1 6 0 0 0 [pid=21400/tid=21414] ppid=21398 vsize=1540144 CPUtime=0 /proc/21400/task/21414/stat : 21414 (java) S 21398 21400 19054 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 22383387 1577107456 112414 4089446400 134512640 134550932 4290682016 18446744073709551615 4294960144 0 4 0 16800975 18446604453934555584 0 0 -1 4 0 0 0 [pid=21400/tid=21415] ppid=21398 vsize=1540144 CPUtime=0.65 /proc/21400/task/21415/stat : 21415 (java) S 21398 21400 19054 0 -1 4202560 1198 0 0 0 65 0 0 0 15 0 19 0 22383387 1577107456 112414 4089446400 134512640 134550932 4290682016 18446744073709551615 4294960144 0 4 0 16800975 18446604453934555584 0 0 -1 1 0 0 0 [pid=21400/tid=21416] ppid=21398 vsize=1540144 CPUtime=0.57 /proc/21400/task/21416/stat : 21416 (java) S 21398 21400 19054 0 -1 4202560 1254 0 0 0 57 0 0 0 15 0 19 0 22383388 1577107456 112414 4089446400 134512640 134550932 4290682016 18446744073709551615 4294960144 0 4 0 16800975 18446604453934555584 0 0 -1 6 0 0 0 [pid=21400/tid=21417] ppid=21398 vsize=1540144 CPUtime=0 /proc/21400/task/21417/stat : 21417 (java) S 21398 21400 19054 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 22383388 1577107456 112414 4089446400 134512640 134550932 4290682016 18446744073709551615 4294960144 0 4 0 16800975 18446604453934555584 0 0 -1 4 0 0 0 [pid=21400/tid=21418] ppid=21398 vsize=1540144 CPUtime=0 /proc/21400/task/21418/stat : 21418 (java) S 21398 21400 19054 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 22383388 1577107456 112414 4089446400 134512640 134550932 4290682016 18446744073709551615 4294960144 0 4 0 16800975 18446604453934555584 0 0 -1 4 0 0 0 [pid=21400/tid=21419] ppid=21398 vsize=1540144 CPUtime=0 /proc/21400/task/21419/stat : 21419 (java) S 21398 21400 19054 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 19 0 22383831 1577107456 112414 4089446400 134512640 134550932 4290682016 18446744073709551615 4294960144 0 4 0 16800975 18446604453934555584 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 11.58 Current children cumulated vsize (KiB) 1540144 [startup+6.00114 s] /proc/loadavg: 2.03 2.19 2.14 3/197 21419 /proc/meminfo: memFree=29220544/32950928 swapFree=67111528/67111528 [pid=21400] ppid=21398 vsize=1540468 CPUtime=11.64 /proc/21400/stat : 21400 (java) S 21398 21400 19054 0 -1 4202496 116732 0 1 0 1131 33 0 0 22 0 18 0 22383383 1577439232 112428 4089446400 134512640 134550932 4290682016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 /proc/21400/statm: 385117 112428 1442 10 0 382419 0 [pid=21400/tid=21402] ppid=21398 vsize=1540468 CPUtime=5.04 /proc/21400/task/21402/stat : 21402 (java) S 21398 21400 19054 0 -1 4202560 32121 0 1 0 498 6 0 0 25 0 17 0 22383384 1577439232 112428 4089446400 134512640 134550932 4290682016 18446744073709551615 4294960144 0 4 0 16800975 18446604453934555584 0 0 -1 4 0 0 0 [pid=21400/tid=21403] ppid=21398 vsize=1540468 CPUtime=0.6 /proc/21400/task/21403/stat : 21403 (java) S 21398 21400 19054 0 -1 4202560 9576 0 0 0 58 2 0 0 15 0 17 0 22383384 1577439232 112428 4089446400 134512640 134550932 4290682016 18446744073709551615 4294960144 0 4 0 16800975 18446604453934555584 0 0 -1 4 0 0 0 [pid=21400/tid=21404] ppid=21398 vsize=1540468 CPUtime=0.59 /proc/21400/task/21404/stat : 21404 (java) S 21398 21400 19054 0 -1 4202560 6487 0 0 0 58 1 0 0 15 0 17 0 22383384 1577439232 112428 4089446400 134512640 134550932 4290682016 18446744073709551615 4294960144 0 4 0 16800975 18446604453934555584 0 0 -1 3 0 0 0 [pid=21400/tid=21405] ppid=21398 vsize=1540468 CPUtime=0.67 /proc/21400/task/21405/stat : 21405 (java) S 21398 21400 19054 0 -1 4202560 12722 0 0 0 64 3 0 0 15 0 17 0 22383384 1577439232 112428 4089446400 134512640 134550932 4290682016 18446744073709551615 4294960144 0 4 0 16800975 18446604453934555584 0 0 -1 6 0 0 0 [pid=21400/tid=21406] ppid=21398 vsize=1540468 CPUtime=0.65 /proc/21400/task/21406/stat : 21406 (java) S 21398 21400 19054 0 -1 4202560 8532 0 0 0 62 3 0 0 15 0 17 0 22383384 1577439232 112428 4089446400 134512640 134550932 4290682016 18446744073709551615 4294960144 256 4 0 16800975 0 0 0 -1 2 0 0 0 [pid=21400/tid=21407] ppid=21398 vsize=1540468 CPUtime=0.67 /proc/21400/task/21407/stat : 21407 (java) R 21398 21400 19054 0 -1 4202560 10917 0 0 0 64 3 0 0 15 0 11 0 22383384 1577439232 112428 4089446400 134512640 134550932 4290682016 18446744073709551615 4294960144 256 4 0 16800975 0 0 0 -1 7 0 0 0 [pid=21400/tid=21408] ppid=21398 vsize=1540468 CPUtime=0.72 /proc/21400/task/21408/stat : 21408 (java) R 21398 21400 19054 0 -1 4202560 12086 0 0 0 68 4 0 0 15 0 6 0 22383384 1577439232 112428 4089446400 134512640 134550932 4290682016 18446744073709551615 4294960144 256 4 0 16800975 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 11.64 Current children cumulated vsize (KiB) 1540468 Child status: 20 Real time (s): 6.02234 CPU time (s): 11.6752 CPU user time (s): 11.3143 CPU system time (s): 0.360945 CPU usage (%): 193.865 Max. virtual memory (cumulated for all children) (KiB): 1540468 getrusage(RUSAGE_CHILDREN,...) data: user time used= 11.3143 system time used= 0.360945 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 116732 page faults= 1 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 1589 involuntary context switches= 61838 runsolver used 0.018997 second user time and 0.020996 second system time The end
Begin job on node122 at 2010-07-08 00:28:19 IDJOB=2701817 IDBENCH=79642 IDSOLVER=1203 FILE ID=node122/2701817-1278541698 PBS_JOBID= 11239233 Free space on /tmp= 73364 MiB SOLVER NAME= SAT4J PB CuttingPlanes 2.2.0 2010-05-26 BENCH NAME= PB10/normalized-PB10/PARTIAL-BIGINT-LIN/wcsp/graphs/normalized-graph05_wcsp.wbo COMMAND LINE= java6 -server -Xmx1350m -Xms1350m -jar HOME/sat4j-pb.jar CuttingPlanes BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2701817-1278541698/watcher-2701817-1278541698 -o /tmp/evaluation-result-2701817-1278541698/solver-2701817-1278541698 -C 1800 -W 2000 -M 3800 java6 -server -Xmx1350m -Xms1350m -jar HOME/sat4j-pb.jar CuttingPlanes HOME/instance-2701817-1278541698.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 16314cc1180b662b2cbfb0443cd0a158 RANDOM SEED=133084686 node122.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.839 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.67 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.839 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5226.16 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.839 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.839 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.81 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.839 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.76 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.839 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.67 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.839 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.839 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32950928 kB MemFree: 29666220 kB Buffers: 148940 kB Cached: 2855720 kB SwapCached: 0 kB Active: 1191708 kB Inactive: 1939436 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 29666220 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 38260 kB Writeback: 0 kB AnonPages: 126448 kB Mapped: 15164 kB Slab: 91080 kB PageTables: 4316 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 263888 kB VmallocTotal: 34359738367 kB VmallocUsed: 296008 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 73360 MiB End job on node122 at 2010-07-08 00:28:25