2017 XCSP3 competition: main track (CSP and COP, sequential and parallel solvers) competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
R1: choco-solver 5a (2017-07-05)	SAT (TO)	6	2400.72	303.726

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-4249105-1500693808/watcher-4249105-1500693808 -o /tmp/evaluation-result-4249105-1500693808/solver-4249105-1500693808 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node105-1500682495-14657 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 1915658820 HOME/instance-4249105-1500693808.xml 

pid=15076
running on 8 cores: 0,2,4,6,8,10,12,14

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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: 14.73 13.27 12.83 9/265 15079
/proc/meminfo: memFree=20841900/32770624 swapFree=5972/269588
[pid=15079] ppid=15076 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15079/stat : 15079 (xcsp3-exec) S 15076 15079 14626 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4650281 9740288 346 33554432000 4194304 5098028 140735359412512 140735359410616 140299583181436 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 19038208 140735359415438 140735359415648 140735359415648 140735359418347 0
/proc/15079/statm: 2378 346 289 221 0 87 0

[startup+0.100136 s]
/proc/loadavg: 14.73 13.27 12.83 9/265 15079
/proc/meminfo: memFree=20841900/32770624 swapFree=5972/269588
[pid=15079] ppid=15076 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15079/stat : 15079 (xcsp3-exec) S 15076 15079 14626 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4650281 9740288 346 33554432000 4194304 5098028 140735359412512 140735359410616 140299583181436 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 19038208 140735359415438 140735359415648 140735359415648 140735359418347 0
/proc/15079/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.20031 s]
/proc/loadavg: 14.73 13.27 12.83 9/265 15079
/proc/meminfo: memFree=20841900/32770624 swapFree=5972/269588
[pid=15079] ppid=15076 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15079/stat : 15079 (xcsp3-exec) S 15076 15079 14626 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4650281 9740288 346 33554432000 4194304 5098028 140735359412512 140735359410616 140299583181436 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 19038208 140735359415438 140735359415648 140735359415648 140735359418347 0
/proc/15079/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.300315 s]
/proc/loadavg: 14.73 13.27 12.83 9/265 15079
/proc/meminfo: memFree=20841900/32770624 swapFree=5972/269588
[pid=15079] ppid=15076 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15079/stat : 15079 (xcsp3-exec) S 15076 15079 14626 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4650281 9740288 346 33554432000 4194304 5098028 140735359412512 140735359410616 140299583181436 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 19038208 140735359415438 140735359415648 140735359415648 140735359418347 0
/proc/15079/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.700178 s]
/proc/loadavg: 14.73 13.27 12.83 9/265 15079
/proc/meminfo: memFree=20841900/32770624 swapFree=5972/269588
[pid=15079] ppid=15076 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15079/stat : 15079 (xcsp3-exec) S 15076 15079 14626 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4650281 9740288 346 33554432000 4194304 5098028 140735359412512 140735359410616 140299583181436 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 19038208 140735359415438 140735359415648 140735359415648 140735359418347 0
/proc/15079/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+1.50108 s]
/proc/loadavg: 14.73 13.27 12.83 19/294 15132
/proc/meminfo: memFree=20666768/32770624 swapFree=5972/269624
[pid=15079] ppid=15076 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15079/stat : 15079 (xcsp3-exec) S 15076 15079 14626 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4650281 9740288 346 33554432000 4194304 5098028 140735359412512 140735359410616 140299583181436 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 19038208 140735359415438 140735359415648 140735359415648 140735359418347 0
/proc/15079/statm: 2378 346 289 221 0 87 0
[pid=15080] ppid=15079 vsize=13868332 CPUtime=7.04 cores=0,2,4,6,8,10,12,14
/proc/15080/stat : 15080 (java) S 15079 15079 14626 0 -1 1077944320 18556 0 0 0 691 13 0 0 20 0 28 0 4650282 14201171968 49535 33554432000 4194304 4196468 140733259791536 140733259774080 140438904749815 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 9543680 140733259793596 140733259793772 140733259793772 140733259796431 0
/proc/15080/statm: 3467083 49535 3262 1 0 3454316 0
[pid=15080/tid=15081] ppid=15079 vsize=13868332 CPUtime=0.89 cores=0,2,4,6,8,10,12,14
/proc/15080/task/15081/stat : 15081 (java) S 15079 15079 14626 0 -1 1077944384 6935 0 0 0 85 4 0 0 20 0 28 0 4650282 14201171968 49535 33554432000 4194304 4196468 140733259791536 140438908990592 140438904760021 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 9543680 140733259793596 140733259793772 140733259793772 140733259796431 0
[pid=15080/tid=15083] ppid=15079 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15080/task/15083/stat : 15083 (java) S 15079 15079 14626 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 28 0 4650283 14201171968 49535 33554432000 4194304 4196468 140733259791536 140438857370768 140438904760021 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 9543680 140733259793596 140733259793772 140733259793772 140733259796431 0
[pid=15080/tid=15084] ppid=15079 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15080/task/15084/stat : 15084 (java) S 15079 15079 14626 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 28 0 4650283 14201171968 49535 33554432000 4194304 4196468 140733259791536 140438856317968 140438904760021 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9543680 140733259793596 140733259793772 140733259793772 140733259796431 0
[pid=15080/tid=15085] ppid=15079 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15080/task/15085/stat : 15085 (java) S 15079 15079 14626 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 28 0 4650283 14201171968 49535 33554432000 4194304 4196468 140733259791536 140438855265168 140438904760021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9543680 140733259793596 140733259793772 140733259793772 140733259796431 0
[pid=15080/tid=15086] ppid=15079 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15080/task/15086/stat : 15086 (java) S 15079 15079 14626 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 28 0 4650283 14201171968 49535 33554432000 4194304 4196468 140733259791536 140438500997904 140438904760021 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9543680 140733259793596 140733259793772 140733259793772 140733259796431 0
[pid=15080/tid=15087] ppid=15079 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15080/task/15087/stat : 15087 (java) S 15079 15079 14626 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 28 0 4650283 14201171968 49535 33554432000 4194304 4196468 140733259791536 140438499945104 140438904760021 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9543680 140733259793596 140733259793772 140733259793772 140733259796431 0
[pid=15080/tid=15088] ppid=15079 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15080/task/15088/stat : 15088 (java) S 15079 15079 14626 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 28 0 4650283 14201171968 49535 33554432000 4194304 4196468 140733259791536 140438498892304 140438904760021 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 9543680 140733259793596 140733259793772 140733259793772 140733259796431 0
[pid=15080/tid=15089] ppid=15079 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15080/task/15089/stat : 15089 (java) S 15079 15079 14626 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 28 0 4650283 14201171968 49535 33554432000 4194304 4196468 140733259791536 140438497839504 140438904760021 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 9543680 140733259793596 140733259793772 140733259793772 140733259796431 0
[pid=15080/tid=15090] ppid=15079 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15080/task/15090/stat : 15090 (java) S 15079 15079 14626 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 28 0 4650283 14201171968 49535 33554432000 4194304 4196468 140733259791536 140438496786704 140438904760021 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9543680 140733259793596 140733259793772 140733259793772 140733259796431 0
[pid=15080/tid=15091] ppid=15079 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15080/task/15091/stat : 15091 (java) S 15079 15079 14626 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 28 0 4650285 14201171968 49535 33554432000 4194304 4196468 140733259791536 140438232812400 140438904760962 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9543680 140733259793596 140733259793772 140733259793772 140733259796431 0
[pid=15080/tid=15092] ppid=15079 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15080/task/15092/stat : 15092 (java) S 15079 15079 14626 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 4650286 14201171968 49535 33554432000 4194304 4196468 140733259791536 140438231758368 140438904760021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9543680 140733259793596 140733259793772 140733259793772 140733259796431 0
[pid=15080/tid=15093] ppid=15079 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15080/task/15093/stat : 15093 (java) S 15079 15079 14626 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 4650286 14201171968 49535 33554432000 4194304 4196468 140733259791536 140438230705520 140438904760021 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 9543680 140733259793596 140733259793772 140733259793772 140733259796431 0
[pid=15080/tid=15094] ppid=15079 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15080/task/15094/stat : 15094 (java) S 15079 15079 14626 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4650290 14201171968 49535 33554432000 4194304 4196468 140733259791536 140438229653840 140438904768411 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 9543680 140733259793596 140733259793772 140733259793772 140733259796431 0
[pid=15080/tid=15095] ppid=15079 vsize=13868332 CPUtime=0.8 cores=0,2,4,6,8,10,12,14
/proc/15080/task/15095/stat : 15095 (java) R 15079 15079 14626 0 -1 4202560 2854 0 0 0 80 0 0 0 20 0 28 0 4650290 14201171968 49535 33554432000 4194304 4196468 140733259791536 140438228587224 140438888137127 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 9543680 140733259793596 140733259793772 140733259793772 140733259796431 0
[pid=15080/tid=15096] ppid=15079 vsize=13868332 CPUtime=0.86 cores=0,2,4,6,8,10,12,14
/proc/15080/task/15096/stat : 15096 (java) R 15079 15079 14626 0 -1 4202560 1639 0 0 0 86 0 0 0 20 0 28 0 4650290 14201171968 49535 33554432000 4194304 4196468 140733259791536 140438227541440 140438890360512 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 9543680 140733259793596 140733259793772 140733259793772 140733259796431 0
[pid=15080/tid=15097] ppid=15079 vsize=13868332 CPUtime=0.76 cores=0,2,4,6,8,10,12,14
/proc/15080/task/15097/stat : 15097 (java) R 15079 15079 14626 0 -1 4202560 1492 0 0 0 76 0 0 0 20 0 28 0 4650290 14201171968 49535 33554432000 4194304 4196468 140733259791536 140438226482144 140438886295179 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9543680 140733259793596 140733259793772 140733259793772 140733259796431 0
[pid=15080/tid=15098] ppid=15079 vsize=13868332 CPUtime=0.69 cores=0,2,4,6,8,10,12,14
/proc/15080/task/15098/stat : 15098 (java) S 15079 15079 14626 0 -1 1077944384 2774 0 0 0 69 0 0 0 20 0 28 0 4650290 14201171968 49535 33554432000 4194304 4196468 140733259791536 140438225442800 140438904760962 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9543680 140733259793596 140733259793772 140733259793772 140733259796431 0
[pid=15080/tid=15099] ppid=15079 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15080/task/15099/stat : 15099 (java) S 15079 15079 14626 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4650291 14201171968 49535 33554432000 4194304 4196468 140733259791536 140438224391264 140438904760021 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 9543680 140733259793596 140733259793772 140733259793772 140733259796431 0
[pid=15080/tid=15100] ppid=15079 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15080/task/15100/stat : 15100 (java) S 15079 15079 14626 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4650291 14201171968 49535 33554432000 4194304 4196468 140733259791536 140438223338544 140438904760962 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9543680 140733259793596 140733259793772 140733259793772 140733259796431 0
Current children cumulated CPU time (s) 7.04
Current children cumulated vsize (KiB) 13877844

[startup+3.1012 s]
/proc/loadavg: 15.07 13.37 12.86 20/294 15164
/proc/meminfo: memFree=20648976/32770624 swapFree=5972/269624
[pid=15079] ppid=15076 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15079/stat : 15079 (xcsp3-exec) S 15076 15079 14626 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4650281 9740288 346 33554432000 4194304 5098028 140735359412512 140735359410616 140299583181436 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 19038208 140735359415438 140735359415648 140735359415648 140735359418347 0
/proc/15079/statm: 2378 346 289 221 0 87 0
[pid=15080] ppid=15079 vsize=13868332 CPUtime=19.7 cores=0,2,4,6,8,10,12,14
/proc/15080/stat : 15080 (java) S 15079 15079 14626 0 -1 1077944320 19771 0 0 0 1952 18 0 0 20 0 28 0 4650282 14201171968 54392 33554432000 4194304 4196468 140733259791536 140733259774080 140438904749815 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 9543680 140733259793596 140733259793772 140733259793772 140733259796431 0
/proc/15080/statm: 3467083 54392 3273 1 0 3454316 0
[pid=15080/tid=15081] ppid=15079 vsize=13868332 CPUtime=0.89 cores=0,2,4,6,8,10,12,14
/proc/15080/task/15081/stat : 15081 (java) S 15079 15079 14626 0 -1 1077944384 6936 0 0 0 85 4 0 0 20 0 28 0 4650282 14201171968 54392 33554432000 4194304 4196468 140733259791536 140438908990592 140438904760021 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 9543680 140733259793596 140733259793772 140733259793772 140733259796431 0
[pid=15080/tid=15083] ppid=15079 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15080/task/15083/stat : 15083 (java) S 15079 15079 14626 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 28 0 4650283 14201171968 54392 33554432000 4194304 4196468 140733259791536 140438857370768 140438904760021 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9543680 140733259793596 140733259793772 140733259793772 140733259796431 0
[pid=15080/tid=15084] ppid=15079 vsize=13868332 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/15080/task/15084/stat : 15084 (java) S 15079 15079 14626 0 -1 1077944384 19 0 0 0 0 1 0 0 20 0 28 0 4650283 14201171968 54392 33554432000 4194304 4196468 140733259791536 140438856317968 140438904760021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9543680 140733259793596 140733259793772 140733259793772 140733259796431 0
[pid=15080/tid=15085] ppid=15079 vsize=13868332 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/15080/task/15085/stat : 15085 (java) S 15079 15079 14626 0 -1 1077944384 20 0 0 0 1 0 0 0 20 0 28 0 4650283 14201171968 54392 33554432000 4194304 4196468 140733259791536 140438855265168 140438904760021 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9543680 140733259793596 140733259793772 140733259793772 140733259796431 0
[pid=15080/tid=15086] ppid=15079 vsize=13868332 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/15080/task/15086/stat : 15086 (java) S 15079 15079 14626 0 -1 1077944384 19 0 0 0 1 0 0 0 20 0 28 0 4650283 14201171968 54392 33554432000 4194304 4196468 140733259791536 140438500997904 140438904760021 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9543680 140733259793596 140733259793772 140733259793772 140733259796431 0
[pid=15080/tid=15087] ppid=15079 vsize=13868332 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/15080/task/15087/stat : 15087 (java) S 15079 15079 14626 0 -1 1077944384 24 0 0 0 0 1 0 0 20 0 28 0 4650283 14201171968 54392 33554432000 4194304 4196468 140733259791536 140438499945104 140438904760021 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9543680 140733259793596 140733259793772 140733259793772 140733259796431 0
[pid=15080/tid=15088] ppid=15079 vsize=13868332 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/15080/task/15088/stat : 15088 (java) S 15079 15079 14626 0 -1 1077944384 17 0 0 0 0 1 0 0 20 0 28 0 4650283 14201171968 54392 33554432000 4194304 4196468 140733259791536 140438498892304 140438904760021 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 9543680 140733259793596 140733259793772 140733259793772 140733259796431 0
[pid=15080/tid=15089] ppid=15079 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15080/task/15089/stat : 15089 (java) S 15079 15079 14626 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 28 0 4650283 14201171968 54392 33554432000 4194304 4196468 140733259791536 140438497839504 140438904760021 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 9543680 140733259793596 140733259793772 140733259793772 140733259796431 0
[pid=15080/tid=15090] ppid=15079 vsize=13868332 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/15080/task/15090/stat : 15090 (java) S 15079 15079 14626 0 -1 1077944384 22 0 0 0 0 1 0 0 20 0 28 0 4650283 14201171968 54392 33554432000 4194304 4196468 140733259791536 140438496786704 140438904760021 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 9543680 140733259793596 140733259793772 140733259793772 140733259796431 0
[pid=15080/tid=15091] ppid=15079 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15080/task/15091/stat : 15091 (java) S 15079 15079 14626 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 28 0 4650285 14201171968 54392 33554432000 4194304 4196468 140733259791536 140438232812400 140438904760962 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9543680 140733259793596 140733259793772 140733259793772 140733259796431 0
[pid=15080/tid=15092] ppid=15079 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15080/task/15092/stat : 15092 (java) S 15079 15079 14626 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 4650286 14201171968 54392 33554432000 4194304 4196468 140733259791536 140438231758368 140438904760021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9543680 140733259793596 140733259793772 140733259793772 140733259796431 0
[pid=15080/tid=15093] ppid=15079 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15080/task/15093/stat : 15093 (java) S 15079 15079 14626 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 4650286 14201171968 54392 33554432000 4194304 4196468 140733259791536 140438230705520 140438904760021 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 9543680 140733259793596 140733259793772 140733259793772 140733259796431 0
[pid=15080/tid=15094] ppid=15079 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15080/task/15094/stat : 15094 (java) S 15079 15079 14626 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4650290 14201171968 54392 33554432000 4194304 4196468 140733259791536 140438229653840 140438904768411 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 9543680 140733259793596 140733259793772 140733259793772 140733259796431 0
[pid=15080/tid=15095] ppid=15079 vsize=13868332 CPUtime=1.78 cores=0,2,4,6,8,10,12,14
/proc/15080/task/15095/stat : 15095 (java) S 15079 15079 14626 0 -1 1077944384 3017 0 0 0 178 0 0 0 20 0 28 0 4650290 14201171968 54392 33554432000 4194304 4196468 140733259791536 140438228601200 140438904760962 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9543680 140733259793596 140733259793772 140733259793772 140733259796431 0
[pid=15080/tid=15096] ppid=15079 vsize=13868332 CPUtime=2.08 cores=0,2,4,6,8,10,12,14
/proc/15080/task/15096/stat : 15096 (java) S 15079 15079 14626 0 -1 1077944384 1996 0 0 0 208 0 0 0 20 0 28 0 4650290 14201171968 54392 33554432000 4194304 4196468 140733259791536 140438227548400 140438904760962 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9543680 140733259793596 140733259793772 140733259793772 140733259796431 0
[pid=15080/tid=15097] ppid=15079 vsize=13868332 CPUtime=1.74 cores=0,2,4,6,8,10,12,14
/proc/15080/task/15097/stat : 15097 (java) S 15079 15079 14626 0 -1 1077944384 1747 0 0 0 174 0 0 0 20 0 28 0 4650290 14201171968 54392 33554432000 4194304 4196468 140733259791536 140438226495600 140438904760962 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 9543680 140733259793596 140733259793772 140733259793772 140733259796431 0
[pid=15080/tid=15098] ppid=15079 vsize=13868332 CPUtime=0.81 cores=0,2,4,6,8,10,12,14
/proc/15080/task/15098/stat : 15098 (java) S 15079 15079 14626 0 -1 1077944384 2939 0 0 0 80 1 0 0 20 0 28 0 4650290 14201171968 54392 33554432000 4194304 4196468 140733259791536 140438225442800 140438904760962 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9543680 140733259793596 140733259793772 140733259793772 140733259796431 0
[pid=15080/tid=15099] ppid=15079 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15080/task/15099/stat : 15099 (java) S 15079 15079 14626 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4650291 14201171968 54392 33554432000 4194304 4196468 140733259791536 140438224391264 140438904760021 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 9543680 140733259793596 140733259793772 140733259793772 140733259796431 0
[pid=15080/tid=15100] ppid=15079 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15080/task/15100/stat : 15100 (java) S 15079 15079 14626 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4650291 14201171968 54392 33554432000 4194304 4196468 140733259791536 140438223338544 140438904760962 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 9543680 140733259793596 140733259793772 140733259793772 140733259796431 0
Current children cumulated CPU time (s) 19.7
Current children cumulated vsize (KiB) 13877844

[startup+6.30162 s]
/proc/loadavg: 15.07 13.37 12.86 13/293 15274
/proc/meminfo: memFree=31361180/32770624 swapFree=5972/269660
[pid=15079] ppid=15076 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15079/stat : 15079 (xcsp3-exec) S 15076 15079 14626 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4650281 9740288 346 33554432000 4194304 5098028 140735359412512 140735359410616 140299583181436 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 19038208 140735359415438 140735359415648 140735359415648 140735359418347 0
/proc/15079/statm: 2378 346 289 221 0 87 0
[pid=15080] ppid=15079 vsize=13868332 CPUtime=45.07 cores=0,2,4,6,8,10,12,14
/proc/15080/stat : 15080 (java) S 15079 15079 14626 0 -1 1077944320 23969 0 0 0 4480 27 0 0 20 0 28 0 4650282 14201171968 87454 33554432000 4194304 4196468 140733259791536 140733259774080 140438904749815 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 9543680 140733259793596 140733259793772 140733259793772 140733259796431 0
/proc/15080/statm: 3467083 87454 3275 1 0 3454316 0
[pid=15080/tid=15081] ppid=15079 vsize=13868332 CPUtime=0.89 cores=0,2,4,6,8,10,12,14
/proc/15080/task/15081/stat : 15081 (java) S 15079 15079 14626 0 -1 1077944384 6936 0 0 0 85 4 0 0 20 0 28 0 4650282 14201171968 87454 33554432000 4194304 4196468 140733259791536 140438908990592 140438904760021 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9543680 140733259793596 140733259793772 140733259793772 140733259796431 0
[pid=15080/tid=15083] ppid=15079 vsize=13868332 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/15080/task/15083/stat : 15083 (java) S 15079 15079 14626 0 -1 1077944384 22 0 0 0 0 1 0 0 20 0 28 0 4650283 14201171968 87454 33554432000 4194304 4196468 140733259791536 140438857370768 140438904760021 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9543680 140733259793596 140733259793772 140733259793772 140733259796431 0
[pid=15080/tid=15084] ppid=15079 vsize=13868332 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/15080/task/15084/stat : 15084 (java) S 15079 15079 14626 0 -1 1077944384 28 0 0 0 1 1 0 0 20 0 28 0 4650283 14201171968 87454 33554432000 4194304 4196468 140733259791536 140438856317968 140438904760021 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 9543680 140733259793596 140733259793772 140733259793772 140733259796431 0
[pid=15080/tid=15085] ppid=15079 vsize=13868332 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/15080/task/15085/stat : 15085 (java) S 15079 15079 14626 0 -1 1077944384 25 0 0 0 1 1 0 0 20 0 28 0 4650283 14201171968 87454 33554432000 4194304 4196468 140733259791536 140438855265168 140438904760021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9543680 140733259793596 140733259793772 140733259793772 140733259796431 0
[pid=15080/tid=15086] ppid=15079 vsize=13868332 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/15080/task/15086/stat : 15086 (java) S 15079 15079 14626 0 -1 1077944384 24 0 0 0 1 1 0 0 20 0 28 0 4650283 14201171968 87454 33554432000 4194304 4196468 140733259791536 140438500997904 140438904760021 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 9543680 140733259793596 140733259793772 140733259793772 140733259796431 0
[pid=15080/tid=15087] ppid=15079 vsize=13868332 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/15080/task/15087/stat : 15087 (java) S 15079 15079 14626 0 -1 1077944384 28 0 0 0 1 1 0 0 20 0 28 0 4650283 14201171968 87454 33554432000 4194304 4196468 140733259791536 140438499945104 140438904760021 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9543680 140733259793596 140733259793772 140733259793772 140733259796431 0
[pid=15080/tid=15088] ppid=15079 vsize=13868332 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/15080/task/15088/stat : 15088 (java) S 15079 15079 14626 0 -1 1077944384 23 0 0 0 1 1 0 0 20 0 28 0 4650283 14201171968 87454 33554432000 4194304 4196468 140733259791536 140438498892304 140438904760021 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 9543680 140733259793596 140733259793772 140733259793772 140733259796431 0
[pid=15080/tid=15089] ppid=15079 vsize=13868332 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/15080/task/15089/stat : 15089 (java) S 15079 15079 14626 0 -1 1077944384 22 0 0 0 1 1 0 0 20 0 28 0 4650283 14201171968 87454 33554432000 4194304 4196468 140733259791536 140438497839504 140438904760021 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 9543680 140733259793596 140733259793772 140733259793772 140733259796431 0
[pid=15080/tid=15090] ppid=15079 vsize=13868332 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/15080/task/15090/stat : 15090 (java) S 15079 15079 14626 0 -1 1077944384 26 0 0 0 1 1 0 0 20 0 28 0 4650283 14201171968 87454 33554432000 4194304 4196468 140733259791536 140438496786704 140438904760021 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9543680 140733259793596 140733259793772 140733259793772 140733259796431 0
[pid=15080/tid=15091] ppid=15079 vsize=13868332 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/15080/task/15091/stat : 15091 (java) S 15079 15079 14626 0 -1 1077944384 141 0 0 0 0 1 0 0 20 0 28 0 4650285 14201171968 87454 33554432000 4194304 4196468 140733259791536 140438232812400 140438904760962 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9543680 140733259793596 140733259793772 140733259793772 140733259796431 0
[pid=15080/tid=15092] ppid=15079 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15080/task/15092/stat : 15092 (java) S 15079 15079 14626 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 4650286 14201171968 87454 33554432000 4194304 4196468 140733259791536 140438231758368 140438904760021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9543680 140733259793596 140733259793772 140733259793772 140733259796431 0
[pid=15080/tid=15093] ppid=15079 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15080/task/15093/stat : 15093 (java) S 15079 15079 14626 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 4650286 14201171968 87454 33554432000 4194304 4196468 140733259791536 140438230705520 140438904760021 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 9543680 140733259793596 140733259793772 140733259793772 140733259796431 0
[pid=15080/tid=15094] ppid=15079 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15080/task/15094/stat : 15094 (java) S 15079 15079 14626 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4650290 14201171968 87454 33554432000 4194304 4196468 140733259791536 140438229653840 140438904768411 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 9543680 140733259793596 140733259793772 140733259793772 140733259796431 0

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

[pid=15080/tid=15298] ppid=15079 vsize=13868332 CPUtime=197.12 cores=0,2,4,6,8,10,12,14
/proc/15080/task/15298/stat : 15298 (java) R 15079 15079 14626 0 -1 4202560 8299 0 0 0 19694 18 0 0 20 0 28 0 4658509 14201171968 591080 33554432000 4194304 4196468 140733259791536 140438210063712 140438536281188 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9543680 140733259793596 140733259793772 140733259793772 140733259796431 0
[pid=15080/tid=15299] ppid=15079 vsize=13868332 CPUtime=197.04 cores=0,2,4,6,8,10,12,14
/proc/15080/task/15299/stat : 15299 (java) R 15079 15079 14626 0 -1 4202560 3198 0 0 0 19701 3 0 0 20 0 28 0 4658509 14201171968 591080 33554432000 4194304 4196468 140733259791536 140438211113216 140438541900860 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 9543680 140733259793596 140733259793772 140733259793772 140733259796431 0
Current children cumulated CPU time (s) 2232.85
Current children cumulated vsize (KiB) 13877844



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+303.716 s]
/proc/loadavg: 15.96 15.08 13.75 17/299 15312
/proc/meminfo: memFree=26252836/32770624 swapFree=5972/269984
[pid=15079] ppid=15076 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15079/stat : 15079 (xcsp3-exec) S 15076 15079 14626 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4650281 9740288 346 33554432000 4194304 5098028 140735359412512 140735359410616 140299583181436 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 19038208 140735359415438 140735359415648 140735359415648 140735359418347 0
/proc/15079/statm: 2378 346 289 221 0 87 0
[pid=15080] ppid=15079 vsize=13868332 CPUtime=2400.72 cores=0,2,4,6,8,10,12,14
/proc/15080/stat : 15080 (java) S 15079 15079 14626 0 -1 1077944320 112479 0 0 0 239646 426 0 0 20 0 28 0 4650282 14201171968 515662 33554432000 4194304 4196468 140733259791536 140733259774080 140438904749815 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 9543680 140733259793596 140733259793772 140733259793772 140733259796431 0
/proc/15080/statm: 3467083 515662 3302 1 0 3454316 0
[pid=15080/tid=15081] ppid=15079 vsize=13868332 CPUtime=0.89 cores=0,2,4,6,8,10,12,14
/proc/15080/task/15081/stat : 15081 (java) S 15079 15079 14626 0 -1 1077944384 7204 0 0 0 85 4 0 0 20 0 28 0 4650282 14201171968 515662 33554432000 4194304 4196468 140733259791536 140438908990592 140438904760021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9543680 140733259793596 140733259793772 140733259793772 140733259796431 0
[pid=15080/tid=15083] ppid=15079 vsize=13868332 CPUtime=1.7 cores=0,2,4,6,8,10,12,14
/proc/15080/task/15083/stat : 15083 (java) S 15079 15079 14626 0 -1 1077944384 1903 0 0 0 135 35 0 0 20 0 28 0 4650283 14201171968 515662 33554432000 4194304 4196468 140733259791536 140438857370768 140438904760021 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 9543680 140733259793596 140733259793772 140733259793772 140733259796431 0
[pid=15080/tid=15084] ppid=15079 vsize=13868332 CPUtime=1.73 cores=0,2,4,6,8,10,12,14
/proc/15080/task/15084/stat : 15084 (java) S 15079 15079 14626 0 -1 1077944384 1936 0 0 0 138 35 0 0 20 0 28 0 4650283 14201171968 515662 33554432000 4194304 4196468 140733259791536 140438856317968 140438904760021 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 9543680 140733259793596 140733259793772 140733259793772 140733259796431 0
[pid=15080/tid=15085] ppid=15079 vsize=13868332 CPUtime=1.68 cores=0,2,4,6,8,10,12,14
/proc/15080/task/15085/stat : 15085 (java) S 15079 15079 14626 0 -1 1077944384 2548 0 0 0 137 31 0 0 20 0 28 0 4650283 14201171968 515662 33554432000 4194304 4196468 140733259791536 140438855265168 140438904760021 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9543680 140733259793596 140733259793772 140733259793772 140733259796431 0
[pid=15080/tid=15086] ppid=15079 vsize=13868332 CPUtime=1.69 cores=0,2,4,6,8,10,12,14
/proc/15080/task/15086/stat : 15086 (java) S 15079 15079 14626 0 -1 1077944384 2160 0 0 0 135 34 0 0 20 0 28 0 4650283 14201171968 515662 33554432000 4194304 4196468 140733259791536 140438500997904 140438904760021 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9543680 140733259793596 140733259793772 140733259793772 140733259796431 0
[pid=15080/tid=15087] ppid=15079 vsize=13868332 CPUtime=1.67 cores=0,2,4,6,8,10,12,14
/proc/15080/task/15087/stat : 15087 (java) S 15079 15079 14626 0 -1 1077944384 2272 0 0 0 134 33 0 0 20 0 28 0 4650283 14201171968 515662 33554432000 4194304 4196468 140733259791536 140438499945104 140438904760021 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 9543680 140733259793596 140733259793772 140733259793772 140733259796431 0
[pid=15080/tid=15088] ppid=15079 vsize=13868332 CPUtime=1.7 cores=0,2,4,6,8,10,12,14
/proc/15080/task/15088/stat : 15088 (java) S 15079 15079 14626 0 -1 1077944384 2710 0 0 0 137 33 0 0 20 0 28 0 4650283 14201171968 515662 33554432000 4194304 4196468 140733259791536 140438498892304 140438904760021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9543680 140733259793596 140733259793772 140733259793772 140733259796431 0
[pid=15080/tid=15089] ppid=15079 vsize=13868332 CPUtime=1.67 cores=0,2,4,6,8,10,12,14
/proc/15080/task/15089/stat : 15089 (java) S 15079 15079 14626 0 -1 1077944384 2963 0 0 0 133 34 0 0 20 0 28 0 4650283 14201171968 515662 33554432000 4194304 4196468 140733259791536 140438497839504 140438904760021 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9543680 140733259793596 140733259793772 140733259793772 140733259796431 0
[pid=15080/tid=15090] ppid=15079 vsize=13868332 CPUtime=1.69 cores=0,2,4,6,8,10,12,14
/proc/15080/task/15090/stat : 15090 (java) S 15079 15079 14626 0 -1 1077944384 2285 0 0 0 136 33 0 0 20 0 28 0 4650283 14201171968 515662 33554432000 4194304 4196468 140733259791536 140438496786704 140438904760021 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9543680 140733259793596 140733259793772 140733259793772 140733259796431 0
[pid=15080/tid=15091] ppid=15079 vsize=13868332 CPUtime=1.28 cores=0,2,4,6,8,10,12,14
/proc/15080/task/15091/stat : 15091 (java) S 15079 15079 14626 0 -1 1077944384 13247 0 0 0 56 72 0 0 20 0 28 0 4650285 14201171968 515662 33554432000 4194304 4196468 140733259791536 140438232812400 140438904760962 0 0 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 9543680 140733259793596 140733259793772 140733259793772 140733259796431 0
[pid=15080/tid=15092] ppid=15079 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15080/task/15092/stat : 15092 (java) S 15079 15079 14626 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 4650286 14201171968 515662 33554432000 4194304 4196468 140733259791536 140438231758368 140438904760021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9543680 140733259793596 140733259793772 140733259793772 140733259796431 0
[pid=15080/tid=15093] ppid=15079 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15080/task/15093/stat : 15093 (java) S 15079 15079 14626 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 4650286 14201171968 515662 33554432000 4194304 4196468 140733259791536 140438230705520 140438904760021 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 9543680 140733259793596 140733259793772 140733259793772 140733259796431 0
[pid=15080/tid=15094] ppid=15079 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15080/task/15094/stat : 15094 (java) S 15079 15079 14626 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4650290 14201171968 515662 33554432000 4194304 4196468 140733259791536 140438229653840 140438904768411 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 9543680 140733259793596 140733259793772 140733259793772 140733259796431 0
[pid=15080/tid=15095] ppid=15079 vsize=13868332 CPUtime=1.93 cores=0,2,4,6,8,10,12,14
/proc/15080/task/15095/stat : 15095 (java) S 15079 15079 14626 0 -1 1077944384 3952 0 0 0 192 1 0 0 20 0 28 0 4650290 14201171968 515662 33554432000 4194304 4196468 140733259791536 140438228601200 140438904760962 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9543680 140733259793596 140733259793772 140733259793772 140733259796431 0
[pid=15080/tid=15096] ppid=15079 vsize=13868332 CPUtime=2.33 cores=0,2,4,6,8,10,12,14
/proc/15080/task/15096/stat : 15096 (java) S 15079 15079 14626 0 -1 1077944384 5006 0 0 0 232 1 0 0 20 0 28 0 4650290 14201171968 515662 33554432000 4194304 4196468 140733259791536 140438227548400 140438904760962 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9543680 140733259793596 140733259793772 140733259793772 140733259796431 0
[pid=15080/tid=15097] ppid=15079 vsize=13868332 CPUtime=1.98 cores=0,2,4,6,8,10,12,14
/proc/15080/task/15097/stat : 15097 (java) S 15079 15079 14626 0 -1 1077944384 3700 0 0 0 198 0 0 0 20 0 28 0 4650290 14201171968 515662 33554432000 4194304 4196468 140733259791536 140438226495600 140438904760962 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9543680 140733259793596 140733259793772 140733259793772 140733259796431 0
[pid=15080/tid=15098] ppid=15079 vsize=13868332 CPUtime=0.84 cores=0,2,4,6,8,10,12,14
/proc/15080/task/15098/stat : 15098 (java) S 15079 15079 14626 0 -1 1077944384 5090 0 0 0 83 1 0 0 20 0 28 0 4650290 14201171968 515662 33554432000 4194304 4196468 140733259791536 140438225442800 140438904760962 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 9543680 140733259793596 140733259793772 140733259793772 140733259796431 0
[pid=15080/tid=15099] ppid=15079 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15080/task/15099/stat : 15099 (java) S 15079 15079 14626 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4650291 14201171968 515662 33554432000 4194304 4196468 140733259791536 140438224391264 140438904760021 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 9543680 140733259793596 140733259793772 140733259793772 140733259796431 0
[pid=15080/tid=15100] ppid=15079 vsize=13868332 CPUtime=0.14 cores=0,2,4,6,8,10,12,14
/proc/15080/task/15100/stat : 15100 (java) S 15079 15079 14626 0 -1 1077944384 1300 0 0 0 6 8 0 0 20 0 28 0 4650291 14201171968 515662 33554432000 4194304 4196468 140733259791536 140438223338544 140438904760962 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9543680 140733259793596 140733259793772 140733259793772 140733259796431 0
[pid=15080/tid=15305] ppid=15079 vsize=13868332 CPUtime=7.24 cores=0,2,4,6,8,10,12,14
/proc/15080/task/15305/stat : 15305 (java) R 15079 15079 14626 0 -1 4202560 84 0 0 0 724 0 0 0 20 0 28 0 4679914 14201171968 515662 33554432000 4194304 4196468 140733259791536 140438214269768 140438542757972 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 9543680 140733259793596 140733259793772 140733259793772 140733259796431 0
[pid=15080/tid=15306] ppid=15079 vsize=13868332 CPUtime=7.21 cores=0,2,4,6,8,10,12,14
/proc/15080/task/15306/stat : 15306 (java) R 15079 15079 14626 0 -1 4202560 102 0 0 0 721 0 0 0 20 0 28 0 4679914 14201171968 515662 33554432000 4194304 4196468 140733259791536 140438213219288 140438542758284 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9543680 140733259793596 140733259793772 140733259793772 140733259796431 0
[pid=15080/tid=15307] ppid=15079 vsize=13868332 CPUtime=7.24 cores=0,2,4,6,8,10,12,14
/proc/15080/task/15307/stat : 15307 (java) R 15079 15079 14626 0 -1 4202560 93 0 0 0 724 0 0 0 20 0 28 0 4679914 14201171968 515662 33554432000 4194304 4196468 140733259791536 140438212166168 140438541900969 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 9543680 140733259793596 140733259793772 140733259793772 140733259796431 0
[pid=15080/tid=15308] ppid=15079 vsize=13868332 CPUtime=7.26 cores=0,2,4,6,8,10,12,14
/proc/15080/task/15308/stat : 15308 (java) R 15079 15079 14626 0 -1 4202560 104 0 0 0 726 0 0 0 20 0 28 0 4679914 14201171968 515662 33554432000 4194304 4196468 140733259791536 140438209008024 140438541759914 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 9543680 140733259793596 140733259793772 140733259793772 140733259796431 0
[pid=15080/tid=15309] ppid=15079 vsize=13868332 CPUtime=7.27 cores=0,2,4,6,8,10,12,14
/proc/15080/task/15309/stat : 15309 (java) R 15079 15079 14626 0 -1 4202560 58 0 0 0 727 0 0 0 20 0 28 0 4679914 14201171968 515662 33554432000 4194304 4196468 140733259791536 140438215323512 140438541900658 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 9543680 140733259793596 140733259793772 140733259793772 140733259796431 0
[pid=15080/tid=15310] ppid=15079 vsize=13868332 CPUtime=7.22 cores=0,2,4,6,8,10,12,14
/proc/15080/task/15310/stat : 15310 (java) R 15079 15079 14626 0 -1 4202560 66 0 0 0 722 0 0 0 20 0 28 0 4679914 14201171968 515662 33554432000 4194304 4196468 140733259791536 140438207955176 140438541784133 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9543680 140733259793596 140733259793772 140733259793772 140733259796431 0
[pid=15080/tid=15311] ppid=15079 vsize=13868332 CPUtime=7.15 cores=0,2,4,6,8,10,12,14
/proc/15080/task/15311/stat : 15311 (java) R 15079 15079 14626 0 -1 4202560 98 0 0 0 715 0 0 0 20 0 28 0 4679914 14201171968 515662 33554432000 4194304 4196468 140733259791536 140438210060672 140438541900892 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 9543680 140733259793596 140733259793772 140733259793772 140733259796431 0
[pid=15080/tid=15312] ppid=15079 vsize=13868332 CPUtime=7.26 cores=0,2,4,6,8,10,12,14
/proc/15080/task/15312/stat : 15312 (java) R 15079 15079 14626 0 -1 4202560 144 0 0 0 726 0 0 0 20 0 28 0 4679915 14201171968 515662 33554432000 4194304 4196468 140733259791536 140438211116256 140438542678808 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9543680 140733259793596 140733259793772 140733259793772 140733259796431 0
Current children cumulated CPU time (s) 2400.72
Current children cumulated vsize (KiB) 13877844

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

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 15080 sig 9
??? kill 15079 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+303.716 s]
/proc/loadavg: 15.96 15.08 13.75 17/299 15312
/proc/meminfo: memFree=26252836/32770624 swapFree=5972/269984
[pid=15079] ppid=15076 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15079/stat : 15079 (xcsp3-exec) S 15076 15079 14626 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4650281 9740288 346 33554432000 4194304 5098028 140735359412512 140735359410616 140299583181436 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 19038208 140735359415438 140735359415648 140735359415648 140735359418347 0
/proc/15079/statm: 2378 346 289 221 0 87 0
[pid=15080] ppid=15079 vsize=13868332 CPUtime=2400.72 cores=0,2,4,6,8,10,12,14
/proc/15080/stat : 15080 (java) S 15079 15079 14626 0 -1 1077944320 112479 0 0 0 239646 426 0 0 20 0 28 0 4650282 14201171968 515662 33554432000 4194304 4196468 140733259791536 140733259774080 140438904749815 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 9543680 140733259793596 140733259793772 140733259793772 140733259796431 0
/proc/15080/statm: 3467083 515662 3302 1 0 3454316 0
[pid=15080/tid=15081] ppid=15079 vsize=13868332 CPUtime=0.89 cores=0,2,4,6,8,10,12,14
/proc/15080/task/15081/stat : 15081 (java) S 15079 15079 14626 0 -1 1077944384 7204 0 0 0 85 4 0 0 20 0 28 0 4650282 14201171968 515662 33554432000 4194304 4196468 140733259791536 140438908990592 140438904760021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9543680 140733259793596 140733259793772 140733259793772 140733259796431 0
[pid=15080/tid=15083] ppid=15079 vsize=13868332 CPUtime=1.7 cores=0,2,4,6,8,10,12,14
/proc/15080/task/15083/stat : 15083 (java) S 15079 15079 14626 0 -1 1077944384 1903 0 0 0 135 35 0 0 20 0 28 0 4650283 14201171968 515662 33554432000 4194304 4196468 140733259791536 140438857370768 140438904760021 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 9543680 140733259793596 140733259793772 140733259793772 140733259796431 0
[pid=15080/tid=15084] ppid=15079 vsize=13868332 CPUtime=1.73 cores=0,2,4,6,8,10,12,14
/proc/15080/task/15084/stat : 15084 (java) S 15079 15079 14626 0 -1 1077944384 1936 0 0 0 138 35 0 0 20 0 28 0 4650283 14201171968 515662 33554432000 4194304 4196468 140733259791536 140438856317968 140438904760021 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 9543680 140733259793596 140733259793772 140733259793772 140733259796431 0
[pid=15080/tid=15085] ppid=15079 vsize=13868332 CPUtime=1.68 cores=0,2,4,6,8,10,12,14
/proc/15080/task/15085/stat : 15085 (java) S 15079 15079 14626 0 -1 1077944384 2548 0 0 0 137 31 0 0 20 0 28 0 4650283 14201171968 515662 33554432000 4194304 4196468 140733259791536 140438855265168 140438904760021 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9543680 140733259793596 140733259793772 140733259793772 140733259796431 0
[pid=15080/tid=15086] ppid=15079 vsize=13868332 CPUtime=1.69 cores=0,2,4,6,8,10,12,14
/proc/15080/task/15086/stat : 15086 (java) S 15079 15079 14626 0 -1 1077944384 2160 0 0 0 135 34 0 0 20 0 28 0 4650283 14201171968 515662 33554432000 4194304 4196468 140733259791536 140438500997904 140438904760021 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9543680 140733259793596 140733259793772 140733259793772 140733259796431 0
[pid=15080/tid=15087] ppid=15079 vsize=13868332 CPUtime=1.67 cores=0,2,4,6,8,10,12,14
/proc/15080/task/15087/stat : 15087 (java) S 15079 15079 14626 0 -1 1077944384 2272 0 0 0 134 33 0 0 20 0 28 0 4650283 14201171968 515662 33554432000 4194304 4196468 140733259791536 140438499945104 140438904760021 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 9543680 140733259793596 140733259793772 140733259793772 140733259796431 0
[pid=15080/tid=15088] ppid=15079 vsize=13868332 CPUtime=1.7 cores=0,2,4,6,8,10,12,14
/proc/15080/task/15088/stat : 15088 (java) S 15079 15079 14626 0 -1 1077944384 2710 0 0 0 137 33 0 0 20 0 28 0 4650283 14201171968 515662 33554432000 4194304 4196468 140733259791536 140438498892304 140438904760021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9543680 140733259793596 140733259793772 140733259793772 140733259796431 0
[pid=15080/tid=15089] ppid=15079 vsize=13868332 CPUtime=1.67 cores=0,2,4,6,8,10,12,14
/proc/15080/task/15089/stat : 15089 (java) S 15079 15079 14626 0 -1 1077944384 2963 0 0 0 133 34 0 0 20 0 28 0 4650283 14201171968 515662 33554432000 4194304 4196468 140733259791536 140438497839504 140438904760021 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9543680 140733259793596 140733259793772 140733259793772 140733259796431 0
[pid=15080/tid=15090] ppid=15079 vsize=13868332 CPUtime=1.69 cores=0,2,4,6,8,10,12,14
/proc/15080/task/15090/stat : 15090 (java) S 15079 15079 14626 0 -1 1077944384 2285 0 0 0 136 33 0 0 20 0 28 0 4650283 14201171968 515662 33554432000 4194304 4196468 140733259791536 140438496786704 140438904760021 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9543680 140733259793596 140733259793772 140733259793772 140733259796431 0
[pid=15080/tid=15091] ppid=15079 vsize=13868332 CPUtime=1.28 cores=0,2,4,6,8,10,12,14
/proc/15080/task/15091/stat : 15091 (java) S 15079 15079 14626 0 -1 1077944384 13247 0 0 0 56 72 0 0 20 0 28 0 4650285 14201171968 515662 33554432000 4194304 4196468 140733259791536 140438232812400 140438904760962 0 0 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 9543680 140733259793596 140733259793772 140733259793772 140733259796431 0
[pid=15080/tid=15092] ppid=15079 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15080/task/15092/stat : 15092 (java) S 15079 15079 14626 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 4650286 14201171968 515662 33554432000 4194304 4196468 140733259791536 140438231758368 140438904760021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9543680 140733259793596 140733259793772 140733259793772 140733259796431 0
[pid=15080/tid=15093] ppid=15079 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15080/task/15093/stat : 15093 (java) S 15079 15079 14626 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 4650286 14201171968 515662 33554432000 4194304 4196468 140733259791536 140438230705520 140438904760021 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 9543680 140733259793596 140733259793772 140733259793772 140733259796431 0
[pid=15080/tid=15094] ppid=15079 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15080/task/15094/stat : 15094 (java) S 15079 15079 14626 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4650290 14201171968 515662 33554432000 4194304 4196468 140733259791536 140438229653840 140438904768411 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 9543680 140733259793596 140733259793772 140733259793772 140733259796431 0
[pid=15080/tid=15095] ppid=15079 vsize=13868332 CPUtime=1.93 cores=0,2,4,6,8,10,12,14
/proc/15080/task/15095/stat : 15095 (java) S 15079 15079 14626 0 -1 1077944384 3952 0 0 0 192 1 0 0 20 0 28 0 4650290 14201171968 515662 33554432000 4194304 4196468 140733259791536 140438228601200 140438904760962 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9543680 140733259793596 140733259793772 140733259793772 140733259796431 0
[pid=15080/tid=15096] ppid=15079 vsize=13868332 CPUtime=2.33 cores=0,2,4,6,8,10,12,14
/proc/15080/task/15096/stat : 15096 (java) S 15079 15079 14626 0 -1 1077944384 5006 0 0 0 232 1 0 0 20 0 28 0 4650290 14201171968 515662 33554432000 4194304 4196468 140733259791536 140438227548400 140438904760962 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9543680 140733259793596 140733259793772 140733259793772 140733259796431 0
[pid=15080/tid=15097] ppid=15079 vsize=13868332 CPUtime=1.98 cores=0,2,4,6,8,10,12,14
/proc/15080/task/15097/stat : 15097 (java) S 15079 15079 14626 0 -1 1077944384 3700 0 0 0 198 0 0 0 20 0 28 0 4650290 14201171968 515662 33554432000 4194304 4196468 140733259791536 140438226495600 140438904760962 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9543680 140733259793596 140733259793772 140733259793772 140733259796431 0
[pid=15080/tid=15098] ppid=15079 vsize=13868332 CPUtime=0.84 cores=0,2,4,6,8,10,12,14
/proc/15080/task/15098/stat : 15098 (java) S 15079 15079 14626 0 -1 1077944384 5090 0 0 0 83 1 0 0 20 0 28 0 4650290 14201171968 515662 33554432000 4194304 4196468 140733259791536 140438225442800 140438904760962 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 9543680 140733259793596 140733259793772 140733259793772 140733259796431 0
[pid=15080/tid=15099] ppid=15079 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15080/task/15099/stat : 15099 (java) S 15079 15079 14626 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4650291 14201171968 515662 33554432000 4194304 4196468 140733259791536 140438224391264 140438904760021 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 9543680 140733259793596 140733259793772 140733259793772 140733259796431 0
[pid=15080/tid=15100] ppid=15079 vsize=13868332 CPUtime=0.14 cores=0,2,4,6,8,10,12,14
/proc/15080/task/15100/stat : 15100 (java) S 15079 15079 14626 0 -1 1077944384 1300 0 0 0 6 8 0 0 20 0 28 0 4650291 14201171968 515662 33554432000 4194304 4196468 140733259791536 140438223338544 140438904760962 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9543680 140733259793596 140733259793772 140733259793772 140733259796431 0
[pid=15080/tid=15305] ppid=15079 vsize=13868332 CPUtime=7.24 cores=0,2,4,6,8,10,12,14
/proc/15080/task/15305/stat : 15305 (java) R 15079 15079 14626 0 -1 4202560 84 0 0 0 724 0 0 0 20 0 28 0 4679914 14201171968 515662 33554432000 4194304 4196468 140733259791536 140438214269768 140438542757972 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 9543680 140733259793596 140733259793772 140733259793772 140733259796431 0
[pid=15080/tid=15306] ppid=15079 vsize=13868332 CPUtime=7.21 cores=0,2,4,6,8,10,12,14
/proc/15080/task/15306/stat : 15306 (java) R 15079 15079 14626 0 -1 4202560 102 0 0 0 721 0 0 0 20 0 28 0 4679914 14201171968 515662 33554432000 4194304 4196468 140733259791536 140438213219288 140438542758284 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9543680 140733259793596 140733259793772 140733259793772 140733259796431 0
[pid=15080/tid=15307] ppid=15079 vsize=13868332 CPUtime=7.24 cores=0,2,4,6,8,10,12,14
/proc/15080/task/15307/stat : 15307 (java) R 15079 15079 14626 0 -1 4202560 93 0 0 0 724 0 0 0 20 0 28 0 4679914 14201171968 515662 33554432000 4194304 4196468 140733259791536 140438212166168 140438541900969 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 9543680 140733259793596 140733259793772 140733259793772 140733259796431 0
[pid=15080/tid=15308] ppid=15079 vsize=13868332 CPUtime=7.26 cores=0,2,4,6,8,10,12,14
/proc/15080/task/15308/stat : 15308 (java) R 15079 15079 14626 0 -1 4202560 104 0 0 0 726 0 0 0 20 0 28 0 4679914 14201171968 515662 33554432000 4194304 4196468 140733259791536 140438209008024 140438541759914 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 9543680 140733259793596 140733259793772 140733259793772 140733259796431 0
[pid=15080/tid=15309] ppid=15079 vsize=13868332 CPUtime=7.27 cores=0,2,4,6,8,10,12,14
/proc/15080/task/15309/stat : 15309 (java) R 15079 15079 14626 0 -1 4202560 58 0 0 0 727 0 0 0 20 0 28 0 4679914 14201171968 515662 33554432000 4194304 4196468 140733259791536 140438215323512 140438541900658 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 9543680 140733259793596 140733259793772 140733259793772 140733259796431 0
[pid=15080/tid=15310] ppid=15079 vsize=13868332 CPUtime=7.22 cores=0,2,4,6,8,10,12,14
/proc/15080/task/15310/stat : 15310 (java) R 15079 15079 14626 0 -1 4202560 66 0 0 0 722 0 0 0 20 0 28 0 4679914 14201171968 515662 33554432000 4194304 4196468 140733259791536 140438207955176 140438541784133 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9543680 140733259793596 140733259793772 140733259793772 140733259796431 0
[pid=15080/tid=15311] ppid=15079 vsize=13868332 CPUtime=7.15 cores=0,2,4,6,8,10,12,14
/proc/15080/task/15311/stat : 15311 (java) R 15079 15079 14626 0 -1 4202560 98 0 0 0 715 0 0 0 20 0 28 0 4679914 14201171968 515662 33554432000 4194304 4196468 140733259791536 140438210060672 140438541900892 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 9543680 140733259793596 140733259793772 140733259793772 140733259796431 0
[pid=15080/tid=15312] ppid=15079 vsize=13868332 CPUtime=7.26 cores=0,2,4,6,8,10,12,14
/proc/15080/task/15312/stat : 15312 (java) R 15079 15079 14626 0 -1 4202560 144 0 0 0 726 0 0 0 20 0 28 0 4679915 14201171968 515662 33554432000 4194304 4196468 140733259791536 140438211116256 140438542678808 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9543680 140733259793596 140733259793772 140733259793772 140733259796431 0
Current children cumulated CPU time (s) 2400.72
Current children cumulated vsize (KiB) 13877844

Child ended because it received signal 15 (SIGTERM)

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 15079 and gives
#  childrusage.ru_utime.tv_sec=0
#  childrusage.ru_utime.tv_usec=1236
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=1236
# CPU time returned by wait4() is 0.002472
# while last known CPU time is 2400.72
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 303.726
CPU time (s): 2400.72
CPU user time (s): 2396.46
CPU system time (s): 4.26
CPU usage (%): 790.423
Max. virtual memory (cumulated for all children) (KiB): 13877844

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.001236
system time used= 0.001236
maximum resident set size= 1388
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 518
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3
involuntary context switches= 1

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.64984 second user time and 4.8062 second system time

The end

Begin job on node105 at 2017-07-22 05:23:28
IDJOB=4249105
IDBENCH=135526
IDSOLVER=2626
FILE ID=node105/4249105-1500693808
RUNJOBID= node105-1500682495-14657
PBS_JOBID= 20623326
Free space on /tmp= 61820 MiB

SOLVER NAME= choco-solver 5a
BENCH NAME= XCSP17/PseudoBoolean/PseudoBoolean-opt-radar/Pb-radar-10-10-45-095-100.xml
COMMAND LINE= ./xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 10000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4249105-1500693808/watcher-4249105-1500693808 -o /tmp/evaluation-result-4249105-1500693808/solver-4249105-1500693808 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node105-1500682495-14657 --watchdog 2560  ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 1915658820 HOME/instance-4249105-1500693808.xml

TIME LIMIT= 2400 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 8

MD5SUM BENCH= 2e76cba0749e9f6e1c633f9939767035
RANDOM SEED=1915658820

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        20843204 kB
MemAvailable:   21206220 kB
Buffers:          119316 kB
Cached:           521900 kB
SwapCached:            0 kB
Active:         11190288 kB
Inactive:         278216 kB
Active(anon):   10830524 kB
Inactive(anon):     8628 kB
Active(file):     359764 kB
Inactive(file):   269588 kB
Unevictable:        5972 kB
Mlocked:            6004 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              8044 kB
Writeback:             4 kB
AnonPages:      10833892 kB
Mapped:            43036 kB
Shmem:              8852 kB
Slab:             133428 kB
SReclaimable:      98996 kB
SUnreclaim:        34432 kB
KernelStack:        4528 kB
PageTables:        26432 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:   11008468 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:  10534912 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      138624 kB
DirectMap2M:    33406976 kB

Free space on /tmp at the end= 61996 MiB
End job on node105 at 2017-07-22 05:28:32

Name	PseudoBoolean/PseudoBoolean-opt-radar/ Pb-radar-10-10-45-095-100.xml
MD5SUM	2e76cba0749e9f6e1c633f9939767035
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	SAT TO
Best value of the objective obtained on this benchmark	0
Best CPU time to get the best result obtained on this benchmark	2400.07
Satisfiable
(Un)Satisfiability was proved
Number of variables	435
Number of constraints	501
Number of domains	1
Minimum domain size	2
Maximum domain size	2
Distribution of domain sizes	[{"size":2,"count":435}]
Minimum variable degree	2
Maximum variable degree	8
Distribution of variable degrees	[{"degree":2,"count":3},{"degree":3,"count":38},{"degree":4,"count":135},{"degree":5,"count":118},{"degree":6,"count":126},{"degree":7,"count":1},{"degree":8,"count":14}]
Minimum constraint arity	1
Maximum constraint arity	16
Distribution of constraint arities	[{"arity":1,"count":1},{"arity":2,"count":402},{"arity":3,"count":3},{"arity":4,"count":2},{"arity":5,"count":10},{"arity":6,"count":7},{"arity":7,"count":9},{"arity":8,"count":13},{"arity":9,"count":15},{"arity":10,"count":7},{"arity":11,"count":11},{"arity":12,"count":7},{"arity":13,"count":5},{"arity":14,"count":2},{"arity":15,"count":6},{"arity":16,"count":1}]
Number of extensional constraints	0
Number of intensional constraints	0
Distribution of constraint types	[{"type":"sum","count":501}]
Optimization problem	YES
Type of objective	min SUM

Trace number 4249105

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