Trace number 1086224

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Abscon 112v4 ESACSAT 32.804 32.8528

DiagnosticValue
CHECKS24645600
NODES890

General information on the benchmark

Namecsp/fapp/fapp06/
normalized-fapp06-0500-9.xml
MD5SUM7fe976fa4ce71b2c5a4965beb0a6326a
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark32.804
Satisfiable
(Un)Satisfiability was proved
Number of variables500
Number of constraints6531
Maximum constraint arity2
Maximum domain size290
Number of constraints which are defined in extension0
Number of constraints which are defined in intension6531
Global constraints used (with number of constraints)

Solver Data (download as text)

0.00/0.09	
0.00/0.09	Abscon 112 (May, 2008)
0.19/0.24	
0.19/0.24	   configuration
0.19/0.24	     name=esac.xml
0.19/0.28	   
0.19/0.28	   instance
0.19/0.28	     name=HOME/instance-1086224-1215238172.xml
0.29/0.31	   
0.29/0.31	   domains being loaded...
0.29/0.35	   
0.29/0.35	   variables being loaded...
0.38/0.45	     nbVariables=500  nbDomainTypes=16  minDomainSize=42  maxDomainSize=290  nbTotalValues=108024
0.38/0.45	       =>  wckTime=0.2  cpuTime=0.15  mem=11M775
0.38/0.45	   
0.38/0.45	   predicates being loaded...
0.48/0.51	   
0.48/0.51	   constraints being loaded...
20.47/20.55	   
20.47/20.55	   INFO : Stopping converting binary constraints (cpu=20.05, mem = 50M404)
22.76/22.82	     nbConstraints=3485  nbGlobalConstraints=7  nbMergedConstraints=3053  nbConvertedConstraints=829
22.76/22.82	     nbConvertConstraintsChecks=43260528  nbExtensionStructures=763  nbSharedExtensionStructures=171
22.76/22.82	     nbConflictsStructures=998  nbSharedConflictsStructures=194  nbUnbuiltConflictsStructures=2056
22.76/22.82	     nbSharedBinaryRepresentations=228182  nbEvaluationManagers=2291  nbSharedEvaluationManagers=358  minDegree=3
22.76/22.83	     maxDegree=20  minArity=2  avgArity=2.01  maxArity=6  nbGenerators=0  nbFusions=0  symmetryWckTime=0.42
22.76/22.83	     symmetryCpuTime=0.33  nbCliques=7
22.76/22.83	       =>  wckTime=22.578  cpuTime=21.91  mem=60M524
22.96/23.02	   
22.96/23.02	   solver IterativeSystematicSolver being built... 
23.06/23.13	   
23.06/23.13	   INFO : Forward propagation technique limited 
23.16/23.21	       =>  wckTime=22.96  cpuTime=22.07  mem=65M594
26.76/26.90	   
26.76/26.90	   preprocessing
26.76/26.90	     nbConstraintChecks=11106026  nbValidityChecks=240626  nbPropagations=568  nbRevisions=6440  nbUselessRevisions=5872
26.76/26.90	     nbRemovedValues=26992  detectedInconsistency=no
26.76/26.90	       =>  wckTime=3.687  cpuTime=3.67  mem=66M559
32.75/32.81	   
32.75/32.81	   search
32.75/32.81	     run=2  nbConstraintChecks=13539621  nbValidityChecks=11937211  minDepth=501  maxDepth=500  nbPropagations=25330
32.75/32.81	     nbRevisions=243994  nbUselessRevisions=216172  nbAssignments=890  nbFailedAssignments=25  nbBacktracks=1
32.75/32.81	     nbVisitedNodes=917  nbRestartNogoods=24  nbFoundSolutions=1  mapSize=1  nbInferences=0  nbTooLargeKeys=0
32.75/32.81	     nbSEliminables=0  nbREliminables=16.34  nbIEliminables=337.98  nbDEliminables=0  nbPEliminables=0
32.75/32.81	       =>  wckTime=9.599  cpuTime=9.55  mem=71M392
32.75/32.81	   
32.75/32.81	   global
32.75/32.81	     nbConstraintChecks=24645647  nbValidityChecks=12177837  nbPropagations=25898  nbRevisions=250434
32.75/32.81	     nbUselessRevisions=222044  nbRestartNogoods=24  solvingWckTime=9.601  solvingCpuTime=9.55  expiredTime=no
32.75/32.81	     totalExploration=no  nbFoundSolutions=1  firstSolutionCpuTime=31.6  globalCpuTime=31.66
32.75/32.81	       =>  wckTime=32.564  cpuTime=31.62  mem=71M392
32.75/32.81	   
32.75/32.81	s SATISFIABLE
32.75/32.81	v 2612 2240 2704 -2444 -2252 2524 2268 2436 -2300 2540 2600 -2532 2560 -2584 2668 -2576 2340 2552 -2244 2372 -2716 -2372 -2324 -2628 2696 2656 -2396 -2212 -2140 -2476 2628 -2376 -2616 2444 -2616 -2452 -2140 2488 -2196 -2152 2308 2244 -2584 2256 2304 2716 -2560 -2616 -2420 2580 2352 -2340 2512 -2348 -2284 -2272 -2248 2676 -2564 2436 2640 2516 -2288 2540 2672 -2524 2588 2676 2480 -2520 -2296 2224 2224 2208 2656 2292 -2348 -2716 -2264 2444 2328 2400 -2360 2464 -2716 -2488 -2520 -2388 2640 2140 -2380 2552 -2708 2576 -2184 -2188 -2272 -2140 -2716 -2400 -2628 -2408 2576 -2296 -2716 2228 -2660 2312 -2696 -2528 -2536 2656 2620 -2528 -2716 2296 2576 2288 -2692 2328 2564 2556 -2168 -2356 -2200 2564 2692 -2324 2656 -2652 -2416 2544 -2652 2212 -2300 2352 -2324 -2436 2236 2180 2232 2612 -2172 -2396 -2460 -2628 -2588 2512 -2676 -2184 -2156 -2496 -2576 -2144 2296 2676 -2208 -2440 -2296 2328 2664 -2412 2692 -2576 2448 2676 -2476 -2716 2180 -2204 2252 -2460 2648 -2612 2400 2248 -2676 -2180 -2264 -2284 -2616 2604 -2564 -2200 -2716 -2492 2664 -2524 -2452 2140 2632 2308 2308 -2540 -2556 -2180 -2180 -2412 -2244 -2716 2448 2140 -2208 -2160 2652 -2640 -2572 2536 2232 2632 2424 -2620 -2360 -2352 2608 2664 -2612 2480 2384 -2540 -2668 2640 -2392 -2668 2536 2512 -2412 -2592 2384 -2612 -2672 -2632 -2140 2664 2424 -2284 2616 2564 -2288 -2660 -2256 -2348 -2180 -2592 -2352 -2512 -2384 2600 2192 2148 -2592 2504 2452 -2512 2652 2312 -2524 -2340 -2180 2580 2704 2476 -2676 -2308 -2372 -2348 2628 2276 2212 2496 -2552 2256 2392 2300 -2140 -2288 2488 -2420 2640 2668 -2344 2560 2140 2564 2672 2428 -2164 2368 -2248 -2716 -2204 2656 -2468 2168 2680 -2340 -2332 -2412 -2408 -2356 -2484 -2716 2264 2336 -2500 2348 2212 2600 2200 2636 -2292 2592 2672 2300 2552 -2484 2632 -2308 -2552 -2676 2208 2624 -2172 2712 2576 2604 -2448 -2652 -2152 -2292 2564 -2676 -2180 -2140 2644 2628 -2604 -2480 -2340 -2140 2320 -2552 -2652 -2632 -2252 -2704 2444 2180 -2676 2560 -2716 2672 2680 -2572 2580 -2336 -2180 -2180 -2168 2696 -2440 -2180 -2604 -2208 -2676 -2536 -2520 2412 -2340 -2240 -2564 2676 2232 2692 -2536 -2600 2412 2284 2564 2196 -2336 -2716 2172 2560 -2292 -2568 2368 2588 -2192 2568 2464 2676 -2192 2160 2476 2428 -2500 -2360 -2156 -2580 -2616 2552 -2344 2424 2304 2280 -2556 2632 2668 -2300 -2596 -2672 2632 2376 -2232 -2680 -2256 2704 -2676 -2452 -2140 -2480 -2296 -2520 -2696 -2404 2600 -2416 -2676 -2652 -2252 -2232 -2684 -2496 -2516 -2392 2440 -2380 -2380 -2716 2228 -2140 2704 -2500 2576 2260 2684 2656 -2436 2688 2524 -2212 -2664 2224 -2320 -2524 -2520 -2432 -2644 -2676 2204 -2332 2476 2564 -2348 2676 2204 -2460 -2180 -2692 2192 -2140 2620 -2576 -2696 2140 2244 2616 -2232 2656 -2296 2248 -2332 2616 -2548 -2620 -2268 2180 -2340 -2272 2272 -2572 -2484 -2612 -2652 -2388 -2716 -2180 -2596 -2696 
32.75/32.81	d NODES 890
32.75/32.81	d CHECKS 24645647
32.75/32.82	   
32.75/32.82	   totalWckTime=32.632  totalCpuTime=31.66

Verifier Data (download as text)

OK

Watcher Data (download as text)

runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr

command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1086224-1215238172/watcher-1086224-1215238172 -o /tmp/evaluation-result-1086224-1215238172/solver-1086224-1215238172 -C 1800 -W 2200 -M 900 --output-limit 1,15 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution esac.xml 1 XSax HOME/instance-1086224-1215238172.xml 

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): 2200 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.01 1.99 1.83 4/72 10508
/proc/meminfo: memFree=1886824/2055920 swapFree=4191676/4192956
[pid=10508] ppid=10506 vsize=1616 CPUtime=0
/proc/10508/stat : 10508 (java) D 10506 10508 8486 0 -1 0 177 0 0 0 0 0 0 0 19 0 1 0 135812575 1654784 145 996147200 134512640 134550740 4294956128 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099863542 0 0 17 0 0 0
/proc/10508/statm: 404 145 119 9 0 46 0

[startup+0.01624 s]
/proc/loadavg: 2.01 1.99 1.83 4/72 10508
/proc/meminfo: memFree=1886824/2055920 swapFree=4191676/4192956
[pid=10508] ppid=10506 vsize=11200 CPUtime=0
/proc/10508/stat : 10508 (java) S 10506 10508 8486 0 -1 0 880 0 1 0 0 0 0 0 19 0 2 0 135812575 11468800 632 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0
/proc/10508/statm: 2800 632 330 9 0 1198 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 11200

[startup+0.101257 s]
/proc/loadavg: 2.01 1.99 1.83 4/72 10508
/proc/meminfo: memFree=1886824/2055920 swapFree=4191676/4192956
[pid=10508] ppid=10506 vsize=865884 CPUtime=0.08
/proc/10508/stat : 10508 (java) S 10506 10508 8486 0 -1 0 3692 0 1 0 7 1 0 0 19 0 9 0 135812575 886665216 3167 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/10508/statm: 216471 3167 1685 9 0 211026 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 865884

[startup+0.301293 s]
/proc/loadavg: 2.01 1.99 1.83 4/72 10508
/proc/meminfo: memFree=1886824/2055920 swapFree=4191676/4192956
[pid=10508] ppid=10506 vsize=866284 CPUtime=0.29
/proc/10508/stat : 10508 (java) S 10506 10508 8486 0 -1 0 5901 0 1 0 26 3 0 0 19 0 9 0 135812575 887074816 5275 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/10508/statm: 216571 5277 1956 9 0 211099 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 866284

[startup+0.701369 s]
/proc/loadavg: 2.01 1.99 1.83 4/72 10508
/proc/meminfo: memFree=1886824/2055920 swapFree=4191676/4192956
[pid=10508] ppid=10506 vsize=867708 CPUtime=0.68
/proc/10508/stat : 10508 (java) S 10506 10508 8486 0 -1 0 9848 0 1 0 63 5 0 0 19 0 9 0 135812575 888532992 9208 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/10508/statm: 216927 9209 2010 9 0 211433 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 867708

[startup+1.50152 s]
/proc/loadavg: 2.01 1.99 1.83 4/81 10517
/proc/meminfo: memFree=1837792/2055920 swapFree=4191676/4192956
[pid=10508] ppid=10506 vsize=867708 CPUtime=1.48
/proc/10508/stat : 10508 (java) S 10506 10508 8486 0 -1 0 15390 0 1 0 139 9 0 0 19 0 9 0 135812575 888532992 14747 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/10508/statm: 216927 14747 2014 9 0 211433 0
[pid=10508/tid=10510] ppid=10506 vsize=867708 CPUtime=1.29
/proc/10508/task/10510/stat : 10510 (java) R 10506 10508 8486 0 -1 64 14019 0 1 0 121 8 0 0 25 0 9 0 135812576 888532992 14747 996147200 134512640 134550740 4294955968 18446744073709551615 4126874344 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10508/tid=10511] ppid=10506 vsize=867708 CPUtime=0
/proc/10508/task/10511/stat : 10511 (java) S 10506 10508 8486 0 -1 64 5 0 0 0 0 0 0 0 17 0 9 0 135812577 888532992 14747 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=10508/tid=10512] ppid=10506 vsize=867708 CPUtime=0
/proc/10508/task/10512/stat : 10512 (java) S 10506 10508 8486 0 -1 64 10 0 0 0 0 0 0 0 22 0 9 0 135812577 888532992 14747 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10508/tid=10513] ppid=10506 vsize=867708 CPUtime=0
/proc/10508/task/10513/stat : 10513 (java) S 10506 10508 8486 0 -1 64 4 0 0 0 0 0 0 0 23 0 9 0 135812577 888532992 14747 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10508/tid=10514] ppid=10506 vsize=867708 CPUtime=0
/proc/10508/task/10514/stat : 10514 (java) S 10506 10508 8486 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 135812580 888532992 14747 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10508/tid=10515] ppid=10506 vsize=867708 CPUtime=0.17
/proc/10508/task/10515/stat : 10515 (java) S 10506 10508 8486 0 -1 64 674 0 0 0 17 0 0 0 15 0 9 0 135812580 888532992 14747 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10508/tid=10516] ppid=10506 vsize=867708 CPUtime=0
/proc/10508/task/10516/stat : 10516 (java) S 10506 10508 8486 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 135812580 888532992 14747 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10508/tid=10517] ppid=10506 vsize=867708 CPUtime=0
/proc/10508/task/10517/stat : 10517 (java) S 10506 10508 8486 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 135812580 888532992 14747 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 867708

[startup+3.10282 s]
/proc/loadavg: 2.01 1.99 1.83 3/81 10517
/proc/meminfo: memFree=1834208/2055920 swapFree=4191676/4192956
[pid=10508] ppid=10506 vsize=867708 CPUtime=3.08
/proc/10508/stat : 10508 (java) S 10506 10508 8486 0 -1 0 16327 0 1 0 298 10 0 0 19 0 9 0 135812575 888532992 15682 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/10508/statm: 216927 15682 2014 9 0 211433 0
[pid=10508/tid=10510] ppid=10506 vsize=867708 CPUtime=2.86
/proc/10508/task/10510/stat : 10510 (java) R 10506 10508 8486 0 -1 64 14929 0 1 0 277 9 0 0 25 0 9 0 135812576 888532992 15682 996147200 134512640 134550740 4294955968 18446744073709551615 4126875592 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10508/tid=10511] ppid=10506 vsize=867708 CPUtime=0
/proc/10508/task/10511/stat : 10511 (java) S 10506 10508 8486 0 -1 64 5 0 0 0 0 0 0 0 17 0 9 0 135812577 888532992 15682 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=10508/tid=10512] ppid=10506 vsize=867708 CPUtime=0
/proc/10508/task/10512/stat : 10512 (java) S 10506 10508 8486 0 -1 64 10 0 0 0 0 0 0 0 22 0 9 0 135812577 888532992 15682 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10508/tid=10513] ppid=10506 vsize=867708 CPUtime=0
/proc/10508/task/10513/stat : 10513 (java) S 10506 10508 8486 0 -1 64 4 0 0 0 0 0 0 0 23 0 9 0 135812577 888532992 15682 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10508/tid=10514] ppid=10506 vsize=867708 CPUtime=0
/proc/10508/task/10514/stat : 10514 (java) S 10506 10508 8486 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 135812580 888532992 15682 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10508/tid=10515] ppid=10506 vsize=867708 CPUtime=0.2
/proc/10508/task/10515/stat : 10515 (java) S 10506 10508 8486 0 -1 64 701 0 0 0 20 0 0 0 16 0 9 0 135812580 888532992 15682 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10508/tid=10516] ppid=10506 vsize=867708 CPUtime=0
/proc/10508/task/10516/stat : 10516 (java) S 10506 10508 8486 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 135812580 888532992 15682 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10508/tid=10517] ppid=10506 vsize=867708 CPUtime=0
/proc/10508/task/10517/stat : 10517 (java) S 10506 10508 8486 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 135812580 888532992 15682 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 867708

[startup+6.30143 s]
/proc/loadavg: 2.01 1.99 1.83 4/81 10517
/proc/meminfo: memFree=1818400/2055920 swapFree=4191676/4192956
[pid=10508] ppid=10506 vsize=867620 CPUtime=6.28
/proc/10508/stat : 10508 (java) S 10506 10508 8486 0 -1 0 19608 0 1 0 615 13 0 0 19 0 9 0 135812575 888442880 18937 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/10508/statm: 216905 18937 2005 9 0 211433 0
[pid=10508/tid=10510] ppid=10506 vsize=867620 CPUtime=5.97
/proc/10508/task/10510/stat : 10510 (java) R 10506 10508 8486 0 -1 64 15790 0 1 0 587 10 0 0 25 0 9 0 135812576 888442880 18937 996147200 134512640 134550740 4294955968 18446744073709551615 4126902632 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10508/tid=10511] ppid=10506 vsize=867620 CPUtime=0.07
/proc/10508/task/10511/stat : 10511 (java) S 10506 10508 8486 0 -1 64 2419 0 0 0 6 1 0 0 16 0 9 0 135812577 888442880 18937 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=10508/tid=10512] ppid=10506 vsize=867620 CPUtime=0
/proc/10508/task/10512/stat : 10512 (java) S 10506 10508 8486 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 135812577 888442880 18937 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10508/tid=10513] ppid=10506 vsize=867620 CPUtime=0
/proc/10508/task/10513/stat : 10513 (java) S 10506 10508 8486 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 135812577 888442880 18937 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10508/tid=10514] ppid=10506 vsize=867620 CPUtime=0
/proc/10508/task/10514/stat : 10514 (java) S 10506 10508 8486 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 135812580 888442880 18937 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10508/tid=10515] ppid=10506 vsize=867620 CPUtime=0.2
/proc/10508/task/10515/stat : 10515 (java) S 10506 10508 8486 0 -1 64 703 0 0 0 20 0 0 0 16 0 9 0 135812580 888442880 18937 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10508/tid=10516] ppid=10506 vsize=867620 CPUtime=0
/proc/10508/task/10516/stat : 10516 (java) S 10506 10508 8486 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 135812580 888442880 18937 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10508/tid=10517] ppid=10506 vsize=867620 CPUtime=0
/proc/10508/task/10517/stat : 10517 (java) S 10506 10508 8486 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 135812580 888442880 18937 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 867620

[startup+12.7027 s]
/proc/loadavg: 2.00 1.99 1.83 3/81 10517
/proc/meminfo: memFree=1818216/2055920 swapFree=4191676/4192956
[pid=10508] ppid=10506 vsize=867620 CPUtime=12.68
/proc/10508/stat : 10508 (java) S 10506 10508 8486 0 -1 0 19614 0 1 0 1254 14 0 0 19 0 9 0 135812575 888442880 18942 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/10508/statm: 216905 18942 2005 9 0 211433 0
[pid=10508/tid=10510] ppid=10506 vsize=867620 CPUtime=12.36
/proc/10508/task/10510/stat : 10510 (java) R 10506 10508 8486 0 -1 64 15792 0 1 0 1225 11 0 0 25 0 9 0 135812576 888442880 18942 996147200 134512640 134550740 4294955968 18446744073709551615 4126902935 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10508/tid=10511] ppid=10506 vsize=867620 CPUtime=0.07
/proc/10508/task/10511/stat : 10511 (java) S 10506 10508 8486 0 -1 64 2419 0 0 0 6 1 0 0 16 0 9 0 135812577 888442880 18942 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=10508/tid=10512] ppid=10506 vsize=867620 CPUtime=0
/proc/10508/task/10512/stat : 10512 (java) S 10506 10508 8486 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 135812577 888442880 18942 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10508/tid=10513] ppid=10506 vsize=867620 CPUtime=0
/proc/10508/task/10513/stat : 10513 (java) S 10506 10508 8486 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 135812577 888442880 18942 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10508/tid=10514] ppid=10506 vsize=867620 CPUtime=0
/proc/10508/task/10514/stat : 10514 (java) S 10506 10508 8486 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 135812580 888442880 18942 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10508/tid=10515] ppid=10506 vsize=867620 CPUtime=0.22
/proc/10508/task/10515/stat : 10515 (java) S 10506 10508 8486 0 -1 64 707 0 0 0 21 1 0 0 15 0 9 0 135812580 888442880 18942 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10508/tid=10516] ppid=10506 vsize=867620 CPUtime=0
/proc/10508/task/10516/stat : 10516 (java) S 10506 10508 8486 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 135812580 888442880 18942 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10508/tid=10517] ppid=10506 vsize=867620 CPUtime=0
/proc/10508/task/10517/stat : 10517 (java) S 10506 10508 8486 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 135812580 888442880 18942 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 867620

[startup+25.5011 s]
/proc/loadavg: 2.00 1.99 1.83 3/81 10521
/proc/meminfo: memFree=1788584/2055920 swapFree=4191676/4192956
[pid=10508] ppid=10506 vsize=868032 CPUtime=25.46
/proc/10508/stat : 10508 (java) S 10506 10508 8486 0 -1 0 44612 465 1 0 2519 23 3 1 19 0 9 0 135812575 888864768 27022 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/10508/statm: 217008 27022 2638 9 0 211514 0
[pid=10508/tid=10510] ppid=10506 vsize=868032 CPUtime=24.56
/proc/10508/task/10510/stat : 10510 (java) R 10506 10508 8486 0 -1 64 23703 465 1 0 2438 14 3 1 25 0 9 0 135812576 888864768 27022 996147200 134512640 134550740 4294955968 18446744073709551615 4126880535 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10508/tid=10511] ppid=10506 vsize=868032 CPUtime=0.55
/proc/10508/task/10511/stat : 10511 (java) S 10506 10508 8486 0 -1 64 19113 465 0 0 46 5 3 1 17 0 9 0 135812577 888864768 27022 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=10508/tid=10512] ppid=10506 vsize=868032 CPUtime=0.04
/proc/10508/task/10512/stat : 10512 (java) S 10506 10508 8486 0 -1 64 17 465 0 0 0 0 3 1 17 0 9 0 135812577 888864768 27022 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10508/tid=10513] ppid=10506 vsize=868032 CPUtime=0.04
/proc/10508/task/10513/stat : 10513 (java) S 10506 10508 8486 0 -1 64 15 465 0 0 0 0 3 1 16 0 9 0 135812577 888864768 27022 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10508/tid=10514] ppid=10506 vsize=868032 CPUtime=0.04
/proc/10508/task/10514/stat : 10514 (java) S 10506 10508 8486 0 -1 64 1 465 0 0 0 0 3 1 24 0 9 0 135812580 888864768 27022 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10508/tid=10515] ppid=10506 vsize=868032 CPUtime=0.38
/proc/10508/task/10515/stat : 10515 (java) S 10506 10508 8486 0 -1 64 935 465 0 0 33 1 3 1 15 0 9 0 135812580 888864768 27022 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10508/tid=10516] ppid=10506 vsize=868032 CPUtime=0.04
/proc/10508/task/10516/stat : 10516 (java) S 10506 10508 8486 0 -1 64 1 465 0 0 0 0 3 1 25 0 9 0 135812580 888864768 27022 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10508/tid=10517] ppid=10506 vsize=868032 CPUtime=0.04
/proc/10508/task/10517/stat : 10517 (java) S 10506 10508 8486 0 -1 64 11 465 0 0 0 0 3 1 15 0 9 0 135812580 888864768 27022 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 868032

Solver just ended. Dumping a history of the last processes samples

[startup+28.7027 s]
/proc/loadavg: 2.00 1.99 1.83 3/81 10521
/proc/meminfo: memFree=1788520/2055920 swapFree=4191676/4192956
[pid=10508] ppid=10506 vsize=868032 CPUtime=28.65
/proc/10508/stat : 10508 (java) S 10506 10508 8486 0 -1 0 44965 465 1 0 2838 23 3 1 19 0 9 0 135812575 888864768 27036 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/10508/statm: 217008 27036 2638 9 0 211514 0
[pid=10508/tid=10510] ppid=10506 vsize=868032 CPUtime=27.73
/proc/10508/task/10510/stat : 10510 (java) R 10506 10508 8486 0 -1 64 24040 465 1 0 2755 14 3 1 25 0 9 0 135812576 888864768 27036 996147200 134512640 134550740 4294955968 18446744073709551615 4126878056 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10508/tid=10511] ppid=10506 vsize=868032 CPUtime=0.55
/proc/10508/task/10511/stat : 10511 (java) S 10506 10508 8486 0 -1 64 19113 465 0 0 46 5 3 1 17 0 9 0 135812577 888864768 27036 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=10508/tid=10512] ppid=10506 vsize=868032 CPUtime=0.04
/proc/10508/task/10512/stat : 10512 (java) S 10506 10508 8486 0 -1 64 17 465 0 0 0 0 3 1 17 0 9 0 135812577 888864768 27036 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10508/tid=10513] ppid=10506 vsize=868032 CPUtime=0.04
/proc/10508/task/10513/stat : 10513 (java) S 10506 10508 8486 0 -1 64 15 465 0 0 0 0 3 1 16 0 9 0 135812577 888864768 27036 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10508/tid=10514] ppid=10506 vsize=868032 CPUtime=0.04
/proc/10508/task/10514/stat : 10514 (java) S 10506 10508 8486 0 -1 64 1 465 0 0 0 0 3 1 24 0 9 0 135812580 888864768 27036 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10508/tid=10515] ppid=10506 vsize=868032 CPUtime=0.4
/proc/10508/task/10515/stat : 10515 (java) S 10506 10508 8486 0 -1 64 950 465 0 0 35 1 3 1 15 0 9 0 135812580 888864768 27036 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10508/tid=10516] ppid=10506 vsize=868032 CPUtime=0.04
/proc/10508/task/10516/stat : 10516 (java) S 10506 10508 8486 0 -1 64 1 465 0 0 0 0 3 1 25 0 9 0 135812580 888864768 27036 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10508/tid=10517] ppid=10506 vsize=868032 CPUtime=0.04
/proc/10508/task/10517/stat : 10517 (java) S 10506 10508 8486 0 -1 64 12 465 0 0 0 0 3 1 15 0 9 0 135812580 888864768 27036 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 28.65
Current children cumulated vsize (KiB) 868032

[startup+30.302 s]
/proc/loadavg: 2.00 1.99 1.83 3/81 10521
/proc/meminfo: memFree=1788520/2055920 swapFree=4191676/4192956
[pid=10508] ppid=10506 vsize=868032 CPUtime=30.26
/proc/10508/stat : 10508 (java) S 10506 10508 8486 0 -1 0 45053 465 1 0 2998 24 3 1 19 0 9 0 135812575 888864768 27041 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/10508/statm: 217008 27041 2638 9 0 211514 0
[pid=10508/tid=10510] ppid=10506 vsize=868032 CPUtime=29.32
/proc/10508/task/10510/stat : 10510 (java) R 10506 10508 8486 0 -1 64 24124 465 1 0 2914 14 3 1 25 0 9 0 135812576 888864768 27041 996147200 134512640 134550740 4294955968 18446744073709551615 4126880047 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10508/tid=10511] ppid=10506 vsize=868032 CPUtime=0.55
/proc/10508/task/10511/stat : 10511 (java) S 10506 10508 8486 0 -1 64 19113 465 0 0 46 5 3 1 17 0 9 0 135812577 888864768 27041 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=10508/tid=10512] ppid=10506 vsize=868032 CPUtime=0.04
/proc/10508/task/10512/stat : 10512 (java) S 10506 10508 8486 0 -1 64 17 465 0 0 0 0 3 1 17 0 9 0 135812577 888864768 27041 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10508/tid=10513] ppid=10506 vsize=868032 CPUtime=0.04
/proc/10508/task/10513/stat : 10513 (java) S 10506 10508 8486 0 -1 64 15 465 0 0 0 0 3 1 16 0 9 0 135812577 888864768 27041 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10508/tid=10514] ppid=10506 vsize=868032 CPUtime=0.04
/proc/10508/task/10514/stat : 10514 (java) S 10506 10508 8486 0 -1 64 1 465 0 0 0 0 3 1 24 0 9 0 135812580 888864768 27041 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10508/tid=10515] ppid=10506 vsize=868032 CPUtime=0.41
/proc/10508/task/10515/stat : 10515 (java) S 10506 10508 8486 0 -1 64 954 465 0 0 36 1 3 1 15 0 9 0 135812580 888864768 27041 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10508/tid=10516] ppid=10506 vsize=868032 CPUtime=0.04
/proc/10508/task/10516/stat : 10516 (java) S 10506 10508 8486 0 -1 64 1 465 0 0 0 0 3 1 25 0 9 0 135812580 888864768 27041 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10508/tid=10517] ppid=10506 vsize=868032 CPUtime=0.04
/proc/10508/task/10517/stat : 10517 (java) S 10506 10508 8486 0 -1 64 12 465 0 0 0 0 3 1 15 0 9 0 135812580 888864768 27041 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 30.26
Current children cumulated vsize (KiB) 868032

[startup+31.9063 s]
/proc/loadavg: 2.00 1.99 1.83 3/81 10521
/proc/meminfo: memFree=1788456/2055920 swapFree=4191676/4192956
[pid=10508] ppid=10506 vsize=868032 CPUtime=31.86
/proc/10508/stat : 10508 (java) S 10506 10508 8486 0 -1 0 45274 465 1 0 3158 24 3 1 19 0 9 0 135812575 888864768 27041 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/10508/statm: 217008 27041 2638 9 0 211514 0
[pid=10508/tid=10510] ppid=10506 vsize=868032 CPUtime=30.93
/proc/10508/task/10510/stat : 10510 (java) R 10506 10508 8486 0 -1 64 24344 465 1 0 3074 15 3 1 25 0 9 0 135812576 888864768 27041 996147200 134512640 134550740 4294955968 18446744073709551615 4126880573 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10508/tid=10511] ppid=10506 vsize=868032 CPUtime=0.55
/proc/10508/task/10511/stat : 10511 (java) S 10506 10508 8486 0 -1 64 19113 465 0 0 46 5 3 1 17 0 9 0 135812577 888864768 27041 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=10508/tid=10512] ppid=10506 vsize=868032 CPUtime=0.04
/proc/10508/task/10512/stat : 10512 (java) S 10506 10508 8486 0 -1 64 17 465 0 0 0 0 3 1 17 0 9 0 135812577 888864768 27041 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10508/tid=10513] ppid=10506 vsize=868032 CPUtime=0.04
/proc/10508/task/10513/stat : 10513 (java) S 10506 10508 8486 0 -1 64 15 465 0 0 0 0 3 1 16 0 9 0 135812577 888864768 27041 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10508/tid=10514] ppid=10506 vsize=868032 CPUtime=0.04
/proc/10508/task/10514/stat : 10514 (java) S 10506 10508 8486 0 -1 64 1 465 0 0 0 0 3 1 24 0 9 0 135812580 888864768 27041 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10508/tid=10515] ppid=10506 vsize=868032 CPUtime=0.41
/proc/10508/task/10515/stat : 10515 (java) S 10506 10508 8486 0 -1 64 955 465 0 0 36 1 3 1 16 0 9 0 135812580 888864768 27041 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10508/tid=10516] ppid=10506 vsize=868032 CPUtime=0.04
/proc/10508/task/10516/stat : 10516 (java) S 10506 10508 8486 0 -1 64 1 465 0 0 0 0 3 1 25 0 9 0 135812580 888864768 27041 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10508/tid=10517] ppid=10506 vsize=868032 CPUtime=0.04
/proc/10508/task/10517/stat : 10517 (java) S 10506 10508 8486 0 -1 64 12 465 0 0 0 0 3 1 15 0 9 0 135812580 888864768 27041 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 31.86
Current children cumulated vsize (KiB) 868032

[startup+32.3024 s]
/proc/loadavg: 2.00 1.99 1.83 3/81 10521
/proc/meminfo: memFree=1788456/2055920 swapFree=4191676/4192956
[pid=10508] ppid=10506 vsize=868032 CPUtime=32.26
/proc/10508/stat : 10508 (java) S 10506 10508 8486 0 -1 0 45352 465 1 0 3198 24 3 1 19 0 9 0 135812575 888864768 27041 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/10508/statm: 217008 27041 2638 9 0 211514 0
[pid=10508/tid=10510] ppid=10506 vsize=868032 CPUtime=31.33
/proc/10508/task/10510/stat : 10510 (java) R 10506 10508 8486 0 -1 64 24422 465 1 0 3114 15 3 1 25 0 9 0 135812576 888864768 27041 996147200 134512640 134550740 4294955968 18446744073709551615 4127088240 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10508/tid=10511] ppid=10506 vsize=868032 CPUtime=0.55
/proc/10508/task/10511/stat : 10511 (java) S 10506 10508 8486 0 -1 64 19113 465 0 0 46 5 3 1 16 0 9 0 135812577 888864768 27041 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=10508/tid=10512] ppid=10506 vsize=868032 CPUtime=0.04
/proc/10508/task/10512/stat : 10512 (java) S 10506 10508 8486 0 -1 64 17 465 0 0 0 0 3 1 17 0 9 0 135812577 888864768 27041 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10508/tid=10513] ppid=10506 vsize=868032 CPUtime=0.04
/proc/10508/task/10513/stat : 10513 (java) S 10506 10508 8486 0 -1 64 15 465 0 0 0 0 3 1 16 0 9 0 135812577 888864768 27041 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10508/tid=10514] ppid=10506 vsize=868032 CPUtime=0.04
/proc/10508/task/10514/stat : 10514 (java) S 10506 10508 8486 0 -1 64 1 465 0 0 0 0 3 1 24 0 9 0 135812580 888864768 27041 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10508/tid=10515] ppid=10506 vsize=868032 CPUtime=0.41
/proc/10508/task/10515/stat : 10515 (java) S 10506 10508 8486 0 -1 64 955 465 0 0 36 1 3 1 16 0 9 0 135812580 888864768 27041 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10508/tid=10516] ppid=10506 vsize=868032 CPUtime=0.04
/proc/10508/task/10516/stat : 10516 (java) S 10506 10508 8486 0 -1 64 1 465 0 0 0 0 3 1 25 0 9 0 135812580 888864768 27041 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10508/tid=10517] ppid=10506 vsize=868032 CPUtime=0.04
/proc/10508/task/10517/stat : 10517 (java) S 10506 10508 8486 0 -1 64 12 465 0 0 0 0 3 1 15 0 9 0 135812580 888864768 27041 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 32.26
Current children cumulated vsize (KiB) 868032

[startup+32.7024 s]
/proc/loadavg: 2.00 1.99 1.83 3/81 10521
/proc/meminfo: memFree=1788456/2055920 swapFree=4191676/4192956
[pid=10508] ppid=10506 vsize=868032 CPUtime=32.66
/proc/10508/stat : 10508 (java) S 10506 10508 8486 0 -1 0 45706 465 1 0 3238 24 3 1 19 0 9 0 135812575 888864768 27041 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/10508/statm: 217008 27041 2638 9 0 211514 0
[pid=10508/tid=10510] ppid=10506 vsize=868032 CPUtime=31.73
/proc/10508/task/10510/stat : 10510 (java) R 10506 10508 8486 0 -1 64 24777 465 1 0 3154 15 3 1 25 0 9 0 135812576 888864768 27041 996147200 134512640 134550740 4294955968 18446744073709551615 4127358205 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10508/tid=10511] ppid=10506 vsize=868032 CPUtime=0.55
/proc/10508/task/10511/stat : 10511 (java) S 10506 10508 8486 0 -1 64 19113 465 0 0 46 5 3 1 16 0 9 0 135812577 888864768 27041 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=10508/tid=10512] ppid=10506 vsize=868032 CPUtime=0.04
/proc/10508/task/10512/stat : 10512 (java) S 10506 10508 8486 0 -1 64 17 465 0 0 0 0 3 1 17 0 9 0 135812577 888864768 27041 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10508/tid=10513] ppid=10506 vsize=868032 CPUtime=0.04
/proc/10508/task/10513/stat : 10513 (java) S 10506 10508 8486 0 -1 64 15 465 0 0 0 0 3 1 16 0 9 0 135812577 888864768 27041 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10508/tid=10514] ppid=10506 vsize=868032 CPUtime=0.04
/proc/10508/task/10514/stat : 10514 (java) S 10506 10508 8486 0 -1 64 1 465 0 0 0 0 3 1 24 0 9 0 135812580 888864768 27041 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10508/tid=10515] ppid=10506 vsize=868032 CPUtime=0.41
/proc/10508/task/10515/stat : 10515 (java) S 10506 10508 8486 0 -1 64 955 465 0 0 36 1 3 1 16 0 9 0 135812580 888864768 27041 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10508/tid=10516] ppid=10506 vsize=868032 CPUtime=0.04
/proc/10508/task/10516/stat : 10516 (java) S 10506 10508 8486 0 -1 64 1 465 0 0 0 0 3 1 25 0 9 0 135812580 888864768 27041 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10508/tid=10517] ppid=10506 vsize=868032 CPUtime=0.04
/proc/10508/task/10517/stat : 10517 (java) S 10506 10508 8486 0 -1 64 12 465 0 0 0 0 3 1 15 0 9 0 135812580 888864768 27041 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 32.66
Current children cumulated vsize (KiB) 868032

[startup+32.8025 s]
/proc/loadavg: 2.00 1.99 1.83 3/81 10521
/proc/meminfo: memFree=1788456/2055920 swapFree=4191676/4192956
[pid=10508] ppid=10506 vsize=868032 CPUtime=32.75
/proc/10508/stat : 10508 (java) S 10506 10508 8486 0 -1 0 45948 465 1 0 3247 24 3 1 19 0 9 0 135812575 888864768 27044 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/10508/statm: 217008 27044 2638 9 0 211514 0
[pid=10508/tid=10510] ppid=10506 vsize=868032 CPUtime=31.83
/proc/10508/task/10510/stat : 10510 (java) R 10506 10508 8486 0 -1 64 25017 465 1 0 3164 15 3 1 25 0 9 0 135812576 888864768 27044 996147200 134512640 134550740 4294955968 18446744073709551615 4127404112 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10508/tid=10511] ppid=10506 vsize=868032 CPUtime=0.55
/proc/10508/task/10511/stat : 10511 (java) S 10506 10508 8486 0 -1 64 19113 465 0 0 46 5 3 1 16 0 9 0 135812577 888864768 27044 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=10508/tid=10512] ppid=10506 vsize=868032 CPUtime=0.04
/proc/10508/task/10512/stat : 10512 (java) S 10506 10508 8486 0 -1 64 17 465 0 0 0 0 3 1 17 0 9 0 135812577 888864768 27044 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10508/tid=10513] ppid=10506 vsize=868032 CPUtime=0.04
/proc/10508/task/10513/stat : 10513 (java) S 10506 10508 8486 0 -1 64 15 465 0 0 0 0 3 1 16 0 9 0 135812577 888864768 27044 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10508/tid=10514] ppid=10506 vsize=868032 CPUtime=0.04
/proc/10508/task/10514/stat : 10514 (java) S 10506 10508 8486 0 -1 64 1 465 0 0 0 0 3 1 24 0 9 0 135812580 888864768 27044 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10508/tid=10515] ppid=10506 vsize=868032 CPUtime=0.41
/proc/10508/task/10515/stat : 10515 (java) S 10506 10508 8486 0 -1 64 956 465 0 0 36 1 3 1 17 0 9 0 135812580 888864768 27044 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10508/tid=10516] ppid=10506 vsize=868032 CPUtime=0.04
/proc/10508/task/10516/stat : 10516 (java) S 10506 10508 8486 0 -1 64 1 465 0 0 0 0 3 1 25 0 9 0 135812580 888864768 27044 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10508/tid=10517] ppid=10506 vsize=868032 CPUtime=0.04
/proc/10508/task/10517/stat : 10517 (java) S 10506 10508 8486 0 -1 64 12 465 0 0 0 0 3 1 15 0 9 0 135812580 888864768 27044 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 32.75
Current children cumulated vsize (KiB) 868032

Child status: 0
Real time (s): 32.8528
CPU time (s): 32.804
CPU user time (s): 32.5241
CPU system time (s): 0.279957
CPU usage (%): 99.8515
Max. virtual memory (cumulated for all children) (KiB): 868032

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 32.5241
system time used= 0.279957
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 46540
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= 2728
involuntary context switches= 2858

runsolver used 0.044993 second user time and 0.113982 second system time

The end

Launcher Data (download as text)

Begin job on node63 at 2008-07-05 08:09:32
IDJOB=1086224
IDBENCH=57779
IDSOLVER=364
FILE ID=node63/1086224-1215238172
PBS_JOBID= 7881861
Free space on /tmp= 66524 MiB

SOLVER NAME= Abscon 112v4 ESAC
BENCH NAME= CPAI08/csp/fapp/fapp06/normalized-fapp06-0500-9.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution esac.xml 1 XSax BENCHNAME
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1086224-1215238172/watcher-1086224-1215238172 -o /tmp/evaluation-result-1086224-1215238172/solver-1086224-1215238172 -C 1800 -W 2200 -M 900 --output-limit 1,15  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution esac.xml 1 XSax HOME/instance-1086224-1215238172.xml

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB

MD5SUM BENCH= 7fe976fa4ce71b2c5a4965beb0a6326a
RANDOM SEED=484664229

node63.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.256
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
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 lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.256
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
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 lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5996.54
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1887368 kB
Buffers:          4644 kB
Cached:          75540 kB
SwapCached:        260 kB
Active:          93472 kB
Inactive:        16060 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1887368 kB
SwapTotal:     4192956 kB
SwapFree:      4191676 kB
Dirty:            2900 kB
Writeback:           0 kB
Mapped:          41892 kB
Slab:            44556 kB
Committed_AS:   397868 kB
PageTables:       1612 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264960 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66520 MiB
End job on node63 at 2008-07-05 08:10:05