Trace number 217797

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 ESAC? (TO) 1800.04 1813.79

General information on the benchmark

NamegolombRuler/golombRulerArity3/
ruler-70-13-a3.xml
MD5SUM867e5ac3974f1355ea650434b3018815
Bench CategoryN-ARY-INT (n-ary constraints in intension)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark971.281
SatisfiableNO
(Un)Satisfiability was proved
Number of variables91
Number of constraints3159
Maximum constraint arity3
Maximum domain size71
Number of constraints which are defined in extension0
Number of constraints which are defined in intension3159
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=esac.xml
0.35	   
0.35	   instance
0.35	     name=/tmp/evaluation/217797-1168248948/unknown.xml
0.38	   
0.38	   domains being loaded...
0.38	   
0.38	   variables being loaded...
0.43	     nbVariables=91  nbDomainTypes=2  minDomainSize=70  maxDomainSize=71
0.43	       =>  wckTime=0.113  cpuTime=0.09  mem=6M951
0.43	   
0.43	   predicates being loaded...
0.43	   
0.43	   constraints being loaded...
1.03	     nbConstraints=3159  nbConvertedConstraints=3081  nbConvertConstraintsChecks=9941  nbExtensionStructures=2
1.03	     nbSharedExtensionStructures=3079  nbConflictsStructures=2  nbSharedConflictsStructures=3079
1.03	     nbUnbuiltConflictsStructures=1  nbSharedBinaryRepresentations=72  nbEvaluationManagers=1
1.03	     nbSharedEvaluationManagers=77  maxDegree=78  maxArity=3
1.03	       =>  wckTime=0.718  cpuTime=0.56  mem=18M654
1.09	   
1.09	   solver IterativeSystematicSolver being built... 
1.28	       =>  wckTime=0.962  cpuTime=0.72  mem=17M8
46.00	   
46.00	   INFO : Stopping ESAC
46.01	   
46.01	   preprocessing
46.01	     nbConstraintChecks=148892036  nbValidityChecks=2154351  nbPropagations=7809  nbRevisions=93389
46.01	     nbUselessRevisions=63956  nbSingletonTests=113  nbEffectiveSingletonTests=3  nbESACBranches=37  nbRemovedValues=731
46.01	     detectedInconsistency=no
46.01	       =>  wckTime=44.725  cpuTime=44.27  mem=17M8
51.51	   
51.51	   search
51.51	     run=0  nbConstraintChecks=18173961  nbValidityChecks=631220  nbPropagations=12113  nbRevisions=141303
51.51	     nbUselessRevisions=98743  nbAssignments=45  nbFailedAssignments=30  nbBacktracks=10  nbVisitedNodes=86
51.51	     nbRestartNogoods=0  mapSize=10  nbInferences=0  nbTooLargeKeys=0
51.51	       =>  wckTime=50.231  cpuTime=49.72  mem=17M8
71.57	   
71.57	   search
71.57	     run=1  nbConstraintChecks=85944555  nbValidityChecks=2082150  nbPropagations=31788  nbRevisions=361194
71.57	     nbUselessRevisions=254641  nbAssignments=122  nbFailedAssignments=52  nbBacktracks=25  nbVisitedNodes=164
71.57	     nbRestartNogoods=9  mapSize=25  nbInferences=0  nbTooLargeKeys=0
71.57	       =>  wckTime=70.29  cpuTime=69.59  mem=17M8
77.13	   
77.13	   search
77.14	     run=2  nbConstraintChecks=104112020  nbValidityChecks=3040151  nbPropagations=58863  nbRevisions=660880
77.14	     nbUselessRevisions=467739  nbAssignments=197  nbFailedAssignments=99  nbBacktracks=48  nbVisitedNodes=309
77.14	     nbRestartNogoods=17  mapSize=48  nbInferences=0  nbTooLargeKeys=0
77.14	       =>  wckTime=75.854  cpuTime=75.11  mem=17M8
97.40	   
97.40	   search
97.40	     run=3  nbConstraintChecks=170902674  nbValidityChecks=5550076  nbPropagations=111038  nbRevisions=1201975
97.40	     nbUselessRevisions=852809  nbAssignments=448  nbFailedAssignments=287  nbBacktracks=83  nbVisitedNodes=754
97.40	     nbRestartNogoods=28  mapSize=80  nbInferences=0  nbTooLargeKeys=0
97.40	       =>  wckTime=96.122  cpuTime=95.18  mem=17M8
104.52	   
104.52	   search
104.52	     run=4  nbConstraintChecks=194731826  nbValidityChecks=6172513  nbPropagations=168204  nbRevisions=1784790
104.52	     nbUselessRevisions=1266164  nbAssignments=543  nbFailedAssignments=321  nbBacktracks=135  nbVisitedNodes=889
104.52	     nbRestartNogoods=32  mapSize=98  nbInferences=0  nbTooLargeKeys=0
104.52	       =>  wckTime=103.238  cpuTime=102.23  mem=17M8
110.89	   
110.89	   search
110.89	     run=5  nbConstraintChecks=215937455  nbValidityChecks=7083470  nbPropagations=233478  nbRevisions=2449844
110.89	     nbUselessRevisions=1733274  nbAssignments=675  nbFailedAssignments=374  nbBacktracks=210  nbVisitedNodes=1092
110.89	     nbRestartNogoods=39  mapSize=125  nbInferences=0  nbTooLargeKeys=0
110.89	       =>  wckTime=109.608  cpuTime=108.54  mem=17M983
120.00	   
120.00	   search
120.00	     run=6  nbConstraintChecks=245632307  nbValidityChecks=8396867  nbPropagations=315641  nbRevisions=3285436
120.00	     nbUselessRevisions=2323847  nbAssignments=966  nbFailedAssignments=537  nbBacktracks=324  nbVisitedNodes=1601
120.00	     nbRestartNogoods=46  mapSize=189  nbInferences=0  nbTooLargeKeys=0
120.00	       =>  wckTime=118.719  cpuTime=117.56  mem=17M983
142.80	   
142.80	   search
142.80	     run=7  nbConstraintChecks=323694344  nbValidityChecks=10307816  nbPropagations=410796  nbRevisions=4242711
142.80	     nbUselessRevisions=2998637  nbAssignments=1262  nbFailedAssignments=602  nbBacktracks=494  nbVisitedNodes=1944
142.80	     nbRestartNogoods=59  mapSize=231  nbInferences=0  nbTooLargeKeys=0
142.80	       =>  wckTime=141.519  cpuTime=140.15  mem=17M983
155.27	   
155.27	   search
155.27	     run=8  nbConstraintChecks=364462465  nbValidityChecks=11807495  nbPropagations=528412  nbRevisions=5383365
155.27	     nbUselessRevisions=3798532  nbAssignments=1718  nbFailedAssignments=783  nbBacktracks=752  nbVisitedNodes=2653
155.27	     nbRestartNogoods=74  mapSize=333  nbInferences=0  nbTooLargeKeys=0
155.27	       =>  wckTime=153.991  cpuTime=152.49  mem=17M983
170.35	   
170.35	   search
170.35	     run=9  nbConstraintChecks=413723867  nbValidityChecks=13869265  nbPropagations=676563  nbRevisions=6822718
170.35	     nbUselessRevisions=4802066  nbAssignments=2423  nbFailedAssignments=1076  nbBacktracks=1137  nbVisitedNodes=3763
170.35	     nbRestartNogoods=95  mapSize=474  nbInferences=0  nbTooLargeKeys=0
170.35	       =>  wckTime=169.069  cpuTime=167.43  mem=17M983
190.23	   
190.23	   search
190.23	     run=10  nbConstraintChecks=477588394  nbValidityChecks=16703033  nbPropagations=878502  nbRevisions=8724271
190.23	     nbUselessRevisions=6128707  nbAssignments=3504  nbFailedAssignments=1555  nbBacktracks=1717  nbVisitedNodes=5501
190.23	     nbRestartNogoods=116  mapSize=701  nbInferences=0  nbTooLargeKeys=0
190.23	       =>  wckTime=188.946  cpuTime=187.1  mem=18M959
233.25	   
233.25	   INFO : Stopping hyperNogood (mapSize=1004, nbTooLargekeys=0, mem=19M934)
248.84	   
248.84	   search
248.84	     run=11  nbConstraintChecks=675415283  nbValidityChecks=24011994  nbPropagations=1153934  nbRevisions=11402615
248.84	     nbUselessRevisions=7956458  nbAssignments=4996  nbFailedAssignments=2164  nbBacktracks=2581  nbVisitedNodes=7975
248.84	     nbRestartNogoods=139
248.84	       =>  wckTime=247.564  cpuTime=245.18  mem=19M934
275.18	   
275.18	   search
275.18	     run=12  nbConstraintChecks=759758451  nbValidityChecks=28761560  nbPropagations=1532989  nbRevisions=14991615
275.18	     nbUselessRevisions=10419341  nbAssignments=7149  nbFailedAssignments=3009  nbBacktracks=3884  nbVisitedNodes=11464
275.18	     nbRestartNogoods=147
275.18	       =>  wckTime=273.904  cpuTime=271.28  mem=19M934
330.55	   
330.55	   search
330.55	     run=13  nbConstraintChecks=942047377  nbValidityChecks=36350623  nbPropagations=2035625  nbRevisions=19692934
330.55	     nbUselessRevisions=13597737  nbAssignments=10053  nbFailedAssignments=3960  nbBacktracks=5833  nbVisitedNodes=15859
330.55	     nbRestartNogoods=159
330.55	       =>  wckTime=329.271  cpuTime=326.03  mem=19M934
418.67	   
418.68	   search
418.68	     run=14  nbConstraintChecks=1233614478  nbValidityChecks=50593291  nbPropagations=2785802  nbRevisions=26814490
418.68	     nbUselessRevisions=18347643  nbAssignments=14974  nbFailedAssignments=5957  nbBacktracks=8756  nbVisitedNodes=24016
418.68	     nbRestartNogoods=164
418.68	       =>  wckTime=417.395  cpuTime=413.34  mem=19M934
535.85	   
535.85	   search
535.85	     run=15  nbConstraintChecks=1622129266  nbValidityChecks=76206882  nbPropagations=4034075  nbRevisions=39843273
535.85	     nbUselessRevisions=27123245  nbAssignments=24492  nbFailedAssignments=11093  nbBacktracks=13137
535.85	     nbVisitedNodes=41319  nbRestartNogoods=164
535.85	       =>  wckTime=534.57  cpuTime=529.37  mem=19M934
628.15	   
628.15	   search
628.15	     run=16  nbConstraintChecks=1895756995  nbValidityChecks=104769881  nbPropagations=6183427  nbRevisions=63692688
628.15	     nbUselessRevisions=43769545  nbAssignments=41751  nbFailedAssignments=21776  nbBacktracks=19707
628.15	     nbVisitedNodes=72996  nbRestartNogoods=167
628.15	       =>  wckTime=626.869  cpuTime=620.81  mem=19M934
831.85	   
831.85	   search
831.85	     run=17  nbConstraintChecks=2563693602  nbValidityChecks=158382201  nbPropagations=9648382  nbRevisions=102912352
831.85	     nbUselessRevisions=71268062  nbAssignments=65336  nbFailedAssignments=35501  nbBacktracks=29559
831.85	     nbVisitedNodes=116531  nbRestartNogoods=186
831.85	       =>  wckTime=830.567  cpuTime=822.56  mem=19M934
1080.08	   
1080.08	   search
1080.08	     run=18  nbConstraintChecks=3315088936  nbValidityChecks=232883499  nbPropagations=15382003  nbRevisions=168777617
1080.08	     nbUselessRevisions=118320717  nbAssignments=105182  nbFailedAssignments=60556  nbBacktracks=44337
1080.08	     nbVisitedNodes=191324  nbRestartNogoods=209
1080.08	       =>  wckTime=1078.798  cpuTime=1068.6  mem=19M934
1429.02	   
1429.02	   search
1429.02	     run=19  nbConstraintChecks=4401335163  nbValidityChecks=337227174  nbPropagations=24262877  nbRevisions=271714546
1429.02	     nbUselessRevisions=192248122  nbAssignments=161837  nbFailedAssignments=95036  nbBacktracks=66506
1429.02	     nbVisitedNodes=296029  nbRestartNogoods=228
1429.02	       =>  wckTime=1427.742  cpuTime=1415.9  mem=19M934

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/node59/watcher-217797-1168248948 -o ROOT/results/node59/solver-217797-1168248948 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/217797-1168248948/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.59 1.83 1.94 4/82 5985
/proc/meminfo: memFree=1696528/2055920 swapFree=4192812/4192956
[pid=5984] ppid=5982 vsize=1784 CPUtime=0
/proc/5984/stat : 5984 (java) R 5982 5984 5300 0 -1 0 169 0 0 0 0 0 0 0 19 0 1 0 173292706 1826816 140 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 4294960144 0 2147483391 4096 0 0 0 0 17 1 0 0
/proc/5984/statm: 446 140 106 14 0 91 0

[startup+0.107987 s]
/proc/loadavg: 1.59 1.83 1.94 4/82 5985
/proc/meminfo: memFree=1696528/2055920 swapFree=4192812/4192956
[pid=5984] ppid=5982 vsize=914988 CPUtime=0.08
/proc/5984/stat : 5984 (java) R 5982 5984 5300 0 -1 0 3005 0 1 0 7 1 0 0 17 0 8 0 173292706 936947712 2751 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155060390 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5984/statm: 228747 2751 1430 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988

[startup+0.51603 s]
/proc/loadavg: 1.59 1.83 1.94 4/82 5985
/proc/meminfo: memFree=1696528/2055920 swapFree=4192812/4192956
[pid=5984] ppid=5982 vsize=915328 CPUtime=0.49
/proc/5984/stat : 5984 (java) S 5982 5984 5300 0 -1 0 6386 0 1 0 45 4 0 0 18 0 8 0 173292706 937295872 6125 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5984/statm: 228832 6125 2145 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328

[startup+1.33712 s]
/proc/loadavg: 1.63 1.83 1.94 3/89 5992
/proc/meminfo: memFree=1667416/2055920 swapFree=4192812/4192956
[pid=5984] ppid=5982 vsize=915764 CPUtime=1.3
/proc/5984/stat : 5984 (java) R 5982 5984 5300 0 -1 0 10089 0 1 0 111 19 0 0 20 0 8 0 173292706 937742336 9827 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073966259 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5984/statm: 228941 9827 2540 14 0 215411 0
[pid=5984/tid=5986] ppid=5982 vsize=915764 CPUtime=0.04
/proc/5984/task/5986/stat : 5986 (java) S 5982 5984 5300 0 -1 64 523 0 0 0 4 0 0 0 17 0 8 0 173292710 937742336 9827 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5984/tid=5987] ppid=5982 vsize=915764 CPUtime=0
/proc/5984/task/5987/stat : 5987 (java) S 5982 5984 5300 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 173292711 937742336 9827 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5984/tid=5988] ppid=5982 vsize=915764 CPUtime=0
/proc/5984/task/5988/stat : 5988 (java) S 5982 5984 5300 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 173292711 937742336 9827 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5984/tid=5989] ppid=5982 vsize=915764 CPUtime=0
/proc/5984/task/5989/stat : 5989 (java) S 5982 5984 5300 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 173292714 937742336 9827 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5984/tid=5990] ppid=5982 vsize=915764 CPUtime=0.23
/proc/5984/task/5990/stat : 5990 (java) S 5982 5984 5300 0 -1 64 457 0 0 0 22 1 0 0 16 0 8 0 173292714 937742336 9827 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5984/tid=5991] ppid=5982 vsize=915764 CPUtime=0
/proc/5984/task/5991/stat : 5991 (java) S 5982 5984 5300 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 173292714 937742336 9827 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5984/tid=5992] ppid=5982 vsize=915764 CPUtime=0
/proc/5984/task/5992/stat : 5992 (java) S 5982 5984 5300 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 173292714 937742336 9827 18446744073709551615 134512640 134570532 4294956480 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.9743 s]
/proc/loadavg: 1.63 1.83 1.94 3/89 5992
/proc/meminfo: memFree=1667096/2055920 swapFree=4192812/4192956
[pid=5984] ppid=5982 vsize=915764 CPUtime=2.93
/proc/5984/stat : 5984 (java) R 5982 5984 5300 0 -1 0 10097 0 1 0 274 19 0 0 25 0 8 0 173292706 937742336 9834 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073966180 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5984/statm: 228941 9834 2540 14 0 215411 0
[pid=5984/tid=5986] ppid=5982 vsize=915764 CPUtime=0.04
/proc/5984/task/5986/stat : 5986 (java) S 5982 5984 5300 0 -1 64 523 0 0 0 4 0 0 0 17 0 8 0 173292710 937742336 9834 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5984/tid=5987] ppid=5982 vsize=915764 CPUtime=0
/proc/5984/task/5987/stat : 5987 (java) S 5982 5984 5300 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 173292711 937742336 9834 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5984/tid=5988] ppid=5982 vsize=915764 CPUtime=0
/proc/5984/task/5988/stat : 5988 (java) S 5982 5984 5300 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 173292711 937742336 9834 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5984/tid=5989] ppid=5982 vsize=915764 CPUtime=0
/proc/5984/task/5989/stat : 5989 (java) S 5982 5984 5300 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 173292714 937742336 9834 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5984/tid=5990] ppid=5982 vsize=915764 CPUtime=0.24
/proc/5984/task/5990/stat : 5990 (java) S 5982 5984 5300 0 -1 64 464 0 0 0 23 1 0 0 16 0 8 0 173292714 937742336 9834 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5984/tid=5991] ppid=5982 vsize=915764 CPUtime=0
/proc/5984/task/5991/stat : 5991 (java) S 5982 5984 5300 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 173292714 937742336 9834 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5984/tid=5992] ppid=5982 vsize=915764 CPUtime=0
/proc/5984/task/5992/stat : 5992 (java) S 5982 5984 5300 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 173292714 937742336 9834 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 915764

[startup+6.26666 s]
/proc/loadavg: 1.63 1.83 1.94 3/89 5992
/proc/meminfo: memFree=1667040/2055920 swapFree=4192812/4192956
[pid=5984] ppid=5982 vsize=915764 CPUtime=6.2
/proc/5984/stat : 5984 (java) R 5982 5984 5300 0 -1 0 10101 0 1 0 600 20 0 0 25 0 8 0 173292706 937742336 9838 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073784416 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5984/statm: 228941 9838 2540 14 0 215411 0
[pid=5984/tid=5986] ppid=5982 vsize=915764 CPUtime=0.04
/proc/5984/task/5986/stat : 5986 (java) S 5982 5984 5300 0 -1 64 523 0 0 0 4 0 0 0 17 0 8 0 173292710 937742336 9838 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5984/tid=5987] ppid=5982 vsize=915764 CPUtime=0
/proc/5984/task/5987/stat : 5987 (java) S 5982 5984 5300 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 173292711 937742336 9838 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5984/tid=5988] ppid=5982 vsize=915764 CPUtime=0
/proc/5984/task/5988/stat : 5988 (java) S 5982 5984 5300 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 173292711 937742336 9838 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5984/tid=5989] ppid=5982 vsize=915764 CPUtime=0
/proc/5984/task/5989/stat : 5989 (java) S 5982 5984 5300 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 173292714 937742336 9838 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5984/tid=5990] ppid=5982 vsize=915764 CPUtime=0.25
/proc/5984/task/5990/stat : 5990 (java) S 5982 5984 5300 0 -1 64 468 0 0 0 24 1 0 0 16 0 8 0 173292714 937742336 9838 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5984/tid=5991] ppid=5982 vsize=915764 CPUtime=0
/proc/5984/task/5991/stat : 5991 (java) S 5982 5984 5300 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 173292714 937742336 9838 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5984/tid=5992] ppid=5982 vsize=915764 CPUtime=0
/proc/5984/task/5992/stat : 5992 (java) S 5982 5984 5300 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 173292714 937742336 9838 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 915764

[startup+12.7414 s]
/proc/loadavg: 1.68 1.84 1.94 3/89 5992
/proc/meminfo: memFree=1667056/2055920 swapFree=4192812/4192956
[pid=5984] ppid=5982 vsize=915764 CPUtime=12.61
/proc/5984/stat : 5984 (java) R 5982 5984 5300 0 -1 0 10116 0 1 0 1241 20 0 0 25 0 8 0 173292706 937742336 9847 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073977277 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5984/statm: 228941 9847 2542 14 0 215411 0
[pid=5984/tid=5986] ppid=5982 vsize=915764 CPUtime=0.04
/proc/5984/task/5986/stat : 5986 (java) S 5982 5984 5300 0 -1 64 523 0 0 0 4 0 0 0 17 0 8 0 173292710 937742336 9847 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5984/tid=5987] ppid=5982 vsize=915764 CPUtime=0
/proc/5984/task/5987/stat : 5987 (java) S 5982 5984 5300 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 173292711 937742336 9847 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5984/tid=5988] ppid=5982 vsize=915764 CPUtime=0
/proc/5984/task/5988/stat : 5988 (java) S 5982 5984 5300 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 173292711 937742336 9847 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5984/tid=5989] ppid=5982 vsize=915764 CPUtime=0
/proc/5984/task/5989/stat : 5989 (java) S 5982 5984 5300 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 173292714 937742336 9847 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5984/tid=5990] ppid=5982 vsize=915764 CPUtime=0.26
/proc/5984/task/5990/stat : 5990 (java) S 5982 5984 5300 0 -1 64 478 0 0 0 25 1 0 0 16 0 8 0 173292714 937742336 9847 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5984/tid=5991] ppid=5982 vsize=915764 CPUtime=0
/proc/5984/task/5991/stat : 5991 (java) S 5982 5984 5300 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 173292714 937742336 9847 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5984/tid=5992] ppid=5982 vsize=915764 CPUtime=0
/proc/5984/task/5992/stat : 5992 (java) S 5982 5984 5300 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 173292714 937742336 9847 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 915764

[startup+25.6128 s]
/proc/loadavg: 1.73 1.84 1.94 3/89 5992
/proc/meminfo: memFree=1667248/2055920 swapFree=4192812/4192956
[pid=5984] ppid=5982 vsize=915764 CPUtime=25.36
/proc/5984/stat : 5984 (java) R 5982 5984 5300 0 -1 0 10121 0 1 0 2516 20 0 0 25 0 8 0 173292706 937742336 9849 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073970350 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5984/statm: 228941 9849 2542 14 0 215411 0
[pid=5984/tid=5986] ppid=5982 vsize=915764 CPUtime=0.04
/proc/5984/task/5986/stat : 5986 (java) S 5982 5984 5300 0 -1 64 523 0 0 0 4 0 0 0 16 0 8 0 173292710 937742336 9849 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5984/tid=5987] ppid=5982 vsize=915764 CPUtime=0
/proc/5984/task/5987/stat : 5987 (java) S 5982 5984 5300 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 173292711 937742336 9849 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5984/tid=5988] ppid=5982 vsize=915764 CPUtime=0
/proc/5984/task/5988/stat : 5988 (java) S 5982 5984 5300 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 173292711 937742336 9849 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5984/tid=5989] ppid=5982 vsize=915764 CPUtime=0
/proc/5984/task/5989/stat : 5989 (java) S 5982 5984 5300 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 173292714 937742336 9849 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5984/tid=5990] ppid=5982 vsize=915764 CPUtime=0.27
/proc/5984/task/5990/stat : 5990 (java) S 5982 5984 5300 0 -1 64 479 0 0 0 26 1 0 0 16 0 8 0 173292714 937742336 9849 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5984/tid=5991] ppid=5982 vsize=915764 CPUtime=0
/proc/5984/task/5991/stat : 5991 (java) S 5982 5984 5300 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 173292714 937742336 9849 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5984/tid=5992] ppid=5982 vsize=915764 CPUtime=0
/proc/5984/task/5992/stat : 5992 (java) S 5982 5984 5300 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 173292714 937742336 9849 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.36
Current children cumulated vsize (KiB) 915764

[startup+51.2186 s]
/proc/loadavg: 1.84 1.86 1.94 3/89 5992
/proc/meminfo: memFree=1667312/2055920 swapFree=4192812/4192956
[pid=5984] ppid=5982 vsize=915764 CPUtime=50.74
/proc/5984/stat : 5984 (java) R 5982 5984 5300 0 -1 0 10128 0 1 0 5053 21 0 0 25 0 8 0 173292706 937742336 9854 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073971240 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5984/statm: 228941 9854 2543 14 0 215411 0
[pid=5984/tid=5986] ppid=5982 vsize=915764 CPUtime=0.04
/proc/5984/task/5986/stat : 5986 (java) S 5982 5984 5300 0 -1 64 523 0 0 0 4 0 0 0 16 0 8 0 173292710 937742336 9854 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5984/tid=5987] ppid=5982 vsize=915764 CPUtime=0
/proc/5984/task/5987/stat : 5987 (java) S 5982 5984 5300 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 173292711 937742336 9854 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5984/tid=5988] ppid=5982 vsize=915764 CPUtime=0
/proc/5984/task/5988/stat : 5988 (java) S 5982 5984 5300 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 173292711 937742336 9854 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5984/tid=5989] ppid=5982 vsize=915764 CPUtime=0
/proc/5984/task/5989/stat : 5989 (java) S 5982 5984 5300 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 173292714 937742336 9854 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5984/tid=5990] ppid=5982 vsize=915764 CPUtime=0.27
/proc/5984/task/5990/stat : 5990 (java) S 5982 5984 5300 0 -1 64 482 0 0 0 26 1 0 0 16 0 8 0 173292714 937742336 9854 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5984/tid=5991] ppid=5982 vsize=915764 CPUtime=0
/proc/5984/task/5991/stat : 5991 (java) S 5982 5984 5300 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 173292714 937742336 9854 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5984/tid=5992] ppid=5982 vsize=915764 CPUtime=0
/proc/5984/task/5992/stat : 5992 (java) S 5982 5984 5300 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 173292714 937742336 9854 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.74
Current children cumulated vsize (KiB) 915764

[startup+102.433 s]
/proc/loadavg: 1.93 1.88 1.94 3/89 5992
/proc/meminfo: memFree=1667248/2055920 swapFree=4192812/4192956
[pid=5984] ppid=5982 vsize=915764 CPUtime=101.48
/proc/5984/stat : 5984 (java) R 5982 5984 5300 0 -1 0 10137 0 1 0 10127 21 0 0 25 0 8 0 173292706 937742336 9860 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073784423 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5984/statm: 228941 9860 2543 14 0 215411 0
[pid=5984/tid=5986] ppid=5982 vsize=915764 CPUtime=0.04
/proc/5984/task/5986/stat : 5986 (java) S 5982 5984 5300 0 -1 64 523 0 0 0 4 0 0 0 16 0 8 0 173292710 937742336 9860 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5984/tid=5987] ppid=5982 vsize=915764 CPUtime=0
/proc/5984/task/5987/stat : 5987 (java) S 5982 5984 5300 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 173292711 937742336 9860 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5984/tid=5988] ppid=5982 vsize=915764 CPUtime=0
/proc/5984/task/5988/stat : 5988 (java) S 5982 5984 5300 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 173292711 937742336 9860 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5984/tid=5989] ppid=5982 vsize=915764 CPUtime=0
/proc/5984/task/5989/stat : 5989 (java) S 5982 5984 5300 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 173292714 937742336 9860 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5984/tid=5990] ppid=5982 vsize=915764 CPUtime=0.29
/proc/5984/task/5990/stat : 5990 (java) S 5982 5984 5300 0 -1 64 489 0 0 0 27 2 0 0 15 0 8 0 173292714 937742336 9860 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5984/tid=5991] ppid=5982 vsize=915764 CPUtime=0
/proc/5984/task/5991/stat : 5991 (java) S 5982 5984 5300 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 173292714 937742336 9860 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5984/tid=5992] ppid=5982 vsize=915764 CPUtime=0
/proc/5984/task/5992/stat : 5992 (java) S 5982 5984 5300 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 173292714 937742336 9860 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.48
Current children cumulated vsize (KiB) 915764

[startup+162.506 s]
/proc/loadavg: 2.13 1.94 1.95 3/89 5992
/proc/meminfo: memFree=1667120/2055920 swapFree=4192812/4192956
[pid=5984] ppid=5982 vsize=915764 CPUtime=161
/proc/5984/stat : 5984 (java) R 5982 5984 5300 0 -1 0 10155 0 1 0 16079 21 0 0 25 0 8 0 173292706 937742336 9871 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074002599 0 4 0 23759 18446744073709551615 0 0 17 1 0 0

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

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

[startup+1484.25 s]
/proc/loadavg: 2.00 2.00 1.99 3/89 5992
/proc/meminfo: memFree=1606448/2055920 swapFree=4192812/4192956
[pid=5984] ppid=5982 vsize=915764 CPUtime=1472.23
/proc/5984/stat : 5984 (java) R 5982 5984 5300 0 -1 0 10168 0 1 0 147198 25 0 0 25 0 8 0 173292706 937742336 9877 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073479184 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5984/statm: 228941 9877 2543 14 0 215411 0
[pid=5984/tid=5986] ppid=5982 vsize=915764 CPUtime=0.04
/proc/5984/task/5986/stat : 5986 (java) S 5982 5984 5300 0 -1 64 523 0 0 0 4 0 0 0 16 0 8 0 173292710 937742336 9877 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5984/tid=5987] ppid=5982 vsize=915764 CPUtime=0
/proc/5984/task/5987/stat : 5987 (java) S 5982 5984 5300 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 173292711 937742336 9877 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5984/tid=5988] ppid=5982 vsize=915764 CPUtime=0
/proc/5984/task/5988/stat : 5988 (java) S 5982 5984 5300 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 173292711 937742336 9877 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5984/tid=5989] ppid=5982 vsize=915764 CPUtime=0
/proc/5984/task/5989/stat : 5989 (java) S 5982 5984 5300 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 173292714 937742336 9877 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5984/tid=5990] ppid=5982 vsize=915764 CPUtime=0.34
/proc/5984/task/5990/stat : 5990 (java) S 5982 5984 5300 0 -1 64 507 0 0 0 32 2 0 0 16 0 8 0 173292714 937742336 9877 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5984/tid=5991] ppid=5982 vsize=915764 CPUtime=0
/proc/5984/task/5991/stat : 5991 (java) S 5982 5984 5300 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 173292714 937742336 9877 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5984/tid=5992] ppid=5982 vsize=915764 CPUtime=0
/proc/5984/task/5992/stat : 5992 (java) S 5982 5984 5300 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 173292714 937742336 9877 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1472.23
Current children cumulated vsize (KiB) 915764

[startup+1544.26 s]
/proc/loadavg: 2.00 2.00 1.99 3/95 6108
/proc/meminfo: memFree=1604800/2055920 swapFree=4192812/4192956
[pid=5984] ppid=5982 vsize=915764 CPUtime=1531.84
/proc/5984/stat : 5984 (java) R 5982 5984 5300 0 -1 0 10168 0 1 0 153159 25 0 0 25 0 8 0 173292706 937742336 9877 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073479187 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5984/statm: 228941 9877 2543 14 0 215411 0
[pid=5984/tid=5986] ppid=5982 vsize=915764 CPUtime=0.04
/proc/5984/task/5986/stat : 5986 (java) S 5982 5984 5300 0 -1 64 523 0 0 0 4 0 0 0 16 0 8 0 173292710 937742336 9877 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5984/tid=5987] ppid=5982 vsize=915764 CPUtime=0
/proc/5984/task/5987/stat : 5987 (java) S 5982 5984 5300 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 173292711 937742336 9877 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5984/tid=5988] ppid=5982 vsize=915764 CPUtime=0
/proc/5984/task/5988/stat : 5988 (java) S 5982 5984 5300 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 173292711 937742336 9877 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5984/tid=5989] ppid=5982 vsize=915764 CPUtime=0
/proc/5984/task/5989/stat : 5989 (java) S 5982 5984 5300 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 173292714 937742336 9877 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5984/tid=5990] ppid=5982 vsize=915764 CPUtime=0.34
/proc/5984/task/5990/stat : 5990 (java) S 5982 5984 5300 0 -1 64 507 0 0 0 32 2 0 0 16 0 8 0 173292714 937742336 9877 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5984/tid=5991] ppid=5982 vsize=915764 CPUtime=0
/proc/5984/task/5991/stat : 5991 (java) S 5982 5984 5300 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 173292714 937742336 9877 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5984/tid=5992] ppid=5982 vsize=915764 CPUtime=0
/proc/5984/task/5992/stat : 5992 (java) S 5982 5984 5300 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 173292714 937742336 9877 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1531.84
Current children cumulated vsize (KiB) 915764

[startup+1604.29 s]
/proc/loadavg: 2.00 2.00 1.99 3/95 6168
/proc/meminfo: memFree=1604800/2055920 swapFree=4192812/4192956
[pid=5984] ppid=5982 vsize=915764 CPUtime=1591.5
/proc/5984/stat : 5984 (java) R 5982 5984 5300 0 -1 0 10168 0 1 0 159125 25 0 0 25 0 8 0 173292706 937742336 9877 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074001996 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5984/statm: 228941 9877 2543 14 0 215411 0
[pid=5984/tid=5986] ppid=5982 vsize=915764 CPUtime=0.04
/proc/5984/task/5986/stat : 5986 (java) S 5982 5984 5300 0 -1 64 523 0 0 0 4 0 0 0 16 0 8 0 173292710 937742336 9877 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5984/tid=5987] ppid=5982 vsize=915764 CPUtime=0
/proc/5984/task/5987/stat : 5987 (java) S 5982 5984 5300 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 173292711 937742336 9877 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5984/tid=5988] ppid=5982 vsize=915764 CPUtime=0
/proc/5984/task/5988/stat : 5988 (java) S 5982 5984 5300 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 173292711 937742336 9877 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5984/tid=5989] ppid=5982 vsize=915764 CPUtime=0
/proc/5984/task/5989/stat : 5989 (java) S 5982 5984 5300 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 173292714 937742336 9877 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5984/tid=5990] ppid=5982 vsize=915764 CPUtime=0.34
/proc/5984/task/5990/stat : 5990 (java) S 5982 5984 5300 0 -1 64 507 0 0 0 32 2 0 0 16 0 8 0 173292714 937742336 9877 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5984/tid=5991] ppid=5982 vsize=915764 CPUtime=0
/proc/5984/task/5991/stat : 5991 (java) S 5982 5984 5300 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 173292714 937742336 9877 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5984/tid=5992] ppid=5982 vsize=915764 CPUtime=0
/proc/5984/task/5992/stat : 5992 (java) S 5982 5984 5300 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 173292714 937742336 9877 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1591.5
Current children cumulated vsize (KiB) 915764

[startup+1664.39 s]
/proc/loadavg: 2.00 2.00 1.99 3/89 6190
/proc/meminfo: memFree=1605808/2055920 swapFree=4192812/4192956
[pid=5984] ppid=5982 vsize=915764 CPUtime=1651.3
/proc/5984/stat : 5984 (java) R 5982 5984 5300 0 -1 0 10168 0 1 0 165105 25 0 0 25 0 8 0 173292706 937742336 9877 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073782306 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5984/statm: 228941 9877 2543 14 0 215411 0
[pid=5984/tid=5986] ppid=5982 vsize=915764 CPUtime=0.04
/proc/5984/task/5986/stat : 5986 (java) S 5982 5984 5300 0 -1 64 523 0 0 0 4 0 0 0 16 0 8 0 173292710 937742336 9877 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5984/tid=5987] ppid=5982 vsize=915764 CPUtime=0
/proc/5984/task/5987/stat : 5987 (java) S 5982 5984 5300 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 173292711 937742336 9877 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5984/tid=5988] ppid=5982 vsize=915764 CPUtime=0
/proc/5984/task/5988/stat : 5988 (java) S 5982 5984 5300 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 173292711 937742336 9877 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5984/tid=5989] ppid=5982 vsize=915764 CPUtime=0
/proc/5984/task/5989/stat : 5989 (java) S 5982 5984 5300 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 173292714 937742336 9877 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5984/tid=5990] ppid=5982 vsize=915764 CPUtime=0.34
/proc/5984/task/5990/stat : 5990 (java) S 5982 5984 5300 0 -1 64 507 0 0 0 32 2 0 0 16 0 8 0 173292714 937742336 9877 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5984/tid=5991] ppid=5982 vsize=915764 CPUtime=0
/proc/5984/task/5991/stat : 5991 (java) S 5982 5984 5300 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 173292714 937742336 9877 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5984/tid=5992] ppid=5982 vsize=915764 CPUtime=0
/proc/5984/task/5992/stat : 5992 (java) S 5982 5984 5300 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 173292714 937742336 9877 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1651.3
Current children cumulated vsize (KiB) 915764

[startup+1724.49 s]
/proc/loadavg: 2.03 2.01 1.99 3/89 6190
/proc/meminfo: memFree=1605808/2055920 swapFree=4192812/4192956
[pid=5984] ppid=5982 vsize=915764 CPUtime=1711.12
/proc/5984/stat : 5984 (java) R 5982 5984 5300 0 -1 0 10168 0 1 0 171086 26 0 0 25 0 8 0 173292706 937742336 9877 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073971680 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5984/statm: 228941 9877 2543 14 0 215411 0
[pid=5984/tid=5986] ppid=5982 vsize=915764 CPUtime=0.04
/proc/5984/task/5986/stat : 5986 (java) S 5982 5984 5300 0 -1 64 523 0 0 0 4 0 0 0 16 0 8 0 173292710 937742336 9877 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5984/tid=5987] ppid=5982 vsize=915764 CPUtime=0
/proc/5984/task/5987/stat : 5987 (java) S 5982 5984 5300 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 173292711 937742336 9877 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5984/tid=5988] ppid=5982 vsize=915764 CPUtime=0
/proc/5984/task/5988/stat : 5988 (java) S 5982 5984 5300 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 173292711 937742336 9877 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5984/tid=5989] ppid=5982 vsize=915764 CPUtime=0
/proc/5984/task/5989/stat : 5989 (java) S 5982 5984 5300 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 173292714 937742336 9877 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5984/tid=5990] ppid=5982 vsize=915764 CPUtime=0.34
/proc/5984/task/5990/stat : 5990 (java) S 5982 5984 5300 0 -1 64 507 0 0 0 32 2 0 0 16 0 8 0 173292714 937742336 9877 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5984/tid=5991] ppid=5982 vsize=915764 CPUtime=0
/proc/5984/task/5991/stat : 5991 (java) S 5982 5984 5300 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 173292714 937742336 9877 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5984/tid=5992] ppid=5982 vsize=915764 CPUtime=0
/proc/5984/task/5992/stat : 5992 (java) S 5982 5984 5300 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 173292714 937742336 9877 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1711.12
Current children cumulated vsize (KiB) 915764

[startup+1784.59 s]
/proc/loadavg: 2.11 2.04 2.00 3/89 6190
/proc/meminfo: memFree=1605808/2055920 swapFree=4192812/4192956
[pid=5984] ppid=5982 vsize=915764 CPUtime=1770.94
/proc/5984/stat : 5984 (java) R 5982 5984 5300 0 -1 0 10168 0 1 0 177068 26 0 0 25 0 8 0 173292706 937742336 9877 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073966195 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5984/statm: 228941 9877 2543 14 0 215411 0
[pid=5984/tid=5986] ppid=5982 vsize=915764 CPUtime=0.04
/proc/5984/task/5986/stat : 5986 (java) S 5982 5984 5300 0 -1 64 523 0 0 0 4 0 0 0 16 0 8 0 173292710 937742336 9877 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5984/tid=5987] ppid=5982 vsize=915764 CPUtime=0
/proc/5984/task/5987/stat : 5987 (java) S 5982 5984 5300 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 173292711 937742336 9877 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5984/tid=5988] ppid=5982 vsize=915764 CPUtime=0
/proc/5984/task/5988/stat : 5988 (java) S 5982 5984 5300 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 173292711 937742336 9877 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5984/tid=5989] ppid=5982 vsize=915764 CPUtime=0
/proc/5984/task/5989/stat : 5989 (java) S 5982 5984 5300 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 173292714 937742336 9877 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5984/tid=5990] ppid=5982 vsize=915764 CPUtime=0.34
/proc/5984/task/5990/stat : 5990 (java) S 5982 5984 5300 0 -1 64 507 0 0 0 32 2 0 0 16 0 8 0 173292714 937742336 9877 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5984/tid=5991] ppid=5982 vsize=915764 CPUtime=0
/proc/5984/task/5991/stat : 5991 (java) S 5982 5984 5300 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 173292714 937742336 9877 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5984/tid=5992] ppid=5982 vsize=915764 CPUtime=0
/proc/5984/task/5992/stat : 5992 (java) S 5982 5984 5300 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 173292714 937742336 9877 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1770.94
Current children cumulated vsize (KiB) 915764



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1813.75 s]
/proc/loadavg: 2.07 2.03 2.00 3/88 6264
/proc/meminfo: memFree=1709064/2055920 swapFree=4192812/4192956
[pid=5984] ppid=5982 vsize=915764 CPUtime=1800.01
/proc/5984/stat : 5984 (java) R 5982 5984 5300 0 -1 0 10168 0 1 0 179973 28 0 0 25 0 8 0 173292706 937742336 9877 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073968250 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5984/statm: 228941 9877 2543 14 0 215411 0
[pid=5984/tid=5986] ppid=5982 vsize=915764 CPUtime=0.04
/proc/5984/task/5986/stat : 5986 (java) S 5982 5984 5300 0 -1 64 523 0 0 0 4 0 0 0 16 0 8 0 173292710 937742336 9877 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5984/tid=5987] ppid=5982 vsize=915764 CPUtime=0
/proc/5984/task/5987/stat : 5987 (java) S 5982 5984 5300 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 173292711 937742336 9877 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5984/tid=5988] ppid=5982 vsize=915764 CPUtime=0
/proc/5984/task/5988/stat : 5988 (java) S 5982 5984 5300 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 173292711 937742336 9877 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5984/tid=5989] ppid=5982 vsize=915764 CPUtime=0
/proc/5984/task/5989/stat : 5989 (java) S 5982 5984 5300 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 173292714 937742336 9877 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5984/tid=5990] ppid=5982 vsize=915764 CPUtime=0.34
/proc/5984/task/5990/stat : 5990 (java) S 5982 5984 5300 0 -1 64 507 0 0 0 32 2 0 0 16 0 8 0 173292714 937742336 9877 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5984/tid=5991] ppid=5982 vsize=915764 CPUtime=0
/proc/5984/task/5991/stat : 5991 (java) S 5982 5984 5300 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 173292714 937742336 9877 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5984/tid=5992] ppid=5982 vsize=915764 CPUtime=0
/proc/5984/task/5992/stat : 5992 (java) S 5982 5984 5300 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 173292714 937742336 9877 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 915764

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

Child status: 143
Real time (s): 1813.79
CPU time (s): 1800.04
CPU user time (s): 1799.75
CPU system time (s): 0.287956
CPU usage (%): 99.242
Max. virtual memory (cumulated for all children) (KiB): 915764

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.75
system time used= 0.287956
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10185
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= 37994
involuntary context switches= 80099

runsolver used 2.24766 s user time and 6.16306 s system time

The end

Launcher Data (download as text)

Begin job on node59 on Mon Jan  8 09:35:48 UTC 2007


IDJOB= 217797
IDBENCH= 5172
FILE ID= node59/217797-1168248948

PBS_JOBID= 3481908

Free space on /tmp= 66555 MiB

BENCH NAME= HOME/pub/bench/CPAI06/golombRuler/golombRulerArity3/ruler-70-13-a3.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/217797-1168248948/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node59/watcher-217797-1168248948 -o ROOT/results/node59/solver-217797-1168248948 -C 1800 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/217797-1168248948/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  867e5ac3974f1355ea650434b3018815

RANDOM SEED= 231612802

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.239
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.239
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:       1697008 kB
Buffers:         30016 kB
Cached:          62872 kB
SwapCached:          0 kB
Active:         262464 kB
Inactive:        42604 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1697008 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            6328 kB
Writeback:           0 kB
Mapped:         231456 kB
Slab:            38608 kB
Committed_AS:  4292524 kB
PageTables:       2352 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= 66550 MiB



End job on node59 on Mon Jan  8 10:06:02 UTC 2007