Trace number 4293685

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Concrete 3.8-SuperNG 2018-06-13SAT (TO)368 2520.08 2487.74

General information on the benchmark

NameSumColoring/
SumColoring-1-fullins-5_c18.xml
MD5SUMee128878a96f2bf381e98278be1f86f4
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark227
Best CPU time to get the best result obtained on this benchmark2520.1
Satisfiable
(Un)Satisfiability was proved
Number of variables282
Number of constraints3247
Number of domains1
Minimum domain size282
Maximum domain size282
Distribution of domain sizes[{"size":282,"count":282}]
Minimum variable degree9
Maximum variable degree96
Distribution of variable degrees[{"degree":9,"count":4},{"degree":10,"count":6},{"degree":11,"count":11},{"degree":12,"count":8},{"degree":13,"count":13},{"degree":14,"count":13},{"degree":15,"count":13},{"degree":16,"count":16},{"degree":17,"count":15},{"degree":18,"count":15},{"degree":19,"count":11},{"degree":20,"count":11},{"degree":21,"count":12},{"degree":22,"count":12},{"degree":23,"count":9},{"degree":24,"count":9},{"degree":25,"count":10},{"degree":26,"count":10},{"degree":27,"count":10},{"degree":28,"count":10},{"degree":29,"count":4},{"degree":30,"count":4},{"degree":31,"count":4},{"degree":32,"count":4},{"degree":33,"count":3},{"degree":34,"count":3},{"degree":35,"count":6},{"degree":36,"count":3},{"degree":37,"count":3},{"degree":38,"count":3},{"degree":39,"count":3},{"degree":40,"count":3},{"degree":45,"count":3},{"degree":46,"count":3},{"degree":47,"count":3},{"degree":48,"count":3},{"degree":65,"count":3},{"degree":66,"count":3},{"degree":96,"count":3}]
Minimum constraint arity2
Maximum constraint arity2
Distribution of constraint arities[{"arity":2,"count":3247}]
Number of extensional constraints0
Number of intensional constraints3247
Distribution of constraint types[{"type":"intension","count":3247}]
Optimization problemYES
Type of objectivemin SUM

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.98/0.73	c Concrete v3.8.1528841891564 running
12.65/5.56	o 5510
12.94/5.69	o 5231
12.94/5.70	o 5230
13.27/5.70	o 4952
13.27/5.71	o 4951
13.27/5.72	o 4950
13.27/5.73	o 4673
13.27/5.75	o 4672
13.27/5.75	o 4671
13.27/5.76	o 4395
13.96/5.96	o 4394
13.96/5.96	o 4393
13.96/5.97	o 4392
13.96/5.98	o 4391
13.96/5.99	o 4390
13.96/6.00	o 4389
14.31/6.01	o 4388
14.31/6.02	o 4387
14.31/6.02	o 4123
14.62/6.14	o 4122
14.62/6.16	o 4121
14.62/6.17	o 4120
14.62/6.18	o 4119
14.62/6.18	o 4118
14.62/6.19	o 4117
14.92/6.20	o 4116
14.92/6.21	o 4115
14.92/6.22	o 4114
14.92/6.23	o 4113
14.92/6.23	o 4112
14.92/6.24	o 4111
14.92/6.24	o 4110
14.92/6.25	o 4109
14.92/6.26	o 4108
14.92/6.26	o 3914
15.23/6.35	o 3913
15.23/6.36	o 3912
15.23/6.37	o 3911
15.23/6.38	o 3910
15.23/6.38	o 3909
15.23/6.38	o 3908
15.23/6.40	o 3907
15.54/6.40	o 3906
15.54/6.41	o 3905
15.54/6.42	o 3904
15.54/6.42	o 3903
15.54/6.43	o 3902
15.54/6.44	o 3901
15.54/6.44	o 3900
15.54/6.46	o 3899
15.54/6.46	o 3629
16.16/6.61	o 3628
16.16/6.61	o 3627
16.16/6.62	o 3626
16.16/6.62	o 3625
16.16/6.63	o 3624
16.16/6.63	o 3623
16.16/6.64	o 3622
16.16/6.64	o 3621
16.16/6.65	o 3620
16.16/6.65	o 3490
16.48/6.73	o 3489
16.48/6.74	o 3488
16.48/6.75	o 3487
16.48/6.75	o 3486
16.48/6.76	o 3485
16.48/6.76	o 3484
16.48/6.77	o 3483
16.48/6.77	o 3482
16.48/6.78	o 3481
16.48/6.78	o 3480
16.48/6.79	o 3216
16.79/6.80	o 3215
16.79/6.81	o 3214
16.79/6.81	o 3213
16.79/6.82	o 3212
16.79/6.82	o 3211
16.79/6.83	o 3210
16.79/6.83	o 2937
16.79/6.88	o 2936
16.79/6.89	o 2935
16.79/6.89	o 2934
17.10/6.90	o 2933
17.10/6.90	o 2932
17.10/6.91	o 2931
17.10/6.92	o 2930
17.10/6.92	o 2929
17.10/6.93	o 2928
17.10/6.93	o 2927
17.10/6.94	o 2673
17.10/6.94	o 2672
17.10/6.95	o 2671
17.10/6.96	o 2670
17.10/6.97	o 2669
17.10/6.97	o 2668
17.10/6.98	o 2667
17.37/7.04	o 2666
17.37/7.05	o 2665
17.37/7.06	o 2664
17.37/7.10	o 2663
17.37/7.10	o 2662
17.37/7.11	o 2661
17.64/7.14	o 2660
17.64/7.15	o 2659
17.64/7.15	o 2658
17.89/7.21	o 2657
17.89/7.22	o 2656
17.89/7.22	o 2655
17.89/7.24	o 2654
17.89/7.24	o 2653
17.89/7.25	o 2652
17.89/7.26	o 2651
17.89/7.26	o 2650
17.89/7.27	o 2649
17.89/7.28	o 2648
17.89/7.28	o 2647
17.89/7.29	o 2646
17.89/7.29	o 2645
17.89/7.29	o 2644
17.89/7.30	o 2375
18.06/7.31	o 2374
18.06/7.32	o 2373
18.06/7.33	o 2372
18.06/7.34	o 2371
18.06/7.35	o 2370
18.06/7.35	o 2369
18.06/7.35	o 2368
18.06/7.36	o 2367
18.06/7.37	o 2366
18.06/7.37	o 2365
18.06/7.37	o 2364
18.06/7.38	o 2363
18.06/7.38	o 2362
18.06/7.38	o 2361
18.06/7.39	o 2360
18.06/7.39	o 2359
18.06/7.39	o 2097
18.23/7.48	o 2096
18.23/7.48	o 2095
18.23/7.49	o 2094
18.23/7.49	o 2093
18.42/7.50	o 2092
18.42/7.50	o 2091
18.42/7.51	o 2090
18.42/7.51	o 1858
18.42/7.52	o 1857
18.42/7.52	o 1856
18.42/7.53	o 1855
18.42/7.54	o 1854
18.42/7.54	o 1853
18.42/7.55	o 1852
18.42/7.55	o 1851
18.42/7.55	o 1850
18.42/7.58	o 1849
18.42/7.59	o 1848
18.42/7.59	o 1847
18.57/7.60	o 1846
18.57/7.61	o 1845
18.57/7.63	o 1844
18.57/7.64	o 1843
18.57/7.64	o 1842
18.57/7.65	o 1841
18.57/7.65	o 1840
18.57/7.66	o 1839
18.57/7.66	o 1838
18.57/7.67	o 1837
18.57/7.67	o 1836
18.57/7.68	o 1835
18.57/7.68	o 1834
18.57/7.68	o 1833
18.57/7.68	o 1569
18.77/7.78	o 1568
18.77/7.79	o 1567
18.77/7.79	o 1566
18.77/7.79	o 1565
18.94/7.80	o 1564
18.94/7.80	o 1563
18.94/7.81	o 1562
19.69/8.43	o 1561
19.69/8.44	o 1560
19.69/8.45	o 1559
19.69/8.46	o 1558
19.69/8.46	o 1557
19.69/8.47	o 1556
19.69/8.47	o 1555
19.69/8.48	o 1554
19.69/8.48	o 1553
19.69/8.49	o 1552
19.69/8.49	o 1551
19.69/8.49	o 1293
20.00/8.65	o 1292
20.47/8.98	o 1291
20.47/8.98	o 1290
20.47/8.98	o 1289
25.07/13.23	o 1288
25.07/13.23	o 1287
25.07/13.24	o 1286
25.07/13.24	o 1285
25.07/13.24	o 1284
25.07/13.25	o 1278
25.07/13.25	o 1277
25.07/13.25	o 1276
25.20/13.30	o 1275
25.20/13.30	o 1274
25.20/13.30	o 1273
25.20/13.31	o 1272
25.20/13.31	o 1271
25.20/13.31	o 1270
25.20/13.32	o 1269
25.20/13.32	o 1268
25.30/13.40	o 1267
25.30/13.41	o 1266
25.30/13.42	o 1265
25.30/13.42	o 1264
25.30/13.44	o 1263
25.30/13.44	o 1262
25.30/13.49	o 1261
26.16/14.22	o 1260
26.16/14.23	o 1259
26.16/14.24	o 1258
26.16/14.25	o 1257
26.16/14.25	o 1256
26.16/14.26	o 1255
26.16/14.26	o 1254
26.16/14.27	o 1253
26.16/14.27	o 1252
26.16/14.28	o 1251
26.16/14.28	o 1005
26.16/14.29	o 1004
26.29/14.30	o 1003
26.29/14.30	o 1002
26.29/14.31	o 1001
26.29/14.32	o 1000
26.29/14.32	o 999
26.29/14.34	o 998
26.29/14.35	o 997
26.29/14.35	o 995
26.29/14.36	o 994
26.29/14.37	o 993
26.29/14.38	o 992
26.29/14.38	o 991
26.29/14.39	o 990
26.29/14.39	o 989
26.41/14.40	o 988
26.41/14.41	o 987
26.41/14.41	o 986
26.41/14.42	o 985
26.41/14.42	o 984
26.41/14.43	o 983
26.41/14.43	o 982
26.41/14.43	o 981
26.41/14.44	o 980
26.41/14.44	o 979
26.41/14.44	o 978
26.41/14.44	o 977
26.41/14.44	o 976
26.41/14.45	o 975
26.41/14.45	o 974
26.41/14.45	o 719
26.41/14.48	o 718
26.41/14.49	o 717
26.41/14.49	o 716
26.41/14.49	o 715
27.30/15.23	o 714
27.30/15.24	o 713
27.30/15.25	o 712
27.30/15.26	o 711
27.30/15.27	o 710
27.30/15.27	o 709
27.30/15.28	o 708
27.30/15.29	o 707
27.30/15.29	o 706
27.40/15.30	o 705
27.40/15.30	o 704
27.40/15.30	o 703
27.40/15.31	o 594
27.40/15.33	o 593
27.40/15.33	o 591
27.40/15.34	o 590
27.40/15.36	o 589
27.40/15.36	o 588
27.40/15.37	o 587
28.08/15.99	o 586
28.08/15.99	o 576
28.63/16.37	o 575
28.98/16.60	o 574
28.98/16.61	o 573
29.13/16.74	o 571
29.13/16.74	o 570
29.57/17.12	o 568
32.65/20.03	o 567
32.65/20.05	o 566
32.65/20.05	o 565
32.65/20.05	o 564
32.65/20.06	o 563
32.65/20.06	o 562
32.65/20.10	o 561
32.65/20.10	o 560
32.75/20.11	o 559
32.75/20.11	o 558
36.85/24.06	o 557
36.85/24.06	o 556
36.85/24.07	o 555
36.85/24.07	o 553
43.82/30.80	o 552
44.13/31.14	o 550
45.06/32.03	o 549
45.06/32.03	o 548
45.06/32.04	o 547
110.66/96.64	o 546
110.66/96.64	o 545
110.66/96.66	o 544
110.66/96.66	o 543
110.66/96.67	o 542
110.76/96.71	o 541
110.76/96.72	o 540
110.76/96.73	o 539
110.76/96.75	o 538
110.76/96.75	o 537
110.76/96.76	o 536
110.76/96.78	o 535
110.89/96.80	o 534
110.89/96.82	o 533
110.89/96.84	o 532
110.89/96.85	o 531
110.89/96.87	o 530
110.89/96.87	o 529
110.89/96.87	o 528
110.89/96.89	o 527
110.99/96.91	o 526
110.99/96.91	o 525
110.99/96.93	o 524
110.99/96.94	o 523
110.99/96.96	o 522
110.99/96.98	o 521
111.10/97.01	o 520
111.20/97.12	o 519
111.20/97.13	o 518
111.20/97.14	o 517
111.20/97.14	o 516
111.20/97.17	o 515
111.20/97.19	o 514
111.29/97.23	o 513
111.29/97.24	o 512
111.49/97.40	o 511
111.79/97.74	o 510
111.99/97.94	o 509
111.99/97.94	o 508
111.99/97.94	o 507
115.27/101.18	o 506
115.27/101.19	o 505
115.27/101.19	o 504
116.36/102.26	o 503
116.36/102.27	o 502
116.36/102.27	o 501
116.36/102.28	o 500
116.36/102.28	o 499
116.36/102.29	o 498
116.47/102.30	o 497
116.47/102.30	o 496
116.47/102.31	o 495
116.47/102.33	o 494
116.47/102.33	o 493
116.47/102.33	o 492
116.47/102.35	o 491
116.47/102.35	o 490
116.47/102.35	o 489
116.47/102.36	o 488
116.47/102.37	o 487
116.47/102.38	o 486
116.47/102.38	o 485
116.47/102.39	o 484
116.58/102.40	o 483
116.58/102.40	o 482
116.68/102.51	o 481
116.68/102.52	o 480
116.68/102.52	o 479
117.08/103.00	o 478
117.08/103.00	o 477
117.08/103.00	o 476
118.48/104.37	o 475
118.48/104.37	o 474
118.48/104.37	o 473
119.96/105.75	o 472
120.06/105.81	o 471
120.06/105.81	o 470
120.06/105.81	o 469
120.06/105.85	o 468
120.06/105.89	o 432
120.06/105.90	o 430
120.16/105.90	o 428
120.16/105.90	o 427
120.16/105.90	o 426
120.16/105.91	o 424
120.16/105.91	o 422
120.16/105.92	o 420
120.16/105.93	o 418
120.16/105.95	o 417
120.16/105.96	o 416
120.16/105.97	o 414
120.16/105.97	o 413
120.16/105.98	o 412
120.16/105.98	o 411
120.16/105.99	o 410
120.16/105.99	o 408
120.54/106.11	o 407
120.54/106.11	o 406
120.72/106.26	o 405
120.72/106.27	o 404
126.79/112.14	o 403
126.79/112.14	o 402
128.59/113.94	o 401
128.59/113.94	o 400
132.38/117.65	o 399
132.38/117.66	o 398
132.38/117.66	o 397
132.38/117.67	o 396
229.32/213.64	o 394
229.32/213.64	o 393
229.32/213.65	o 392
229.73/214.09	o 391
229.73/214.09	o 390
229.92/214.27	o 388
230.33/214.62	o 387
230.33/214.62	o 386
230.33/214.63	o 385
230.33/214.63	o 384
230.33/214.66	o 382
230.74/215.06	o 381
231.13/215.44	o 380
231.13/215.44	o 379
234.98/219.20	o 378
234.98/219.21	o 377
234.98/219.21	o 376
234.98/219.22	o 375
236.18/220.42	o 374
237.54/221.75	o 373
237.54/221.75	o 372
237.54/221.75	o 370
240.34/224.55	o 368
2520.02/2487.72	Exception in thread "main" java.util.concurrent.TimeoutException: Timeout while computing best cost
2520.02/2487.72		at concrete.heuristic.value.BestCost.checkValue$1(BestCost.scala:24)
2520.02/2487.72		at concrete.heuristic.value.BestCost.$anonfun$select$2(BestCost.scala:53)
2520.02/2487.72		at bitvectors.SmallBitVector.filter(SmallBitVector.scala:142)
2520.02/2487.72		at bitvectors.SmallBitVector.filter(SmallBitVector.scala:5)
2520.02/2487.72		at concrete.BitVectorDomain.filter(BitVectorDomain.scala:126)
2520.02/2487.72		at concrete.BitVectorDomain.filter(BitVectorDomain.scala:8)
2520.02/2487.72		at concrete.heuristic.value.BestCost.select(BestCost.scala:53)
2520.02/2487.72		at concrete.heuristic.value.ValueHeuristic.selectOne$1(ValueHeuristic.scala:102)
2520.02/2487.72		at concrete.heuristic.value.ValueHeuristic.$anonfun$branch$1(ValueHeuristic.scala:102)
2520.02/2487.72		at scala.Function2.$anonfun$tupled$1(Function2.scala:48)
2520.02/2487.72		at concrete.heuristic.value.ValueHeuristic.selectOne$1(ValueHeuristic.scala:102)
2520.02/2487.72		at concrete.heuristic.value.ValueHeuristic.$anonfun$branch$1(ValueHeuristic.scala:102)
2520.02/2487.72		at scala.Function2.$anonfun$tupled$1(Function2.scala:48)
2520.02/2487.72		at concrete.heuristic.value.ValueHeuristic.selectOne$1(ValueHeuristic.scala:102)
2520.02/2487.72		at concrete.heuristic.value.ValueHeuristic.branch(ValueHeuristic.scala:108)
2520.02/2487.72		at concrete.heuristic.CrossHeuristic.$anonfun$branch$1(CrossHeuristic.scala:42)
2520.02/2487.72		at scala.Option.map(Option.scala:146)
2520.02/2487.72		at concrete.heuristic.CrossHeuristic.branch(CrossHeuristic.scala:40)
2520.02/2487.72		at concrete.MAC.mac(MAC.scala:203)
2520.02/2487.72		at concrete.MAC.$anonfun$oneRun$1(MAC.scala:252)
2520.02/2487.72		at scala.util.Try$.apply(Try.scala:209)
2520.02/2487.72		at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194)
2520.02/2487.72		at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182)
2520.02/2487.72		at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12)
2520.02/2487.72		at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61)
2520.02/2487.72		at org.scalameter.Measurer$Default.measure(Measurer.scala:133)
2520.02/2487.72		at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51)
2520.02/2487.72		at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61)
2520.02/2487.72		at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181)
2520.02/2487.72		at cspom.StatisticsManager$.measure(StatisticsManager.scala:194)
2520.02/2487.72		at concrete.MAC.oneRun(MAC.scala:253)
2520.02/2487.72		at concrete.MAC.nextSolution(MAC.scala:272)
2520.02/2487.72		at concrete.MAC.nextSolution(MAC.scala:355)
2520.02/2487.72		at concrete.Solver.hasNext(Solver.scala:166)
2520.02/2487.72		at scala.collection.Iterator.foreach(Iterator.scala:944)
2520.02/2487.72		at scala.collection.Iterator.foreach$(Iterator.scala:944)
2520.02/2487.72		at concrete.Solver.foreach(Solver.scala:68)
2520.02/2487.72		at concrete.runner.ConcreteRunner.$anonfun$run$2(ConcreteRunner.scala:73)
2520.02/2487.72		at scala.util.Success.$anonfun$map$1(Try.scala:251)
2520.02/2487.72		at scala.util.Success.map(Try.scala:209)
2520.02/2487.72		at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:68)
2520.02/2487.72		at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:33)
2520.02/2487.72		at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:18)
2520.02/2487.72		at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:121)
2520.02/2487.72		at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:18)
2520.02/2487.72		at scala.Function0.apply$mcV$sp(Function0.scala:34)
2520.02/2487.72		at scala.Function0.apply$mcV$sp$(Function0.scala:34)
2520.02/2487.72		at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12)
2520.02/2487.72		at scala.App.$anonfun$main$1$adapted(App.scala:76)
2520.02/2487.72		at scala.collection.immutable.List.foreach(List.scala:389)
2520.02/2487.72		at scala.App.main(App.scala:76)
2520.02/2487.72		at scala.App.main$(App.scala:74)
2520.02/2487.72		at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:18)
2520.02/2487.72		at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
2520.02/2487.73	v <instantiation cost="368">
2520.02/2487.73	v       <list>
2520.02/2487.73	v         c[0] c[1] c[2] c[3] c[4] c[5] c[6] c[7] c[8] c[9] c[10] c[11] c[12] c[13] c[14] c[15] c[16] c[17] c[18] c[19] c[20] c[21] c[22] c[23] c[24] c[25] c[26] c[27] c[28] c[29] c[30] c[31] c[32] c[33] c[34] c[35] c[36] c[37] c[38] c[39] c[40] c[41] c[42] c[43] c[44] c[45] c[46] c[47] c[48] c[49] c[50] c[51] c[52] c[53] c[54] c[55] c[56] c[57] c[58] c[59] c[60] c[61] c[62] c[63] c[64] c[65] c[66] c[67] c[68] c[69] c[70] c[71] c[72] c[73] c[74] c[75] c[76] c[77] c[78] c[79] c[80] c[81] c[82] c[83] c[84] c[85] c[86] c[87] c[88] c[89] c[90] c[91] c[92] c[93] c[94] c[95] c[96] c[97] c[98] c[99] c[100] c[101] c[102] c[103] c[104] c[105] c[106] c[107] c[108] c[109] c[110] c[111] c[112] c[113] c[114] c[115] c[116] c[117] c[118] c[119] c[120] c[121] c[122] c[123] c[124] c[125] c[126] c[127] c[128] c[129] c[130] c[131] c[132] c[133] c[134] c[135] c[136] c[137] c[138] c[139] c[140] c[141] c[142] c[143] c[144] c[145] c[146] c[147] c[148] c[149] c[150] c[151] c[152] c[153] c[154] c[155] c[156] c[157] c[158] c[159] c[160] c[161] c[162] c[163] c[164] c[165] c[166] c[167] c[168] c[169] c[170] c[171] c[172] c[173] c[174] c[175] c[176] c[177] c[178] c[179] c[180] c[181] c[182] c[183] c[184] c[185] c[186] c[187] c[188] c[189] c[190] c[191] c[192] c[193] c[194] c[195] c[196] c[197] c[198] c[199] c[200] c[201] c[202] c[203] c[204] c[205] c[206] c[207] c[208] c[209] c[210] c[211] c[212] c[213] c[214] c[215] c[216] c[217] c[218] c[219] c[220] c[221] c[222] c[223] c[224] c[225] c[226] c[227] c[228] c[229] c[230] c[231] c[232] c[233] c[234] c[235] c[236] c[237] c[238] c[239] c[240] c[241] c[242] c[243] c[244] c[245] c[246] c[247] c[248] c[249] c[250] c[251] c[252] c[253] c[254] c[255] c[256] c[257] c[258] c[259] c[260] c[261] c[262] c[263] c[264] c[265] c[266] c[267] c[268] c[269] c[270] c[271] c[272] c[273] c[274] c[275] c[276] c[277] c[278] c[279] c[280] c[281]
2520.02/2487.73	v       </list>
2520.02/2487.73	v       <values>
2520.02/2487.73	v         0 3 0 4 5 5 0 5 2 0 3 0 3 3 3 3 3 2 4 4 4 4 4 4 4 4 4 3 4 2 2 1 2 2 1 1 4 1 2 2 2 2 2 5 5 7 5 2 1 1 1 1 1 1 1 1 1 5 1 2 0 0 0 0 0 3 3 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 5 3 4 0 1 0 4 1 1 4 1 6 0 3 0 3 3 3 3 3 3 0 1 0 1 1 1 1 1 1 0 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 2 0 2 2 2 0 2 0 0 2 0 2 2 2 0 2 0 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 2 3 2 1
2520.02/2487.73	v       </values>
2520.02/2487.73	v     </instantiation>
2520.02/2487.73	s SATISFIABLE

Verifier Data 

OK	368

Watcher Data 

runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 16374 MiB (13615 MiB free)
  memory of node 1: 16384 MiB (14212 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4293685-1532323139/watcher-4293685-1532323139 -o /tmp/evaluation-result-4293685-1532323139/solver-4293685-1532323139 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node149-1532298084-3500 --watchdog 2580 concrete-3.8/bin/xcsp-3-concrete -J-Xss32M -randomseed=1596357822 -superng HOME/instance-4293685-1532323139.xml 

running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=8796, runsolver pid=8793

[startup+0.100119 s]*
/proc/loadavg: 1.28 1.40 1.41 3/206 8853
/proc/meminfo: memFree=28489128/32770624 swapFree=67108860/67108860
[pid=8796] ppid=8793 vsize=9972712 memory=18592 CPUtime=0.09 cores=1,3,5,7
/proc/8796/stat : 8796 (java) S 8793 8796 3468 0 -1 1077944320 4273 13155 0 0 1 0 5 3 20 0 6 0 49877067 10212057088 4648 33554432000 4194304 4196468 140735872716784 140735872699328 140608091332343 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 18403328 140735872723115 140735872726364 140735872726364 140735872729039 0
/proc/8796/statm: 2493178 4648 1932 1 0 2481616 0
[pid=8796/tid=8849] ppid=8793 vsize=9972712 memory=4860117721178873491 CPUtime=0.09 cores=1,3,5,7
/proc/8796/task/8849/stat : 8849 (java) R 8793 8796 3468 0 -1 4202560 2094 13155 0 0 1 0 5 3 20 0 6 0 49877076 10212057088 4648 33554432000 4194304 4196468 140735872716784 140608063169104 140608091354269 0 4 0 16784584 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18403328 140735872723115 140735872726364 140735872726364 140735872729039 0
[pid=8796/tid=8850] ppid=8793 vsize=9972712 memory=5793855040770816441 CPUtime=0.08 cores=1,3,5,7
/proc/8796/task/8850/stat : 8850 (java) S 8793 8796 3468 0 -1 1077944384 1 13155 0 0 0 0 5 3 20 0 6 0 49877077 10212057088 4648 33554432000 4194304 4196468 140735872716784 140608095574672 140608091342549 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18403328 140735872723115 140735872726364 140735872726364 140735872729039 0
[pid=8796/tid=8851] ppid=8793 vsize=9972712 memory=139789760923264 CPUtime=0.08 cores=1,3,5,7
/proc/8796/task/8851/stat : 8851 (java) S 8793 8796 3468 0 -1 1077944384 1 13155 0 0 0 0 5 3 20 0 6 0 49877077 10212057088 4648 33554432000 4194304 4196468 140735872716784 140607983847952 140608091342549 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18403328 140735872723115 140735872726364 140735872726364 140735872729039 0
[pid=8796/tid=8852] ppid=8793 vsize=9972712 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/8796/task/8852/stat : 8852 (java) S 8793 8796 3468 0 -1 1077944384 1 13155 0 0 0 0 5 3 20 0 6 0 49877077 10212057088 4648 33554432000 4194304 4196468 140735872716784 140607982795152 140608091342549 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18403328 140735872723115 140735872726364 140735872726364 140735872729039 0
[pid=8796/tid=8853] ppid=8793 vsize=9972712 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/8796/task/8853/stat : 8853 (java) S 8793 8796 3468 0 -1 1077944384 2 13155 0 0 0 0 5 3 20 0 6 0 49877077 10212057088 4648 33554432000 4194304 4196468 140735872716784 140607981742352 140608091342549 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18403328 140735872723115 140735872726364 140735872726364 140735872729039 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 18592 KiB

[startup+0.209926 s]*
/proc/loadavg: 1.28 1.40 1.41 3/215 8862
/proc/meminfo: memFree=28469212/32770624 swapFree=67108860/67108860
[pid=8796] ppid=8793 vsize=10818936 memory=43448 CPUtime=0.26 cores=1,3,5,7
/proc/8796/stat : 8796 (java) S 8793 8796 3468 0 -1 1077944320 9241 13155 0 0 17 1 5 3 20 0 15 0 49877067 11078590464 10862 33554432000 4194304 4196468 140735872716784 140735872699328 140608091332343 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 18403328 140735872723115 140735872726364 140735872726364 140735872729039 0
/proc/8796/statm: 2704734 10862 2964 1 0 2667157 0
[pid=8796/tid=8849] ppid=8793 vsize=10818904 memory=-2899909650764262549 CPUtime=0.19 cores=1,3,5,7
/proc/8796/task/8849/stat : 8849 (java) R 8793 8796 3468 0 -1 4202560 5868 13155 0 0 11 0 5 3 20 0 15 0 49877076 11078557696 10862 33554432000 4194304 4196468 140735872716784 140608063157152 140607649597660 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18403328 140735872723115 140735872726364 140735872726364 140735872729039 0
[pid=8796/tid=8850] ppid=8793 vsize=10818904 memory=4211973515965713802 CPUtime=0.08 cores=1,3,5,7
/proc/8796/task/8850/stat : 8850 (java) S 8793 8796 3468 0 -1 1077944384 1 13155 0 0 0 0 5 3 20 0 15 0 49877077 11078557696 10862 33554432000 4194304 4196468 140735872716784 140608095574672 140608091342549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18403328 140735872723115 140735872726364 140735872726364 140735872729039 0
[pid=8796/tid=8851] ppid=8793 vsize=10818904 memory=139789760923264 CPUtime=0.08 cores=1,3,5,7
/proc/8796/task/8851/stat : 8851 (java) S 8793 8796 3468 0 -1 1077944384 1 13155 0 0 0 0 5 3 20 0 15 0 49877077 11078557696 10862 33554432000 4194304 4196468 140735872716784 140607983847952 140608091342549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18403328 140735872723115 140735872726364 140735872726364 140735872729039 0
[pid=8796/tid=8852] ppid=8793 vsize=10818904 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/8796/task/8852/stat : 8852 (java) S 8793 8796 3468 0 -1 1077944384 1 13155 0 0 0 0 5 3 20 0 15 0 49877077 11078557696 10862 33554432000 4194304 4196468 140735872716784 140607982795152 140608091342549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18403328 140735872723115 140735872726364 140735872726364 140735872729039 0
[pid=8796/tid=8853] ppid=8793 vsize=10818904 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/8796/task/8853/stat : 8853 (java) S 8793 8796 3468 0 -1 1077944384 2 13155 0 0 0 0 5 3 20 0 15 0 49877077 11078557696 10862 33554432000 4194304 4196468 140735872716784 140607981742352 140608091342549 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18403328 140735872723115 140735872726364 140735872726364 140735872729039 0
[pid=8796/tid=8854] ppid=8793 vsize=10818904 memory=139789760923264 CPUtime=0.08 cores=1,3,5,7
/proc/8796/task/8854/stat : 8854 (java) S 8793 8796 3468 0 -1 1077944384 2 13155 0 0 0 0 5 3 20 0 15 0 49877078 11078557696 10862 33554432000 4194304 4196468 140735872716784 140607295048560 140608091343490 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18403328 140735872723115 140735872726364 140735872726364 140735872729039 0
[pid=8796/tid=8855] ppid=8793 vsize=10818904 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/8796/task/8855/stat : 8855 (java) S 8793 8796 3468 0 -1 1077944384 33 13155 0 0 0 0 5 3 20 0 15 0 49877078 11078557696 10862 33554432000 4194304 4196468 140735872716784 140607293994528 140608091342549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18403328 140735872723115 140735872726364 140735872726364 140735872729039 0
[pid=8796/tid=8856] ppid=8793 vsize=10818904 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/8796/task/8856/stat : 8856 (java) S 8793 8796 3468 0 -1 1077944384 1 13155 0 0 0 0 5 3 20 0 15 0 49877079 11078557696 10862 33554432000 4194304 4196468 140735872716784 140607162934640 140608091342549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18403328 140735872723115 140735872726364 140735872726364 140735872729039 0
[pid=8796/tid=8857] ppid=8793 vsize=10818904 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/8796/task/8857/stat : 8857 (java) S 8793 8796 3468 0 -1 1077944384 3 13155 0 0 0 0 5 3 20 0 15 0 49877081 11078557696 10862 33554432000 4194304 4196468 140735872716784 140606654208336 140608091350939 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18403328 140735872723115 140735872726364 140735872726364 140735872729039 0
[pid=8796/tid=8858] ppid=8793 vsize=10818904 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/8796/task/8858/stat : 8858 (java) S 8793 8796 3468 0 -1 1077944384 530 13155 0 0 1 0 5 3 20 0 15 0 49877081 11078557696 10862 33554432000 4194304 4196468 140735872716784 140607260436848 140608091343490 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18403328 140735872723115 140735872726364 140735872726364 140735872729039 0
[pid=8796/tid=8859] ppid=8793 vsize=10818904 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/8796/task/8859/stat : 8859 (java) S 8793 8796 3468 0 -1 1077944384 53 13155 0 0 0 0 5 3 20 0 15 0 49877081 11078557696 10862 33554432000 4194304 4196468 140735872716784 140607259384048 140608091343490 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18403328 140735872723115 140735872726364 140735872726364 140735872729039 0
[pid=8796/tid=8860] ppid=8793 vsize=10818904 memory=139789760923264 CPUtime=0.11 cores=1,3,5,7
/proc/8796/task/8860/stat : 8860 (java) R 8793 8796 3468 0 -1 4202560 563 13155 0 0 3 0 5 3 20 0 15 0 49877081 11078557696 10862 33554432000 4194304 4196468 140735872716784 140607258331248 140608091353690 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18403328 140735872723115 140735872726364 140735872726364 140735872729039 0
[pid=8796/tid=8861] ppid=8793 vsize=10818904 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/8796/task/8861/stat : 8861 (java) S 8793 8796 3468 0 -1 1077944384 3 13155 0 0 0 0 5 3 20 0 15 0 49877081 11078557696 10862 33554432000 4194304 4196468 140735872716784 140606620649696 140608091342549 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18403328 140735872723115 140735872726364 140735872726364 140735872729039 0
[pid=8796/tid=8862] ppid=8793 vsize=10818904 memory=139789760923264 CPUtime=0.08 cores=1,3,5,7
/proc/8796/task/8862/stat : 8862 (java) S 8793 8796 3468 0 -1 1077944384 1 13155 0 0 0 0 5 3 20 0 15 0 49877082 11078557696 10862 33554432000 4194304 4196468 140735872716784 140607257279664 140608091343490 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18403328 140735872723115 140735872726364 140735872726364 140735872729039 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10818936 KiB
Current children cumulated memory: 43448 KiB

[startup+0.310334 s]*
/proc/loadavg: 1.28 1.40 1.41 3/215 8862
/proc/meminfo: memFree=28455444/32770624 swapFree=67108860/67108860
[pid=8796] ppid=8793 vsize=10819352 memory=51324 CPUtime=0.39 cores=1,3,5,7
/proc/8796/stat : 8796 (java) S 8793 8796 3468 0 -1 1077944320 10464 13155 0 0 29 2 5 3 20 0 15 0 49877067 11079016448 12831 33554432000 4194304 4196468 140735872716784 140735872699328 140608091332343 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 18403328 140735872723115 140735872726364 140735872726364 140735872729039 0
/proc/8796/statm: 2704838 12831 3083 1 0 2667149 0
[pid=8796/tid=8849] ppid=8793 vsize=10819352 memory=8112282956445269571 CPUtime=0.29 cores=1,3,5,7
/proc/8796/task/8849/stat : 8849 (java) R 8793 8796 3468 0 -1 4202560 7060 13155 0 0 20 1 5 3 20 0 15 0 49877076 11079016448 12831 33554432000 4194304 4196468 140735872716784 140608063144352 140608074519152 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18403328 140735872723115 140735872726364 140735872726364 140735872729039 0
[pid=8796/tid=8850] ppid=8793 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/8796/task/8850/stat : 8850 (java) S 8793 8796 3468 0 -1 1077944384 1 13155 0 0 0 0 5 3 20 0 15 0 49877077 11079016448 12831 33554432000 4194304 4196468 140735872716784 140608095574672 140608091342549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18403328 140735872723115 140735872726364 140735872726364 140735872729039 0
[pid=8796/tid=8851] ppid=8793 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/8796/task/8851/stat : 8851 (java) S 8793 8796 3468 0 -1 1077944384 1 13155 0 0 0 0 5 3 20 0 15 0 49877077 11079016448 12831 33554432000 4194304 4196468 140735872716784 140607983847952 140608091342549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18403328 140735872723115 140735872726364 140735872726364 140735872729039 0
[pid=8796/tid=8852] ppid=8793 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/8796/task/8852/stat : 8852 (java) S 8793 8796 3468 0 -1 1077944384 1 13155 0 0 0 0 5 3 20 0 15 0 49877077 11079016448 12831 33554432000 4194304 4196468 140735872716784 140607982795152 140608091342549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18403328 140735872723115 140735872726364 140735872726364 140735872729039 0
[pid=8796/tid=8853] ppid=8793 vsize=10819352 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/8796/task/8853/stat : 8853 (java) S 8793 8796 3468 0 -1 1077944384 2 13155 0 0 0 0 5 3 20 0 15 0 49877077 11079016448 12831 33554432000 4194304 4196468 140735872716784 140607981742352 140608091342549 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18403328 140735872723115 140735872726364 140735872726364 140735872729039 0
[pid=8796/tid=8854] ppid=8793 vsize=10819352 memory=139789760923263 CPUtime=0.08 cores=1,3,5,7
/proc/8796/task/8854/stat : 8854 (java) S 8793 8796 3468 0 -1 1077944384 2 13155 0 0 0 0 5 3 20 0 15 0 49877078 11079016448 12831 33554432000 4194304 4196468 140735872716784 140607295048560 140608091343490 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18403328 140735872723115 140735872726364 140735872726364 140735872729039 0
[pid=8796/tid=8855] ppid=8793 vsize=10819352 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/8796/task/8855/stat : 8855 (java) S 8793 8796 3468 0 -1 1077944384 33 13155 0 0 0 0 5 3 20 0 15 0 49877078 11079016448 12831 33554432000 4194304 4196468 140735872716784 140607293994528 140608091342549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18403328 140735872723115 140735872726364 140735872726364 140735872729039 0
[pid=8796/tid=8856] ppid=8793 vsize=10819352 memory=139789760923264 CPUtime=0.08 cores=1,3,5,7
/proc/8796/task/8856/stat : 8856 (java) S 8793 8796 3468 0 -1 1077944384 1 13155 0 0 0 0 5 3 20 0 15 0 49877079 11079016448 12831 33554432000 4194304 4196468 140735872716784 140607162934640 140608091342549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18403328 140735872723115 140735872726364 140735872726364 140735872729039 0
[pid=8796/tid=8857] ppid=8793 vsize=10819352 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/8796/task/8857/stat : 8857 (java) S 8793 8796 3468 0 -1 1077944384 3 13155 0 0 0 0 5 3 20 0 15 0 49877081 11079016448 12831 33554432000 4194304 4196468 140735872716784 140606654208336 140608091350939 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18403328 140735872723115 140735872726364 140735872726364 140735872729039 0
[pid=8796/tid=8858] ppid=8793 vsize=10819352 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/8796/task/8858/stat : 8858 (java) S 8793 8796 3468 0 -1 1077944384 531 13155 0 0 2 0 5 3 20 0 15 0 49877081 11079016448 12831 33554432000 4194304 4196468 140735872716784 140607260436848 140608091343490 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18403328 140735872723115 140735872726364 140735872726364 140735872729039 0
[pid=8796/tid=8859] ppid=8793 vsize=10819352 memory=-1 CPUtime=0.09 cores=1,3,5,7
/proc/8796/task/8859/stat : 8859 (java) S 8793 8796 3468 0 -1 1077944384 53 13155 0 0 1 0 5 3 20 0 15 0 49877081 11079016448 12831 33554432000 4194304 4196468 140735872716784 140607259384048 140608091343490 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18403328 140735872723115 140735872726364 140735872726364 140735872729039 0
[pid=8796/tid=8860] ppid=8793 vsize=10819352 memory=0 CPUtime=0.13 cores=1,3,5,7
/proc/8796/task/8860/stat : 8860 (java) S 8793 8796 3468 0 -1 1077944384 585 13155 0 0 5 0 5 3 20 0 15 0 49877081 11079016448 12831 33554432000 4194304 4196468 140735872716784 140607258331248 140608091343490 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18403328 140735872723115 140735872726364 140735872726364 140735872729039 0
[pid=8796/tid=8861] ppid=8793 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/8796/task/8861/stat : 8861 (java) S 8793 8796 3468 0 -1 1077944384 3 13155 0 0 0 0 5 3 20 0 15 0 49877081 11079016448 12831 33554432000 4194304 4196468 140735872716784 140606620649696 140608091342549 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18403328 140735872723115 140735872726364 140735872726364 140735872729039 0
[pid=8796/tid=8862] ppid=8793 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/8796/task/8862/stat : 8862 (java) S 8793 8796 3468 0 -1 1077944384 1 13155 0 0 0 0 5 3 20 0 15 0 49877082 11079016448 12831 33554432000 4194304 4196468 140735872716784 140607257279664 140608091343490 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18403328 140735872723115 140735872726364 140735872726364 140735872729039 0
Current children cumulated CPU time: 0.39 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 51324 KiB

[startup+0.700795 s]
/proc/loadavg: 1.28 1.40 1.41 3/215 8862
/proc/meminfo: memFree=28446264/32770624 swapFree=67108860/67108860
[pid=8796] ppid=8793 vsize=10819352 memory=84584 CPUtime=0.98 cores=1,3,5,7
/proc/8796/stat : 8796 (java) S 8793 8796 3468 0 -1 1077944320 16764 13155 0 0 86 4 5 3 20 0 15 0 49877067 11079016448 21146 33554432000 4194304 4196468 140735872716784 140735872699328 140608091332343 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 18403328 140735872723115 140735872726364 140735872726364 140735872729039 0
/proc/8796/statm: 2704838 21146 3240 1 0 2667149 0
[pid=8796/tid=8849] ppid=8793 vsize=10819352 memory=16396 CPUtime=0.67 cores=1,3,5,7
/proc/8796/task/8849/stat : 8849 (java) R 8793 8796 3468 0 -1 4202560 12265 13155 0 0 56 3 5 3 20 0 15 0 49877076 11079016448 21146 33554432000 4194304 4196468 140735872716784 140608063153168 140608072895899 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18403328 140735872723115 140735872726364 140735872726364 140735872729039 0
[pid=8796/tid=8850] ppid=8793 vsize=10819352 memory=4580 CPUtime=0.08 cores=1,3,5,7
/proc/8796/task/8850/stat : 8850 (java) S 8793 8796 3468 0 -1 1077944384 1 13155 0 0 0 0 5 3 20 0 15 0 49877077 11079016448 21146 33554432000 4194304 4196468 140735872716784 140608095574672 140608091342549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18403328 140735872723115 140735872726364 140735872726364 140735872729039 0
[pid=8796/tid=8851] ppid=8793 vsize=10819352 memory=139789643063810 CPUtime=0.08 cores=1,3,5,7
/proc/8796/task/8851/stat : 8851 (java) S 8793 8796 3468 0 -1 1077944384 1 13155 0 0 0 0 5 3 20 0 15 0 49877077 11079016448 21146 33554432000 4194304 4196468 140735872716784 140607983847952 140608091342549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18403328 140735872723115 140735872726364 140735872726364 140735872729039 0
[pid=8796/tid=8852] ppid=8793 vsize=10819352 memory=139792595551102 CPUtime=0.08 cores=1,3,5,7
/proc/8796/task/8852/stat : 8852 (java) S 8793 8796 3468 0 -1 1077944384 1 13155 0 0 0 0 5 3 20 0 15 0 49877077 11079016448 21146 33554432000 4194304 4196468 140735872716784 140607982795152 140608091342549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18403328 140735872723115 140735872726364 140735872726364 140735872729039 0
[pid=8796/tid=8853] ppid=8793 vsize=10819352 memory=1240 CPUtime=0.08 cores=1,3,5,7
/proc/8796/task/8853/stat : 8853 (java) S 8793 8796 3468 0 -1 1077944384 2 13155 0 0 0 0 5 3 20 0 15 0 49877077 11079016448 21146 33554432000 4194304 4196468 140735872716784 140607981742352 140608091342549 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18403328 140735872723115 140735872726364 140735872726364 140735872729039 0
[pid=8796/tid=8854] ppid=8793 vsize=10819352 memory=7157735280180091217 CPUtime=0.08 cores=1,3,5,7
/proc/8796/task/8854/stat : 8854 (java) S 8793 8796 3468 0 -1 1077944384 5 13155 0 0 0 0 5 3 20 0 15 0 49877078 11079016448 21146 33554432000 4194304 4196468 140735872716784 140607295048560 140608091343490 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18403328 140735872723115 140735872726364 140735872726364 140735872729039 0
[pid=8796/tid=8855] ppid=8793 vsize=10819352 memory=7597685182856913236 CPUtime=0.08 cores=1,3,5,7
/proc/8796/task/8855/stat : 8855 (java) S 8793 8796 3468 0 -1 1077944384 33 13155 0 0 0 0 5 3 20 0 15 0 49877078 11079016448 21146 33554432000 4194304 4196468 140735872716784 140607293994528 140608091342549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18403328 140735872723115 140735872726364 140735872726364 140735872729039 0
[pid=8796/tid=8856] ppid=8793 vsize=10819352 memory=5788647689011156329 CPUtime=0.08 cores=1,3,5,7
/proc/8796/task/8856/stat : 8856 (java) S 8793 8796 3468 0 -1 1077944384 1 13155 0 0 0 0 5 3 20 0 15 0 49877079 11079016448 21146 33554432000 4194304 4196468 140735872716784 140607162934640 140608091342549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18403328 140735872723115 140735872726364 140735872726364 140735872729039 0
[pid=8796/tid=8857] ppid=8793 vsize=10819352 memory=3054156605368933524 CPUtime=0.08 cores=1,3,5,7
/proc/8796/task/8857/stat : 8857 (java) S 8793 8796 3468 0 -1 1077944384 3 13155 0 0 0 0 5 3 20 0 15 0 49877081 11079016448 21146 33554432000 4194304 4196468 140735872716784 140606654208336 140608091350939 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18403328 140735872723115 140735872726364 140735872726364 140735872729039 0
[pid=8796/tid=8858] ppid=8793 vsize=10819352 memory=8326441112149131693 CPUtime=0.14 cores=1,3,5,7
/proc/8796/task/8858/stat : 8858 (java) S 8793 8796 3468 0 -1 1077944384 923 13155 0 0 6 0 5 3 20 0 15 0 49877081 11079016448 21146 33554432000 4194304 4196468 140735872716784 140607260436848 140608091343490 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18403328 140735872723115 140735872726364 140735872726364 140735872729039 0
[pid=8796/tid=8859] ppid=8793 vsize=10819352 memory=7679937539659563834 CPUtime=0.17 cores=1,3,5,7
/proc/8796/task/8859/stat : 8859 (java) S 8793 8796 3468 0 -1 1077944384 666 13155 0 0 9 0 5 3 20 0 15 0 49877081 11079016448 21146 33554432000 4194304 4196468 140735872716784 140607259384048 140608091343490 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18403328 140735872723115 140735872726364 140735872726364 140735872729039 0
[pid=8796/tid=8860] ppid=8793 vsize=10819352 memory=6944656425123485561 CPUtime=0.21 cores=1,3,5,7
/proc/8796/task/8860/stat : 8860 (java) S 8793 8796 3468 0 -1 1077944384 672 13155 0 0 13 0 5 3 20 0 15 0 49877081 11079016448 21146 33554432000 4194304 4196468 140735872716784 140607258331248 140608091343490 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18403328 140735872723115 140735872726364 140735872726364 140735872729039 0
[pid=8796/tid=8861] ppid=8793 vsize=10819352 memory=-9178176116494409632 CPUtime=0.08 cores=1,3,5,7
/proc/8796/task/8861/stat : 8861 (java) S 8793 8796 3468 0 -1 1077944384 3 13155 0 0 0 0 5 3 20 0 15 0 49877081 11079016448 21146 33554432000 4194304 4196468 140735872716784 140606620649696 140608091342549 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18403328 140735872723115 140735872726364 140735872726364 140735872729039 0
[pid=8796/tid=8862] ppid=8793 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/8796/task/8862/stat : 8862 (java) S 8793 8796 3468 0 -1 1077944384 1 13155 0 0 0 0 5 3 20 0 15 0 49877082 11079016448 21146 33554432000 4194304 4196468 140735872716784 140607257279664 140608091343490 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18403328 140735872723115 140735872726364 140735872726364 140735872729039 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 84584 KiB

[startup+1.50077 s]
/proc/loadavg: 1.28 1.40 1.41 3/215 8862
/proc/meminfo: memFree=28399988/32770624 swapFree=67108860/67108860
[pid=8796] ppid=8793 vsize=10832204 memory=187580 CPUtime=2.97 cores=1,3,5,7
/proc/8796/stat : 8796 (java) S 8793 8796 3468 0 -1 1077944320 24917 13155 0 0 279 10 5 3 20 0 15 0 49877067 11092176896 46895 33554432000 4194304 4196468 140735872716784 140735872699328 140608091332343 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 18403328 140735872723115 140735872726364 140735872726364 140735872729039 0
/proc/8796/statm: 2708051 46895 3460 1 0 2669709 0
[pid=8796/tid=8849] ppid=8793 vsize=10832204 memory=0 CPUtime=1.44 cores=1,3,5,7
/proc/8796/task/8849/stat : 8849 (java) S 8793 8796 3468 0 -1 1077944384 16963 13155 0 0 131 5 5 3 20 0 15 0 49877076 11092176896 46895 33554432000 4194304 4196468 140735872716784 140608063146816 140608091342549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18403328 140735872723115 140735872726364 140735872726364 140735872729039 0
[pid=8796/tid=8850] ppid=8793 vsize=10832204 memory=99048 CPUtime=0.08 cores=1,3,5,7
/proc/8796/task/8850/stat : 8850 (java) S 8793 8796 3468 0 -1 1077944384 11 13155 0 0 0 0 5 3 20 0 15 0 49877077 11092176896 46895 33554432000 4194304 4196468 140735872716784 140608095574672 140608091342549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18403328 140735872723115 140735872726364 140735872726364 140735872729039 0
[pid=8796/tid=8851] ppid=8793 vsize=10832204 memory=5790086053191909267 CPUtime=0.08 cores=1,3,5,7
/proc/8796/task/8851/stat : 8851 (java) S 8793 8796 3468 0 -1 1077944384 70 13155 0 0 0 0 5 3 20 0 15 0 49877077 11092176896 46895 33554432000 4194304 4196468 140735872716784 140607983847952 140608091342549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18403328 140735872723115 140735872726364 140735872726364 140735872729039 0
[pid=8796/tid=8852] ppid=8793 vsize=10832204 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/8796/task/8852/stat : 8852 (java) S 8793 8796 3468 0 -1 1077944384 51 13155 0 0 0 0 5 3 20 0 15 0 49877077 11092176896 46895 33554432000 4194304 4196468 140735872716784 140607982795152 140608091342549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18403328 140735872723115 140735872726364 140735872726364 140735872729039 0
[pid=8796/tid=8853] ppid=8793 vsize=10832204 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/8796/task/8853/stat : 8853 (java) S 8793 8796 3468 0 -1 1077944384 148 13155 0 0 0 0 5 3 20 0 15 0 49877077 11092176896 46895 33554432000 4194304 4196468 140735872716784 140607981742352 140608091342549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18403328 140735872723115 140735872726364 140735872726364 140735872729039 0
[pid=8796/tid=8854] ppid=8793 vsize=10832204 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/8796/task/8854/stat : 8854 (java) R 8793 8796 3468 0 -1 4202560 40 13155 0 0 0 0 5 3 20 0 15 0 49877078 11092176896 46895 33554432000 4194304 4196468 140735872716784 140607295046848 140608077024039 0 0 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18403328 140735872723115 140735872726364 140735872726364 140735872729039 0
[pid=8796/tid=8855] ppid=8793 vsize=10832204 memory=-6221781267475802396 CPUtime=0.08 cores=1,3,5,7
/proc/8796/task/8855/stat : 8855 (java) S 8793 8796 3468 0 -1 1077944384 33 13155 0 0 0 0 5 3 20 0 15 0 49877078 11092176896 46895 33554432000 4194304 4196468 140735872716784 140607293994528 140608091342549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18403328 140735872723115 140735872726364 140735872726364 140735872729039 0
[pid=8796/tid=8856] ppid=8793 vsize=10832204 memory=4128 CPUtime=0.08 cores=1,3,5,7
/proc/8796/task/8856/stat : 8856 (java) S 8793 8796 3468 0 -1 1077944384 1 13155 0 0 0 0 5 3 20 0 15 0 49877079 11092176896 46895 33554432000 4194304 4196468 140735872716784 140607162934640 140608091342549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18403328 140735872723115 140735872726364 140735872726364 140735872729039 0
[pid=8796/tid=8857] ppid=8793 vsize=10832204 memory=2204 CPUtime=0.08 cores=1,3,5,7
/proc/8796/task/8857/stat : 8857 (java) S 8793 8796 3468 0 -1 1077944384 3 13155 0 0 0 0 5 3 20 0 15 0 49877081 11092176896 46895 33554432000 4194304 4196468 140735872716784 140606654208336 140608091350939 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18403328 140735872723115 140735872726364 140735872726364 140735872729039 0
[pid=8796/tid=8858] ppid=8793 vsize=10832204 memory=0 CPUtime=0.61 cores=1,3,5,7
/proc/8796/task/8858/stat : 8858 (java) R 8793 8796 3468 0 -1 4202560 2041 13155 0 0 53 0 5 3 20 0 15 0 49877081 11092176896 46895 33554432000 4194304 4196468 140735872716784 140607260423072 140608072853743 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18403328 140735872723115 140735872726364 140735872726364 140735872729039 0
[pid=8796/tid=8859] ppid=8793 vsize=10832204 memory=177817283254453 CPUtime=0.57 cores=1,3,5,7
/proc/8796/task/8859/stat : 8859 (java) S 8793 8796 3468 0 -1 1077944384 1863 13155 0 0 49 0 5 3 20 0 15 0 49877081 11092176896 46895 33554432000 4194304 4196468 140735872716784 140607259384048 140608091343490 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18403328 140735872723115 140735872726364 140735872726364 140735872729039 0
[pid=8796/tid=8860] ppid=8793 vsize=10832204 memory=266557 CPUtime=0.5 cores=1,3,5,7
/proc/8796/task/8860/stat : 8860 (java) S 8793 8796 3468 0 -1 1077944384 1502 13155 0 0 42 0 5 3 20 0 15 0 49877081 11092176896 46895 33554432000 4194304 4196468 140735872716784 140607258331248 140608091343490 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18403328 140735872723115 140735872726364 140735872726364 140735872729039 0
[pid=8796/tid=8861] ppid=8793 vsize=10832204 memory=6935649255759568960 CPUtime=0.08 cores=1,3,5,7
/proc/8796/task/8861/stat : 8861 (java) S 8793 8796 3468 0 -1 1077944384 3 13155 0 0 0 0 5 3 20 0 15 0 49877081 11092176896 46895 33554432000 4194304 4196468 140735872716784 140606620649696 140608091342549 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18403328 140735872723115 140735872726364 140735872726364 140735872729039 0
[pid=8796/tid=8862] ppid=8793 vsize=10832204 memory=4638778398332698720 CPUtime=0.08 cores=1,3,5,7
/proc/8796/task/8862/stat : 8862 (java) S 8793 8796 3468 0 -1 1077944384 1 13155 0 0 0 0 5 3 20 0 15 0 49877082 11092176896 46895 33554432000 4194304 4196468 140735872716784 140607257279664 140608091343490 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18403328 140735872723115 140735872726364 140735872726364 140735872729039 0
Current children cumulated CPU time: 2.97 s
Current children cumulated vsize: 10832204 KiB

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

/proc/8796/task/8849/stat : 8849 (java) R 8793 8796 3468 0 -1 4202560 93396 13155 0 0 237200 45 5 3 20 0 15 0 49877076 11178180608 241724 33554432000 4194304 4196468 140735872716784 140608063166800 140607665868234 0 4 0 16800975 0 0 0 -1 5 0 0 29 0 0 6293624 6294260 18403328 140735872723115 140735872726364 140735872726364 140735872729039 0
[pid=8796/tid=8850] ppid=8793 vsize=10916192 memory=966896 CPUtime=5.82 cores=1,3,5,7
/proc/8796/task/8850/stat : 8850 (java) S 8793 8796 3468 0 -1 1077944384 12578 13155 0 0 537 37 5 3 20 0 15 0 49877077 11178180608 241724 33554432000 4194304 4196468 140735872716784 140608095574672 140608091342549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18403328 140735872723115 140735872726364 140735872726364 140735872729039 0
[pid=8796/tid=8851] ppid=8793 vsize=10916192 memory=139789643082881 CPUtime=5.86 cores=1,3,5,7
/proc/8796/task/8851/stat : 8851 (java) S 8793 8796 3468 0 -1 1077944384 13177 13155 0 0 541 37 5 3 20 0 15 0 49877077 11178180608 241724 33554432000 4194304 4196468 140735872716784 140607983847952 140608091342549 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18403328 140735872723115 140735872726364 140735872726364 140735872729039 0
[pid=8796/tid=8852] ppid=8793 vsize=10916192 memory=980700 CPUtime=5.84 cores=1,3,5,7
/proc/8796/task/8852/stat : 8852 (java) S 8793 8796 3468 0 -1 1077944384 19501 13155 0 0 540 36 5 3 20 0 15 0 49877077 11178180608 241724 33554432000 4194304 4196468 140735872716784 140607982795152 140608091342549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18403328 140735872723115 140735872726364 140735872726364 140735872729039 0
[pid=8796/tid=8853] ppid=8793 vsize=10916192 memory=980700 CPUtime=5.83 cores=1,3,5,7
/proc/8796/task/8853/stat : 8853 (java) S 8793 8796 3468 0 -1 1077944384 21351 13155 0 0 535 40 5 3 20 0 15 0 49877077 11178180608 241724 33554432000 4194304 4196468 140735872716784 140607981742352 140608091342549 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18403328 140735872723115 140735872726364 140735872726364 140735872729039 0
[pid=8796/tid=8854] ppid=8793 vsize=10916192 memory=279579286312704 CPUtime=2.65 cores=1,3,5,7
/proc/8796/task/8854/stat : 8854 (java) S 8793 8796 3468 0 -1 1077944384 15590 13155 0 0 239 18 5 3 20 0 15 0 49877078 11178180608 241724 33554432000 4194304 4196468 140735872716784 140607295048560 140608091343490 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18403328 140735872723115 140735872726364 140735872726364 140735872729039 0
[pid=8796/tid=8855] ppid=8793 vsize=10916192 memory=982792 CPUtime=0.08 cores=1,3,5,7
/proc/8796/task/8855/stat : 8855 (java) S 8793 8796 3468 0 -1 1077944384 41 13155 0 0 0 0 5 3 20 0 15 0 49877078 11178180608 241724 33554432000 4194304 4196468 140735872716784 140607293994656 140608091342549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18403328 140735872723115 140735872726364 140735872726364 140735872729039 0
[pid=8796/tid=8856] ppid=8793 vsize=10916192 memory=969976 CPUtime=0.08 cores=1,3,5,7
/proc/8796/task/8856/stat : 8856 (java) S 8793 8796 3468 0 -1 1077944384 6 13155 0 0 0 0 5 3 20 0 15 0 49877079 11178180608 241724 33554432000 4194304 4196468 140735872716784 140607162934656 140608091342549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18403328 140735872723115 140735872726364 140735872726364 140735872729039 0
[pid=8796/tid=8857] ppid=8793 vsize=10916192 memory=967924 CPUtime=0.08 cores=1,3,5,7
/proc/8796/task/8857/stat : 8857 (java) S 8793 8796 3468 0 -1 1077944384 3 13155 0 0 0 0 5 3 20 0 15 0 49877081 11178180608 241724 33554432000 4194304 4196468 140735872716784 140606654208336 140608091350939 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18403328 140735872723115 140735872726364 140735872726364 140735872729039 0
[pid=8796/tid=8858] ppid=8793 vsize=10916192 memory=967412 CPUtime=6.24 cores=1,3,5,7
/proc/8796/task/8858/stat : 8858 (java) S 8793 8796 3468 0 -1 1077944384 67483 13155 0 0 610 6 5 3 20 0 15 0 49877081 11178180608 241724 33554432000 4194304 4196468 140735872716784 140607260436848 140608091343490 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18403328 140735872723115 140735872726364 140735872726364 140735872729039 0
[pid=8796/tid=8859] ppid=8793 vsize=10916192 memory=967412 CPUtime=5.56 cores=1,3,5,7
/proc/8796/task/8859/stat : 8859 (java) S 8793 8796 3468 0 -1 1077944384 38146 13155 0 0 543 5 5 3 20 0 15 0 49877081 11178180608 241724 33554432000 4194304 4196468 140735872716784 140607259384048 140608091343490 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18403328 140735872723115 140735872726364 140735872726364 140735872729039 0
[pid=8796/tid=8860] ppid=8793 vsize=10916192 memory=966896 CPUtime=2.73 cores=1,3,5,7
/proc/8796/task/8860/stat : 8860 (java) S 8793 8796 3468 0 -1 1077944384 47553 13155 0 0 259 6 5 3 20 0 15 0 49877081 11178180608 241724 33554432000 4194304 4196468 140735872716784 140607258331248 140608091343490 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 31 0 0 6293624 6294260 18403328 140735872723115 140735872726364 140735872726364 140735872729039 0
[pid=8796/tid=8861] ppid=8793 vsize=10916192 memory=2899212 CPUtime=0.08 cores=1,3,5,7
/proc/8796/task/8861/stat : 8861 (java) S 8793 8796 3468 0 -1 1077944384 3 13155 0 0 0 0 5 3 20 0 15 0 49877081 11178180608 241724 33554432000 4194304 4196468 140735872716784 140606620649696 140608091342549 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18403328 140735872723115 140735872726364 140735872726364 140735872729039 0
[pid=8796/tid=8862] ppid=8793 vsize=10916192 memory=4140 CPUtime=1.46 cores=1,3,5,7
/proc/8796/task/8862/stat : 8862 (java) S 8793 8796 3468 0 -1 1077944384 1077 13155 0 0 60 78 5 3 20 0 15 0 49877082 11178180608 241724 33554432000 4194304 4196468 140735872716784 140607257279664 140608091343490 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 30 0 0 6293624 6294260 18403328 140735872723115 140735872726364 140735872726364 140735872729039 0
Current children cumulated CPU time: 2413.89 s
Current children cumulated vsize: 10916192 KiB
Current children cumulated memory: 966896 KiB

[startup+2442.3 s]
/proc/loadavg: 1.74 1.57 1.39 3/215 9066
/proc/meminfo: memFree=24583732/32770624 swapFree=67108860/67108860
[pid=8796] ppid=8793 vsize=10916192 memory=966916 CPUtime=2474.31 cores=1,3,5,7
/proc/8796/stat : 8796 (java) S 8793 8796 3468 0 -1 1077944320 334056 13155 0 0 247138 285 5 3 20 0 15 0 49877067 11178180608 241729 33554432000 4194304 4196468 140735872716784 140735872699328 140608091332343 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 18403328 140735872723115 140735872726364 140735872726364 140735872729039 0
/proc/8796/statm: 2729048 241729 3534 1 0 2690701 0
[pid=8796/tid=8849] ppid=8793 vsize=10916192 memory=964868 CPUtime=2432.31 cores=1,3,5,7
/proc/8796/task/8849/stat : 8849 (java) R 8793 8796 3468 0 -1 4202560 93918 13155 0 0 243178 45 5 3 20 0 15 0 49877076 11178180608 241729 33554432000 4194304 4196468 140735872716784 140608063166976 140607669989949 0 4 0 16800975 0 0 0 -1 1 0 0 29 0 0 6293624 6294260 18403328 140735872723115 140735872726364 140735872726364 140735872729039 0
[pid=8796/tid=8850] ppid=8793 vsize=10916192 memory=982792 CPUtime=5.94 cores=1,3,5,7
/proc/8796/task/8850/stat : 8850 (java) S 8793 8796 3468 0 -1 1077944384 12654 13155 0 0 549 37 5 3 20 0 15 0 49877077 11178180608 241729 33554432000 4194304 4196468 140735872716784 140608095574672 140608091342549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18403328 140735872723115 140735872726364 140735872726364 140735872729039 0
[pid=8796/tid=8851] ppid=8793 vsize=10916192 memory=965872 CPUtime=6 cores=1,3,5,7
/proc/8796/task/8851/stat : 8851 (java) S 8793 8796 3468 0 -1 1077944384 13515 13155 0 0 554 38 5 3 20 0 15 0 49877077 11178180608 241729 33554432000 4194304 4196468 140735872716784 140607983847952 140608091342549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18403328 140735872723115 140735872726364 140735872726364 140735872729039 0
[pid=8796/tid=8852] ppid=8793 vsize=10916192 memory=139789643082881 CPUtime=5.97 cores=1,3,5,7
/proc/8796/task/8852/stat : 8852 (java) S 8793 8796 3468 0 -1 1077944384 19616 13155 0 0 553 36 5 3 20 0 15 0 49877077 11178180608 241729 33554432000 4194304 4196468 140735872716784 140607982795152 140608091342549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18403328 140735872723115 140735872726364 140735872726364 140735872729039 0
[pid=8796/tid=8853] ppid=8793 vsize=10916192 memory=969976 CPUtime=5.96 cores=1,3,5,7
/proc/8796/task/8853/stat : 8853 (java) S 8793 8796 3468 0 -1 1077944384 21394 13155 0 0 548 40 5 3 20 0 15 0 49877077 11178180608 241729 33554432000 4194304 4196468 140735872716784 140607981742352 140608091342549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18403328 140735872723115 140735872726364 140735872726364 140735872729039 0
[pid=8796/tid=8854] ppid=8793 vsize=10916192 memory=964864 CPUtime=2.72 cores=1,3,5,7
/proc/8796/task/8854/stat : 8854 (java) S 8793 8796 3468 0 -1 1077944384 15787 13155 0 0 245 19 5 3 20 0 15 0 49877078 11178180608 241729 33554432000 4194304 4196468 140735872716784 140607295048560 140608091343490 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18403328 140735872723115 140735872726364 140735872726364 140735872729039 0
[pid=8796/tid=8855] ppid=8793 vsize=10916192 memory=964868 CPUtime=0.08 cores=1,3,5,7
/proc/8796/task/8855/stat : 8855 (java) S 8793 8796 3468 0 -1 1077944384 41 13155 0 0 0 0 5 3 20 0 15 0 49877078 11178180608 241729 33554432000 4194304 4196468 140735872716784 140607293994656 140608091342549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18403328 140735872723115 140735872726364 140735872726364 140735872729039 0
[pid=8796/tid=8856] ppid=8793 vsize=10916192 memory=964868 CPUtime=0.08 cores=1,3,5,7
/proc/8796/task/8856/stat : 8856 (java) S 8793 8796 3468 0 -1 1077944384 6 13155 0 0 0 0 5 3 20 0 15 0 49877079 11178180608 241729 33554432000 4194304 4196468 140735872716784 140607162934656 140608091342549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18403328 140735872723115 140735872726364 140735872726364 140735872729039 0
[pid=8796/tid=8857] ppid=8793 vsize=10916192 memory=964868 CPUtime=0.08 cores=1,3,5,7
/proc/8796/task/8857/stat : 8857 (java) S 8793 8796 3468 0 -1 1077944384 3 13155 0 0 0 0 5 3 20 0 15 0 49877081 11178180608 241729 33554432000 4194304 4196468 140735872716784 140606654208336 140608091350939 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18403328 140735872723115 140735872726364 140735872726364 140735872729039 0
[pid=8796/tid=8858] ppid=8793 vsize=10916192 memory=964868 CPUtime=6.24 cores=1,3,5,7
/proc/8796/task/8858/stat : 8858 (java) S 8793 8796 3468 0 -1 1077944384 67552 13155 0 0 610 6 5 3 20 0 15 0 49877081 11178180608 241729 33554432000 4194304 4196468 140735872716784 140607260436848 140608091343490 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18403328 140735872723115 140735872726364 140735872726364 140735872729039 0
[pid=8796/tid=8859] ppid=8793 vsize=10916192 memory=964868 CPUtime=5.56 cores=1,3,5,7
/proc/8796/task/8859/stat : 8859 (java) S 8793 8796 3468 0 -1 1077944384 38543 13155 0 0 543 5 5 3 20 0 15 0 49877081 11178180608 241729 33554432000 4194304 4196468 140735872716784 140607259384048 140608091343490 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18403328 140735872723115 140735872726364 140735872726364 140735872729039 0
[pid=8796/tid=8860] ppid=8793 vsize=10916192 memory=964868 CPUtime=2.73 cores=1,3,5,7
/proc/8796/task/8860/stat : 8860 (java) S 8793 8796 3468 0 -1 1077944384 47731 13155 0 0 259 6 5 3 20 0 15 0 49877081 11178180608 241729 33554432000 4194304 4196468 140735872716784 140607258331248 140608091343490 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 31 0 0 6293624 6294260 18403328 140735872723115 140735872726364 140735872726364 140735872729039 0
[pid=8796/tid=8861] ppid=8793 vsize=10916192 memory=964868 CPUtime=0.08 cores=1,3,5,7
/proc/8796/task/8861/stat : 8861 (java) S 8793 8796 3468 0 -1 1077944384 3 13155 0 0 0 0 5 3 20 0 15 0 49877081 11178180608 241729 33554432000 4194304 4196468 140735872716784 140606620649696 140608091342549 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18403328 140735872723115 140735872726364 140735872726364 140735872729039 0
[pid=8796/tid=8862] ppid=8793 vsize=10916192 memory=8112282956445269571 CPUtime=1.5 cores=1,3,5,7
/proc/8796/task/8862/stat : 8862 (java) S 8793 8796 3468 0 -1 1077944384 1106 13155 0 0 62 80 5 3 20 0 15 0 49877082 11178180608 241729 33554432000 4194304 4196468 140735872716784 140607257279664 140608091343490 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 30 0 0 6293624 6294260 18403328 140735872723115 140735872726364 140735872726364 140735872729039 0
Current children cumulated CPU time: 2474.31 s
Current children cumulated vsize: 10916192 KiB
Current children cumulated memory: 966916 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2487.7 s]
/proc/loadavg: 1.46 1.52 1.38 3/215 9073
/proc/meminfo: memFree=24517836/32770624 swapFree=67108860/67108860
[pid=8796] ppid=8793 vsize=10916192 memory=966932 CPUtime=2520.02 cores=1,3,5,7
/proc/8796/stat : 8796 (java) S 8793 8796 3468 0 -1 1077944320 335982 13155 0 0 251707 287 5 3 20 0 15 0 49877067 11178180608 241733 33554432000 4194304 4196468 140735872716784 140735872699328 140608091332343 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 18403328 140735872723115 140735872726364 140735872726364 140735872729039 0
/proc/8796/statm: 2729048 241733 3534 1 0 2690701 0
[pid=8796/tid=8849] ppid=8793 vsize=10916192 memory=966932 CPUtime=2477.54 cores=1,3,5,7
/proc/8796/task/8849/stat : 8849 (java) R 8793 8796 3468 0 -1 4202560 94316 13155 0 0 247701 45 5 3 20 0 15 0 49877076 11178180608 241733 33554432000 4194304 4196468 140735872716784 140608063166704 140607665866826 0 4 0 16800975 0 0 0 -1 1 0 0 29 0 0 6293624 6294260 18403328 140735872723115 140735872726364 140735872726364 140735872729039 0
[pid=8796/tid=8850] ppid=8793 vsize=10916192 memory=966932 CPUtime=6.05 cores=1,3,5,7
/proc/8796/task/8850/stat : 8850 (java) S 8793 8796 3468 0 -1 1077944384 12730 13155 0 0 559 38 5 3 20 0 15 0 49877077 11178180608 241733 33554432000 4194304 4196468 140735872716784 140608095574672 140608091342549 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18403328 140735872723115 140735872726364 140735872726364 140735872729039 0
[pid=8796/tid=8851] ppid=8793 vsize=10916192 memory=966932 CPUtime=6.1 cores=1,3,5,7
/proc/8796/task/8851/stat : 8851 (java) S 8793 8796 3468 0 -1 1077944384 13590 13155 0 0 564 38 5 3 20 0 15 0 49877077 11178180608 241733 33554432000 4194304 4196468 140735872716784 140607983847952 140608091342549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18403328 140735872723115 140735872726364 140735872726364 140735872729039 0
[pid=8796/tid=8852] ppid=8793 vsize=10916192 memory=966932 CPUtime=6.08 cores=1,3,5,7
/proc/8796/task/8852/stat : 8852 (java) S 8793 8796 3468 0 -1 1077944384 19670 13155 0 0 563 37 5 3 20 0 15 0 49877077 11178180608 241733 33554432000 4194304 4196468 140735872716784 140607982795152 140608091342549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18403328 140735872723115 140735872726364 140735872726364 140735872729039 0
[pid=8796/tid=8853] ppid=8793 vsize=10916192 memory=966932 CPUtime=6.06 cores=1,3,5,7
/proc/8796/task/8853/stat : 8853 (java) S 8793 8796 3468 0 -1 1077944384 21751 13155 0 0 557 41 5 3 20 0 15 0 49877077 11178180608 241733 33554432000 4194304 4196468 140735872716784 140607981742352 140608091342549 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18403328 140735872723115 140735872726364 140735872726364 140735872729039 0
[pid=8796/tid=8854] ppid=8793 vsize=10916192 memory=966932 CPUtime=2.76 cores=1,3,5,7
/proc/8796/task/8854/stat : 8854 (java) S 8793 8796 3468 0 -1 1077944384 15983 13155 0 0 249 19 5 3 20 0 15 0 49877078 11178180608 241733 33554432000 4194304 4196468 140735872716784 140607295048560 140608091343490 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18403328 140735872723115 140735872726364 140735872726364 140735872729039 0
[pid=8796/tid=8855] ppid=8793 vsize=10916192 memory=966924 CPUtime=0.08 cores=1,3,5,7
/proc/8796/task/8855/stat : 8855 (java) S 8793 8796 3468 0 -1 1077944384 41 13155 0 0 0 0 5 3 20 0 15 0 49877078 11178180608 241733 33554432000 4194304 4196468 140735872716784 140607293994656 140608091342549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18403328 140735872723115 140735872726364 140735872726364 140735872729039 0
[pid=8796/tid=8856] ppid=8793 vsize=10916192 memory=966924 CPUtime=0.08 cores=1,3,5,7
/proc/8796/task/8856/stat : 8856 (java) S 8793 8796 3468 0 -1 1077944384 6 13155 0 0 0 0 5 3 20 0 15 0 49877079 11178180608 241733 33554432000 4194304 4196468 140735872716784 140607162934656 140608091342549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18403328 140735872723115 140735872726364 140735872726364 140735872729039 0
[pid=8796/tid=8857] ppid=8793 vsize=10916192 memory=966932 CPUtime=0.08 cores=1,3,5,7
/proc/8796/task/8857/stat : 8857 (java) S 8793 8796 3468 0 -1 1077944384 3 13155 0 0 0 0 5 3 20 0 15 0 49877081 11178180608 241733 33554432000 4194304 4196468 140735872716784 140606654208336 140608091350939 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18403328 140735872723115 140735872726364 140735872726364 140735872729039 0
[pid=8796/tid=8858] ppid=8793 vsize=10916192 memory=966932 CPUtime=6.25 cores=1,3,5,7
/proc/8796/task/8858/stat : 8858 (java) S 8793 8796 3468 0 -1 1077944384 67725 13155 0 0 611 6 5 3 20 0 15 0 49877081 11178180608 241733 33554432000 4194304 4196468 140735872716784 140607260436848 140608091343490 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18403328 140735872723115 140735872726364 140735872726364 140735872729039 0
[pid=8796/tid=8859] ppid=8793 vsize=10916192 memory=966932 CPUtime=5.57 cores=1,3,5,7
/proc/8796/task/8859/stat : 8859 (java) S 8793 8796 3468 0 -1 1077944384 38952 13155 0 0 544 5 5 3 20 0 15 0 49877081 11178180608 241733 33554432000 4194304 4196468 140735872716784 140607259384048 140608091343490 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18403328 140735872723115 140735872726364 140735872726364 140735872729039 0
[pid=8796/tid=8860] ppid=8793 vsize=10916192 memory=966932 CPUtime=2.73 cores=1,3,5,7
/proc/8796/task/8860/stat : 8860 (java) S 8793 8796 3468 0 -1 1077944384 47889 13155 0 0 259 6 5 3 20 0 15 0 49877081 11178180608 241733 33554432000 4194304 4196468 140735872716784 140607258331248 140608091343490 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 31 0 0 6293624 6294260 18403328 140735872723115 140735872726364 140735872726364 140735872729039 0
[pid=8796/tid=8861] ppid=8793 vsize=10916192 memory=966932 CPUtime=0.08 cores=1,3,5,7
/proc/8796/task/8861/stat : 8861 (java) S 8793 8796 3468 0 -1 1077944384 3 13155 0 0 0 0 5 3 20 0 15 0 49877081 11178180608 241733 33554432000 4194304 4196468 140735872716784 140606620649696 140608091342549 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18403328 140735872723115 140735872726364 140735872726364 140735872729039 0
[pid=8796/tid=8862] ppid=8793 vsize=10916192 memory=966932 CPUtime=1.52 cores=1,3,5,7
/proc/8796/task/8862/stat : 8862 (java) S 8793 8796 3468 0 -1 1077944384 1136 13155 0 0 63 81 5 3 20 0 15 0 49877082 11178180608 241733 33554432000 4194304 4196468 140735872716784 140607257279664 140608091343490 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 30 0 0 6293624 6294260 18403328 140735872723115 140735872726364 140735872726364 140735872729039 0
Current children cumulated CPU time: 2520.02 s
Current children cumulated vsize: 10916192 KiB
Current children cumulated memory: 966932 KiB

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

[startup+2487.74 s]
# the end of solver process 8796 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2517.16 s, system=2.91931 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+2487.7 s]
/proc/loadavg: 1.46 1.52 1.38 3/215 9073
/proc/meminfo: memFree=24517836/32770624 swapFree=67108860/67108860
[pid=8796] ppid=8793 vsize=10916192 memory=966932 CPUtime=2520.02 cores=1,3,5,7
/proc/8796/stat : 8796 (java) S 8793 8796 3468 0 -1 1077944320 335982 13155 0 0 251707 287 5 3 20 0 15 0 49877067 11178180608 241733 33554432000 4194304 4196468 140735872716784 140735872699328 140608091332343 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 18403328 140735872723115 140735872726364 140735872726364 140735872729039 0
/proc/8796/statm: 2729048 241733 3534 1 0 2690701 0
[pid=8796/tid=8849] ppid=8793 vsize=10916192 memory=966932 CPUtime=2477.54 cores=1,3,5,7
/proc/8796/task/8849/stat : 8849 (java) R 8793 8796 3468 0 -1 4202560 94316 13155 0 0 247701 45 5 3 20 0 15 0 49877076 11178180608 241733 33554432000 4194304 4196468 140735872716784 140608063166704 140607665866826 0 4 0 16800975 0 0 0 -1 1 0 0 29 0 0 6293624 6294260 18403328 140735872723115 140735872726364 140735872726364 140735872729039 0
[pid=8796/tid=8850] ppid=8793 vsize=10916192 memory=966932 CPUtime=6.05 cores=1,3,5,7
/proc/8796/task/8850/stat : 8850 (java) S 8793 8796 3468 0 -1 1077944384 12730 13155 0 0 559 38 5 3 20 0 15 0 49877077 11178180608 241733 33554432000 4194304 4196468 140735872716784 140608095574672 140608091342549 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18403328 140735872723115 140735872726364 140735872726364 140735872729039 0
[pid=8796/tid=8851] ppid=8793 vsize=10916192 memory=966932 CPUtime=6.1 cores=1,3,5,7
/proc/8796/task/8851/stat : 8851 (java) S 8793 8796 3468 0 -1 1077944384 13590 13155 0 0 564 38 5 3 20 0 15 0 49877077 11178180608 241733 33554432000 4194304 4196468 140735872716784 140607983847952 140608091342549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18403328 140735872723115 140735872726364 140735872726364 140735872729039 0
[pid=8796/tid=8852] ppid=8793 vsize=10916192 memory=966932 CPUtime=6.08 cores=1,3,5,7
/proc/8796/task/8852/stat : 8852 (java) S 8793 8796 3468 0 -1 1077944384 19670 13155 0 0 563 37 5 3 20 0 15 0 49877077 11178180608 241733 33554432000 4194304 4196468 140735872716784 140607982795152 140608091342549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18403328 140735872723115 140735872726364 140735872726364 140735872729039 0
[pid=8796/tid=8853] ppid=8793 vsize=10916192 memory=966932 CPUtime=6.06 cores=1,3,5,7
/proc/8796/task/8853/stat : 8853 (java) S 8793 8796 3468 0 -1 1077944384 21751 13155 0 0 557 41 5 3 20 0 15 0 49877077 11178180608 241733 33554432000 4194304 4196468 140735872716784 140607981742352 140608091342549 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18403328 140735872723115 140735872726364 140735872726364 140735872729039 0
[pid=8796/tid=8854] ppid=8793 vsize=10916192 memory=966932 CPUtime=2.76 cores=1,3,5,7
/proc/8796/task/8854/stat : 8854 (java) S 8793 8796 3468 0 -1 1077944384 15983 13155 0 0 249 19 5 3 20 0 15 0 49877078 11178180608 241733 33554432000 4194304 4196468 140735872716784 140607295048560 140608091343490 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18403328 140735872723115 140735872726364 140735872726364 140735872729039 0
[pid=8796/tid=8855] ppid=8793 vsize=10916192 memory=966924 CPUtime=0.08 cores=1,3,5,7
/proc/8796/task/8855/stat : 8855 (java) S 8793 8796 3468 0 -1 1077944384 41 13155 0 0 0 0 5 3 20 0 15 0 49877078 11178180608 241733 33554432000 4194304 4196468 140735872716784 140607293994656 140608091342549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18403328 140735872723115 140735872726364 140735872726364 140735872729039 0
[pid=8796/tid=8856] ppid=8793 vsize=10916192 memory=966924 CPUtime=0.08 cores=1,3,5,7
/proc/8796/task/8856/stat : 8856 (java) S 8793 8796 3468 0 -1 1077944384 6 13155 0 0 0 0 5 3 20 0 15 0 49877079 11178180608 241733 33554432000 4194304 4196468 140735872716784 140607162934656 140608091342549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18403328 140735872723115 140735872726364 140735872726364 140735872729039 0
[pid=8796/tid=8857] ppid=8793 vsize=10916192 memory=966932 CPUtime=0.08 cores=1,3,5,7
/proc/8796/task/8857/stat : 8857 (java) S 8793 8796 3468 0 -1 1077944384 3 13155 0 0 0 0 5 3 20 0 15 0 49877081 11178180608 241733 33554432000 4194304 4196468 140735872716784 140606654208336 140608091350939 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18403328 140735872723115 140735872726364 140735872726364 140735872729039 0
[pid=8796/tid=8858] ppid=8793 vsize=10916192 memory=966932 CPUtime=6.25 cores=1,3,5,7
/proc/8796/task/8858/stat : 8858 (java) S 8793 8796 3468 0 -1 1077944384 67725 13155 0 0 611 6 5 3 20 0 15 0 49877081 11178180608 241733 33554432000 4194304 4196468 140735872716784 140607260436848 140608091343490 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18403328 140735872723115 140735872726364 140735872726364 140735872729039 0
[pid=8796/tid=8859] ppid=8793 vsize=10916192 memory=966932 CPUtime=5.57 cores=1,3,5,7
/proc/8796/task/8859/stat : 8859 (java) S 8793 8796 3468 0 -1 1077944384 38952 13155 0 0 544 5 5 3 20 0 15 0 49877081 11178180608 241733 33554432000 4194304 4196468 140735872716784 140607259384048 140608091343490 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18403328 140735872723115 140735872726364 140735872726364 140735872729039 0
[pid=8796/tid=8860] ppid=8793 vsize=10916192 memory=966932 CPUtime=2.73 cores=1,3,5,7
/proc/8796/task/8860/stat : 8860 (java) S 8793 8796 3468 0 -1 1077944384 47889 13155 0 0 259 6 5 3 20 0 15 0 49877081 11178180608 241733 33554432000 4194304 4196468 140735872716784 140607258331248 140608091343490 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 31 0 0 6293624 6294260 18403328 140735872723115 140735872726364 140735872726364 140735872729039 0
[pid=8796/tid=8861] ppid=8793 vsize=10916192 memory=966932 CPUtime=0.08 cores=1,3,5,7
/proc/8796/task/8861/stat : 8861 (java) S 8793 8796 3468 0 -1 1077944384 3 13155 0 0 0 0 5 3 20 0 15 0 49877081 11178180608 241733 33554432000 4194304 4196468 140735872716784 140606620649696 140608091342549 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18403328 140735872723115 140735872726364 140735872726364 140735872729039 0
[pid=8796/tid=8862] ppid=8793 vsize=10916192 memory=966932 CPUtime=1.52 cores=1,3,5,7
/proc/8796/task/8862/stat : 8862 (java) S 8793 8796 3468 0 -1 1077944384 1136 13155 0 0 63 81 5 3 20 0 15 0 49877082 11178180608 241733 33554432000 4194304 4196468 140735872716784 140607257279664 140608091343490 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 30 0 0 6293624 6294260 18403328 140735872723115 140735872726364 140735872726364 140735872729039 0
Current children cumulated CPU time: 2520.02 s
Current children cumulated vsize: 10916192 KiB
Current children cumulated memory: 966932 KiB

Child status: 143
Real time (s): 2487.74
CPU time (s): 2520.08
CPU user time (s): 2517.16
CPU system time (s): 2.91931
CPU usage (%): 101.3
Max. virtual memory (cumulated for all children) (KiB): 10916972
Max. memory (cumulated for all children) (KiB): 2117568

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2517.16
system time used= 2.91931
maximum resident set size= 2129856
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 349764
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3416
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 112463
involuntary context switches= 2951


# summary of solver processes directly reported to runsolver:
#   pid: 8796
#   total CPU time (s): 2520.08
#   total CPU user time (s): 2517.16
#   total CPU system time (s): 2.91931

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.8276 second user time and 23.6812 second system time

The end

Launcher Data 

Begin job on node149 at 2018-07-23 07:18:59
IDJOB=4293685
IDBENCH=141222
IDSOLVER=2751
FILE ID=node149/4293685-1532323139
RUNJOBID= node149-1532298084-3500
PBS_JOBID= 21018995
Free space on /tmp= 51816 MiB

SOLVER NAME= Concrete 3.8-SuperNG 2018-06-13
BENCH NAME= XCSP18/SumColoring/SumColoring-1-fullins-5_c18.xml
COMMAND LINE= concrete-3.8/bin/xcsp-3-concrete -J-Xss32M -randomseed=RANDOMSEED -superng BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4293685-1532323139/watcher-4293685-1532323139 -o /tmp/evaluation-result-4293685-1532323139/solver-4293685-1532323139 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node149-1532298084-3500 --watchdog 2580  concrete-3.8/bin/xcsp-3-concrete -J-Xss32M -randomseed=1596357822 -superng HOME/instance-4293685-1532323139.xml

TIME LIMIT= 2520 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= ee128878a96f2bf381e98278be1f86f4
RANDOM SEED=1596357822

node149.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.60
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.60
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.60
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.60
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        28495100 kB
MemAvailable:   31346304 kB
Buffers:          150388 kB
Cached:          2959988 kB
SwapCached:            0 kB
Active:          2271680 kB
Inactive:        1517996 kB
Active(anon):     628892 kB
Inactive(anon):    70228 kB
Active(file):    1642788 kB
Inactive(file):  1447768 kB
Unevictable:        7564 kB
Mlocked:            7564 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             26512 kB
Writeback:             0 kB
AnonPages:        555932 kB
Mapped:            49604 kB
Shmem:             17032 kB
Slab:             181176 kB
SReclaimable:     152968 kB
SUnreclaim:        28208 kB
KernelStack:        3792 kB
PageTables:         6756 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1669460 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    323584 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      118144 kB
DirectMap2M:    33427456 kB

Free space on /tmp at the end= 51788 MiB
End job on node149 at 2018-07-23 08:00:27