Trace number 218788

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, and are wall clock time (not CPU 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 109 AC? (TO) 1800.13 1803.74

General information on the benchmark

NamechessboardColoration/
cc-10-10-3.xml
MD5SUM41d5b5560d62ba7898a114348faab5c0
Bench CategoryN-ARY-INT (n-ary constraints in intension)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark7.31189
SatisfiableYES
(Un)Satisfiability was provedYES
Number of variables100
Number of constraints2025
Maximum constraint arity4
Maximum domain size3
Number of constraints which are defined in extension0
Number of constraints which are defined in intension2025
Global constraints used (with number of constraints)

Solver Data (download as text)

0.31	   
0.31	Abscon 109 (November, 2006)
0.31	   
0.31	   configuration
0.31	     name=mac.xml
0.34	   
0.34	   instance
0.34	     name=/tmp/evaluation/218788-1168079719/unknown.xml
0.38	   
0.38	   domains being loaded...
0.38	   
0.38	   variables being loaded...
0.42	     nbVariables=100  nbDomainTypes=1  minDomainSize=3  maxDomainSize=3
0.42	       =>  wckTime=0.108  cpuTime=0.1  mem=6M951
0.42	   
0.42	   predicates being loaded...
0.43	   
0.43	   constraints being loaded...
1.02	     nbConstraints=2025  nbConflictsStructures=1  nbSharedConflictsStructures=2024  nbSharedBinaryRepresentations=0
1.02	     nbEvaluationManagers=1  nbSharedEvaluationManagers=2024  maxDegree=81  maxArity=4
1.02	       =>  wckTime=0.705  cpuTime=0.57  mem=46M934
1.09	   
1.09	   solver IterativeSystematicSolver being built... 
1.33	       =>  wckTime=1.012  cpuTime=0.76  mem=30M216
1.35	   
1.35	   preprocessing
1.35	     nbConstraintChecks=0  nbPropagations=100  nbRevisions=0  nbUselessRevisions=0  nbRemovedValues=0
1.35	     detectedInconsistency=no
1.35	       =>  wckTime=0.019  cpuTime=0.01  mem=31M190
1.42	   
1.42	   search
1.42	     run=0  nbConstraintChecks=1652  nbValidityChecks=1449  nbPropagations=257  nbRevisions=1299
1.42	     nbUselessRevisions=1087  nbAssignments=50  nbFailedAssignments=9  nbBacktracks=20  nbVisitedNodes=67
1.42	     nbRestartNogoods=0  mapSize=12  nbInferences=0  nbTooLargeKeys=0
1.42	       =>  wckTime=0.091  cpuTime=0.05  mem=31M190
1.46	   
1.46	   search
1.46	     run=1  nbConstraintChecks=6195  nbValidityChecks=4188  nbPropagations=725  nbRevisions=5061
1.46	     nbUselessRevisions=4402  nbAssignments=128  nbFailedAssignments=19  nbBacktracks=36  nbVisitedNodes=168
1.46	     nbRestartNogoods=1  mapSize=25  nbInferences=0  nbTooLargeKeys=0
1.46	       =>  wckTime=0.13  cpuTime=0.1  mem=31M190
1.49	   
1.49	   search
1.49	     run=2  nbConstraintChecks=11948  nbValidityChecks=9604  nbPropagations=1434  nbRevisions=12515
1.49	     nbUselessRevisions=11151  nbAssignments=215  nbFailedAssignments=29  nbBacktracks=58  nbVisitedNodes=273
1.49	     nbRestartNogoods=11  mapSize=36  nbInferences=0  nbTooLargeKeys=0
1.49	       =>  wckTime=0.161  cpuTime=0.12  mem=31M190
1.53	   
1.53	   search
1.53	     run=3  nbConstraintChecks=17376  nbValidityChecks=16172  nbPropagations=2446  nbRevisions=23445
1.53	     nbUselessRevisions=21052  nbAssignments=307  nbFailedAssignments=45  nbBacktracks=95  nbVisitedNodes=392
1.53	     nbRestartNogoods=16  mapSize=56  nbInferences=0  nbTooLargeKeys=0
1.53	       =>  wckTime=0.198  cpuTime=0.16  mem=31M190
1.57	   
1.57	   search
1.57	     run=4  nbConstraintChecks=24942  nbValidityChecks=26017  nbPropagations=3781  nbRevisions=39966
1.57	     nbUselessRevisions=36157  nbAssignments=424  nbFailedAssignments=62  nbBacktracks=147  nbVisitedNodes=542
1.57	     nbRestartNogoods=23  mapSize=81  nbInferences=0  nbTooLargeKeys=0
1.57	       =>  wckTime=0.242  cpuTime=0.2  mem=31M190
1.62	   
1.62	   search
1.62	     run=5  nbConstraintChecks=34247  nbValidityChecks=37849  nbPropagations=5547  nbRevisions=63206
1.62	     nbUselessRevisions=57472  nbAssignments=575  nbFailedAssignments=92  nbBacktracks=222  nbVisitedNodes=748
1.62	     nbRestartNogoods=25  mapSize=122  nbInferences=0  nbTooLargeKeys=0
1.62	       =>  wckTime=0.291  cpuTime=0.24  mem=31M190
1.72	   
1.72	   search
1.72	     run=6  nbConstraintChecks=54726  nbValidityChecks=64972  nbPropagations=8022  nbRevisions=101463
1.72	     nbUselessRevisions=92853  nbAssignments=780  nbFailedAssignments=126  nbBacktracks=345  nbVisitedNodes=1024
1.72	     nbRestartNogoods=30  mapSize=178  nbInferences=0  nbTooLargeKeys=0
1.72	       =>  wckTime=0.387  cpuTime=0.34  mem=31M190
1.82	   
1.82	   search
1.83	     run=7  nbConstraintChecks=79182  nbValidityChecks=99089  nbPropagations=11556  nbRevisions=158159
1.83	     nbUselessRevisions=145250  nbAssignments=1052  nbFailedAssignments=182  nbBacktracks=515  nbVisitedNodes=1406
1.83	     nbRestartNogoods=33  mapSize=268  nbInferences=0  nbTooLargeKeys=0
1.83	       =>  wckTime=0.494  cpuTime=0.44  mem=31M190
1.93	   
1.93	   search
1.93	     run=8  nbConstraintChecks=93293  nbValidityChecks=117240  nbPropagations=16394  nbRevisions=223598
1.93	     nbUselessRevisions=204706  nbAssignments=1445  nbFailedAssignments=297  nbBacktracks=771  nbVisitedNodes=2017
1.93	     nbRestartNogoods=38  mapSize=454  nbInferences=0  nbTooLargeKeys=0
1.93	       =>  wckTime=0.596  cpuTime=0.54  mem=31M190
2.16	   
2.16	   search
2.16	     run=9  nbConstraintChecks=142678  nbValidityChecks=181485  nbPropagations=23473  nbRevisions=323441
2.16	     nbUselessRevisions=295496  nbAssignments=2036  nbFailedAssignments=458  nbBacktracks=1155  nbVisitedNodes=2925
2.16	     nbRestartNogoods=40  mapSize=711  nbInferences=0  nbTooLargeKeys=0
2.16	       =>  wckTime=0.827  cpuTime=0.74  mem=31M190
2.35	   
2.35	   search
2.35	     run=10  nbConstraintChecks=178541  nbValidityChecks=230233  nbPropagations=33036  nbRevisions=452966
2.36	     nbUselessRevisions=412802  nbAssignments=2836  nbFailedAssignments=646  nbBacktracks=1731  nbVisitedNodes=4081
2.36	     nbRestartNogoods=49  mapSize=998  nbInferences=0  nbTooLargeKeys=0
2.36	       =>  wckTime=1.024  cpuTime=0.93  mem=31M190
2.37	   
2.37	   INFO : Stopping hyperNogood (mapSize=1009, nbTooLargekeys=0, mem=31M190)
2.62	   
2.62	   search
2.62	     run=11  nbConstraintChecks=236107  nbValidityChecks=307601  nbPropagations=46496  nbRevisions=629504
2.62	     nbUselessRevisions=572107  nbAssignments=4041  nbFailedAssignments=955  nbBacktracks=2600  nbVisitedNodes=5861
2.62	     nbRestartNogoods=57
2.62	       =>  wckTime=1.286  cpuTime=1.18  mem=31M190
3.17	   
3.17	   search
3.17	     run=12  nbConstraintChecks=437644  nbValidityChecks=593798  nbPropagations=66995  nbRevisions=970982
3.17	     nbUselessRevisions=886439  nbAssignments=5832  nbFailedAssignments=1379  nbBacktracks=3907  nbVisitedNodes=8493
3.17	     nbRestartNogoods=60
3.17	       =>  wckTime=1.841  cpuTime=1.74  mem=31M190
4.04	   
4.04	   search
4.04	     run=13  nbConstraintChecks=755388  nbValidityChecks=1042301  nbPropagations=98384  nbRevisions=1565978
4.04	     nbUselessRevisions=1439176  nbAssignments=8465  nbFailedAssignments=2005  nbBacktracks=5854  nbVisitedNodes=12379
4.04	     nbRestartNogoods=70
4.04	       =>  wckTime=2.708  cpuTime=2.59  mem=31M190
5.44	   
5.44	   search
5.44	     run=14  nbConstraintChecks=1192330  nbValidityChecks=1678047  nbPropagations=147725  nbRevisions=2519372
5.44	     nbUselessRevisions=2325215  nbAssignments=12346  nbFailedAssignments=2906  nbBacktracks=8788  nbVisitedNodes=18011
5.44	     nbRestartNogoods=80
5.44	       =>  wckTime=4.11  cpuTime=3.98  mem=31M190
7.18	   
7.18	   search
7.18	     run=15  nbConstraintChecks=1711317  nbValidityChecks=2415654  nbPropagations=220258  nbRevisions=3887041
7.18	     nbUselessRevisions=3593011  nbAssignments=18116  nbFailedAssignments=4253  nbBacktracks=13166  nbVisitedNodes=26418
7.18	     nbRestartNogoods=88
7.18	       =>  wckTime=5.847  cpuTime=5.69  mem=31M190
9.65	   
9.65	   search
9.65	     run=16  nbConstraintChecks=2492117  nbValidityChecks=3571641  nbPropagations=324085  nbRevisions=5918154
9.65	     nbUselessRevisions=5481008  nbAssignments=26489  nbFailedAssignments=6011  nbBacktracks=19738  nbVisitedNodes=38236
9.65	     nbRestartNogoods=95
9.65	       =>  wckTime=8.324  cpuTime=8.15  mem=31M190
14.17	   
14.17	   search
14.17	     run=17  nbConstraintChecks=4124890  nbValidityChecks=5957621  nbPropagations=483795  nbRevisions=9282850
14.17	     nbUselessRevisions=8621334  nbAssignments=39484  nbFailedAssignments=9096  nbBacktracks=29593  nbVisitedNodes=57063
14.17	     nbRestartNogoods=102
14.17	       =>  wckTime=12.84  cpuTime=12.62  mem=31M190
20.77	   
20.77	   search
20.77	     run=18  nbConstraintChecks=6551632  nbValidityChecks=9453678  nbPropagations=725379  nbRevisions=14608740
20.77	     nbUselessRevisions=13603910  nbAssignments=58916  nbFailedAssignments=13677  nbBacktracks=44378
20.77	     nbVisitedNodes=85374  nbRestartNogoods=113
20.77	       =>  wckTime=19.441  cpuTime=19.16  mem=31M190
30.42	   
30.42	   search
30.42	     run=19  nbConstraintChecks=10060326  nbValidityChecks=14358655  nbPropagations=1090260  nbRevisions=22653183
30.42	     nbUselessRevisions=21128437  nbAssignments=88680  nbFailedAssignments=21214  nbBacktracks=66547
30.42	     nbVisitedNodes=129946  nbRestartNogoods=126
30.42	       =>  wckTime=29.089  cpuTime=28.73  mem=31M190
44.43	   
44.43	   search
44.43	     run=20  nbConstraintChecks=15266379  nbValidityChecks=21660888  nbPropagations=1629243  nbRevisions=34806054
44.43	     nbUselessRevisions=32509974  nbAssignments=132936  nbFailedAssignments=32144  nbBacktracks=99808
44.43	     nbVisitedNodes=195037  nbRestartNogoods=135
44.43	       =>  wckTime=43.1  cpuTime=42.6  mem=31M190
68.19	   
68.19	   search
68.19	     run=21  nbConstraintChecks=23820523  nbValidityChecks=34057140  nbPropagations=2467933  nbRevisions=53949126
68.19	     nbUselessRevisions=50454743  nbAssignments=199108  nbFailedAssignments=48389  nbBacktracks=149691
68.19	     nbVisitedNodes=292846  nbRestartNogoods=152
68.19	       =>  wckTime=66.855  cpuTime=66.14  mem=31M190
96.77	   
96.77	   search
96.77	     run=22  nbConstraintChecks=31539063  nbValidityChecks=45191296  nbPropagations=3711618  nbRevisions=78896066
96.77	     nbUselessRevisions=73638159  nbAssignments=297363  nbFailedAssignments=71775  nbBacktracks=224530
96.77	     nbVisitedNodes=434165  nbRestartNogoods=157
96.77	       =>  wckTime=95.437  cpuTime=94.46  mem=31M190
147.04	   
147.04	   search
147.04	     run=23  nbConstraintChecks=50152714  nbValidityChecks=71815525  nbPropagations=5584185  nbRevisions=118951583
147.04	     nbUselessRevisions=111028188  nbAssignments=444276  nbFailedAssignments=106399  nbBacktracks=336760
147.04	     nbVisitedNodes=650307  nbRestartNogoods=164
147.04	       =>  wckTime=145.712  cpuTime=144.29  mem=31M190
219.28	   
219.28	   search
219.28	     run=24  nbConstraintChecks=76050105  nbValidityChecks=109609648  nbPropagations=8418634  nbRevisions=180456732
219.28	     nbUselessRevisions=168520840  nbAssignments=665225  nbFailedAssignments=158954  nbBacktracks=505105
219.28	     nbVisitedNodes=971510  nbRestartNogoods=177
219.28	       =>  wckTime=217.953  cpuTime=216.32  mem=31M190
320.80	   
320.80	   search
320.80	     run=25  nbConstraintChecks=114397897  nbValidityChecks=164217917  nbPropagations=12664398  nbRevisions=272949849
320.80	     nbUselessRevisions=255007480  nbAssignments=996657  nbFailedAssignments=237822  nbBacktracks=757618
320.80	     nbVisitedNodes=1458468  nbRestartNogoods=189
320.80	       =>  wckTime=319.474  cpuTime=317.74  mem=31M190
482.17	   
482.17	   search
482.17	     run=26  nbConstraintChecks=177472441  nbValidityChecks=255884572  nbPropagations=19092195  nbRevisions=416333597
482.17	     nbUselessRevisions=389243724  nbAssignments=1498558  nbFailedAssignments=360896  nbBacktracks=1136387
482.17	     nbVisitedNodes=2192428  nbRestartNogoods=200
482.17	       =>  wckTime=480.841  cpuTime=478.8  mem=32M164
777.42	   
777.42	   search
777.42	     run=27  nbConstraintChecks=262602673  nbValidityChecks=394134367  nbPropagations=29592735  nbRevisions=628301715
777.42	     nbUselessRevisions=585940327  nbAssignments=2239399  nbFailedAssignments=533524  nbBacktracks=1704547
777.42	     nbVisitedNodes=3256594  nbRestartNogoods=214
777.42	       =>  wckTime=776.093  cpuTime=773.6  mem=32M164
1123.54	   
1123.54	   search
1123.54	     run=28  nbConstraintChecks=398177859  nbValidityChecks=585398590  nbPropagations=44935765  nbRevisions=947300382
1123.54	     nbUselessRevisions=882800003  nbAssignments=3378860  nbFailedAssignments=820699  nbBacktracks=2556774
1123.54	     nbVisitedNodes=4951389  nbRestartNogoods=227
1123.54	       =>  wckTime=1122.213  cpuTime=1119.22  mem=32M164
1700.89	   
1700.89	   search
1700.89	     run=29  nbConstraintChecks=597367415  nbValidityChecks=886505285  nbPropagations=68323159  nbRevisions=1431358759
1700.89	     nbUselessRevisions=1333073933  nbAssignments=5042630  nbFailedAssignments=1206067  nbBacktracks=3835121
1700.89	     nbVisitedNodes=7366999  nbRestartNogoods=253
1700.89	       =>  wckTime=1699.56  cpuTime=1696.07  mem=32M164

Verifier Data (download as text)

ERROR: Unexpected answer ! (SAT/UNSAT expected)
Got answer:

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node18/watcher-218788-1168079719 -o ROOT/results/node18/solver-218788-1168079719 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/218788-1168079719/unknown.xml 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 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
Current StackSize limit: 10240 KiB

/proc/loadavg: 1.52 1.81 1.87 4/93 24136
/proc/meminfo: memFree=1098848/2055920 swapFree=4192812/4192956
[pid=24135] ppid=24133 vsize=18540 CPUtime=0
/proc/24135/stat : 24135 (runsolver) R 24133 24135 23900 0 -1 4194368 17 0 0 0 0 0 0 0 20 0 1 0 156366767 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 227848809767 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/24135/statm: 4635 279 244 17 0 2626 0

[startup+0.10897 s]
/proc/loadavg: 1.52 1.81 1.87 4/93 24136
/proc/meminfo: memFree=1098848/2055920 swapFree=4192812/4192956
[pid=24135] ppid=24133 vsize=914988 CPUtime=0.09
/proc/24135/stat : 24135 (java) R 24133 24135 23900 0 -1 0 3047 0 1 0 8 1 0 0 20 0 8 0 156366767 936947712 2793 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4155286363 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24135/statm: 228747 2793 1445 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988

[startup+0.51701 s]
/proc/loadavg: 1.52 1.81 1.87 4/93 24136
/proc/meminfo: memFree=1098848/2055920 swapFree=4192812/4192956
[pid=24135] ppid=24133 vsize=915328 CPUtime=0.49
/proc/24135/stat : 24135 (java) R 24133 24135 23900 0 -1 0 7012 0 1 0 45 4 0 0 18 0 8 0 156366767 937295872 6751 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073620247 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24135/statm: 228832 6751 2145 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328

[startup+1.33809 s]
/proc/loadavg: 1.56 1.81 1.87 3/100 24143
/proc/meminfo: memFree=1041448/2055920 swapFree=4192812/4192956
[pid=24135] ppid=24133 vsize=915764 CPUtime=1.3
/proc/24135/stat : 24135 (java) R 24133 24135 23900 0 -1 0 17113 0 1 0 111 19 0 0 24 0 8 0 156366767 937742336 16851 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073968083 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24135/statm: 228941 16851 2528 14 0 215411 0
[pid=24135/tid=24137] ppid=24133 vsize=915764 CPUtime=0.05
/proc/24135/task/24137/stat : 24137 (java) S 24133 24135 23900 0 -1 64 694 0 0 0 5 0 0 0 17 0 8 0 156366771 937742336 16851 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24135/tid=24138] ppid=24133 vsize=915764 CPUtime=0
/proc/24135/task/24138/stat : 24138 (java) S 24133 24135 23900 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156366771 937742336 16851 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24135/tid=24139] ppid=24133 vsize=915764 CPUtime=0
/proc/24135/task/24139/stat : 24139 (java) S 24133 24135 23900 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156366771 937742336 16851 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24135/tid=24140] ppid=24133 vsize=915764 CPUtime=0
/proc/24135/task/24140/stat : 24140 (java) S 24133 24135 23900 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156366775 937742336 16851 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24135/tid=24141] ppid=24133 vsize=915764 CPUtime=0.23
/proc/24135/task/24141/stat : 24141 (java) S 24133 24135 23900 0 -1 64 456 0 0 0 22 1 0 0 15 0 8 0 156366775 937742336 16851 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24135/tid=24142] ppid=24133 vsize=915764 CPUtime=0
/proc/24135/task/24142/stat : 24142 (java) S 24133 24135 23900 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156366775 937742336 16851 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24135/tid=24143] ppid=24133 vsize=915764 CPUtime=0
/proc/24135/task/24143/stat : 24143 (java) S 24133 24135 23900 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156366775 937742336 16851 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915764

[startup+2.97625 s]
/proc/loadavg: 1.56 1.81 1.87 3/100 24143
/proc/meminfo: memFree=1041000/2055920 swapFree=4192812/4192956
[pid=24135] ppid=24133 vsize=915764 CPUtime=2.92
/proc/24135/stat : 24135 (java) R 24133 24135 23900 0 -1 0 17171 0 1 0 272 20 0 0 25 0 8 0 156366767 937742336 16907 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074014453 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24135/statm: 228941 16907 2533 14 0 215411 0
[pid=24135/tid=24137] ppid=24133 vsize=915764 CPUtime=0.05
/proc/24135/task/24137/stat : 24137 (java) S 24133 24135 23900 0 -1 64 695 0 0 0 5 0 0 0 17 0 8 0 156366771 937742336 16907 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24135/tid=24138] ppid=24133 vsize=915764 CPUtime=0
/proc/24135/task/24138/stat : 24138 (java) S 24133 24135 23900 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156366771 937742336 16907 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24135/tid=24139] ppid=24133 vsize=915764 CPUtime=0
/proc/24135/task/24139/stat : 24139 (java) S 24133 24135 23900 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156366771 937742336 16907 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24135/tid=24140] ppid=24133 vsize=915764 CPUtime=0
/proc/24135/task/24140/stat : 24140 (java) S 24133 24135 23900 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156366775 937742336 16907 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24135/tid=24141] ppid=24133 vsize=915764 CPUtime=0.32
/proc/24135/task/24141/stat : 24141 (java) S 24133 24135 23900 0 -1 64 503 0 0 0 30 2 0 0 16 0 8 0 156366775 937742336 16907 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24135/tid=24142] ppid=24133 vsize=915764 CPUtime=0
/proc/24135/task/24142/stat : 24142 (java) S 24133 24135 23900 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156366775 937742336 16907 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24135/tid=24143] ppid=24133 vsize=915764 CPUtime=0
/proc/24135/task/24143/stat : 24143 (java) S 24133 24135 23900 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156366775 937742336 16907 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.92
Current children cumulated vsize (KiB) 915764

[startup+6.18355 s]
/proc/loadavg: 1.60 1.82 1.87 3/100 24143
/proc/meminfo: memFree=1040936/2055920 swapFree=4192812/4192956
[pid=24135] ppid=24133 vsize=915764 CPUtime=6.1
/proc/24135/stat : 24135 (java) R 24133 24135 23900 0 -1 0 17174 0 1 0 590 20 0 0 25 0 8 0 156366767 937742336 16909 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073978436 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24135/statm: 228941 16909 2533 14 0 215411 0
[pid=24135/tid=24137] ppid=24133 vsize=915764 CPUtime=0.05
/proc/24135/task/24137/stat : 24137 (java) S 24133 24135 23900 0 -1 64 695 0 0 0 5 0 0 0 16 0 8 0 156366771 937742336 16909 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24135/tid=24138] ppid=24133 vsize=915764 CPUtime=0
/proc/24135/task/24138/stat : 24138 (java) S 24133 24135 23900 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156366771 937742336 16909 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24135/tid=24139] ppid=24133 vsize=915764 CPUtime=0
/proc/24135/task/24139/stat : 24139 (java) S 24133 24135 23900 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156366771 937742336 16909 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24135/tid=24140] ppid=24133 vsize=915764 CPUtime=0
/proc/24135/task/24140/stat : 24140 (java) S 24133 24135 23900 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156366775 937742336 16909 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24135/tid=24141] ppid=24133 vsize=915764 CPUtime=0.33
/proc/24135/task/24141/stat : 24141 (java) S 24133 24135 23900 0 -1 64 505 0 0 0 31 2 0 0 16 0 8 0 156366775 937742336 16909 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24135/tid=24142] ppid=24133 vsize=915764 CPUtime=0
/proc/24135/task/24142/stat : 24142 (java) S 24133 24135 23900 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156366775 937742336 16909 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24135/tid=24143] ppid=24133 vsize=915764 CPUtime=0
/proc/24135/task/24143/stat : 24143 (java) S 24133 24135 23900 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156366775 937742336 16909 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.1
Current children cumulated vsize (KiB) 915764

[startup+12.6582 s]
/proc/loadavg: 1.63 1.82 1.87 3/100 24143
/proc/meminfo: memFree=1040936/2055920 swapFree=4192812/4192956
[pid=24135] ppid=24133 vsize=915764 CPUtime=12.51
/proc/24135/stat : 24135 (java) R 24133 24135 23900 0 -1 0 17175 0 1 0 1231 20 0 0 25 0 8 0 156366767 937742336 16909 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073969993 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24135/statm: 228941 16909 2533 14 0 215411 0
[pid=24135/tid=24137] ppid=24133 vsize=915764 CPUtime=0.05
/proc/24135/task/24137/stat : 24137 (java) S 24133 24135 23900 0 -1 64 695 0 0 0 5 0 0 0 16 0 8 0 156366771 937742336 16909 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24135/tid=24138] ppid=24133 vsize=915764 CPUtime=0
/proc/24135/task/24138/stat : 24138 (java) S 24133 24135 23900 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156366771 937742336 16909 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24135/tid=24139] ppid=24133 vsize=915764 CPUtime=0
/proc/24135/task/24139/stat : 24139 (java) S 24133 24135 23900 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156366771 937742336 16909 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24135/tid=24140] ppid=24133 vsize=915764 CPUtime=0
/proc/24135/task/24140/stat : 24140 (java) S 24133 24135 23900 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156366775 937742336 16909 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24135/tid=24141] ppid=24133 vsize=915764 CPUtime=0.33
/proc/24135/task/24141/stat : 24141 (java) S 24133 24135 23900 0 -1 64 505 0 0 0 31 2 0 0 16 0 8 0 156366775 937742336 16909 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24135/tid=24142] ppid=24133 vsize=915764 CPUtime=0
/proc/24135/task/24142/stat : 24142 (java) S 24133 24135 23900 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156366775 937742336 16909 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24135/tid=24143] ppid=24133 vsize=915764 CPUtime=0
/proc/24135/task/24143/stat : 24143 (java) S 24133 24135 23900 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156366775 937742336 16909 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.51
Current children cumulated vsize (KiB) 915764

[startup+25.5324 s]
/proc/loadavg: 1.69 1.82 1.87 3/100 24143
/proc/meminfo: memFree=1041000/2055920 swapFree=4192812/4192956
[pid=24135] ppid=24133 vsize=915764 CPUtime=25.27
/proc/24135/stat : 24135 (java) R 24133 24135 23900 0 -1 0 17175 0 1 0 2507 20 0 0 25 0 8 0 156366767 937742336 16909 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074019959 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24135/statm: 228941 16909 2533 14 0 215411 0
[pid=24135/tid=24137] ppid=24133 vsize=915764 CPUtime=0.05
/proc/24135/task/24137/stat : 24137 (java) S 24133 24135 23900 0 -1 64 695 0 0 0 5 0 0 0 16 0 8 0 156366771 937742336 16909 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24135/tid=24138] ppid=24133 vsize=915764 CPUtime=0
/proc/24135/task/24138/stat : 24138 (java) S 24133 24135 23900 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156366771 937742336 16909 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24135/tid=24139] ppid=24133 vsize=915764 CPUtime=0
/proc/24135/task/24139/stat : 24139 (java) S 24133 24135 23900 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156366771 937742336 16909 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24135/tid=24140] ppid=24133 vsize=915764 CPUtime=0
/proc/24135/task/24140/stat : 24140 (java) S 24133 24135 23900 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156366775 937742336 16909 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24135/tid=24141] ppid=24133 vsize=915764 CPUtime=0.33
/proc/24135/task/24141/stat : 24141 (java) S 24133 24135 23900 0 -1 64 505 0 0 0 31 2 0 0 16 0 8 0 156366775 937742336 16909 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24135/tid=24142] ppid=24133 vsize=915764 CPUtime=0
/proc/24135/task/24142/stat : 24142 (java) S 24133 24135 23900 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156366775 937742336 16909 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24135/tid=24143] ppid=24133 vsize=915764 CPUtime=0
/proc/24135/task/24143/stat : 24143 (java) S 24133 24135 23900 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156366775 937742336 16909 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.27
Current children cumulated vsize (KiB) 915764

[startup+51.1669 s]
/proc/loadavg: 1.81 1.84 1.88 3/100 24143
/proc/meminfo: memFree=1041128/2055920 swapFree=4192812/4192956
[pid=24135] ppid=24133 vsize=915764 CPUtime=50.66
/proc/24135/stat : 24135 (java) R 24133 24135 23900 0 -1 0 17175 0 1 0 5046 20 0 0 25 0 8 0 156366767 937742336 16909 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073970054 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24135/statm: 228941 16909 2533 14 0 215411 0
[pid=24135/tid=24137] ppid=24133 vsize=915764 CPUtime=0.05
/proc/24135/task/24137/stat : 24137 (java) S 24133 24135 23900 0 -1 64 695 0 0 0 5 0 0 0 16 0 8 0 156366771 937742336 16909 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24135/tid=24138] ppid=24133 vsize=915764 CPUtime=0
/proc/24135/task/24138/stat : 24138 (java) S 24133 24135 23900 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156366771 937742336 16909 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24135/tid=24139] ppid=24133 vsize=915764 CPUtime=0
/proc/24135/task/24139/stat : 24139 (java) S 24133 24135 23900 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156366771 937742336 16909 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24135/tid=24140] ppid=24133 vsize=915764 CPUtime=0
/proc/24135/task/24140/stat : 24140 (java) S 24133 24135 23900 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156366775 937742336 16909 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24135/tid=24141] ppid=24133 vsize=915764 CPUtime=0.33
/proc/24135/task/24141/stat : 24141 (java) S 24133 24135 23900 0 -1 64 505 0 0 0 31 2 0 0 16 0 8 0 156366775 937742336 16909 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24135/tid=24142] ppid=24133 vsize=915764 CPUtime=0
/proc/24135/task/24142/stat : 24142 (java) S 24133 24135 23900 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156366775 937742336 16909 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24135/tid=24143] ppid=24133 vsize=915764 CPUtime=0
/proc/24135/task/24143/stat : 24143 (java) S 24133 24135 23900 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156366775 937742336 16909 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.66
Current children cumulated vsize (KiB) 915764

[startup+102.421 s]
/proc/loadavg: 1.97 1.88 1.89 3/100 24143
/proc/meminfo: memFree=1041128/2055920 swapFree=4192812/4192956
[pid=24135] ppid=24133 vsize=915764 CPUtime=101.46
/proc/24135/stat : 24135 (java) R 24133 24135 23900 0 -1 0 17175 0 1 0 10125 21 0 0 25 0 8 0 156366767 937742336 16909 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074014551 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24135/statm: 228941 16909 2533 14 0 215411 0
[pid=24135/tid=24137] ppid=24133 vsize=915764 CPUtime=0.05
/proc/24135/task/24137/stat : 24137 (java) S 24133 24135 23900 0 -1 64 695 0 0 0 5 0 0 0 16 0 8 0 156366771 937742336 16909 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24135/tid=24138] ppid=24133 vsize=915764 CPUtime=0
/proc/24135/task/24138/stat : 24138 (java) S 24133 24135 23900 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156366771 937742336 16909 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24135/tid=24139] ppid=24133 vsize=915764 CPUtime=0
/proc/24135/task/24139/stat : 24139 (java) S 24133 24135 23900 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156366771 937742336 16909 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24135/tid=24140] ppid=24133 vsize=915764 CPUtime=0
/proc/24135/task/24140/stat : 24140 (java) S 24133 24135 23900 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156366775 937742336 16909 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24135/tid=24141] ppid=24133 vsize=915764 CPUtime=0.33
/proc/24135/task/24141/stat : 24141 (java) S 24133 24135 23900 0 -1 64 505 0 0 0 31 2 0 0 16 0 8 0 156366775 937742336 16909 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24135/tid=24142] ppid=24133 vsize=915764 CPUtime=0
/proc/24135/task/24142/stat : 24142 (java) S 24133 24135 23900 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156366775 937742336 16909 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24135/tid=24143] ppid=24133 vsize=915764 CPUtime=0
/proc/24135/task/24143/stat : 24143 (java) S 24133 24135 23900 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156366775 937742336 16909 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.46
Current children cumulated vsize (KiB) 915764

[startup+162.426 s]
/proc/loadavg: 1.99 1.90 1.89 3/100 24143
/proc/meminfo: memFree=1041128/2055920 swapFree=4192812/4192956
[pid=24135] ppid=24133 vsize=915764 CPUtime=160.91
/proc/24135/stat : 24135 (java) R 24133 24135 23900 0 -1 0 17175 0 1 0 16070 21 0 0 25 0 8 0 156366767 937742336 16909 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072918484 0 4 0 23759 18446744073709551615 0 0 17 1 0 0

################
# More data... #
################

Current children cumulated CPU time (s) 1420.33
Current children cumulated vsize (KiB) 915764

[startup+1483.47 s]
/proc/loadavg: 1.02 1.07 1.32 2/88 27034
/proc/meminfo: memFree=1054792/2055920 swapFree=4192812/4192956
[pid=24135] ppid=24133 vsize=915764 CPUtime=1480.32
/proc/24135/stat : 24135 (java) R 24133 24135 23900 0 -1 0 17175 0 1 0 147960 72 0 0 25 0 8 0 156366767 937742336 16909 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074015374 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24135/statm: 228941 16909 2533 14 0 215411 0
[pid=24135/tid=24137] ppid=24133 vsize=915764 CPUtime=0.05
/proc/24135/task/24137/stat : 24137 (java) S 24133 24135 23900 0 -1 64 695 0 0 0 5 0 0 0 16 0 8 0 156366771 937742336 16909 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24135/tid=24138] ppid=24133 vsize=915764 CPUtime=0
/proc/24135/task/24138/stat : 24138 (java) S 24133 24135 23900 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156366771 937742336 16909 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24135/tid=24139] ppid=24133 vsize=915764 CPUtime=0
/proc/24135/task/24139/stat : 24139 (java) S 24133 24135 23900 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156366771 937742336 16909 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24135/tid=24140] ppid=24133 vsize=915764 CPUtime=0
/proc/24135/task/24140/stat : 24140 (java) S 24133 24135 23900 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156366775 937742336 16909 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24135/tid=24141] ppid=24133 vsize=915764 CPUtime=0.33
/proc/24135/task/24141/stat : 24141 (java) S 24133 24135 23900 0 -1 64 505 0 0 0 31 2 0 0 16 0 8 0 156366775 937742336 16909 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24135/tid=24142] ppid=24133 vsize=915764 CPUtime=0
/proc/24135/task/24142/stat : 24142 (java) S 24133 24135 23900 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156366775 937742336 16909 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24135/tid=24143] ppid=24133 vsize=915764 CPUtime=0
/proc/24135/task/24143/stat : 24143 (java) S 24133 24135 23900 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156366775 937742336 16909 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1480.32
Current children cumulated vsize (KiB) 915764

[startup+1543.52 s]
/proc/loadavg: 1.35 1.14 1.33 4/105 27115
/proc/meminfo: memFree=1005608/2055920 swapFree=4192812/4192956
[pid=24135] ppid=24133 vsize=915764 CPUtime=1540.29
/proc/24135/stat : 24135 (java) R 24133 24135 23900 0 -1 0 17175 0 1 0 153951 78 0 0 25 0 8 0 156366767 937742336 16909 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073971202 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24135/statm: 228941 16909 2533 14 0 215411 0
[pid=24135/tid=24137] ppid=24133 vsize=915764 CPUtime=0.05
/proc/24135/task/24137/stat : 24137 (java) S 24133 24135 23900 0 -1 64 695 0 0 0 5 0 0 0 16 0 8 0 156366771 937742336 16909 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24135/tid=24138] ppid=24133 vsize=915764 CPUtime=0
/proc/24135/task/24138/stat : 24138 (java) S 24133 24135 23900 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156366771 937742336 16909 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24135/tid=24139] ppid=24133 vsize=915764 CPUtime=0
/proc/24135/task/24139/stat : 24139 (java) S 24133 24135 23900 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156366771 937742336 16909 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24135/tid=24140] ppid=24133 vsize=915764 CPUtime=0
/proc/24135/task/24140/stat : 24140 (java) S 24133 24135 23900 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156366775 937742336 16909 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24135/tid=24141] ppid=24133 vsize=915764 CPUtime=0.33
/proc/24135/task/24141/stat : 24141 (java) S 24133 24135 23900 0 -1 64 505 0 0 0 31 2 0 0 16 0 8 0 156366775 937742336 16909 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24135/tid=24142] ppid=24133 vsize=915764 CPUtime=0
/proc/24135/task/24142/stat : 24142 (java) S 24133 24135 23900 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156366775 937742336 16909 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24135/tid=24143] ppid=24133 vsize=915764 CPUtime=0
/proc/24135/task/24143/stat : 24143 (java) S 24133 24135 23900 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156366775 937742336 16909 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1540.29
Current children cumulated vsize (KiB) 915764

[startup+1603.59 s]
/proc/loadavg: 1.82 1.31 1.37 3/106 27233
/proc/meminfo: memFree=1005488/2055920 swapFree=4192812/4192956
[pid=24135] ppid=24133 vsize=915764 CPUtime=1600.27
/proc/24135/stat : 24135 (java) R 24133 24135 23900 0 -1 0 17175 0 1 0 159938 89 0 0 25 0 8 0 156366767 937742336 16909 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073336182 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24135/statm: 228941 16909 2533 14 0 215411 0
[pid=24135/tid=24137] ppid=24133 vsize=915764 CPUtime=0.05
/proc/24135/task/24137/stat : 24137 (java) S 24133 24135 23900 0 -1 64 695 0 0 0 5 0 0 0 16 0 8 0 156366771 937742336 16909 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24135/tid=24138] ppid=24133 vsize=915764 CPUtime=0
/proc/24135/task/24138/stat : 24138 (java) S 24133 24135 23900 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156366771 937742336 16909 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24135/tid=24139] ppid=24133 vsize=915764 CPUtime=0
/proc/24135/task/24139/stat : 24139 (java) S 24133 24135 23900 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156366771 937742336 16909 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24135/tid=24140] ppid=24133 vsize=915764 CPUtime=0
/proc/24135/task/24140/stat : 24140 (java) S 24133 24135 23900 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156366775 937742336 16909 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24135/tid=24141] ppid=24133 vsize=915764 CPUtime=0.33
/proc/24135/task/24141/stat : 24141 (java) S 24133 24135 23900 0 -1 64 505 0 0 0 31 2 0 0 16 0 8 0 156366775 937742336 16909 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24135/tid=24142] ppid=24133 vsize=915764 CPUtime=0
/proc/24135/task/24142/stat : 24142 (java) S 24133 24135 23900 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156366775 937742336 16909 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24135/tid=24143] ppid=24133 vsize=915764 CPUtime=0
/proc/24135/task/24143/stat : 24143 (java) S 24133 24135 23900 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156366775 937742336 16909 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1600.27
Current children cumulated vsize (KiB) 915764

[startup+1663.64 s]
/proc/loadavg: 1.93 1.43 1.41 3/100 27279
/proc/meminfo: memFree=1006504/2055920 swapFree=4192812/4192956
[pid=24135] ppid=24133 vsize=915764 CPUtime=1660.27
/proc/24135/stat : 24135 (java) R 24133 24135 23900 0 -1 0 17175 0 1 0 165935 92 0 0 25 0 8 0 156366767 937742336 16909 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073978408 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24135/statm: 228941 16909 2533 14 0 215411 0
[pid=24135/tid=24137] ppid=24133 vsize=915764 CPUtime=0.05
/proc/24135/task/24137/stat : 24137 (java) S 24133 24135 23900 0 -1 64 695 0 0 0 5 0 0 0 16 0 8 0 156366771 937742336 16909 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24135/tid=24138] ppid=24133 vsize=915764 CPUtime=0
/proc/24135/task/24138/stat : 24138 (java) S 24133 24135 23900 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156366771 937742336 16909 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24135/tid=24139] ppid=24133 vsize=915764 CPUtime=0
/proc/24135/task/24139/stat : 24139 (java) S 24133 24135 23900 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156366771 937742336 16909 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24135/tid=24140] ppid=24133 vsize=915764 CPUtime=0
/proc/24135/task/24140/stat : 24140 (java) S 24133 24135 23900 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156366775 937742336 16909 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24135/tid=24141] ppid=24133 vsize=915764 CPUtime=0.33
/proc/24135/task/24141/stat : 24141 (java) S 24133 24135 23900 0 -1 64 505 0 0 0 31 2 0 0 16 0 8 0 156366775 937742336 16909 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24135/tid=24142] ppid=24133 vsize=915764 CPUtime=0
/proc/24135/task/24142/stat : 24142 (java) S 24133 24135 23900 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156366775 937742336 16909 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24135/tid=24143] ppid=24133 vsize=915764 CPUtime=0
/proc/24135/task/24143/stat : 24143 (java) S 24133 24135 23900 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156366775 937742336 16909 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1660.27
Current children cumulated vsize (KiB) 915764

[startup+1723.69 s]
/proc/loadavg: 1.97 1.53 1.44 3/100 27279
/proc/meminfo: memFree=1006504/2055920 swapFree=4192812/4192956
[pid=24135] ppid=24133 vsize=915764 CPUtime=1720.23
/proc/24135/stat : 24135 (java) R 24133 24135 23900 0 -1 0 17175 0 1 0 171931 92 0 0 25 0 8 0 156366767 937742336 16909 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073970054 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24135/statm: 228941 16909 2533 14 0 215411 0
[pid=24135/tid=24137] ppid=24133 vsize=915764 CPUtime=0.05
/proc/24135/task/24137/stat : 24137 (java) S 24133 24135 23900 0 -1 64 695 0 0 0 5 0 0 0 16 0 8 0 156366771 937742336 16909 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24135/tid=24138] ppid=24133 vsize=915764 CPUtime=0
/proc/24135/task/24138/stat : 24138 (java) S 24133 24135 23900 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156366771 937742336 16909 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24135/tid=24139] ppid=24133 vsize=915764 CPUtime=0
/proc/24135/task/24139/stat : 24139 (java) S 24133 24135 23900 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156366771 937742336 16909 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24135/tid=24140] ppid=24133 vsize=915764 CPUtime=0
/proc/24135/task/24140/stat : 24140 (java) S 24133 24135 23900 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156366775 937742336 16909 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24135/tid=24141] ppid=24133 vsize=915764 CPUtime=0.33
/proc/24135/task/24141/stat : 24141 (java) S 24133 24135 23900 0 -1 64 505 0 0 0 31 2 0 0 16 0 8 0 156366775 937742336 16909 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24135/tid=24142] ppid=24133 vsize=915764 CPUtime=0
/proc/24135/task/24142/stat : 24142 (java) S 24133 24135 23900 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156366775 937742336 16909 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24135/tid=24143] ppid=24133 vsize=915764 CPUtime=0
/proc/24135/task/24143/stat : 24143 (java) S 24133 24135 23900 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156366775 937742336 16909 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1720.23
Current children cumulated vsize (KiB) 915764

[startup+1783.73 s]
/proc/loadavg: 1.99 1.61 1.47 3/100 27279
/proc/meminfo: memFree=1006504/2055920 swapFree=4192812/4192956
[pid=24135] ppid=24133 vsize=915764 CPUtime=1780.21
/proc/24135/stat : 24135 (java) R 24133 24135 23900 0 -1 0 17175 0 1 0 177929 92 0 0 25 0 8 0 156366767 937742336 16909 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073977382 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24135/statm: 228941 16909 2533 14 0 215411 0
[pid=24135/tid=24137] ppid=24133 vsize=915764 CPUtime=0.05
/proc/24135/task/24137/stat : 24137 (java) S 24133 24135 23900 0 -1 64 695 0 0 0 5 0 0 0 16 0 8 0 156366771 937742336 16909 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24135/tid=24138] ppid=24133 vsize=915764 CPUtime=0
/proc/24135/task/24138/stat : 24138 (java) S 24133 24135 23900 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156366771 937742336 16909 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24135/tid=24139] ppid=24133 vsize=915764 CPUtime=0
/proc/24135/task/24139/stat : 24139 (java) S 24133 24135 23900 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156366771 937742336 16909 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24135/tid=24140] ppid=24133 vsize=915764 CPUtime=0
/proc/24135/task/24140/stat : 24140 (java) S 24133 24135 23900 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156366775 937742336 16909 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24135/tid=24141] ppid=24133 vsize=915764 CPUtime=0.33
/proc/24135/task/24141/stat : 24141 (java) S 24133 24135 23900 0 -1 64 505 0 0 0 31 2 0 0 16 0 8 0 156366775 937742336 16909 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24135/tid=24142] ppid=24133 vsize=915764 CPUtime=0
/proc/24135/task/24142/stat : 24142 (java) S 24133 24135 23900 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156366775 937742336 16909 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24135/tid=24143] ppid=24133 vsize=915764 CPUtime=0
/proc/24135/task/24143/stat : 24143 (java) S 24133 24135 23900 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156366775 937742336 16909 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1780.21
Current children cumulated vsize (KiB) 915764



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1803.69 s]
/proc/loadavg: 1.99 1.64 1.48 3/100 27279
/proc/meminfo: memFree=1006568/2055920 swapFree=4192812/4192956
[pid=24135] ppid=24133 vsize=915764 CPUtime=1800.08
/proc/24135/stat : 24135 (java) R 24133 24135 23900 0 -1 0 17175 0 1 0 179916 92 0 0 25 0 8 0 156366767 937742336 16909 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074036496 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24135/statm: 228941 16909 2533 14 0 215411 0
[pid=24135/tid=24137] ppid=24133 vsize=915764 CPUtime=0.05
/proc/24135/task/24137/stat : 24137 (java) S 24133 24135 23900 0 -1 64 695 0 0 0 5 0 0 0 16 0 8 0 156366771 937742336 16909 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24135/tid=24138] ppid=24133 vsize=915764 CPUtime=0
/proc/24135/task/24138/stat : 24138 (java) S 24133 24135 23900 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156366771 937742336 16909 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24135/tid=24139] ppid=24133 vsize=915764 CPUtime=0
/proc/24135/task/24139/stat : 24139 (java) S 24133 24135 23900 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156366771 937742336 16909 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24135/tid=24140] ppid=24133 vsize=915764 CPUtime=0
/proc/24135/task/24140/stat : 24140 (java) S 24133 24135 23900 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156366775 937742336 16909 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24135/tid=24141] ppid=24133 vsize=915764 CPUtime=0.33
/proc/24135/task/24141/stat : 24141 (java) S 24133 24135 23900 0 -1 64 505 0 0 0 31 2 0 0 16 0 8 0 156366775 937742336 16909 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24135/tid=24142] ppid=24133 vsize=915764 CPUtime=0
/proc/24135/task/24142/stat : 24142 (java) S 24133 24135 23900 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156366775 937742336 16909 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24135/tid=24143] ppid=24133 vsize=915764 CPUtime=0
/proc/24135/task/24143/stat : 24143 (java) S 24133 24135 23900 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156366775 937742336 16909 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 915764

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Child status: 143
Real time (s): 1803.74
CPU time (s): 1800.13
CPU user time (s): 1799.2
CPU system time (s): 0.932858
CPU usage (%): 99.7997
Max. virtual memory (cumulated for all children) (KiB): 915764

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.2
system time used= 0.932858
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17190
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= 37930
involuntary context switches= 61097

runsolver used 2.11568 s user time and 5.21521 s system time

The end

Launcher Data (download as text)

Begin job on node18 on Sat Jan  6 10:35:21 UTC 2007


IDJOB= 218788
IDBENCH= 5256
FILE ID= node18/218788-1168079719

PBS_JOBID= 3475843

Free space on /tmp= 66285 MiB

BENCH NAME= HOME/pub/bench/CPAI06/chessboardColoration/cc-10-10-3.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/218788-1168079719/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node18/watcher-218788-1168079719 -o ROOT/results/node18/solver-218788-1168079719 -C 1800 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/218788-1168079719/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  41d5b5560d62ba7898a114348faab5c0

RANDOM SEED= 82062706

TIME LIMIT= 1800 seconds

MEMORY LIMIT= 900 MiB


/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.231
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.231
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	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1099264 kB
Buffers:         70080 kB
Cached:         702332 kB
SwapCached:          0 kB
Active:         458140 kB
Inactive:       399696 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1099264 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            2180 kB
Writeback:           0 kB
Mapped:         114456 kB
Slab:            83612 kB
Committed_AS:  4853304 kB
PageTables:       2176 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66285 MiB



End job on node18 on Sat Jan  6 11:05:25 UTC 2007