2018 XCSP3 competition: sequential solvers tracks competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
Choco-solver 4.0.7b seq (e747e1e)	SAT (TO)	29	2520.08	2512.11
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 (6909 MiB free)
  memory of node 1: 16384 MiB (10109 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4306515-1534051971/watcher-4306515-1534051971 -o /tmp/evaluation-result-4306515-1534051971/solver-4306515-1534051971 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node132-1534040437-29090 --watchdog 2580 HOME/xcsp3-exec -seed 665006593 -dir HOME -tl 2520 -ml 11000 -p 1 HOME/instance-4306515-1534051971.xml 

running on 4 cores: 0,2,4,6

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=30676, runsolver pid=30673

[startup+0.100094 s]*
/proc/loadavg: 1.74 1.64 1.68 4/222 30692
/proc/meminfo: memFree=17410196/32770624 swapFree=67108860/67108860
[pid=30676] ppid=30673 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/30676/stat : 30676 (xcsp3-exec) S 30673 30676 27146 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 222760291 115843072 363 33554432000 4194304 5098028 140722936495488 140722936493592 140525669053052 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 25554944 140722936497211 140722936497412 140722936497412 140722936500170 0
/proc/30676/statm: 28282 363 306 221 0 87 0
[pid=30678] ppid=30676 vsize=14082940 memory=28748 CPUtime=0.12 cores=0,2,4,6
/proc/30678/stat : 30678 (java) S 30676 30676 27146 0 -1 1077944320 5549 0 0 0 11 1 0 0 20 0 15 0 222760291 14420930560 7187 33554432000 4194304 4196468 140722103117488 140722103100032 140627524734711 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 10969088 140722103121030 140722103121201 140722103121201 140722103123919 0
/proc/30678/statm: 3520735 7187 3016 1 0 3483012 0
[pid=30678/tid=30679] ppid=30676 vsize=14082940 memory=8514701219880730790 CPUtime=0.09 cores=0,2,4,6
/proc/30678/task/30679/stat : 30679 (java) R 30676 30676 27146 0 -1 4202560 3563 0 0 0 9 0 0 0 20 0 15 0 222760292 14420930560 7187 33554432000 4194304 4196468 140722103117488 140627528947968 140627524746646 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10969088 140722103121030 140722103121201 140722103121201 140722103123919 0
[pid=30678/tid=30680] ppid=30676 vsize=14082940 memory=3472468825658647760 CPUtime=0 cores=0,2,4,6
/proc/30678/task/30680/stat : 30680 (java) S 30676 30676 27146 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 222760292 14420930560 7187 33554432000 4194304 4196468 140722103117488 140627439802768 140627524744917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10969088 140722103121030 140722103121201 140722103121201 140722103123919 0
[pid=30678/tid=30681] ppid=30676 vsize=14082940 memory=140696763496064 CPUtime=0 cores=0,2,4,6
/proc/30678/task/30681/stat : 30681 (java) S 30676 30676 27146 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 222760292 14420930560 7187 33554432000 4194304 4196468 140722103117488 140627438749968 140627524744917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10969088 140722103121030 140722103121201 140722103121201 140722103123919 0
[pid=30678/tid=30682] ppid=30676 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30678/task/30682/stat : 30682 (java) S 30676 30676 27146 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 222760292 14420930560 7187 33554432000 4194304 4196468 140722103117488 140627437697680 140627524744917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10969088 140722103121030 140722103121201 140722103121201 140722103123919 0
[pid=30678/tid=30683] ppid=30676 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30678/task/30683/stat : 30683 (java) S 30676 30676 27146 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 222760292 14420930560 7187 33554432000 4194304 4196468 140722103117488 140627436644880 140627524744917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10969088 140722103121030 140722103121201 140722103121201 140722103123919 0
[pid=30678/tid=30684] ppid=30676 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30678/task/30684/stat : 30684 (java) S 30676 30676 27146 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 222760294 14420930560 7187 33554432000 4194304 4196468 140722103117488 140626705590896 140627524745858 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10969088 140722103121030 140722103121201 140722103121201 140722103123919 0
[pid=30678/tid=30685] ppid=30676 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30678/task/30685/stat : 30685 (java) S 30676 30676 27146 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 222760294 14420930560 7187 33554432000 4194304 4196468 140722103117488 140626704536864 140627524744917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10969088 140722103121030 140722103121201 140722103121201 140722103123919 0
[pid=30678/tid=30686] ppid=30676 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30678/task/30686/stat : 30686 (java) S 30676 30676 27146 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 222760294 14420930560 7187 33554432000 4194304 4196468 140722103117488 140626703484528 140627524744917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10969088 140722103121030 140722103121201 140722103121201 140722103123919 0
[pid=30678/tid=30687] ppid=30676 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30678/task/30687/stat : 30687 (java) S 30676 30676 27146 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 222760297 14420930560 7187 33554432000 4194304 4196468 140722103117488 140626702432848 140627524753307 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10969088 140722103121030 140722103121201 140722103121201 140722103123919 0
[pid=30678/tid=30688] ppid=30676 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30678/task/30688/stat : 30688 (java) S 30676 30676 27146 0 -1 1077944384 428 0 0 0 0 0 0 0 20 0 15 0 222760297 14420930560 7187 33554432000 4194304 4196468 140722103117488 140626701379696 140627524745858 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10969088 140722103121030 140722103121201 140722103121201 140722103123919 0
[pid=30678/tid=30689] ppid=30676 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30678/task/30689/stat : 30689 (java) S 30676 30676 27146 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 222760297 14420930560 7187 33554432000 4194304 4196468 140722103117488 140626700326896 140627524745858 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10969088 140722103121030 140722103121201 140722103121201 140722103123919 0
[pid=30678/tid=30690] ppid=30676 vsize=14082940 memory=140696763496064 CPUtime=0.01 cores=0,2,4,6
/proc/30678/task/30690/stat : 30690 (java) S 30676 30676 27146 0 -1 1077944384 250 0 0 0 1 0 0 0 20 0 15 0 222760297 14420930560 7187 33554432000 4194304 4196468 140722103117488 140626699274608 140627524745858 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10969088 140722103121030 140722103121201 140722103121201 140722103123919 0
[pid=30678/tid=30691] ppid=30676 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30678/task/30691/stat : 30691 (java) S 30676 30676 27146 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 222760297 14420930560 7187 33554432000 4194304 4196468 140722103117488 140626698222048 140627524744917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10969088 140722103121030 140722103121201 140722103121201 140722103123919 0
[pid=30678/tid=30692] ppid=30676 vsize=14082940 memory=140696763496064 CPUtime=0 cores=0,2,4,6
/proc/30678/task/30692/stat : 30692 (java) S 30676 30676 27146 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 222760297 14420930560 7187 33554432000 4194304 4196468 140722103117488 140626697169840 140627524745858 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10969088 140722103121030 140722103121201 140722103121201 140722103123919 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14196068 KiB
Current children cumulated memory: 30200 KiB

[startup+0.210962 s]*
/proc/loadavg: 1.74 1.64 1.68 4/222 30692
/proc/meminfo: memFree=17399016/32770624 swapFree=67108860/67108860
[pid=30676] ppid=30673 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/30676/stat : 30676 (xcsp3-exec) S 30673 30676 27146 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 222760291 115843072 363 33554432000 4194304 5098028 140722936495488 140722936493592 140525669053052 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 25554944 140722936497211 140722936497412 140722936497412 140722936500170 0
/proc/30676/statm: 28282 363 306 221 0 87 0
[pid=30678] ppid=30676 vsize=14082940 memory=41136 CPUtime=0.34 cores=0,2,4,6
/proc/30678/stat : 30678 (java) S 30676 30676 27146 0 -1 1077944320 8286 0 0 0 32 2 0 0 20 0 15 0 222760291 14420930560 10284 33554432000 4194304 4196468 140722103117488 140722103100032 140627524734711 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 10969088 140722103121030 140722103121201 140722103121201 140722103123919 0
/proc/30678/statm: 3520735 10284 3210 1 0 3483012 0
[pid=30678/tid=30679] ppid=30676 vsize=14082940 memory=5852833025768652961 CPUtime=0.2 cores=0,2,4,6
/proc/30678/task/30679/stat : 30679 (java) R 30676 30676 27146 0 -1 4202560 5410 0 0 0 19 1 0 0 20 0 15 0 222760292 14420930560 10284 33554432000 4194304 4196468 140722103117488 140627528969248 140627508815198 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10969088 140722103121030 140722103121201 140722103121201 140722103123919 0
[pid=30678/tid=30680] ppid=30676 vsize=14082940 memory=3472468825658647760 CPUtime=0 cores=0,2,4,6
/proc/30678/task/30680/stat : 30680 (java) S 30676 30676 27146 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 222760292 14420930560 10284 33554432000 4194304 4196468 140722103117488 140627439802768 140627524744917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10969088 140722103121030 140722103121201 140722103121201 140722103123919 0
[pid=30678/tid=30681] ppid=30676 vsize=14082940 memory=140696763496064 CPUtime=0 cores=0,2,4,6
/proc/30678/task/30681/stat : 30681 (java) S 30676 30676 27146 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 222760292 14420930560 10284 33554432000 4194304 4196468 140722103117488 140627438749968 140627524744917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10969088 140722103121030 140722103121201 140722103121201 140722103123919 0
[pid=30678/tid=30682] ppid=30676 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30678/task/30682/stat : 30682 (java) S 30676 30676 27146 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 222760292 14420930560 10284 33554432000 4194304 4196468 140722103117488 140627437697680 140627524744917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10969088 140722103121030 140722103121201 140722103121201 140722103123919 0
[pid=30678/tid=30683] ppid=30676 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30678/task/30683/stat : 30683 (java) S 30676 30676 27146 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 222760292 14420930560 10284 33554432000 4194304 4196468 140722103117488 140627436644880 140627524744917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10969088 140722103121030 140722103121201 140722103121201 140722103123919 0
[pid=30678/tid=30684] ppid=30676 vsize=14082940 memory=140696763496064 CPUtime=0 cores=0,2,4,6
/proc/30678/task/30684/stat : 30684 (java) S 30676 30676 27146 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 222760294 14420930560 10284 33554432000 4194304 4196468 140722103117488 140626705590896 140627524745858 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10969088 140722103121030 140722103121201 140722103121201 140722103123919 0
[pid=30678/tid=30685] ppid=30676 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30678/task/30685/stat : 30685 (java) S 30676 30676 27146 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 222760294 14420930560 10284 33554432000 4194304 4196468 140722103117488 140626704536864 140627524744917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10969088 140722103121030 140722103121201 140722103121201 140722103123919 0
[pid=30678/tid=30686] ppid=30676 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30678/task/30686/stat : 30686 (java) S 30676 30676 27146 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 222760294 14420930560 10284 33554432000 4194304 4196468 140722103117488 140626703484528 140627524744917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10969088 140722103121030 140722103121201 140722103121201 140722103123919 0
[pid=30678/tid=30687] ppid=30676 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30678/task/30687/stat : 30687 (java) S 30676 30676 27146 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 222760297 14420930560 10284 33554432000 4194304 4196468 140722103117488 140626702432848 140627524753307 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10969088 140722103121030 140722103121201 140722103121201 140722103123919 0
[pid=30678/tid=30688] ppid=30676 vsize=14082940 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/30678/task/30688/stat : 30688 (java) S 30676 30676 27146 0 -1 1077944384 734 0 0 0 3 0 0 0 20 0 15 0 222760297 14420930560 10284 33554432000 4194304 4196468 140722103117488 140626701379696 140627524745858 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10969088 140722103121030 140722103121201 140722103121201 140722103123919 0
[pid=30678/tid=30689] ppid=30676 vsize=14082940 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/30678/task/30689/stat : 30689 (java) S 30676 30676 27146 0 -1 1077944384 100 0 0 0 1 0 0 0 20 0 15 0 222760297 14420930560 10284 33554432000 4194304 4196468 140722103117488 140626700326896 140627524745858 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10969088 140722103121030 140722103121201 140722103121201 140722103123919 0
[pid=30678/tid=30690] ppid=30676 vsize=14082940 memory=140696763496064 CPUtime=0.07 cores=0,2,4,6
/proc/30678/task/30690/stat : 30690 (java) S 30676 30676 27146 0 -1 1077944384 735 0 0 0 7 0 0 0 20 0 15 0 222760297 14420930560 10284 33554432000 4194304 4196468 140722103117488 140626699274608 140627524745858 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10969088 140722103121030 140722103121201 140722103121201 140722103123919 0
[pid=30678/tid=30691] ppid=30676 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30678/task/30691/stat : 30691 (java) S 30676 30676 27146 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 222760297 14420930560 10284 33554432000 4194304 4196468 140722103117488 140626698222048 140627524744917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10969088 140722103121030 140722103121201 140722103121201 140722103123919 0
[pid=30678/tid=30692] ppid=30676 vsize=14082940 memory=140696763496064 CPUtime=0 cores=0,2,4,6
/proc/30678/task/30692/stat : 30692 (java) S 30676 30676 27146 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 222760297 14420930560 10284 33554432000 4194304 4196468 140722103117488 140626697169840 140627524745858 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10969088 140722103121030 140722103121201 140722103121201 140722103123919 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 14196068 KiB
Current children cumulated memory: 42588 KiB

[startup+0.313024 s]*
/proc/loadavg: 1.74 1.64 1.68 4/222 30692
/proc/meminfo: memFree=17392812/32770624 swapFree=67108860/67108860
[pid=30676] ppid=30673 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/30676/stat : 30676 (xcsp3-exec) S 30673 30676 27146 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 222760291 115843072 363 33554432000 4194304 5098028 140722936495488 140722936493592 140525669053052 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 25554944 140722936497211 140722936497412 140722936497412 140722936500170 0
/proc/30676/statm: 28282 363 306 221 0 87 0
[pid=30678] ppid=30676 vsize=14087196 memory=48036 CPUtime=0.54 cores=0,2,4,6
/proc/30678/stat : 30678 (java) S 30676 30676 27146 0 -1 1077944320 9218 0 0 0 51 3 0 0 20 0 15 0 222760291 14425288704 12009 33554432000 4194304 4196468 140722103117488 140722103100032 140627524734711 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 10969088 140722103121030 140722103121201 140722103121201 140722103123919 0
/proc/30678/statm: 3521799 12009 3265 1 0 3483012 0
[pid=30678/tid=30679] ppid=30676 vsize=14087196 memory=8514701219881125278 CPUtime=0.3 cores=0,2,4,6
/proc/30678/task/30679/stat : 30679 (java) R 30676 30676 27146 0 -1 4202560 6134 0 0 0 28 2 0 0 20 0 15 0 222760292 14425288704 12009 33554432000 4194304 4196468 140722103117488 140627528968496 140627524758301 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10969088 140722103121030 140722103121201 140722103121201 140722103123919 0
[pid=30678/tid=30680] ppid=30676 vsize=14087196 memory=3472468825658647760 CPUtime=0 cores=0,2,4,6
/proc/30678/task/30680/stat : 30680 (java) S 30676 30676 27146 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 222760292 14425288704 12009 33554432000 4194304 4196468 140722103117488 140627439802768 140627524744917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10969088 140722103121030 140722103121201 140722103121201 140722103123919 0
[pid=30678/tid=30681] ppid=30676 vsize=14087196 memory=140696763496064 CPUtime=0 cores=0,2,4,6
/proc/30678/task/30681/stat : 30681 (java) S 30676 30676 27146 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 222760292 14425288704 12009 33554432000 4194304 4196468 140722103117488 140627438749968 140627524744917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10969088 140722103121030 140722103121201 140722103121201 140722103123919 0
[pid=30678/tid=30682] ppid=30676 vsize=14087196 memory=17 CPUtime=0 cores=0,2,4,6
/proc/30678/task/30682/stat : 30682 (java) S 30676 30676 27146 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 222760292 14425288704 12009 33554432000 4194304 4196468 140722103117488 140627437697680 140627524744917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10969088 140722103121030 140722103121201 140722103121201 140722103123919 0
[pid=30678/tid=30683] ppid=30676 vsize=14087196 memory=140696619198495 CPUtime=0 cores=0,2,4,6
/proc/30678/task/30683/stat : 30683 (java) S 30676 30676 27146 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 222760292 14425288704 12009 33554432000 4194304 4196468 140722103117488 140627436644880 140627524744917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10969088 140722103121030 140722103121201 140722103121201 140722103123919 0
[pid=30678/tid=30684] ppid=30676 vsize=14087196 memory=281393238357760 CPUtime=0 cores=0,2,4,6
/proc/30678/task/30684/stat : 30684 (java) S 30676 30676 27146 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 222760294 14425288704 12009 33554432000 4194304 4196468 140722103117488 140626705590896 140627524745858 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10969088 140722103121030 140722103121201 140722103121201 140722103123919 0
[pid=30678/tid=30685] ppid=30676 vsize=14087196 memory=140696619175439 CPUtime=0 cores=0,2,4,6
/proc/30678/task/30685/stat : 30685 (java) S 30676 30676 27146 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 222760294 14425288704 12009 33554432000 4194304 4196468 140722103117488 140626704536864 140627524744917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10969088 140722103121030 140722103121201 140722103121201 140722103123919 0
[pid=30678/tid=30686] ppid=30676 vsize=14087196 memory=281393382680672 CPUtime=0 cores=0,2,4,6
/proc/30678/task/30686/stat : 30686 (java) S 30676 30676 27146 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 222760294 14425288704 12009 33554432000 4194304 4196468 140722103117488 140626703484528 140627524744917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10969088 140722103121030 140722103121201 140722103121201 140722103123919 0
[pid=30678/tid=30687] ppid=30676 vsize=14087196 memory=140696619180047 CPUtime=0 cores=0,2,4,6
/proc/30678/task/30687/stat : 30687 (java) S 30676 30676 27146 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 222760297 14425288704 12009 33554432000 4194304 4196468 140722103117488 140626702432848 140627524753307 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10969088 140722103121030 140722103121201 140722103121201 140722103123919 0
[pid=30678/tid=30688] ppid=30676 vsize=14087196 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/30678/task/30688/stat : 30688 (java) S 30676 30676 27146 0 -1 1077944384 744 0 0 0 5 0 0 0 20 0 15 0 222760297 14425288704 12009 33554432000 4194304 4196468 140722103117488 140626701379696 140627524745858 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10969088 140722103121030 140722103121201 140722103121201 140722103123919 0
[pid=30678/tid=30689] ppid=30676 vsize=14087196 memory=-1 CPUtime=0.04 cores=0,2,4,6
/proc/30678/task/30689/stat : 30689 (java) S 30676 30676 27146 0 -1 1077944384 216 0 0 0 4 0 0 0 20 0 15 0 222760297 14425288704 12009 33554432000 4194304 4196468 140722103117488 140626700326896 140627524745858 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10969088 140722103121030 140722103121201 140722103121201 140722103123919 0
[pid=30678/tid=30690] ppid=30676 vsize=14087196 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/30678/task/30690/stat : 30690 (java) S 30676 30676 27146 0 -1 1077944384 819 0 0 0 12 0 0 0 20 0 15 0 222760297 14425288704 12009 33554432000 4194304 4196468 140722103117488 140626699274608 140627524745858 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10969088 140722103121030 140722103121201 140722103121201 140722103123919 0
[pid=30678/tid=30691] ppid=30676 vsize=14087196 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30678/task/30691/stat : 30691 (java) S 30676 30676 27146 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 222760297 14425288704 12009 33554432000 4194304 4196468 140722103117488 140626698222048 140627524744917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10969088 140722103121030 140722103121201 140722103121201 140722103123919 0
[pid=30678/tid=30692] ppid=30676 vsize=14087196 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/30678/task/30692/stat : 30692 (java) S 30676 30676 27146 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 222760297 14425288704 12009 33554432000 4194304 4196468 140722103117488 140626697169840 140627524745858 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10969088 140722103121030 140722103121201 140722103121201 140722103123919 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 14200324 KiB
Current children cumulated memory: 49488 KiB

[startup+0.700899 s]
/proc/loadavg: 1.74 1.64 1.68 6/222 30692
/proc/meminfo: memFree=17365168/32770624 swapFree=67108860/67108860
[pid=30676] ppid=30673 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/30676/stat : 30676 (xcsp3-exec) S 30673 30676 27146 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 222760291 115843072 363 33554432000 4194304 5098028 140722936495488 140722936493592 140525669053052 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 25554944 140722936497211 140722936497412 140722936497412 140722936500170 0
/proc/30676/statm: 28282 363 306 221 0 87 0
[pid=30678] ppid=30676 vsize=14089320 memory=107312 CPUtime=1.68 cores=0,2,4,6
/proc/30678/stat : 30678 (java) S 30676 30676 27146 0 -1 1077944320 12255 0 0 0 164 4 0 0 20 0 15 0 222760291 14427463680 26828 33554432000 4194304 4196468 140722103117488 140722103100032 140627524734711 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 10969088 140722103121030 140722103121201 140722103121201 140722103123919 0
/proc/30678/statm: 3522330 26828 3347 1 0 3483524 0
[pid=30678/tid=30679] ppid=30676 vsize=14089320 memory=0 CPUtime=0.68 cores=0,2,4,6
/proc/30678/task/30679/stat : 30679 (java) R 30676 30676 27146 0 -1 4202560 6554 0 0 0 65 3 0 0 20 0 15 0 222760292 14427463680 26828 33554432000 4194304 4196468 140722103117488 140627528971024 140627112793137 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10969088 140722103121030 140722103121201 140722103121201 140722103123919 0
[pid=30678/tid=30680] ppid=30676 vsize=14089320 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30678/task/30680/stat : 30680 (java) S 30676 30676 27146 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 222760292 14427463680 26828 33554432000 4194304 4196468 140722103117488 140627439802768 140627524744917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10969088 140722103121030 140722103121201 140722103121201 140722103123919 0
[pid=30678/tid=30681] ppid=30676 vsize=14089320 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30678/task/30681/stat : 30681 (java) S 30676 30676 27146 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 222760292 14427463680 26828 33554432000 4194304 4196468 140722103117488 140627438749968 140627524744917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10969088 140722103121030 140722103121201 140722103121201 140722103123919 0
[pid=30678/tid=30682] ppid=30676 vsize=14089320 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30678/task/30682/stat : 30682 (java) S 30676 30676 27146 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 222760292 14427463680 26828 33554432000 4194304 4196468 140722103117488 140627437697680 140627524744917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10969088 140722103121030 140722103121201 140722103121201 140722103123919 0
[pid=30678/tid=30683] ppid=30676 vsize=14089320 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30678/task/30683/stat : 30683 (java) S 30676 30676 27146 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 222760292 14427463680 26828 33554432000 4194304 4196468 140722103117488 140627436644880 140627524744917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10969088 140722103121030 140722103121201 140722103121201 140722103123919 0
[pid=30678/tid=30684] ppid=30676 vsize=14089320 memory=752 CPUtime=0 cores=0,2,4,6
/proc/30678/task/30684/stat : 30684 (java) S 30676 30676 27146 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 222760294 14427463680 26828 33554432000 4194304 4196468 140722103117488 140626705590896 140627524745858 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10969088 140722103121030 140722103121201 140722103121201 140722103123919 0
[pid=30678/tid=30685] ppid=30676 vsize=14089320 memory=7304 CPUtime=0 cores=0,2,4,6
/proc/30678/task/30685/stat : 30685 (java) S 30676 30676 27146 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 222760294 14427463680 26828 33554432000 4194304 4196468 140722103117488 140626704536864 140627524744917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10969088 140722103121030 140722103121201 140722103121201 140722103123919 0
[pid=30678/tid=30686] ppid=30676 vsize=14089320 memory=5400 CPUtime=0 cores=0,2,4,6
/proc/30678/task/30686/stat : 30686 (java) S 30676 30676 27146 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 222760294 14427463680 26828 33554432000 4194304 4196468 140722103117488 140626703484528 140627524744917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10969088 140722103121030 140722103121201 140722103121201 140722103123919 0
[pid=30678/tid=30687] ppid=30676 vsize=14089320 memory=1108 CPUtime=0 cores=0,2,4,6
/proc/30678/task/30687/stat : 30687 (java) S 30676 30676 27146 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 222760297 14427463680 26828 33554432000 4194304 4196468 140722103117488 140626702432848 140627524753307 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10969088 140722103121030 140722103121201 140722103121201 140722103123919 0
[pid=30678/tid=30688] ppid=30676 vsize=14089320 memory=10784 CPUtime=0.35 cores=0,2,4,6
/proc/30678/task/30688/stat : 30688 (java) R 30676 30676 27146 0 -1 4202560 1842 0 0 0 35 0 0 0 20 0 15 0 222760297 14427463680 26828 33554432000 4194304 4196468 140722103117488 140626701372888 140627508220731 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 10969088 140722103121030 140722103121201 140722103121201 140722103123919 0
[pid=30678/tid=30689] ppid=30676 vsize=14089320 memory=872 CPUtime=0.34 cores=0,2,4,6
/proc/30678/task/30689/stat : 30689 (java) R 30676 30676 27146 0 -1 4202560 1022 0 0 0 34 0 0 0 20 0 15 0 222760297 14427463680 26828 33554432000 4194304 4196468 140722103117488 140626700313328 140627508619427 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10969088 140722103121030 140722103121201 140722103121201 140722103123919 0
[pid=30678/tid=30690] ppid=30676 vsize=14089320 memory=4280 CPUtime=0.29 cores=0,2,4,6
/proc/30678/task/30690/stat : 30690 (java) S 30676 30676 27146 0 -1 1077944384 1529 0 0 0 29 0 0 0 20 0 15 0 222760297 14427463680 26828 33554432000 4194304 4196468 140722103117488 140626699274608 140627524745858 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10969088 140722103121030 140722103121201 140722103121201 140722103123919 0
[pid=30678/tid=30691] ppid=30676 vsize=14089320 memory=14888 CPUtime=0 cores=0,2,4,6
/proc/30678/task/30691/stat : 30691 (java) S 30676 30676 27146 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 222760297 14427463680 26828 33554432000 4194304 4196468 140722103117488 140626698222048 140627524744917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10969088 140722103121030 140722103121201 140722103121201 140722103123919 0
[pid=30678/tid=30692] ppid=30676 vsize=14089320 memory=33472 CPUtime=0 cores=0,2,4,6
/proc/30678/task/30692/stat : 30692 (java) S 30676 30676 27146 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 222760297 14427463680 26828 33554432000 4194304 4196468 140722103117488 140626697169840 140627524745858 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10969088 140722103121030 140722103121201 140722103121201 140722103123919 0
Current children cumulated CPU time: 1.68 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 108764 KiB

[startup+1.50082 s]
/proc/loadavg: 1.74 1.64 1.68 5/222 30692
/proc/meminfo: memFree=17239572/32770624 swapFree=67108860/67108860
[pid=30676] ppid=30673 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/30676/stat : 30676 (xcsp3-exec) S 30673 30676 27146 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 222760291 115843072 363 33554432000 4194304 5098028 140722936495488 140722936493592 140525669053052 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 25554944 140722936497211 140722936497412 140722936497412 140722936500170 0
/proc/30676/statm: 28282 363 306 221 0 87 0

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

/proc/30678/task/30686/stat : 30686 (java) S 30676 30676 27146 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 222760294 14427463680 300248 33554432000 4194304 4196468 140722103117488 140626703484544 140627524744917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10969088 140722103121030 140722103121201 140722103121201 140722103123919 0
[pid=30678/tid=30687] ppid=30676 vsize=14089320 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/30678/task/30687/stat : 30687 (java) S 30676 30676 27146 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 222760297 14427463680 300248 33554432000 4194304 4196468 140722103117488 140626702432848 140627524753307 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10969088 140722103121030 140722103121201 140722103121201 140722103123919 0
[pid=30678/tid=30688] ppid=30676 vsize=14089320 memory=1200992 CPUtime=2.85 cores=0,2,4,6
/proc/30678/task/30688/stat : 30688 (java) S 30676 30676 27146 0 -1 1077944384 17534 0 0 0 281 4 0 0 20 0 15 0 222760297 14427463680 300248 33554432000 4194304 4196468 140722103117488 140626701379696 140627524745858 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10969088 140722103121030 140722103121201 140722103121201 140722103123919 0
[pid=30678/tid=30689] ppid=30676 vsize=14089320 memory=1452 CPUtime=2.56 cores=0,2,4,6
/proc/30678/task/30689/stat : 30689 (java) S 30676 30676 27146 0 -1 1077944384 10183 0 0 0 255 1 0 0 20 0 15 0 222760297 14427463680 300248 33554432000 4194304 4196468 140722103117488 140626700326896 140627524745858 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10969088 140722103121030 140722103121201 140722103121201 140722103123919 0
[pid=30678/tid=30690] ppid=30676 vsize=14089320 memory=1200992 CPUtime=0.74 cores=0,2,4,6
/proc/30678/task/30690/stat : 30690 (java) S 30676 30676 27146 0 -1 1077944384 8789 0 0 0 72 2 0 0 20 0 15 0 222760297 14427463680 300248 33554432000 4194304 4196468 140722103117488 140626699274608 140627524745858 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10969088 140722103121030 140722103121201 140722103121201 140722103123919 0
[pid=30678/tid=30691] ppid=30676 vsize=14089320 memory=1200992 CPUtime=0 cores=0,2,4,6
/proc/30678/task/30691/stat : 30691 (java) S 30676 30676 27146 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 222760297 14427463680 300248 33554432000 4194304 4196468 140722103117488 140626698222048 140627524744917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10969088 140722103121030 140722103121201 140722103121201 140722103123919 0
[pid=30678/tid=30692] ppid=30676 vsize=14089320 memory=1452 CPUtime=1.23 cores=0,2,4,6
/proc/30678/task/30692/stat : 30692 (java) S 30676 30676 27146 0 -1 1077944384 1666 0 0 0 58 65 0 0 20 0 15 0 222760297 14427463680 300248 33554432000 4194304 4196468 140722103117488 140626697169840 140627524745858 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10969088 140722103121030 140722103121201 140722103121201 140722103123919 0
Current children cumulated CPU time: 2450.22 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 1202444 KiB

[startup+2502.31 s]
/proc/loadavg: 1.57 1.70 1.75 3/222 30872
/proc/meminfo: memFree=16430712/32770624 swapFree=67108860/67108860
[pid=30676] ppid=30673 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/30676/stat : 30676 (xcsp3-exec) S 30673 30676 27146 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 222760291 115843072 363 33554432000 4194304 5098028 140722936495488 140722936493592 140525669053052 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 25554944 140722936497211 140722936497412 140722936497412 140722936500170 0
/proc/30676/statm: 28282 363 306 221 0 87 0
[pid=30678] ppid=30676 vsize=14089320 memory=1199940 CPUtime=2510.26 cores=0,2,4,6
/proc/30678/stat : 30678 (java) S 30676 30676 27146 0 -1 1077944320 93335 0 0 0 250924 102 0 0 20 0 15 0 222760291 14427463680 299985 33554432000 4194304 4196468 140722103117488 140722103100032 140627524734711 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 10969088 140722103121030 140722103121201 140722103121201 140722103123919 0
/proc/30678/statm: 3522330 299985 3425 1 0 3483524 0
[pid=30678/tid=30679] ppid=30676 vsize=14089320 memory=1199940 CPUtime=2501.96 cores=0,2,4,6
/proc/30678/task/30679/stat : 30679 (java) R 30676 30676 27146 0 -1 4202560 32260 0 0 0 250176 20 0 0 20 0 15 0 222760292 14427463680 299985 33554432000 4194304 4196468 140722103117488 140627528974288 140627118118614 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10969088 140722103121030 140722103121201 140722103121201 140722103123919 0
[pid=30678/tid=30680] ppid=30676 vsize=14089320 memory=1199940 CPUtime=0.17 cores=0,2,4,6
/proc/30678/task/30680/stat : 30680 (java) S 30676 30676 27146 0 -1 1077944384 3939 0 0 0 12 5 0 0 20 0 15 0 222760292 14427463680 299985 33554432000 4194304 4196468 140722103117488 140627439802768 140627524744917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10969088 140722103121030 140722103121201 140722103121201 140722103123919 0
[pid=30678/tid=30681] ppid=30676 vsize=14089320 memory=1199940 CPUtime=0.16 cores=0,2,4,6
/proc/30678/task/30681/stat : 30681 (java) S 30676 30676 27146 0 -1 1077944384 4645 0 0 0 11 5 0 0 20 0 15 0 222760292 14427463680 299985 33554432000 4194304 4196468 140722103117488 140627438749968 140627524744917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10969088 140722103121030 140722103121201 140722103121201 140722103123919 0
[pid=30678/tid=30682] ppid=30676 vsize=14089320 memory=1199940 CPUtime=0.18 cores=0,2,4,6
/proc/30678/task/30682/stat : 30682 (java) S 30676 30676 27146 0 -1 1077944384 3749 0 0 0 13 5 0 0 20 0 15 0 222760292 14427463680 299985 33554432000 4194304 4196468 140722103117488 140627437697680 140627524744917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10969088 140722103121030 140722103121201 140722103121201 140722103123919 0
[pid=30678/tid=30683] ppid=30676 vsize=14089320 memory=1199940 CPUtime=0.18 cores=0,2,4,6
/proc/30678/task/30683/stat : 30683 (java) S 30676 30676 27146 0 -1 1077944384 3056 0 0 0 13 5 0 0 20 0 15 0 222760292 14427463680 299985 33554432000 4194304 4196468 140722103117488 140627436644880 140627524744917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10969088 140722103121030 140722103121201 140722103121201 140722103123919 0
[pid=30678/tid=30684] ppid=30676 vsize=14089320 memory=1199940 CPUtime=0.09 cores=0,2,4,6
/proc/30678/task/30684/stat : 30684 (java) S 30676 30676 27146 0 -1 1077944384 6138 0 0 0 6 3 0 0 20 0 15 0 222760294 14427463680 299985 33554432000 4194304 4196468 140722103117488 140626705590896 140627524745858 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10969088 140722103121030 140722103121201 140722103121201 140722103123919 0
[pid=30678/tid=30685] ppid=30676 vsize=14089320 memory=1199940 CPUtime=0 cores=0,2,4,6
/proc/30678/task/30685/stat : 30685 (java) S 30676 30676 27146 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 15 0 222760294 14427463680 299985 33554432000 4194304 4196468 140722103117488 140626704536928 140627524744917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10969088 140722103121030 140722103121201 140722103121201 140722103123919 0
[pid=30678/tid=30686] ppid=30676 vsize=14089320 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/30678/task/30686/stat : 30686 (java) S 30676 30676 27146 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 222760294 14427463680 299985 33554432000 4194304 4196468 140722103117488 140626703484544 140627524744917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10969088 140722103121030 140722103121201 140722103121201 140722103123919 0
[pid=30678/tid=30687] ppid=30676 vsize=14089320 memory=1192 CPUtime=0 cores=0,2,4,6
/proc/30678/task/30687/stat : 30687 (java) S 30676 30676 27146 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 222760297 14427463680 299985 33554432000 4194304 4196468 140722103117488 140626702432848 140627524753307 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10969088 140722103121030 140722103121201 140722103121201 140722103123919 0
[pid=30678/tid=30688] ppid=30676 vsize=14089320 memory=1616 CPUtime=2.85 cores=0,2,4,6
/proc/30678/task/30688/stat : 30688 (java) S 30676 30676 27146 0 -1 1077944384 17536 0 0 0 281 4 0 0 20 0 15 0 222760297 14427463680 299985 33554432000 4194304 4196468 140722103117488 140626701379696 140627524745858 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10969088 140722103121030 140722103121201 140722103121201 140722103123919 0
[pid=30678/tid=30689] ppid=30676 vsize=14089320 memory=1108 CPUtime=2.56 cores=0,2,4,6
/proc/30678/task/30689/stat : 30689 (java) S 30676 30676 27146 0 -1 1077944384 10185 0 0 0 255 1 0 0 20 0 15 0 222760297 14427463680 299985 33554432000 4194304 4196468 140722103117488 140626700326896 140627524745858 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10969088 140722103121030 140722103121201 140722103121201 140722103123919 0
[pid=30678/tid=30690] ppid=30676 vsize=14089320 memory=10784 CPUtime=0.74 cores=0,2,4,6
/proc/30678/task/30690/stat : 30690 (java) S 30676 30676 27146 0 -1 1077944384 8791 0 0 0 72 2 0 0 20 0 15 0 222760297 14427463680 299985 33554432000 4194304 4196468 140722103117488 140626699274608 140627524745858 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10969088 140722103121030 140722103121201 140722103121201 140722103123919 0
[pid=30678/tid=30691] ppid=30676 vsize=14089320 memory=15932 CPUtime=0 cores=0,2,4,6
/proc/30678/task/30691/stat : 30691 (java) S 30676 30676 27146 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 222760297 14427463680 299985 33554432000 4194304 4196468 140722103117488 140626698222048 140627524744917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10969088 140722103121030 140722103121201 140722103121201 140722103123919 0
[pid=30678/tid=30692] ppid=30676 vsize=14089320 memory=3332 CPUtime=1.26 cores=0,2,4,6
/proc/30678/task/30692/stat : 30692 (java) S 30676 30676 27146 0 -1 1077944384 1687 0 0 0 60 66 0 0 20 0 15 0 222760297 14427463680 299985 33554432000 4194304 4196468 140722103117488 140626697169840 140627524745858 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10969088 140722103121030 140722103121201 140722103121201 140722103123919 0
Current children cumulated CPU time: 2510.26 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 1201392 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2512.1 s]
/proc/loadavg: 1.56 1.70 1.75 3/222 30872
/proc/meminfo: memFree=16430712/32770624 swapFree=67108860/67108860
[pid=30676] ppid=30673 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/30676/stat : 30676 (xcsp3-exec) S 30673 30676 27146 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 222760291 115843072 363 33554432000 4194304 5098028 140722936495488 140722936493592 140525669053052 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 25554944 140722936497211 140722936497412 140722936497412 140722936500170 0
/proc/30676/statm: 28282 363 306 221 0 87 0
[pid=30678] ppid=30676 vsize=14089320 memory=1199940 CPUtime=2520.05 cores=0,2,4,6
/proc/30678/stat : 30678 (java) S 30676 30676 27146 0 -1 1077944320 93404 0 0 0 251903 102 0 0 20 0 15 0 222760291 14427463680 299985 33554432000 4194304 4196468 140722103117488 140722103100032 140627524734711 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 10969088 140722103121030 140722103121201 140722103121201 140722103123919 0
/proc/30678/statm: 3522330 299985 3425 1 0 3483524 0
[pid=30678/tid=30679] ppid=30676 vsize=14089320 memory=1199940 CPUtime=2511.75 cores=0,2,4,6
/proc/30678/task/30679/stat : 30679 (java) R 30676 30676 27146 0 -1 4202560 32327 0 0 0 251155 20 0 0 20 0 15 0 222760292 14427463680 299985 33554432000 4194304 4196468 140722103117488 140627528974288 140627119643930 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10969088 140722103121030 140722103121201 140722103121201 140722103123919 0
[pid=30678/tid=30680] ppid=30676 vsize=14089320 memory=0 CPUtime=0.17 cores=0,2,4,6
/proc/30678/task/30680/stat : 30680 (java) S 30676 30676 27146 0 -1 1077944384 3939 0 0 0 12 5 0 0 20 0 15 0 222760292 14427463680 299985 33554432000 4194304 4196468 140722103117488 140627439802768 140627524744917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10969088 140722103121030 140722103121201 140722103121201 140722103123919 0
[pid=30678/tid=30681] ppid=30676 vsize=14089320 memory=1108 CPUtime=0.16 cores=0,2,4,6
/proc/30678/task/30681/stat : 30681 (java) S 30676 30676 27146 0 -1 1077944384 4645 0 0 0 11 5 0 0 20 0 15 0 222760292 14427463680 299985 33554432000 4194304 4196468 140722103117488 140627438749968 140627524744917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10969088 140722103121030 140722103121201 140722103121201 140722103123919 0
[pid=30678/tid=30682] ppid=30676 vsize=14089320 memory=10784 CPUtime=0.18 cores=0,2,4,6
/proc/30678/task/30682/stat : 30682 (java) S 30676 30676 27146 0 -1 1077944384 3749 0 0 0 13 5 0 0 20 0 15 0 222760292 14427463680 299985 33554432000 4194304 4196468 140722103117488 140627437697680 140627524744917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10969088 140722103121030 140722103121201 140722103121201 140722103123919 0
[pid=30678/tid=30683] ppid=30676 vsize=14089320 memory=1199940 CPUtime=0.18 cores=0,2,4,6
/proc/30678/task/30683/stat : 30683 (java) S 30676 30676 27146 0 -1 1077944384 3056 0 0 0 13 5 0 0 20 0 15 0 222760292 14427463680 299985 33554432000 4194304 4196468 140722103117488 140627436644880 140627524744917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10969088 140722103121030 140722103121201 140722103121201 140722103123919 0
[pid=30678/tid=30684] ppid=30676 vsize=14089320 memory=1452 CPUtime=0.09 cores=0,2,4,6
/proc/30678/task/30684/stat : 30684 (java) S 30676 30676 27146 0 -1 1077944384 6138 0 0 0 6 3 0 0 20 0 15 0 222760294 14427463680 299985 33554432000 4194304 4196468 140722103117488 140626705590896 140627524745858 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10969088 140722103121030 140722103121201 140722103121201 140722103123919 0
[pid=30678/tid=30685] ppid=30676 vsize=14089320 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/30678/task/30685/stat : 30685 (java) S 30676 30676 27146 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 15 0 222760294 14427463680 299985 33554432000 4194304 4196468 140722103117488 140626704536928 140627524744917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10969088 140722103121030 140722103121201 140722103121201 140722103123919 0
[pid=30678/tid=30686] ppid=30676 vsize=14089320 memory=1199940 CPUtime=0 cores=0,2,4,6
/proc/30678/task/30686/stat : 30686 (java) S 30676 30676 27146 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 222760294 14427463680 299985 33554432000 4194304 4196468 140722103117488 140626703484544 140627524744917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10969088 140722103121030 140722103121201 140722103121201 140722103123919 0
[pid=30678/tid=30687] ppid=30676 vsize=14089320 memory=3279 CPUtime=0 cores=0,2,4,6
/proc/30678/task/30687/stat : 30687 (java) S 30676 30676 27146 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 222760297 14427463680 299985 33554432000 4194304 4196468 140722103117488 140626702432848 140627524753307 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10969088 140722103121030 140722103121201 140722103121201 140722103123919 0
[pid=30678/tid=30688] ppid=30676 vsize=14089320 memory=13595 CPUtime=2.85 cores=0,2,4,6
/proc/30678/task/30688/stat : 30688 (java) S 30676 30676 27146 0 -1 1077944384 17536 0 0 0 281 4 0 0 20 0 15 0 222760297 14427463680 299985 33554432000 4194304 4196468 140722103117488 140626701379696 140627524745858 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10969088 140722103121030 140722103121201 140722103121201 140722103123919 0
[pid=30678/tid=30689] ppid=30676 vsize=14089320 memory=1452 CPUtime=2.56 cores=0,2,4,6
/proc/30678/task/30689/stat : 30689 (java) S 30676 30676 27146 0 -1 1077944384 10185 0 0 0 255 1 0 0 20 0 15 0 222760297 14427463680 299985 33554432000 4194304 4196468 140722103117488 140626700326896 140627524745858 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10969088 140722103121030 140722103121201 140722103121201 140722103123919 0
[pid=30678/tid=30690] ppid=30676 vsize=14089320 memory=1199940 CPUtime=0.74 cores=0,2,4,6
/proc/30678/task/30690/stat : 30690 (java) S 30676 30676 27146 0 -1 1077944384 8791 0 0 0 72 2 0 0 20 0 15 0 222760297 14427463680 299985 33554432000 4194304 4196468 140722103117488 140626699274608 140627524745858 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10969088 140722103121030 140722103121201 140722103121201 140722103123919 0
[pid=30678/tid=30691] ppid=30676 vsize=14089320 memory=1832 CPUtime=0 cores=0,2,4,6
/proc/30678/task/30691/stat : 30691 (java) S 30676 30676 27146 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 222760297 14427463680 299985 33554432000 4194304 4196468 140722103117488 140626698222048 140627524744917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10969088 140722103121030 140722103121201 140722103121201 140722103123919 0
[pid=30678/tid=30692] ppid=30676 vsize=14089320 memory=1452 CPUtime=1.26 cores=0,2,4,6
/proc/30678/task/30692/stat : 30692 (java) S 30676 30676 27146 0 -1 1077944384 1689 0 0 0 60 66 0 0 20 0 15 0 222760297 14427463680 299985 33554432000 4194304 4196468 140722103117488 140626697169840 140627524745858 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10969088 140722103121030 140722103121201 140722103121201 140722103123919 0
Current children cumulated CPU time: 2520.05 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 1201392 KiB

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

[startup+2512.11 s]
# the end of solver process 30676 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=0.002164 s, system=0 s

[startup+2512.11 s]
# the end of solver process 30678 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2519.05 s, system=1.02918 s
# this solver process was not waited by its parent and was adopted by runsolver

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

[startup+2512.1 s]
/proc/loadavg: 1.56 1.70 1.75 3/222 30872
/proc/meminfo: memFree=16430712/32770624 swapFree=67108860/67108860
[pid=30676] ppid=30673 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/30676/stat : 30676 (xcsp3-exec) S 30673 30676 27146 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 222760291 115843072 363 33554432000 4194304 5098028 140722936495488 140722936493592 140525669053052 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 25554944 140722936497211 140722936497412 140722936497412 140722936500170 0
/proc/30676/statm: 28282 363 306 221 0 87 0
[pid=30678] ppid=30676 vsize=14089320 memory=1199940 CPUtime=2520.05 cores=0,2,4,6
/proc/30678/stat : 30678 (java) S 30676 30676 27146 0 -1 1077944320 93404 0 0 0 251903 102 0 0 20 0 15 0 222760291 14427463680 299985 33554432000 4194304 4196468 140722103117488 140722103100032 140627524734711 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 10969088 140722103121030 140722103121201 140722103121201 140722103123919 0
/proc/30678/statm: 3522330 299985 3425 1 0 3483524 0
[pid=30678/tid=30679] ppid=30676 vsize=14089320 memory=1199940 CPUtime=2511.75 cores=0,2,4,6
/proc/30678/task/30679/stat : 30679 (java) R 30676 30676 27146 0 -1 4202560 32327 0 0 0 251155 20 0 0 20 0 15 0 222760292 14427463680 299985 33554432000 4194304 4196468 140722103117488 140627528974288 140627119643930 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10969088 140722103121030 140722103121201 140722103121201 140722103123919 0
[pid=30678/tid=30680] ppid=30676 vsize=14089320 memory=0 CPUtime=0.17 cores=0,2,4,6
/proc/30678/task/30680/stat : 30680 (java) S 30676 30676 27146 0 -1 1077944384 3939 0 0 0 12 5 0 0 20 0 15 0 222760292 14427463680 299985 33554432000 4194304 4196468 140722103117488 140627439802768 140627524744917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10969088 140722103121030 140722103121201 140722103121201 140722103123919 0
[pid=30678/tid=30681] ppid=30676 vsize=14089320 memory=1108 CPUtime=0.16 cores=0,2,4,6
/proc/30678/task/30681/stat : 30681 (java) S 30676 30676 27146 0 -1 1077944384 4645 0 0 0 11 5 0 0 20 0 15 0 222760292 14427463680 299985 33554432000 4194304 4196468 140722103117488 140627438749968 140627524744917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10969088 140722103121030 140722103121201 140722103121201 140722103123919 0
[pid=30678/tid=30682] ppid=30676 vsize=14089320 memory=10784 CPUtime=0.18 cores=0,2,4,6
/proc/30678/task/30682/stat : 30682 (java) S 30676 30676 27146 0 -1 1077944384 3749 0 0 0 13 5 0 0 20 0 15 0 222760292 14427463680 299985 33554432000 4194304 4196468 140722103117488 140627437697680 140627524744917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10969088 140722103121030 140722103121201 140722103121201 140722103123919 0
[pid=30678/tid=30683] ppid=30676 vsize=14089320 memory=1199940 CPUtime=0.18 cores=0,2,4,6
/proc/30678/task/30683/stat : 30683 (java) S 30676 30676 27146 0 -1 1077944384 3056 0 0 0 13 5 0 0 20 0 15 0 222760292 14427463680 299985 33554432000 4194304 4196468 140722103117488 140627436644880 140627524744917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10969088 140722103121030 140722103121201 140722103121201 140722103123919 0
[pid=30678/tid=30684] ppid=30676 vsize=14089320 memory=1452 CPUtime=0.09 cores=0,2,4,6
/proc/30678/task/30684/stat : 30684 (java) S 30676 30676 27146 0 -1 1077944384 6138 0 0 0 6 3 0 0 20 0 15 0 222760294 14427463680 299985 33554432000 4194304 4196468 140722103117488 140626705590896 140627524745858 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10969088 140722103121030 140722103121201 140722103121201 140722103123919 0
[pid=30678/tid=30685] ppid=30676 vsize=14089320 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/30678/task/30685/stat : 30685 (java) S 30676 30676 27146 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 15 0 222760294 14427463680 299985 33554432000 4194304 4196468 140722103117488 140626704536928 140627524744917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10969088 140722103121030 140722103121201 140722103121201 140722103123919 0
[pid=30678/tid=30686] ppid=30676 vsize=14089320 memory=1199940 CPUtime=0 cores=0,2,4,6
/proc/30678/task/30686/stat : 30686 (java) S 30676 30676 27146 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 222760294 14427463680 299985 33554432000 4194304 4196468 140722103117488 140626703484544 140627524744917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10969088 140722103121030 140722103121201 140722103121201 140722103123919 0
[pid=30678/tid=30687] ppid=30676 vsize=14089320 memory=3279 CPUtime=0 cores=0,2,4,6
/proc/30678/task/30687/stat : 30687 (java) S 30676 30676 27146 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 222760297 14427463680 299985 33554432000 4194304 4196468 140722103117488 140626702432848 140627524753307 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10969088 140722103121030 140722103121201 140722103121201 140722103123919 0
[pid=30678/tid=30688] ppid=30676 vsize=14089320 memory=13595 CPUtime=2.85 cores=0,2,4,6
/proc/30678/task/30688/stat : 30688 (java) S 30676 30676 27146 0 -1 1077944384 17536 0 0 0 281 4 0 0 20 0 15 0 222760297 14427463680 299985 33554432000 4194304 4196468 140722103117488 140626701379696 140627524745858 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10969088 140722103121030 140722103121201 140722103121201 140722103123919 0
[pid=30678/tid=30689] ppid=30676 vsize=14089320 memory=1452 CPUtime=2.56 cores=0,2,4,6
/proc/30678/task/30689/stat : 30689 (java) S 30676 30676 27146 0 -1 1077944384 10185 0 0 0 255 1 0 0 20 0 15 0 222760297 14427463680 299985 33554432000 4194304 4196468 140722103117488 140626700326896 140627524745858 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10969088 140722103121030 140722103121201 140722103121201 140722103123919 0
[pid=30678/tid=30690] ppid=30676 vsize=14089320 memory=1199940 CPUtime=0.74 cores=0,2,4,6
/proc/30678/task/30690/stat : 30690 (java) S 30676 30676 27146 0 -1 1077944384 8791 0 0 0 72 2 0 0 20 0 15 0 222760297 14427463680 299985 33554432000 4194304 4196468 140722103117488 140626699274608 140627524745858 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10969088 140722103121030 140722103121201 140722103121201 140722103123919 0
[pid=30678/tid=30691] ppid=30676 vsize=14089320 memory=1832 CPUtime=0 cores=0,2,4,6
/proc/30678/task/30691/stat : 30691 (java) S 30676 30676 27146 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 222760297 14427463680 299985 33554432000 4194304 4196468 140722103117488 140626698222048 140627524744917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10969088 140722103121030 140722103121201 140722103121201 140722103123919 0
[pid=30678/tid=30692] ppid=30676 vsize=14089320 memory=1452 CPUtime=1.26 cores=0,2,4,6
/proc/30678/task/30692/stat : 30692 (java) S 30676 30676 27146 0 -1 1077944384 1689 0 0 0 60 66 0 0 20 0 15 0 222760297 14427463680 299985 33554432000 4194304 4196468 140722103117488 140626697169840 140627524745858 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10969088 140722103121030 140722103121201 140722103121201 140722103123919 0
Current children cumulated CPU time: 2520.05 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 1201392 KiB

Child status: 143
Real time (s): 2512.11
CPU time (s): 2520.08
CPU user time (s): 2519.05
CPU system time (s): 1.02918
CPU usage (%): 100.317
Max. virtual memory (cumulated for all children) (KiB): 14202448
Max. memory (cumulated for all children) (KiB): 1203568

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.05
system time used= 1.02918
maximum resident set size= 1204164
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 94250
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2160
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 57924
involuntary context switches= 1586


# summary of solver processes directly reported to runsolver:
#   pid: 30676,30678
#   total CPU time (s): 2520.08
#   total CPU user time (s): 2519.05
#   total CPU system time (s): 1.02918

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 21.6409 second user time and 18.4191 second system time

The end
Name	GraphColoring/ GraphColoring-qg-order30_c18.xml
MD5SUM	2f5cbdca11052f8d5a6d32bd8b795ba4
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	OPT
Best value of the objective obtained on this benchmark	29
Best CPU time to get the best result obtained on this benchmark	303.273
Satisfiable
(Un)Satisfiability was proved
Number of variables	900
Number of constraints	26100
Number of domains	1
Minimum domain size	900
Maximum domain size	900
Distribution of domain sizes	[{"size":900,"count":900}]
Minimum variable degree	59
Maximum variable degree	59
Distribution of variable degrees	[{"degree":59,"count":900}]
Minimum constraint arity	2
Maximum constraint arity	2
Distribution of constraint arities	[{"arity":2,"count":26100}]
Number of extensional constraints	0
Number of intensional constraints	26100
Distribution of constraint types	[{"type":"intension","count":26100}]
Optimization problem	YES
Type of objective	min MAXIMUM
Trace number 4306515

Some explanations

Solver answer on this benchmark

General information on the benchmark

Quality of the solution as a function of time

Solver Data

Verifier Data

Watcher Data

Launcher Data
