runsolver Copyright (C) 2010-2013 Olivier ROUSSEL
This is runsolver version 3.3.7 (svn: 2553)
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.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4255316-1501619356/watcher-4255316-1501619356 -o /tmp/evaluation-result-4255316-1501619356/solver-4255316-1501619356 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node129-1501617179-10854 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 1763772624 HOME/instance-4255316-1501619356.xml
pid=12404
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 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
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 1.65 1.75 1.84 3/195 12407
/proc/meminfo: memFree=31738700/32770624 swapFree=0/189716
[pid=12407] ppid=12404 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/12407/stat : 12407 (runsolver) D 12404 12407 5091 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 10558657 24240128 107 18446744073709551615 4194304 4338465 140722631840576 140722631838216 140655152546519 0 0 1 24578 18446744071580418449 0 0 17 3 0 0 0 0 0 6438912 6441760 37724160 140722631848028 140722631848518 140722631848518 140722631851978 0
/proc/12407/statm: 5918 107 54 36 0 2156 0
[startup+0.100114 s]
/proc/loadavg: 1.65 1.75 1.84 3/195 12407
/proc/meminfo: memFree=31738700/32770624 swapFree=0/189716
[pid=12407] ppid=12404 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/12407/stat : 12407 (xcsp3-exec) S 12404 12407 5091 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 10558657 9740288 344 18446744073709551615 4194304 5098028 140728668163552 140728668161656 140422954599036 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 5 0 0 7196144 7232144 16515072 140728668164507 140728668164711 140728668164711 140728668168171 0
/proc/12407/statm: 2378 344 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200925 s]
/proc/loadavg: 1.65 1.75 1.84 3/195 12407
/proc/meminfo: memFree=31738700/32770624 swapFree=0/189716
[pid=12407] ppid=12404 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/12407/stat : 12407 (xcsp3-exec) S 12404 12407 5091 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 10558657 9740288 344 18446744073709551615 4194304 5098028 140728668163552 140728668161656 140422954599036 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 5 0 0 7196144 7232144 16515072 140728668164507 140728668164711 140728668164711 140728668168171 0
/proc/12407/statm: 2378 344 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.30021 s]
/proc/loadavg: 1.65 1.75 1.84 3/195 12407
/proc/meminfo: memFree=31738700/32770624 swapFree=0/189716
[pid=12407] ppid=12404 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/12407/stat : 12407 (xcsp3-exec) S 12404 12407 5091 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 10558657 9740288 344 18446744073709551615 4194304 5098028 140728668163552 140728668161656 140422954599036 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 5 0 0 7196144 7232144 16515072 140728668164507 140728668164711 140728668164711 140728668168171 0
/proc/12407/statm: 2378 344 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.709543 s]
/proc/loadavg: 1.65 1.75 1.84 3/195 12407
/proc/meminfo: memFree=31738700/32770624 swapFree=0/189716
[pid=12407] ppid=12404 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/12407/stat : 12407 (xcsp3-exec) S 12404 12407 5091 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 10558657 9740288 344 18446744073709551615 4194304 5098028 140728668163552 140728668161656 140422954599036 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 5 0 0 7196144 7232144 16515072 140728668164507 140728668164711 140728668164711 140728668168171 0
/proc/12407/statm: 2378 344 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50159 s]
/proc/loadavg: 1.65 1.75 1.84 5/211 12423
/proc/meminfo: memFree=31649760/32770624 swapFree=0/189732
[pid=12407] ppid=12404 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/12407/stat : 12407 (xcsp3-exec) S 12404 12407 5091 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 10558657 9740288 344 18446744073709551615 4194304 5098028 140728668163552 140728668161656 140422954599036 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 5 0 0 7196144 7232144 16515072 140728668164507 140728668164711 140728668164711 140728668168171 0
/proc/12407/statm: 2378 344 289 221 0 87 0
[pid=12409] ppid=12407 vsize=13980732 CPUtime=3.8 cores=1,3,5,7
/proc/12409/stat : 12409 (java) S 12407 12407 5091 0 -1 1077944320 45434 0 0 0 372 8 0 0 20 0 15 0 10558663 14316269568 34776 18446744073709551615 4194304 4196468 140735080010176 140735079992720 139651474996983 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 22216704 140735080018388 140735080018563 140735080018563 140735080021967 0
/proc/12409/statm: 3495183 34776 3180 1 0 3483484 0
[pid=12409/tid=12410] ppid=12407 vsize=13980732 CPUtime=1.37 cores=1,3,5,7
/proc/12409/task/12410/stat : 12410 (java) R 12407 12407 5091 0 -1 4202560 9428 0 0 0 134 3 0 0 20 0 15 0 10558663 14316269568 34776 18446744073709551615 4194304 4196468 140735080010176 139651479234008 139651084213104 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 22216704 140735080018388 140735080018563 140735080018563 140735080021967 0
[pid=12409/tid=12411] ppid=12407 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/12409/task/12411/stat : 12411 (java) S 12407 12407 5091 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10558664 14316269568 34776 18446744073709551615 4194304 4196468 140735080010176 139651409431568 139651475007189 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22216704 140735080018388 140735080018563 140735080018563 140735080021967 0
[pid=12409/tid=12412] ppid=12407 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/12409/task/12412/stat : 12412 (java) S 12407 12407 5091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10558664 14316269568 34776 18446744073709551615 4194304 4196468 140735080010176 139651408379024 139651475007189 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22216704 140735080018388 140735080018563 140735080018563 140735080021967 0
[pid=12409/tid=12413] ppid=12407 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/12409/task/12413/stat : 12413 (java) S 12407 12407 5091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10558664 14316269568 34776 18446744073709551615 4194304 4196468 140735080010176 139651407325968 139651475007189 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22216704 140735080018388 140735080018563 140735080018563 140735080021967 0
[pid=12409/tid=12414] ppid=12407 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/12409/task/12414/stat : 12414 (java) S 12407 12407 5091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10558664 14316269568 34776 18446744073709551615 4194304 4196468 140735080010176 139651406273424 139651475007189 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22216704 140735080018388 140735080018563 140735080018563 140735080021967 0
[pid=12409/tid=12415] ppid=12407 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/12409/task/12415/stat : 12415 (java) S 12407 12407 5091 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 10558665 14316269568 34776 18446744073709551615 4194304 4196468 140735080010176 139650819127536 139651475008130 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22216704 140735080018388 140735080018563 140735080018563 140735080021967 0
[pid=12409/tid=12416] ppid=12407 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/12409/task/12416/stat : 12416 (java) S 12407 12407 5091 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 10558666 14316269568 34776 18446744073709551615 4194304 4196468 140735080010176 139650818073760 139651475007189 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22216704 140735080018388 140735080018563 140735080018563 140735080021967 0
[pid=12409/tid=12417] ppid=12407 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/12409/task/12417/stat : 12417 (java) S 12407 12407 5091 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 10558666 14316269568 34776 18446744073709551615 4194304 4196468 140735080010176 139650817020656 139651475007189 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22216704 140735080018388 140735080018563 140735080018563 140735080021967 0
[pid=12409/tid=12418] ppid=12407 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/12409/task/12418/stat : 12418 (java) S 12407 12407 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10558669 14316269568 34776 18446744073709551615 4194304 4196468 140735080010176 139650815969232 139651475015579 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22216704 140735080018388 140735080018563 140735080018563 140735080021967 0
[pid=12409/tid=12419] ppid=12407 vsize=13980732 CPUtime=0.97 cores=1,3,5,7
/proc/12409/task/12419/stat : 12419 (java) R 12407 12407 5091 0 -1 4202560 9948 0 0 0 97 0 0 0 20 0 15 0 10558669 14316269568 34776 18446744073709551615 4194304 4196468 140735080010176 139650814898376 139651454653505 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 22216704 140735080018388 140735080018563 140735080018563 140735080021967 0
[pid=12409/tid=12420] ppid=12407 vsize=13980732 CPUtime=0.95 cores=1,3,5,7
/proc/12409/task/12420/stat : 12420 (java) R 12407 12407 5091 0 -1 4202560 21551 0 0 0 93 2 0 0 20 0 15 0 10558669 14316269568 34776 18446744073709551615 4194304 4196468 140735080010176 139650813846376 139651456176521 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22216704 140735080018388 140735080018563 140735080018563 140735080021967 0
[pid=12409/tid=12421] ppid=12407 vsize=13980732 CPUtime=0.45 cores=1,3,5,7
/proc/12409/task/12421/stat : 12421 (java) S 12407 12407 5091 0 -1 1077944384 3243 0 0 0 45 0 0 0 20 0 15 0 10558669 14316269568 34776 18446744073709551615 4194304 4196468 140735080010176 139650812811760 139651475008130 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22216704 140735080018388 140735080018563 140735080018563 140735080021967 0
[pid=12409/tid=12422] ppid=12407 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/12409/task/12422/stat : 12422 (java) S 12407 12407 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10558669 14316269568 34776 18446744073709551615 4194304 4196468 140735080010176 139650811759456 139651475007189 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22216704 140735080018388 140735080018563 140735080018563 140735080021967 0
[pid=12409/tid=12423] ppid=12407 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/12409/task/12423/stat : 12423 (java) S 12407 12407 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10558673 14316269568 34776 18446744073709551615 4194304 4196468 140735080010176 139650810706480 139651475008130 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22216704 140735080018388 140735080018563 140735080018563 140735080021967 0
Current children cumulated CPU time (s) 3.8
Current children cumulated vsize (KiB) 13990244
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 12409 sig 9
??? kill 12407 sig 9
??? kill -12407 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1.60159 s]
/proc/loadavg: 1.65 1.75 1.84 5/211 12423
/proc/meminfo: memFree=31649760/32770624 swapFree=0/189732
[pid=12407] ppid=12404 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/12407/stat : 12407 (xcsp3-exec) S 12404 12407 5091 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 10558657 9740288 344 18446744073709551615 4194304 5098028 140728668163552 140728668161656 140422954599036 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 5 0 0 7196144 7232144 16515072 140728668164507 140728668164711 140728668164711 140728668168171 0
/proc/12407/statm: 2378 344 289 221 0 87 0
[pid=12409] ppid=12407 vsize=13980732 CPUtime=4.1 cores=1,3,5,7
/proc/12409/stat : 12409 (java) S 12407 12407 5091 0 -1 1077944320 46756 0 0 0 402 8 0 0 20 0 15 0 10558663 14316269568 36920 18446744073709551615 4194304 4196468 140735080010176 140735079992720 139651474996983 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 22216704 140735080018388 140735080018563 140735080018563 140735080021967 0
/proc/12409/statm: 3495183 36920 3180 1 0 3483484 0
[pid=12409/tid=12410] ppid=12407 vsize=13980732 CPUtime=1.47 cores=1,3,5,7
/proc/12409/task/12410/stat : 12410 (java) R 12407 12407 5091 0 -1 4202560 9432 0 0 0 144 3 0 0 20 0 15 0 10558663 14316269568 36920 18446744073709551615 4194304 4196468 140735080010176 139651479233336 139651084394172 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 22216704 140735080018388 140735080018563 140735080018563 140735080021967 0
[pid=12409/tid=12411] ppid=12407 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/12409/task/12411/stat : 12411 (java) S 12407 12407 5091 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10558664 14316269568 36920 18446744073709551615 4194304 4196468 140735080010176 139651409431568 139651475007189 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22216704 140735080018388 140735080018563 140735080018563 140735080021967 0
[pid=12409/tid=12412] ppid=12407 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/12409/task/12412/stat : 12412 (java) S 12407 12407 5091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10558664 14316269568 36920 18446744073709551615 4194304 4196468 140735080010176 139651408379024 139651475007189 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22216704 140735080018388 140735080018563 140735080018563 140735080021967 0
[pid=12409/tid=12413] ppid=12407 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/12409/task/12413/stat : 12413 (java) S 12407 12407 5091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10558664 14316269568 36920 18446744073709551615 4194304 4196468 140735080010176 139651407325968 139651475007189 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22216704 140735080018388 140735080018563 140735080018563 140735080021967 0
[pid=12409/tid=12414] ppid=12407 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/12409/task/12414/stat : 12414 (java) S 12407 12407 5091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10558664 14316269568 36920 18446744073709551615 4194304 4196468 140735080010176 139651406273424 139651475007189 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22216704 140735080018388 140735080018563 140735080018563 140735080021967 0
[pid=12409/tid=12415] ppid=12407 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/12409/task/12415/stat : 12415 (java) S 12407 12407 5091 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 10558665 14316269568 36920 18446744073709551615 4194304 4196468 140735080010176 139650819127536 139651475008130 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22216704 140735080018388 140735080018563 140735080018563 140735080021967 0
[pid=12409/tid=12416] ppid=12407 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/12409/task/12416/stat : 12416 (java) S 12407 12407 5091 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 10558666 14316269568 36920 18446744073709551615 4194304 4196468 140735080010176 139650818073760 139651475007189 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22216704 140735080018388 140735080018563 140735080018563 140735080021967 0
[pid=12409/tid=12417] ppid=12407 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/12409/task/12417/stat : 12417 (java) S 12407 12407 5091 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 10558666 14316269568 36920 18446744073709551615 4194304 4196468 140735080010176 139650817020656 139651475007189 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22216704 140735080018388 140735080018563 140735080018563 140735080021967 0
[pid=12409/tid=12418] ppid=12407 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/12409/task/12418/stat : 12418 (java) S 12407 12407 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10558669 14316269568 36920 18446744073709551615 4194304 4196468 140735080010176 139650815969232 139651475015579 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22216704 140735080018388 140735080018563 140735080018563 140735080021967 0
[pid=12409/tid=12419] ppid=12407 vsize=13980732 CPUtime=1.08 cores=1,3,5,7
/proc/12409/task/12419/stat : 12419 (java) R 12407 12407 5091 0 -1 4202560 11071 0 0 0 107 1 0 0 20 0 15 0 10558669 14316269568 36920 18446744073709551615 4194304 4196468 140735080010176 139650814898376 139651458493655 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 22216704 140735080018388 140735080018563 140735080018563 140735080021967 0
[pid=12409/tid=12420] ppid=12407 vsize=13980732 CPUtime=1.05 cores=1,3,5,7
/proc/12409/task/12420/stat : 12420 (java) R 12407 12407 5091 0 -1 4202560 21694 0 0 0 103 2 0 0 20 0 15 0 10558669 14316269568 36920 18446744073709551615 4194304 4196468 140735080010176 139650813845832 139651454690083 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22216704 140735080018388 140735080018563 140735080018563 140735080021967 0
[pid=12409/tid=12421] ppid=12407 vsize=13980732 CPUtime=0.46 cores=1,3,5,7
/proc/12409/task/12421/stat : 12421 (java) S 12407 12407 5091 0 -1 1077944384 3251 0 0 0 46 0 0 0 20 0 15 0 10558669 14316269568 36920 18446744073709551615 4194304 4196468 140735080010176 139650812811760 139651475008130 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22216704 140735080018388 140735080018563 140735080018563 140735080021967 0
[pid=12409/tid=12422] ppid=12407 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/12409/task/12422/stat : 12422 (java) S 12407 12407 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10558669 14316269568 36920 18446744073709551615 4194304 4196468 140735080010176 139650811759456 139651475007189 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22216704 140735080018388 140735080018563 140735080018563 140735080021967 0
[pid=12409/tid=12423] ppid=12407 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/12409/task/12423/stat : 12423 (java) S 12407 12407 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10558673 14316269568 36920 18446744073709551615 4194304 4196468 140735080010176 139650810706480 139651475008130 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22216704 140735080018388 140735080018563 140735080018563 140735080021967 0
Current children cumulated CPU time (s) 4.1
Current children cumulated vsize (KiB) 13990244
[startup+2.00159 s]
/proc/loadavg: 1.65 1.75 1.84 5/211 12423
/proc/meminfo: memFree=31649760/32770624 swapFree=0/189732
[pid=12407] ppid=12404 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/12407/stat : 12407 (xcsp3-exec) S 12404 12407 5091 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 10558657 9740288 344 18446744073709551615 4194304 5098028 140728668163552 140728668161656 140422954599036 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 5 0 0 7196144 7232144 16515072 140728668164507 140728668164711 140728668164711 140728668168171 0
/proc/12407/statm: 2378 344 289 221 0 87 0
[pid=12409] ppid=12407 vsize=13980732 CPUtime=5.3 cores=1,3,5,7
/proc/12409/stat : 12409 (java) S 12407 12407 5091 0 -1 1077944320 53903 0 0 0 521 9 0 0 20 0 15 0 10558663 14316269568 47382 18446744073709551615 4194304 4196468 140735080010176 140735079992720 139651474996983 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 22216704 140735080018388 140735080018563 140735080018563 140735080021967 0
/proc/12409/statm: 3495183 47382 3180 1 0 3483484 0
[pid=12409/tid=12410] ppid=12407 vsize=13980732 CPUtime=1.88 cores=1,3,5,7
/proc/12409/task/12410/stat : 12410 (java) R 12407 12407 5091 0 -1 4202560 9473 0 0 0 184 4 0 0 20 0 15 0 10558663 14316269568 47382 18446744073709551615 4194304 4196468 140735080010176 139651479235152 139651082860391 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 22216704 140735080018388 140735080018563 140735080018563 140735080021967 0
[pid=12409/tid=12411] ppid=12407 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/12409/task/12411/stat : 12411 (java) S 12407 12407 5091 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10558664 14316269568 47382 18446744073709551615 4194304 4196468 140735080010176 139651409431568 139651475007189 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22216704 140735080018388 140735080018563 140735080018563 140735080021967 0
[pid=12409/tid=12412] ppid=12407 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/12409/task/12412/stat : 12412 (java) S 12407 12407 5091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10558664 14316269568 47382 18446744073709551615 4194304 4196468 140735080010176 139651408379024 139651475007189 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22216704 140735080018388 140735080018563 140735080018563 140735080021967 0
[pid=12409/tid=12413] ppid=12407 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/12409/task/12413/stat : 12413 (java) S 12407 12407 5091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10558664 14316269568 47382 18446744073709551615 4194304 4196468 140735080010176 139651407325968 139651475007189 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22216704 140735080018388 140735080018563 140735080018563 140735080021967 0
[pid=12409/tid=12414] ppid=12407 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/12409/task/12414/stat : 12414 (java) S 12407 12407 5091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10558664 14316269568 47382 18446744073709551615 4194304 4196468 140735080010176 139651406273424 139651475007189 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22216704 140735080018388 140735080018563 140735080018563 140735080021967 0
[pid=12409/tid=12415] ppid=12407 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/12409/task/12415/stat : 12415 (java) S 12407 12407 5091 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 15 0 10558665 14316269568 47382 18446744073709551615 4194304 4196468 140735080010176 139650819127536 139651475008130 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22216704 140735080018388 140735080018563 140735080018563 140735080021967 0
[pid=12409/tid=12416] ppid=12407 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/12409/task/12416/stat : 12416 (java) S 12407 12407 5091 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 10558666 14316269568 47382 18446744073709551615 4194304 4196468 140735080010176 139650818073760 139651475007189 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22216704 140735080018388 140735080018563 140735080018563 140735080021967 0
[pid=12409/tid=12417] ppid=12407 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/12409/task/12417/stat : 12417 (java) S 12407 12407 5091 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 10558666 14316269568 47382 18446744073709551615 4194304 4196468 140735080010176 139650817020656 139651475007189 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22216704 140735080018388 140735080018563 140735080018563 140735080021967 0
[pid=12409/tid=12418] ppid=12407 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/12409/task/12418/stat : 12418 (java) S 12407 12407 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10558669 14316269568 47382 18446744073709551615 4194304 4196468 140735080010176 139650815969232 139651475015579 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22216704 140735080018388 140735080018563 140735080018563 140735080021967 0
[pid=12409/tid=12419] ppid=12407 vsize=13980732 CPUtime=1.47 cores=1,3,5,7
/proc/12409/task/12419/stat : 12419 (java) R 12407 12407 5091 0 -1 4202560 14740 0 0 0 146 1 0 0 20 0 15 0 10558669 14316269568 47448 18446744073709551615 4194304 4196468 140735080010176 139650814901832 139651459386837 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 22216704 140735080018388 140735080018563 140735080018563 140735080021967 0
[pid=12409/tid=12420] ppid=12407 vsize=13980732 CPUtime=1.45 cores=1,3,5,7
/proc/12409/task/12420/stat : 12420 (java) R 12407 12407 5091 0 -1 4202560 24547 0 0 0 142 3 0 0 20 0 15 0 10558669 14316269568 47448 18446744073709551615 4194304 4196468 140735080010176 139650813845832 139651467286365 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22216704 140735080018388 140735080018563 140735080018563 140735080021967 0
[pid=12409/tid=12421] ppid=12407 vsize=13980732 CPUtime=0.47 cores=1,3,5,7
/proc/12409/task/12421/stat : 12421 (java) S 12407 12407 5091 0 -1 1077944384 3824 0 0 0 47 0 0 0 20 0 15 0 10558669 14316269568 47448 18446744073709551615 4194304 4196468 140735080010176 139650812811760 139651475008130 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22216704 140735080018388 140735080018563 140735080018563 140735080021967 0
[pid=12409/tid=12422] ppid=12407 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/12409/task/12422/stat : 12422 (java) S 12407 12407 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10558669 14316269568 47448 18446744073709551615 4194304 4196468 140735080010176 139650811759456 139651475007189 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22216704 140735080018388 140735080018563 140735080018563 140735080021967 0
[pid=12409/tid=12423] ppid=12407 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/12409/task/12423/stat : 12423 (java) S 12407 12407 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10558673 14316269568 47448 18446744073709551615 4194304 4196468 140735080010176 139650810706480 139651475008130 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22216704 140735080018388 140735080018563 140735080018563 140735080021967 0
Current children cumulated CPU time (s) 5.3
Current children cumulated vsize (KiB) 13990244
[startup+2.20066 s]
/proc/loadavg: 1.65 1.75 1.84 3/209 12423
/proc/meminfo: memFree=31545124/32770624 swapFree=0/189732
[pid=12407] ppid=12404 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/12407/stat : 12407 (xcsp3-exec) S 12404 12407 5091 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 10558657 9740288 344 18446744073709551615 4194304 5098028 140728668163552 140728668161656 140422954599036 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 5 0 0 7196144 7232144 16515072 140728668164507 140728668164711 140728668164711 140728668168171 0
/proc/12407/statm: 2378 344 289 221 0 87 0
[pid=12409] ppid=12407 vsize=13984556 CPUtime=5.79 cores=1,3,5,7
/proc/12409/stat : 12409 (java) S 12407 12407 5091 0 -1 1077944320 57879 0 0 0 569 10 0 0 20 0 13 0 10558663 14320185344 50847 18446744073709551615 4194304 4196468 140735080010176 140735079992720 139651474996983 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 22216704 140735080018388 140735080018563 140735080018563 140735080021967 0
/proc/12409/statm: 3496139 50847 3184 1 0 3484440 0
[pid=12409/tid=12410] ppid=12407 vsize=13984556 CPUtime=2.02 cores=1,3,5,7
/proc/12409/task/12410/stat : 12410 (java) S 12407 12407 5091 0 -1 1077944384 10225 0 0 0 198 4 0 0 20 0 13 0 10558663 14320185344 50847 18446744073709551615 4194304 4196468 140735080010176 139651479239824 139651475007189 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 3 0 0 6293624 6294260 22216704 140735080018388 140735080018563 140735080018563 140735080021967 0
[pid=12409/tid=12411] ppid=12407 vsize=13984556 CPUtime=0 cores=1,3,5,7
/proc/12409/task/12411/stat : 12411 (java) S 12407 12407 5091 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 13 0 10558664 14320185344 50847 18446744073709551615 4194304 4196468 140735080010176 139651409431568 139651475007189 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22216704 140735080018388 140735080018563 140735080018563 140735080021967 0
[pid=12409/tid=12412] ppid=12407 vsize=13984556 CPUtime=0 cores=1,3,5,7
/proc/12409/task/12412/stat : 12412 (java) S 12407 12407 5091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 13 0 10558664 14320185344 50847 18446744073709551615 4194304 4196468 140735080010176 139651408379024 139651475007189 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22216704 140735080018388 140735080018563 140735080018563 140735080021967 0
[pid=12409/tid=12413] ppid=12407 vsize=13984556 CPUtime=0 cores=1,3,5,7
/proc/12409/task/12413/stat : 12413 (java) S 12407 12407 5091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 13 0 10558664 14320185344 50847 18446744073709551615 4194304 4196468 140735080010176 139651407325968 139651475007189 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22216704 140735080018388 140735080018563 140735080018563 140735080021967 0
[pid=12409/tid=12414] ppid=12407 vsize=13984556 CPUtime=0 cores=1,3,5,7
/proc/12409/task/12414/stat : 12414 (java) S 12407 12407 5091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 13 0 10558664 14320185344 50847 18446744073709551615 4194304 4196468 140735080010176 139651406273424 139651475007189 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22216704 140735080018388 140735080018563 140735080018563 140735080021967 0
[pid=12409/tid=12415] ppid=12407 vsize=13984556 CPUtime=0 cores=1,3,5,7
/proc/12409/task/12415/stat : 12415 (java) S 12407 12407 5091 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 13 0 10558665 14320185344 50847 18446744073709551615 4194304 4196468 140735080010176 139650819127744 139651475008130 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22216704 140735080018388 140735080018563 140735080018563 140735080021967 0
[pid=12409/tid=12416] ppid=12407 vsize=13984556 CPUtime=0 cores=1,3,5,7
/proc/12409/task/12416/stat : 12416 (java) S 12407 12407 5091 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 13 0 10558666 14320185344 50847 18446744073709551615 4194304 4196468 140735080010176 139650818073760 139651475007189 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22216704 140735080018388 140735080018563 140735080018563 140735080021967 0
[pid=12409/tid=12417] ppid=12407 vsize=13984556 CPUtime=0 cores=1,3,5,7
/proc/12409/task/12417/stat : 12417 (java) S 12407 12407 5091 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 13 0 10558666 14320185344 50847 18446744073709551615 4194304 4196468 140735080010176 139650817020656 139651475007189 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22216704 140735080018388 140735080018563 140735080018563 140735080021967 0
[pid=12409/tid=12419] ppid=12407 vsize=13984556 CPUtime=1.68 cores=1,3,5,7
/proc/12409/task/12419/stat : 12419 (java) R 12407 12407 5091 0 -1 4202560 17187 0 0 0 167 1 0 0 20 0 13 0 10558669 14320185344 50847 18446744073709551615 4194304 4196468 140735080010176 139650814903520 139651456543720 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22216704 140735080018388 140735080018563 140735080018563 140735080021967 0
[pid=12409/tid=12420] ppid=12407 vsize=13984556 CPUtime=1.59 cores=1,3,5,7
/proc/12409/task/12420/stat : 12420 (java) S 12407 12407 5091 0 -1 1077944384 25280 0 0 0 156 3 0 0 20 0 13 0 10558669 14320185344 50847 18446744073709551615 4194304 4196468 140735080010176 139650813851536 139651475007189 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22216704 140735080018388 140735080018563 140735080018563 140735080021967 0
[pid=12409/tid=12421] ppid=12407 vsize=13984556 CPUtime=0.47 cores=1,3,5,7
/proc/12409/task/12421/stat : 12421 (java) S 12407 12407 5091 0 -1 1077944384 3827 0 0 0 47 0 0 0 20 0 13 0 10558669 14320185344 50847 18446744073709551615 4194304 4196468 140735080010176 139650812811760 139651475008130 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22216704 140735080018388 140735080018563 140735080018563 140735080021967 0
[pid=12409/tid=12422] ppid=12407 vsize=13984556 CPUtime=0 cores=1,3,5,7
/proc/12409/task/12422/stat : 12422 (java) S 12407 12407 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 13 0 10558669 14320185344 50847 18446744073709551615 4194304 4196468 140735080010176 139650811759456 139651475007189 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22216704 140735080018388 140735080018563 140735080018563 140735080021967 0
Current children cumulated CPU time (s) 5.79
Current children cumulated vsize (KiB) 13994068
Child status: 0
Real time (s): 2.28099
CPU time (s): 5.87388
CPU user time (s): 5.75802
CPU system time (s): 0.115853
CPU usage (%): 257.514
Max. virtual memory (cumulated for all children) (KiB): 13994068
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 5.75802
system time used= 0.115853
maximum resident set size= 203852
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 58570
page faults= 0
swaps= 0
block input operations= 0
block output operations= 8
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2175
involuntary context switches= 23
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.010243 second user time and 0.020487 second system time
The end