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

Solver Name	Answer	CPU time	Wall clock time
R1: choco-solver 5a (2017-07-05)	SAT	207.045	28.7655

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-4245833-1500686628/watcher-4245833-1500686628 -o /tmp/evaluation-result-4245833-1500686628/solver-4245833-1500686628 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node143-1500683785-15436 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 345827411 HOME/instance-4245833-1500686628.xml 

pid=31199
running on 8 cores: 1,3,5,7,9,11,13,15

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.62 15.56 15.02 10/272 31202
/proc/meminfo: memFree=31449728/32770624 swapFree=5804/225576
[pid=31202] ppid=31199 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31202/stat : 31202 (xcsp3-exec) S 31199 31202 14782 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3929086 9740288 346 33554432000 4194304 5098028 140728993301680 140728993299784 139807881134716 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 18694144 140728993305743 140728993305952 140728993305952 140728993308651 0
/proc/31202/statm: 2378 346 289 221 0 87 0

[startup+0.100098 s]
/proc/loadavg: 14.62 15.56 15.02 10/272 31202
/proc/meminfo: memFree=31449728/32770624 swapFree=5804/225576
[pid=31202] ppid=31199 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31202/stat : 31202 (xcsp3-exec) S 31199 31202 14782 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3929086 9740288 346 33554432000 4194304 5098028 140728993301680 140728993299784 139807881134716 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 18694144 140728993305743 140728993305952 140728993305952 140728993308651 0
/proc/31202/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.200253 s]
/proc/loadavg: 14.62 15.56 15.02 10/272 31202
/proc/meminfo: memFree=31449728/32770624 swapFree=5804/225576
[pid=31202] ppid=31199 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31202/stat : 31202 (xcsp3-exec) S 31199 31202 14782 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3929086 9740288 346 33554432000 4194304 5098028 140728993301680 140728993299784 139807881134716 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 18694144 140728993305743 140728993305952 140728993305952 140728993308651 0
/proc/31202/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.300326 s]
/proc/loadavg: 14.62 15.56 15.02 10/272 31202
/proc/meminfo: memFree=31449728/32770624 swapFree=5804/225576
[pid=31202] ppid=31199 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31202/stat : 31202 (xcsp3-exec) S 31199 31202 14782 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3929086 9740288 346 33554432000 4194304 5098028 140728993301680 140728993299784 139807881134716 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 18694144 140728993305743 140728993305952 140728993305952 140728993308651 0
/proc/31202/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.700206 s]
/proc/loadavg: 14.62 15.56 15.02 10/272 31202
/proc/meminfo: memFree=31449728/32770624 swapFree=5804/225576
[pid=31202] ppid=31199 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31202/stat : 31202 (xcsp3-exec) S 31199 31202 14782 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3929086 9740288 346 33554432000 4194304 5098028 140728993301680 140728993299784 139807881134716 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 18694144 140728993305743 140728993305952 140728993305952 140728993308651 0
/proc/31202/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+1.50231 s]
/proc/loadavg: 14.62 15.56 15.02 14/293 31223
/proc/meminfo: memFree=31256792/32770624 swapFree=5804/225636
[pid=31202] ppid=31199 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31202/stat : 31202 (xcsp3-exec) S 31199 31202 14782 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3929086 9740288 346 33554432000 4194304 5098028 140728993301680 140728993299784 139807881134716 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 18694144 140728993305743 140728993305952 140728993305952 140728993308651 0
/proc/31202/statm: 2378 346 289 221 0 87 0
[pid=31203] ppid=31202 vsize=13269256 CPUtime=4.14 cores=1,3,5,7,9,11,13,15
/proc/31203/stat : 31203 (java) S 31202 31202 14782 0 -1 1077944320 14330 0 0 0 375 39 0 0 20 0 20 0 3929086 13587718144 61146 33554432000 4194304 4196468 140736970970592 140736970953136 140677981347575 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 38559744 140736970978492 140736970978668 140736970978668 140736970981327 0
/proc/31203/statm: 3317314 61146 3223 1 0 3304547 0
[pid=31203/tid=31204] ppid=31202 vsize=13269256 CPUtime=1.4 cores=1,3,5,7,9,11,13,15
/proc/31203/task/31204/stat : 31204 (java) R 31202 31202 14782 0 -1 4202560 6818 0 0 0 135 5 0 0 20 0 20 0 3929087 13587718144 61146 33554432000 4194304 4196468 140736970970592 140677985583672 140677582302802 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38559744 140736970978492 140736970978668 140736970978668 140736970981327 0
[pid=31203/tid=31206] ppid=31202 vsize=13269256 CPUtime=0.06 cores=1,3,5,7,9,11,13,15
/proc/31203/task/31206/stat : 31206 (java) S 31202 31202 14782 0 -1 1077944384 38 0 0 0 2 4 0 0 20 0 20 0 3929087 13587718144 61146 33554432000 4194304 4196468 140736970970592 140677899827984 140677981357781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38559744 140736970978492 140736970978668 140736970978668 140736970981327 0
[pid=31203/tid=31207] ppid=31202 vsize=13269256 CPUtime=0.06 cores=1,3,5,7,9,11,13,15
/proc/31203/task/31207/stat : 31207 (java) S 31202 31202 14782 0 -1 1077944384 46 0 0 0 2 4 0 0 20 0 20 0 3929087 13587718144 61146 33554432000 4194304 4196468 140736970970592 140677898775440 140677981357781 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 38559744 140736970978492 140736970978668 140736970978668 140736970981327 0
[pid=31203/tid=31208] ppid=31202 vsize=13269256 CPUtime=0.05 cores=1,3,5,7,9,11,13,15
/proc/31203/task/31208/stat : 31208 (java) S 31202 31202 14782 0 -1 1077944384 92 0 0 0 2 3 0 0 20 0 20 0 3929087 13587718144 61146 33554432000 4194304 4196468 140736970970592 140677897722896 140677981357781 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38559744 140736970978492 140736970978668 140736970978668 140736970981327 0
[pid=31203/tid=31209] ppid=31202 vsize=13269256 CPUtime=0.06 cores=1,3,5,7,9,11,13,15
/proc/31203/task/31209/stat : 31209 (java) S 31202 31202 14782 0 -1 1077944384 41 0 0 0 2 4 0 0 20 0 20 0 3929087 13587718144 61146 33554432000 4194304 4196468 140736970970592 140677576912016 140677981357781 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 38559744 140736970978492 140736970978668 140736970978668 140736970981327 0
[pid=31203/tid=31210] ppid=31202 vsize=13269256 CPUtime=0.05 cores=1,3,5,7,9,11,13,15
/proc/31203/task/31210/stat : 31210 (java) S 31202 31202 14782 0 -1 1077944384 41 0 0 0 2 3 0 0 20 0 20 0 3929087 13587718144 61146 33554432000 4194304 4196468 140736970970592 140677575858448 140677981357781 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 38559744 140736970978492 140736970978668 140736970978668 140736970981327 0
[pid=31203/tid=31211] ppid=31202 vsize=13269256 CPUtime=0.05 cores=1,3,5,7,9,11,13,15
/proc/31203/task/31211/stat : 31211 (java) S 31202 31202 14782 0 -1 1077944384 46 0 0 0 2 3 0 0 20 0 20 0 3929087 13587718144 61146 33554432000 4194304 4196468 140736970970592 140677574805904 140677981357781 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38559744 140736970978492 140736970978668 140736970978668 140736970981327 0
[pid=31203/tid=31212] ppid=31202 vsize=13269256 CPUtime=0.05 cores=1,3,5,7,9,11,13,15
/proc/31203/task/31212/stat : 31212 (java) S 31202 31202 14782 0 -1 1077944384 41 0 0 0 2 3 0 0 20 0 20 0 3929088 13587718144 61146 33554432000 4194304 4196468 140736970970592 140677573753360 140677981357781 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 38559744 140736970978492 140736970978668 140736970978668 140736970981327 0
[pid=31203/tid=31213] ppid=31202 vsize=13269256 CPUtime=0.06 cores=1,3,5,7,9,11,13,15
/proc/31203/task/31213/stat : 31213 (java) S 31202 31202 14782 0 -1 1077944384 43 0 0 0 2 4 0 0 20 0 20 0 3929088 13587718144 61146 33554432000 4194304 4196468 140736970970592 140677572700816 140677981357781 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 38559744 140736970978492 140736970978668 140736970978668 140736970981327 0
[pid=31203/tid=31214] ppid=31202 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31203/task/31214/stat : 31214 (java) S 31202 31202 14782 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 20 0 3929089 13587718144 61146 33554432000 4194304 4196468 140736970970592 140676713249264 140677981358722 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38559744 140736970978492 140736970978668 140736970978668 140736970981327 0
[pid=31203/tid=31215] ppid=31202 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31203/task/31215/stat : 31215 (java) S 31202 31202 14782 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 3929090 13587718144 61146 33554432000 4194304 4196468 140736970970592 140676712195552 140677981357781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38559744 140736970978492 140736970978668 140736970978668 140736970981327 0
[pid=31203/tid=31216] ppid=31202 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31203/task/31216/stat : 31216 (java) S 31202 31202 14782 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 3929090 13587718144 61146 33554432000 4194304 4196468 140736970970592 140676711142912 140677981357781 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 38559744 140736970978492 140736970978668 140736970978668 140736970981327 0
[pid=31203/tid=31217] ppid=31202 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31203/task/31217/stat : 31217 (java) S 31202 31202 14782 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3929093 13587718144 61146 33554432000 4194304 4196468 140736970970592 140676710091472 140677981366171 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 38559744 140736970978492 140736970978668 140736970978668 140736970981327 0
[pid=31203/tid=31218] ppid=31202 vsize=13269256 CPUtime=0.49 cores=1,3,5,7,9,11,13,15
/proc/31203/task/31218/stat : 31218 (java) S 31202 31202 14782 0 -1 1077944384 990 0 0 0 49 0 0 0 20 0 20 0 3929093 13587718144 61146 33554432000 4194304 4196468 140736970970592 140676709038064 140677981358722 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38559744 140736970978492 140736970978668 140736970978668 140736970981327 0
[pid=31203/tid=31219] ppid=31202 vsize=13269256 CPUtime=0.59 cores=1,3,5,7,9,11,13,15
/proc/31203/task/31219/stat : 31219 (java) S 31202 31202 14782 0 -1 1077944384 984 0 0 0 59 0 0 0 20 0 20 0 3929093 13587718144 61146 33554432000 4194304 4196468 140736970970592 140676707985520 140677981358722 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 38559744 140736970978492 140736970978668 140736970978668 140736970981327 0
[pid=31203/tid=31220] ppid=31202 vsize=13269256 CPUtime=0.61 cores=1,3,5,7,9,11,13,15
/proc/31203/task/31220/stat : 31220 (java) S 31202 31202 14782 0 -1 1077944384 1703 0 0 0 61 0 0 0 20 0 20 0 3929093 13587718144 61146 33554432000 4194304 4196468 140736970970592 140676706932976 140677981358722 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38559744 140736970978492 140736970978668 140736970978668 140736970981327 0
[pid=31203/tid=31221] ppid=31202 vsize=13269256 CPUtime=0.46 cores=1,3,5,7,9,11,13,15
/proc/31203/task/31221/stat : 31221 (java) S 31202 31202 14782 0 -1 1077944384 2069 0 0 0 46 0 0 0 20 0 20 0 3929093 13587718144 61146 33554432000 4194304 4196468 140736970970592 140676705880432 140677981358722 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38559744 140736970978492 140736970978668 140736970978668 140736970981327 0
[pid=31203/tid=31222] ppid=31202 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31203/task/31222/stat : 31222 (java) S 31202 31202 14782 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3929093 13587718144 61146 33554432000 4194304 4196468 140736970970592 140676704828128 140677981357781 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 38559744 140736970978492 140736970978668 140736970978668 140736970981327 0
[pid=31203/tid=31223] ppid=31202 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31203/task/31223/stat : 31223 (java) S 31202 31202 14782 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3929093 13587718144 61146 33554432000 4194304 4196468 140736970970592 140676703775664 140677981358722 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38559744 140736970978492 140736970978668 140736970978668 140736970981327 0
Current children cumulated CPU time (s) 4.14
Current children cumulated vsize (KiB) 13278768

[startup+3.10082 s]
/proc/loadavg: 14.09 15.44 14.99 11/293 31223
/proc/meminfo: memFree=31036544/32770624 swapFree=5804/225636
[pid=31202] ppid=31199 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31202/stat : 31202 (xcsp3-exec) S 31199 31202 14782 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3929086 9740288 346 33554432000 4194304 5098028 140728993301680 140728993299784 139807881134716 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 18694144 140728993305743 140728993305952 140728993305952 140728993308651 0
/proc/31202/statm: 2378 346 289 221 0 87 0
[pid=31203] ppid=31202 vsize=13269256 CPUtime=7.92 cores=1,3,5,7,9,11,13,15
/proc/31203/stat : 31203 (java) S 31202 31202 14782 0 -1 1077944320 17309 0 0 0 675 117 0 0 20 0 20 0 3929086 13587718144 125986 33554432000 4194304 4196468 140736970970592 140736970953136 140677981347575 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 38559744 140736970978492 140736970978668 140736970978668 140736970981327 0
/proc/31203/statm: 3317314 125986 3252 1 0 3304547 0
[pid=31203/tid=31204] ppid=31202 vsize=13269256 CPUtime=2.79 cores=1,3,5,7,9,11,13,15
/proc/31203/task/31204/stat : 31204 (java) R 31202 31202 14782 0 -1 4202560 7255 0 0 0 272 7 0 0 20 0 20 0 3929087 13587718144 125986 33554432000 4194304 4196468 140736970970592 140677985584728 140677582344798 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 38559744 140736970978492 140736970978668 140736970978668 140736970981327 0
[pid=31203/tid=31206] ppid=31202 vsize=13269256 CPUtime=0.22 cores=1,3,5,7,9,11,13,15
/proc/31203/task/31206/stat : 31206 (java) S 31202 31202 14782 0 -1 1077944384 116 0 0 0 9 13 0 0 20 0 20 0 3929087 13587718144 125986 33554432000 4194304 4196468 140736970970592 140677899827984 140677981357781 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 38559744 140736970978492 140736970978668 140736970978668 140736970981327 0
[pid=31203/tid=31207] ppid=31202 vsize=13269256 CPUtime=0.22 cores=1,3,5,7,9,11,13,15
/proc/31203/task/31207/stat : 31207 (java) S 31202 31202 14782 0 -1 1077944384 131 0 0 0 10 12 0 0 20 0 20 0 3929087 13587718144 125986 33554432000 4194304 4196468 140736970970592 140677898775440 140677981357781 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 38559744 140736970978492 140736970978668 140736970978668 140736970981327 0
[pid=31203/tid=31208] ppid=31202 vsize=13269256 CPUtime=0.21 cores=1,3,5,7,9,11,13,15
/proc/31203/task/31208/stat : 31208 (java) S 31202 31202 14782 0 -1 1077944384 205 0 0 0 9 12 0 0 20 0 20 0 3929087 13587718144 125986 33554432000 4194304 4196468 140736970970592 140677897722896 140677981357781 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38559744 140736970978492 140736970978668 140736970978668 140736970981327 0
[pid=31203/tid=31209] ppid=31202 vsize=13269256 CPUtime=0.22 cores=1,3,5,7,9,11,13,15
/proc/31203/task/31209/stat : 31209 (java) S 31202 31202 14782 0 -1 1077944384 154 0 0 0 9 13 0 0 20 0 20 0 3929087 13587718144 125986 33554432000 4194304 4196468 140736970970592 140677576912016 140677981357781 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 38559744 140736970978492 140736970978668 140736970978668 140736970981327 0
[pid=31203/tid=31210] ppid=31202 vsize=13269256 CPUtime=0.22 cores=1,3,5,7,9,11,13,15
/proc/31203/task/31210/stat : 31210 (java) S 31202 31202 14782 0 -1 1077944384 127 0 0 0 9 13 0 0 20 0 20 0 3929087 13587718144 125986 33554432000 4194304 4196468 140736970970592 140677575858448 140677981357781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38559744 140736970978492 140736970978668 140736970978668 140736970981327 0
[pid=31203/tid=31211] ppid=31202 vsize=13269256 CPUtime=0.22 cores=1,3,5,7,9,11,13,15
/proc/31203/task/31211/stat : 31211 (java) S 31202 31202 14782 0 -1 1077944384 192 0 0 0 9 13 0 0 20 0 20 0 3929087 13587718144 125986 33554432000 4194304 4196468 140736970970592 140677574805904 140677981357781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38559744 140736970978492 140736970978668 140736970978668 140736970981327 0
[pid=31203/tid=31212] ppid=31202 vsize=13269256 CPUtime=0.22 cores=1,3,5,7,9,11,13,15
/proc/31203/task/31212/stat : 31212 (java) S 31202 31202 14782 0 -1 1077944384 125 0 0 0 9 13 0 0 20 0 20 0 3929088 13587718144 125986 33554432000 4194304 4196468 140736970970592 140677573753360 140677981357781 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 38559744 140736970978492 140736970978668 140736970978668 140736970981327 0
[pid=31203/tid=31213] ppid=31202 vsize=13269256 CPUtime=0.22 cores=1,3,5,7,9,11,13,15
/proc/31203/task/31213/stat : 31213 (java) S 31202 31202 14782 0 -1 1077944384 156 0 0 0 9 13 0 0 20 0 20 0 3929088 13587718144 125986 33554432000 4194304 4196468 140736970970592 140677572700816 140677981357781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38559744 140736970978492 140736970978668 140736970978668 140736970981327 0
[pid=31203/tid=31214] ppid=31202 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31203/task/31214/stat : 31214 (java) S 31202 31202 14782 0 -1 1077944384 210 0 0 0 0 0 0 0 20 0 20 0 3929089 13587718144 125986 33554432000 4194304 4196468 140736970970592 140676713249264 140677981358722 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 4 0 0 6293624 6294260 38559744 140736970978492 140736970978668 140736970978668 140736970981327 0
[pid=31203/tid=31215] ppid=31202 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31203/task/31215/stat : 31215 (java) S 31202 31202 14782 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 3929090 13587718144 125986 33554432000 4194304 4196468 140736970970592 140676712195552 140677981357781 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 38559744 140736970978492 140736970978668 140736970978668 140736970981327 0
[pid=31203/tid=31216] ppid=31202 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31203/task/31216/stat : 31216 (java) S 31202 31202 14782 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 3929090 13587718144 125986 33554432000 4194304 4196468 140736970970592 140676711142912 140677981357781 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 38559744 140736970978492 140736970978668 140736970978668 140736970981327 0
[pid=31203/tid=31217] ppid=31202 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31203/task/31217/stat : 31217 (java) S 31202 31202 14782 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3929093 13587718144 125986 33554432000 4194304 4196468 140736970970592 140676710091472 140677981366171 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 38559744 140736970978492 140736970978668 140736970978668 140736970981327 0
[pid=31203/tid=31218] ppid=31202 vsize=13269256 CPUtime=0.77 cores=1,3,5,7,9,11,13,15
/proc/31203/task/31218/stat : 31218 (java) R 31202 31202 14782 0 -1 4202560 1270 0 0 0 77 0 0 0 20 0 20 0 3929093 13587718144 125986 33554432000 4194304 4196468 140736970970592 140676709030992 140677966513175 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38559744 140736970978492 140736970978668 140736970978668 140736970981327 0
[pid=31203/tid=31219] ppid=31202 vsize=13269256 CPUtime=1.06 cores=1,3,5,7,9,11,13,15
/proc/31203/task/31219/stat : 31219 (java) R 31202 31202 14782 0 -1 4202560 1984 0 0 0 106 0 0 0 20 0 20 0 3929093 13587718144 125986 33554432000 4194304 4196468 140736970970592 140676707985520 140677967371417 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38559744 140736970978492 140736970978668 140736970978668 140736970981327 0
[pid=31203/tid=31220] ppid=31202 vsize=13269256 CPUtime=0.91 cores=1,3,5,7,9,11,13,15
/proc/31203/task/31220/stat : 31220 (java) R 31202 31202 14782 0 -1 4202560 1961 0 0 0 91 0 0 0 20 0 20 0 3929093 13587718144 125986 33554432000 4194304 4196468 140736970970592 140676706922336 140677965741040 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 38559744 140736970978492 140736970978668 140736970978668 140736970981327 0
[pid=31203/tid=31221] ppid=31202 vsize=13269256 CPUtime=0.49 cores=1,3,5,7,9,11,13,15
/proc/31203/task/31221/stat : 31221 (java) S 31202 31202 14782 0 -1 1077944384 2125 0 0 0 49 0 0 0 20 0 20 0 3929093 13587718144 125986 33554432000 4194304 4196468 140736970970592 140676705880432 140677981358722 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 38559744 140736970978492 140736970978668 140736970978668 140736970981327 0
[pid=31203/tid=31222] ppid=31202 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31203/task/31222/stat : 31222 (java) S 31202 31202 14782 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3929093 13587718144 125986 33554432000 4194304 4196468 140736970970592 140676704828128 140677981357781 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 38559744 140736970978492 140736970978668 140736970978668 140736970981327 0
[pid=31203/tid=31223] ppid=31202 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31203/task/31223/stat : 31223 (java) S 31202 31202 14782 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3929093 13587718144 125986 33554432000 4194304 4196468 140736970970592 140676703775664 140677981358722 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 8 0 0 6293624 6294260 38559744 140736970978492 140736970978668 140736970978668 140736970981327 0
Current children cumulated CPU time (s) 7.92
Current children cumulated vsize (KiB) 13278768

[startup+6.30184 s]
/proc/loadavg: 14.09 15.44 14.99 12/293 31317
/proc/meminfo: memFree=31191488/32770624 swapFree=5804/225644
[pid=31202] ppid=31199 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31202/stat : 31202 (xcsp3-exec) S 31199 31202 14782 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3929086 9740288 346 33554432000 4194304 5098028 140728993301680 140728993299784 139807881134716 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 18694144 140728993305743 140728993305952 140728993305952 140728993308651 0
/proc/31202/statm: 2378 346 289 221 0 87 0
[pid=31203] ppid=31202 vsize=13801768 CPUtime=29.44 cores=1,3,5,7,9,11,13,15
/proc/31203/stat : 31203 (java) S 31202 31202 14782 0 -1 1077944320 32323 0 0 0 2819 125 0 0 20 0 28 0 3929086 14133010432 182709 33554432000 4194304 4196468 140736970970592 140736970953136 140677981347575 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 38559744 140736970978492 140736970978668 140736970978668 140736970981327 0
/proc/31203/statm: 3450442 182709 3276 1 0 3437675 0
[pid=31203/tid=31204] ppid=31202 vsize=13801768 CPUtime=3.52 cores=1,3,5,7,9,11,13,15
/proc/31203/task/31204/stat : 31204 (java) S 31202 31202 14782 0 -1 1077944384 7381 0 0 0 344 8 0 0 20 0 28 0 3929087 14133010432 182709 33554432000 4194304 4196468 140736970970592 140677985588352 140677981357781 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38559744 140736970978492 140736970978668 140736970978668 140736970981327 0
[pid=31203/tid=31206] ppid=31202 vsize=13801768 CPUtime=0.22 cores=1,3,5,7,9,11,13,15
/proc/31203/task/31206/stat : 31206 (java) S 31202 31202 14782 0 -1 1077944384 116 0 0 0 9 13 0 0 20 0 28 0 3929087 14133010432 182709 33554432000 4194304 4196468 140736970970592 140677899827984 140677981357781 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 38559744 140736970978492 140736970978668 140736970978668 140736970981327 0
[pid=31203/tid=31207] ppid=31202 vsize=13801768 CPUtime=0.22 cores=1,3,5,7,9,11,13,15
/proc/31203/task/31207/stat : 31207 (java) S 31202 31202 14782 0 -1 1077944384 131 0 0 0 10 12 0 0 20 0 28 0 3929087 14133010432 182709 33554432000 4194304 4196468 140736970970592 140677898775440 140677981357781 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 38559744 140736970978492 140736970978668 140736970978668 140736970981327 0
[pid=31203/tid=31208] ppid=31202 vsize=13801768 CPUtime=0.21 cores=1,3,5,7,9,11,13,15
/proc/31203/task/31208/stat : 31208 (java) S 31202 31202 14782 0 -1 1077944384 205 0 0 0 9 12 0 0 20 0 28 0 3929087 14133010432 182709 33554432000 4194304 4196468 140736970970592 140677897722896 140677981357781 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38559744 140736970978492 140736970978668 140736970978668 140736970981327 0
[pid=31203/tid=31209] ppid=31202 vsize=13801768 CPUtime=0.22 cores=1,3,5,7,9,11,13,15
/proc/31203/task/31209/stat : 31209 (java) S 31202 31202 14782 0 -1 1077944384 154 0 0 0 9 13 0 0 20 0 28 0 3929087 14133010432 182709 33554432000 4194304 4196468 140736970970592 140677576912016 140677981357781 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 38559744 140736970978492 140736970978668 140736970978668 140736970981327 0
[pid=31203/tid=31210] ppid=31202 vsize=13801768 CPUtime=0.22 cores=1,3,5,7,9,11,13,15
/proc/31203/task/31210/stat : 31210 (java) S 31202 31202 14782 0 -1 1077944384 127 0 0 0 9 13 0 0 20 0 28 0 3929087 14133010432 182709 33554432000 4194304 4196468 140736970970592 140677575858448 140677981357781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38559744 140736970978492 140736970978668 140736970978668 140736970981327 0
[pid=31203/tid=31211] ppid=31202 vsize=13801768 CPUtime=0.22 cores=1,3,5,7,9,11,13,15
/proc/31203/task/31211/stat : 31211 (java) S 31202 31202 14782 0 -1 1077944384 192 0 0 0 9 13 0 0 20 0 28 0 3929087 14133010432 182709 33554432000 4194304 4196468 140736970970592 140677574805904 140677981357781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38559744 140736970978492 140736970978668 140736970978668 140736970981327 0
[pid=31203/tid=31212] ppid=31202 vsize=13801768 CPUtime=0.22 cores=1,3,5,7,9,11,13,15
/proc/31203/task/31212/stat : 31212 (java) S 31202 31202 14782 0 -1 1077944384 125 0 0 0 9 13 0 0 20 0 28 0 3929088 14133010432 182709 33554432000 4194304 4196468 140736970970592 140677573753360 140677981357781 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 38559744 140736970978492 140736970978668 140736970978668 140736970981327 0
[pid=31203/tid=31213] ppid=31202 vsize=13801768 CPUtime=0.22 cores=1,3,5,7,9,11,13,15
/proc/31203/task/31213/stat : 31213 (java) S 31202 31202 14782 0 -1 1077944384 156 0 0 0 9 13 0 0 20 0 28 0 3929088 14133010432 182709 33554432000 4194304 4196468 140736970970592 140677572700816 140677981357781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38559744 140736970978492 140736970978668 140736970978668 140736970981327 0
[pid=31203/tid=31214] ppid=31202 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31203/task/31214/stat : 31214 (java) S 31202 31202 14782 0 -1 1077944384 306 0 0 0 0 0 0 0 20 0 28 0 3929089 14133010432 182709 33554432000 4194304 4196468 140736970970592 140676713249264 140677981358722 0 0 0 16800975 18446744071579849748 0 0 -1 15 0 0 4 0 0 6293624 6294260 38559744 140736970978492 140736970978668 140736970978668 140736970981327 0
[pid=31203/tid=31215] ppid=31202 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31203/task/31215/stat : 31215 (java) S 31202 31202 14782 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 3929090 14133010432 182709 33554432000 4194304 4196468 140736970970592 140676712195552 140677981357781 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 38559744 140736970978492 140736970978668 140736970978668 140736970981327 0
[pid=31203/tid=31216] ppid=31202 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31203/task/31216/stat : 31216 (java) S 31202 31202 14782 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 3929090 14133010432 182709 33554432000 4194304 4196468 140736970970592 140676711142912 140677981357781 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 38559744 140736970978492 140736970978668 140736970978668 140736970981327 0
[pid=31203/tid=31217] ppid=31202 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31203/task/31217/stat : 31217 (java) S 31202 31202 14782 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3929093 14133010432 182709 33554432000 4194304 4196468 140736970970592 140676710091472 140677981366171 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 38559744 140736970978492 140736970978668 140736970978668 140736970981327 0

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

/proc/31203/task/31215/stat : 31215 (java) S 31202 31202 14782 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 28 0 3929090 14133010432 234989 33554432000 4194304 4196468 140736970970592 140676712195552 140677981357781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38559744 140736970978492 140736970978668 140736970978668 140736970981327 0
[pid=31203/tid=31216] ppid=31202 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31203/task/31216/stat : 31216 (java) S 31202 31202 14782 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 28 0 3929090 14133010432 234989 33554432000 4194304 4196468 140736970970592 140676711142912 140677981357781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38559744 140736970978492 140736970978668 140736970978668 140736970981327 0
[pid=31203/tid=31217] ppid=31202 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31203/task/31217/stat : 31217 (java) S 31202 31202 14782 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3929093 14133010432 234989 33554432000 4194304 4196468 140736970970592 140676710091472 140677981366171 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 38559744 140736970978492 140736970978668 140736970978668 140736970981327 0
[pid=31203/tid=31218] ppid=31202 vsize=13801768 CPUtime=2.18 cores=1,3,5,7,9,11,13,15
/proc/31203/task/31218/stat : 31218 (java) S 31202 31202 14782 0 -1 1077944384 6139 0 0 0 217 1 0 0 20 0 28 0 3929093 14133010432 234989 33554432000 4194304 4196468 140736970970592 140676709038064 140677981358722 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38559744 140736970978492 140736970978668 140736970978668 140736970981327 0
[pid=31203/tid=31219] ppid=31202 vsize=13801768 CPUtime=3.16 cores=1,3,5,7,9,11,13,15
/proc/31203/task/31219/stat : 31219 (java) S 31202 31202 14782 0 -1 1077944384 7830 0 0 0 315 1 0 0 20 0 28 0 3929093 14133010432 234989 33554432000 4194304 4196468 140736970970592 140676707985520 140677981358722 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 38559744 140736970978492 140736970978668 140736970978668 140736970981327 0
[pid=31203/tid=31220] ppid=31202 vsize=13801768 CPUtime=2.73 cores=1,3,5,7,9,11,13,15
/proc/31203/task/31220/stat : 31220 (java) S 31202 31202 14782 0 -1 1077944384 10552 0 0 0 272 1 0 0 20 0 28 0 3929093 14133010432 234989 33554432000 4194304 4196468 140736970970592 140676706932976 140677981358722 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38559744 140736970978492 140736970978668 140736970978668 140736970981327 0
[pid=31203/tid=31221] ppid=31202 vsize=13801768 CPUtime=0.83 cores=1,3,5,7,9,11,13,15
/proc/31203/task/31221/stat : 31221 (java) S 31202 31202 14782 0 -1 1077944384 7714 0 0 0 82 1 0 0 20 0 28 0 3929093 14133010432 234989 33554432000 4194304 4196468 140736970970592 140676705880432 140677981358722 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38559744 140736970978492 140736970978668 140736970978668 140736970981327 0
[pid=31203/tid=31222] ppid=31202 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31203/task/31222/stat : 31222 (java) S 31202 31202 14782 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3929093 14133010432 234989 33554432000 4194304 4196468 140736970970592 140676704828128 140677981357781 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 38559744 140736970978492 140736970978668 140736970978668 140736970981327 0
[pid=31203/tid=31223] ppid=31202 vsize=13801768 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/31203/task/31223/stat : 31223 (java) S 31202 31202 14782 0 -1 1077944384 242 0 0 0 1 0 0 0 20 0 28 0 3929093 14133010432 234989 33554432000 4194304 4196468 140736970970592 140676703775664 140677981358722 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 8 0 0 6293624 6294260 38559744 140736970978492 140736970978668 140736970978668 140736970981327 0
[pid=31203/tid=31224] ppid=31202 vsize=13801768 CPUtime=23.36 cores=1,3,5,7,9,11,13,15
/proc/31203/task/31224/stat : 31224 (java) R 31202 31202 14782 0 -1 4202560 634 0 0 0 2336 0 0 0 20 0 28 0 3929470 14133010432 234989 33554432000 4194304 4196468 140736970970592 140676695759944 140677583953232 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 38559744 140736970978492 140736970978668 140736970978668 140736970981327 0
[pid=31203/tid=31225] ppid=31202 vsize=13801768 CPUtime=23.32 cores=1,3,5,7,9,11,13,15
/proc/31203/task/31225/stat : 31225 (java) R 31202 31202 14782 0 -1 4202560 276 0 0 0 2332 0 0 0 20 0 28 0 3929470 14133010432 234989 33554432000 4194304 4196468 140736970970592 140676694708312 140677584935698 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38559744 140736970978492 140736970978668 140736970978668 140736970981327 0
[pid=31203/tid=31226] ppid=31202 vsize=13801768 CPUtime=23.07 cores=1,3,5,7,9,11,13,15
/proc/31203/task/31226/stat : 31226 (java) R 31202 31202 14782 0 -1 4202560 828 0 0 0 2307 0 0 0 20 0 28 0 3929470 14133010432 234989 33554432000 4194304 4196468 140736970970592 140676693654480 140677583953291 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38559744 140736970978492 140736970978668 140736970978668 140736970981327 0
[pid=31203/tid=31227] ppid=31202 vsize=13801768 CPUtime=23.23 cores=1,3,5,7,9,11,13,15
/proc/31203/task/31227/stat : 31227 (java) R 31202 31202 14782 0 -1 4202560 1616 0 0 0 2323 0 0 0 20 0 28 0 3929470 14133010432 234989 33554432000 4194304 4196468 140736970970592 140676692602424 140677585275407 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 38559744 140736970978492 140736970978668 140736970978668 140736970981327 0
[pid=31203/tid=31228] ppid=31202 vsize=13801768 CPUtime=23.17 cores=1,3,5,7,9,11,13,15
/proc/31203/task/31228/stat : 31228 (java) R 31202 31202 14782 0 -1 4202560 937 0 0 0 2317 0 0 0 20 0 28 0 3929470 14133010432 234989 33554432000 4194304 4196468 140736970970592 140676691550232 140677584935646 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 38559744 140736970978492 140736970978668 140736970978668 140736970981327 0
[pid=31203/tid=31229] ppid=31202 vsize=13801768 CPUtime=23.17 cores=1,3,5,7,9,11,13,15
/proc/31203/task/31229/stat : 31229 (java) R 31202 31202 14782 0 -1 4202560 649 0 0 0 2317 0 0 0 20 0 28 0 3929470 14133010432 234989 33554432000 4194304 4196468 140736970970592 140676690497112 140677583953519 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 38559744 140736970978492 140736970978668 140736970978668 140736970981327 0
[pid=31203/tid=31230] ppid=31202 vsize=13801768 CPUtime=23.45 cores=1,3,5,7,9,11,13,15
/proc/31203/task/31230/stat : 31230 (java) R 31202 31202 14782 0 -1 4202560 461 0 0 0 2345 0 0 0 20 0 28 0 3929470 14133010432 234989 33554432000 4194304 4196468 140736970970592 140676689444568 140677584935707 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38559744 140736970978492 140736970978668 140736970978668 140736970981327 0
[pid=31203/tid=31231] ppid=31202 vsize=13801768 CPUtime=23.44 cores=1,3,5,7,9,11,13,15
/proc/31203/task/31231/stat : 31231 (java) R 31202 31202 14782 0 -1 4202560 581 0 0 0 2344 0 0 0 20 0 28 0 3929470 14133010432 234989 33554432000 4194304 4196468 140736970970592 140675412643672 140677583953436 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 38559744 140736970978492 140736970978668 140736970978668 140736970981327 0
Current children cumulated CPU time (s) 204.79
Current children cumulated vsize (KiB) 13811280

[startup+28.6016 s]
/proc/loadavg: 13.80 15.27 14.94 19/297 32329
/proc/meminfo: memFree=30058312/32770624 swapFree=5804/235580
[pid=31202] ppid=31199 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31202/stat : 31202 (xcsp3-exec) S 31199 31202 14782 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3929086 9740288 346 33554432000 4194304 5098028 140728993301680 140728993299784 139807881134716 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 18694144 140728993305743 140728993305952 140728993305952 140728993308651 0
/proc/31202/statm: 2378 346 289 221 0 87 0
[pid=31203] ppid=31202 vsize=13801768 CPUtime=206.52 cores=1,3,5,7,9,11,13,15
/proc/31203/stat : 31203 (java) S 31202 31202 14782 0 -1 1077944320 53130 0 0 0 20428 224 0 0 20 0 28 0 3929086 14133010432 234989 33554432000 4194304 4196468 140736970970592 140736970953136 140677981347575 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 38559744 140736970978492 140736970978668 140736970978668 140736970981327 0
/proc/31203/statm: 3450442 234989 3287 1 0 3437675 0
[pid=31203/tid=31204] ppid=31202 vsize=13801768 CPUtime=3.52 cores=1,3,5,7,9,11,13,15
/proc/31203/task/31204/stat : 31204 (java) S 31202 31202 14782 0 -1 1077944384 7381 0 0 0 344 8 0 0 20 0 28 0 3929087 14133010432 234989 33554432000 4194304 4196468 140736970970592 140677985588352 140677981357781 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38559744 140736970978492 140736970978668 140736970978668 140736970981327 0
[pid=31203/tid=31206] ppid=31202 vsize=13801768 CPUtime=0.73 cores=1,3,5,7,9,11,13,15
/proc/31203/task/31206/stat : 31206 (java) S 31202 31202 14782 0 -1 1077944384 453 0 0 0 48 25 0 0 20 0 28 0 3929087 14133010432 234989 33554432000 4194304 4196468 140736970970592 140677899827984 140677981357781 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38559744 140736970978492 140736970978668 140736970978668 140736970981327 0
[pid=31203/tid=31207] ppid=31202 vsize=13801768 CPUtime=0.73 cores=1,3,5,7,9,11,13,15
/proc/31203/task/31207/stat : 31207 (java) S 31202 31202 14782 0 -1 1077944384 364 0 0 0 49 24 0 0 20 0 28 0 3929087 14133010432 234989 33554432000 4194304 4196468 140736970970592 140677898775440 140677981357781 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 38559744 140736970978492 140736970978668 140736970978668 140736970981327 0
[pid=31203/tid=31208] ppid=31202 vsize=13801768 CPUtime=0.73 cores=1,3,5,7,9,11,13,15
/proc/31203/task/31208/stat : 31208 (java) S 31202 31202 14782 0 -1 1077944384 563 0 0 0 48 25 0 0 20 0 28 0 3929087 14133010432 234989 33554432000 4194304 4196468 140736970970592 140677897722896 140677981357781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38559744 140736970978492 140736970978668 140736970978668 140736970981327 0
[pid=31203/tid=31209] ppid=31202 vsize=13801768 CPUtime=0.74 cores=1,3,5,7,9,11,13,15
/proc/31203/task/31209/stat : 31209 (java) S 31202 31202 14782 0 -1 1077944384 348 0 0 0 49 25 0 0 20 0 28 0 3929087 14133010432 234989 33554432000 4194304 4196468 140736970970592 140677576912016 140677981357781 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 38559744 140736970978492 140736970978668 140736970978668 140736970981327 0
[pid=31203/tid=31210] ppid=31202 vsize=13801768 CPUtime=0.74 cores=1,3,5,7,9,11,13,15
/proc/31203/task/31210/stat : 31210 (java) S 31202 31202 14782 0 -1 1077944384 295 0 0 0 50 24 0 0 20 0 28 0 3929087 14133010432 234989 33554432000 4194304 4196468 140736970970592 140677575858448 140677981357781 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 38559744 140736970978492 140736970978668 140736970978668 140736970981327 0
[pid=31203/tid=31211] ppid=31202 vsize=13801768 CPUtime=0.71 cores=1,3,5,7,9,11,13,15
/proc/31203/task/31211/stat : 31211 (java) S 31202 31202 14782 0 -1 1077944384 434 0 0 0 47 24 0 0 20 0 28 0 3929087 14133010432 234989 33554432000 4194304 4196468 140736970970592 140677574805904 140677981357781 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 38559744 140736970978492 140736970978668 140736970978668 140736970981327 0
[pid=31203/tid=31212] ppid=31202 vsize=13801768 CPUtime=0.73 cores=1,3,5,7,9,11,13,15
/proc/31203/task/31212/stat : 31212 (java) S 31202 31202 14782 0 -1 1077944384 303 0 0 0 48 25 0 0 20 0 28 0 3929088 14133010432 234989 33554432000 4194304 4196468 140736970970592 140677573753360 140677981357781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38559744 140736970978492 140736970978668 140736970978668 140736970981327 0
[pid=31203/tid=31213] ppid=31202 vsize=13801768 CPUtime=0.74 cores=1,3,5,7,9,11,13,15
/proc/31203/task/31213/stat : 31213 (java) S 31202 31202 14782 0 -1 1077944384 387 0 0 0 49 25 0 0 20 0 28 0 3929088 14133010432 234989 33554432000 4194304 4196468 140736970970592 140677572700816 140677981357781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38559744 140736970978492 140736970978668 140736970978668 140736970981327 0
[pid=31203/tid=31214] ppid=31202 vsize=13801768 CPUtime=0.08 cores=1,3,5,7,9,11,13,15
/proc/31203/task/31214/stat : 31214 (java) S 31202 31202 14782 0 -1 1077944384 2742 0 0 0 5 3 0 0 20 0 28 0 3929089 14133010432 234989 33554432000 4194304 4196468 140736970970592 140676713249264 140677981358722 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 4 0 0 6293624 6294260 38559744 140736970978492 140736970978668 140736970978668 140736970981327 0
[pid=31203/tid=31215] ppid=31202 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31203/task/31215/stat : 31215 (java) S 31202 31202 14782 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 28 0 3929090 14133010432 234989 33554432000 4194304 4196468 140736970970592 140676712195552 140677981357781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38559744 140736970978492 140736970978668 140736970978668 140736970981327 0
[pid=31203/tid=31216] ppid=31202 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31203/task/31216/stat : 31216 (java) S 31202 31202 14782 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 28 0 3929090 14133010432 234989 33554432000 4194304 4196468 140736970970592 140676711142912 140677981357781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38559744 140736970978492 140736970978668 140736970978668 140736970981327 0
[pid=31203/tid=31217] ppid=31202 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31203/task/31217/stat : 31217 (java) S 31202 31202 14782 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3929093 14133010432 234989 33554432000 4194304 4196468 140736970970592 140676710091472 140677981366171 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 38559744 140736970978492 140736970978668 140736970978668 140736970981327 0
[pid=31203/tid=31218] ppid=31202 vsize=13801768 CPUtime=2.18 cores=1,3,5,7,9,11,13,15
/proc/31203/task/31218/stat : 31218 (java) S 31202 31202 14782 0 -1 1077944384 6143 0 0 0 217 1 0 0 20 0 28 0 3929093 14133010432 234989 33554432000 4194304 4196468 140736970970592 140676709038064 140677981358722 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38559744 140736970978492 140736970978668 140736970978668 140736970981327 0
[pid=31203/tid=31219] ppid=31202 vsize=13801768 CPUtime=3.19 cores=1,3,5,7,9,11,13,15
/proc/31203/task/31219/stat : 31219 (java) S 31202 31202 14782 0 -1 1077944384 7875 0 0 0 318 1 0 0 20 0 28 0 3929093 14133010432 234989 33554432000 4194304 4196468 140736970970592 140676707985520 140677981358722 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 38559744 140736970978492 140736970978668 140736970978668 140736970981327 0
[pid=31203/tid=31220] ppid=31202 vsize=13801768 CPUtime=2.75 cores=1,3,5,7,9,11,13,15
/proc/31203/task/31220/stat : 31220 (java) S 31202 31202 14782 0 -1 1077944384 10566 0 0 0 273 2 0 0 20 0 28 0 3929093 14133010432 234989 33554432000 4194304 4196468 140736970970592 140676706932976 140677981358722 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 38559744 140736970978492 140736970978668 140736970978668 140736970981327 0
[pid=31203/tid=31221] ppid=31202 vsize=13801768 CPUtime=0.83 cores=1,3,5,7,9,11,13,15
/proc/31203/task/31221/stat : 31221 (java) S 31202 31202 14782 0 -1 1077944384 7722 0 0 0 82 1 0 0 20 0 28 0 3929093 14133010432 234989 33554432000 4194304 4196468 140736970970592 140676705880432 140677981358722 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38559744 140736970978492 140736970978668 140736970978668 140736970981327 0
[pid=31203/tid=31222] ppid=31202 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31203/task/31222/stat : 31222 (java) S 31202 31202 14782 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3929093 14133010432 234989 33554432000 4194304 4196468 140736970970592 140676704828128 140677981357781 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 38559744 140736970978492 140736970978668 140736970978668 140736970981327 0
[pid=31203/tid=31223] ppid=31202 vsize=13801768 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/31203/task/31223/stat : 31223 (java) S 31202 31202 14782 0 -1 1077944384 242 0 0 0 1 0 0 0 20 0 28 0 3929093 14133010432 234989 33554432000 4194304 4196468 140736970970592 140676703775664 140677981358722 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 8 0 0 6293624 6294260 38559744 140736970978492 140736970978668 140736970978668 140736970981327 0
[pid=31203/tid=31224] ppid=31202 vsize=13801768 CPUtime=23.58 cores=1,3,5,7,9,11,13,15
/proc/31203/task/31224/stat : 31224 (java) R 31202 31202 14782 0 -1 4202560 634 0 0 0 2358 0 0 0 20 0 28 0 3929470 14133010432 234989 33554432000 4194304 4196468 140736970970592 140676695759944 140677583953436 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 38559744 140736970978492 140736970978668 140736970978668 140736970981327 0
[pid=31203/tid=31225] ppid=31202 vsize=13801768 CPUtime=23.54 cores=1,3,5,7,9,11,13,15
/proc/31203/task/31225/stat : 31225 (java) R 31202 31202 14782 0 -1 4202560 276 0 0 0 2354 0 0 0 20 0 28 0 3929470 14133010432 234989 33554432000 4194304 4196468 140736970970592 140676694708312 140677583953232 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38559744 140736970978492 140736970978668 140736970978668 140736970981327 0
[pid=31203/tid=31226] ppid=31202 vsize=13801768 CPUtime=23.27 cores=1,3,5,7,9,11,13,15
/proc/31203/task/31226/stat : 31226 (java) R 31202 31202 14782 0 -1 4202560 828 0 0 0 2327 0 0 0 20 0 28 0 3929470 14133010432 234989 33554432000 4194304 4196468 140736970970592 140676693654480 140677583953436 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38559744 140736970978492 140736970978668 140736970978668 140736970981327 0
[pid=31203/tid=31227] ppid=31202 vsize=13801768 CPUtime=23.44 cores=1,3,5,7,9,11,13,15
/proc/31203/task/31227/stat : 31227 (java) R 31202 31202 14782 0 -1 4202560 1616 0 0 0 2344 0 0 0 20 0 28 0 3929470 14133010432 234989 33554432000 4194304 4196468 140736970970592 140676692602424 140677583953226 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 38559744 140736970978492 140736970978668 140736970978668 140736970981327 0
[pid=31203/tid=31228] ppid=31202 vsize=13801768 CPUtime=23.36 cores=1,3,5,7,9,11,13,15
/proc/31203/task/31228/stat : 31228 (java) R 31202 31202 14782 0 -1 4202560 949 0 0 0 2336 0 0 0 20 0 28 0 3929470 14133010432 234989 33554432000 4194304 4196468 140736970970592 140676691550008 140677579042446 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 38559744 140736970978492 140736970978668 140736970978668 140736970981327 0
[pid=31203/tid=31229] ppid=31202 vsize=13801768 CPUtime=23.39 cores=1,3,5,7,9,11,13,15
/proc/31203/task/31229/stat : 31229 (java) R 31202 31202 14782 0 -1 4202560 649 0 0 0 2339 0 0 0 20 0 28 0 3929470 14133010432 234989 33554432000 4194304 4196468 140736970970592 140676690497112 140677583953232 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 38559744 140736970978492 140736970978668 140736970978668 140736970981327 0
[pid=31203/tid=31230] ppid=31202 vsize=13801768 CPUtime=23.66 cores=1,3,5,7,9,11,13,15
/proc/31203/task/31230/stat : 31230 (java) R 31202 31202 14782 0 -1 4202560 461 0 0 0 2366 0 0 0 20 0 28 0 3929470 14133010432 234989 33554432000 4194304 4196468 140736970970592 140676689444568 140677583953436 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38559744 140736970978492 140736970978668 140736970978668 140736970981327 0
[pid=31203/tid=31231] ppid=31202 vsize=13801768 CPUtime=23.64 cores=1,3,5,7,9,11,13,15
/proc/31203/task/31231/stat : 31231 (java) R 31202 31202 14782 0 -1 4202560 581 0 0 0 2364 0 0 0 20 0 28 0 3929470 14133010432 234989 33554432000 4194304 4196468 140736970970592 140675412643672 140677583953436 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 38559744 140736970978492 140736970978668 140736970978668 140736970981327 0
Current children cumulated CPU time (s) 206.52
Current children cumulated vsize (KiB) 13811280

[startup+28.7204 s]
/proc/loadavg: 13.80 15.27 14.94 19/297 32329
/proc/meminfo: memFree=30058312/32770624 swapFree=5804/235580
[pid=31202] ppid=31199 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31202/stat : 31202 (xcsp3-exec) S 31199 31202 14782 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3929086 9740288 346 33554432000 4194304 5098028 140728993301680 140728993299784 139807881134716 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 18694144 140728993305743 140728993305952 140728993305952 140728993308651 0
/proc/31202/statm: 2378 346 289 221 0 87 0
[pid=31203] ppid=31202 vsize=13801768 CPUtime=206.98 cores=1,3,5,7,9,11,13,15
/proc/31203/stat : 31203 (java) S 31202 31202 14782 0 -1 1077944320 53234 0 0 0 20474 224 0 0 20 0 28 0 3929086 14133010432 234990 33554432000 4194304 4196468 140736970970592 140736970953136 140677981347575 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 38559744 140736970978492 140736970978668 140736970978668 140736970981327 0
/proc/31203/statm: 3450442 234990 3287 1 0 3437675 0
[pid=31203/tid=31204] ppid=31202 vsize=13801768 CPUtime=3.52 cores=1,3,5,7,9,11,13,15
/proc/31203/task/31204/stat : 31204 (java) S 31202 31202 14782 0 -1 1077944384 7381 0 0 0 344 8 0 0 20 0 28 0 3929087 14133010432 234990 33554432000 4194304 4196468 140736970970592 140677985588352 140677981357781 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38559744 140736970978492 140736970978668 140736970978668 140736970981327 0
[pid=31203/tid=31206] ppid=31202 vsize=13801768 CPUtime=0.73 cores=1,3,5,7,9,11,13,15
/proc/31203/task/31206/stat : 31206 (java) S 31202 31202 14782 0 -1 1077944384 453 0 0 0 48 25 0 0 20 0 28 0 3929087 14133010432 234990 33554432000 4194304 4196468 140736970970592 140677899827984 140677981357781 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38559744 140736970978492 140736970978668 140736970978668 140736970981327 0
[pid=31203/tid=31207] ppid=31202 vsize=13801768 CPUtime=0.73 cores=1,3,5,7,9,11,13,15
/proc/31203/task/31207/stat : 31207 (java) S 31202 31202 14782 0 -1 1077944384 364 0 0 0 49 24 0 0 20 0 28 0 3929087 14133010432 234990 33554432000 4194304 4196468 140736970970592 140677898775440 140677981357781 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 38559744 140736970978492 140736970978668 140736970978668 140736970981327 0
[pid=31203/tid=31208] ppid=31202 vsize=13801768 CPUtime=0.73 cores=1,3,5,7,9,11,13,15
/proc/31203/task/31208/stat : 31208 (java) S 31202 31202 14782 0 -1 1077944384 563 0 0 0 48 25 0 0 20 0 28 0 3929087 14133010432 234990 33554432000 4194304 4196468 140736970970592 140677897722896 140677981357781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38559744 140736970978492 140736970978668 140736970978668 140736970981327 0
[pid=31203/tid=31209] ppid=31202 vsize=13801768 CPUtime=0.74 cores=1,3,5,7,9,11,13,15
/proc/31203/task/31209/stat : 31209 (java) S 31202 31202 14782 0 -1 1077944384 348 0 0 0 49 25 0 0 20 0 28 0 3929087 14133010432 234990 33554432000 4194304 4196468 140736970970592 140677576912016 140677981357781 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 38559744 140736970978492 140736970978668 140736970978668 140736970981327 0
[pid=31203/tid=31210] ppid=31202 vsize=13801768 CPUtime=0.74 cores=1,3,5,7,9,11,13,15
/proc/31203/task/31210/stat : 31210 (java) S 31202 31202 14782 0 -1 1077944384 295 0 0 0 50 24 0 0 20 0 28 0 3929087 14133010432 234990 33554432000 4194304 4196468 140736970970592 140677575858448 140677981357781 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 38559744 140736970978492 140736970978668 140736970978668 140736970981327 0
[pid=31203/tid=31211] ppid=31202 vsize=13801768 CPUtime=0.71 cores=1,3,5,7,9,11,13,15
/proc/31203/task/31211/stat : 31211 (java) S 31202 31202 14782 0 -1 1077944384 434 0 0 0 47 24 0 0 20 0 28 0 3929087 14133010432 234990 33554432000 4194304 4196468 140736970970592 140677574805904 140677981357781 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 38559744 140736970978492 140736970978668 140736970978668 140736970981327 0
[pid=31203/tid=31212] ppid=31202 vsize=13801768 CPUtime=0.73 cores=1,3,5,7,9,11,13,15
/proc/31203/task/31212/stat : 31212 (java) S 31202 31202 14782 0 -1 1077944384 303 0 0 0 48 25 0 0 20 0 28 0 3929088 14133010432 234990 33554432000 4194304 4196468 140736970970592 140677573753360 140677981357781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38559744 140736970978492 140736970978668 140736970978668 140736970981327 0
[pid=31203/tid=31213] ppid=31202 vsize=13801768 CPUtime=0.74 cores=1,3,5,7,9,11,13,15
/proc/31203/task/31213/stat : 31213 (java) S 31202 31202 14782 0 -1 1077944384 387 0 0 0 49 25 0 0 20 0 28 0 3929088 14133010432 234990 33554432000 4194304 4196468 140736970970592 140677572700816 140677981357781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38559744 140736970978492 140736970978668 140736970978668 140736970981327 0
[pid=31203/tid=31214] ppid=31202 vsize=13801768 CPUtime=0.08 cores=1,3,5,7,9,11,13,15
/proc/31203/task/31214/stat : 31214 (java) S 31202 31202 14782 0 -1 1077944384 2742 0 0 0 5 3 0 0 20 0 28 0 3929089 14133010432 234990 33554432000 4194304 4196468 140736970970592 140676713249264 140677981358722 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 4 0 0 6293624 6294260 38559744 140736970978492 140736970978668 140736970978668 140736970981327 0
[pid=31203/tid=31215] ppid=31202 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31203/task/31215/stat : 31215 (java) S 31202 31202 14782 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 28 0 3929090 14133010432 234990 33554432000 4194304 4196468 140736970970592 140676712195552 140677981357781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38559744 140736970978492 140736970978668 140736970978668 140736970981327 0
[pid=31203/tid=31216] ppid=31202 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31203/task/31216/stat : 31216 (java) S 31202 31202 14782 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 28 0 3929090 14133010432 234990 33554432000 4194304 4196468 140736970970592 140676711142912 140677981357781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38559744 140736970978492 140736970978668 140736970978668 140736970981327 0
[pid=31203/tid=31217] ppid=31202 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31203/task/31217/stat : 31217 (java) S 31202 31202 14782 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3929093 14133010432 234990 33554432000 4194304 4196468 140736970970592 140676710091472 140677981366171 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 38559744 140736970978492 140736970978668 140736970978668 140736970981327 0
[pid=31203/tid=31218] ppid=31202 vsize=13801768 CPUtime=2.18 cores=1,3,5,7,9,11,13,15
/proc/31203/task/31218/stat : 31218 (java) S 31202 31202 14782 0 -1 1077944384 6143 0 0 0 217 1 0 0 20 0 28 0 3929093 14133010432 234990 33554432000 4194304 4196468 140736970970592 140676709038064 140677981358722 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38559744 140736970978492 140736970978668 140736970978668 140736970981327 0
[pid=31203/tid=31219] ppid=31202 vsize=13801768 CPUtime=3.19 cores=1,3,5,7,9,11,13,15
/proc/31203/task/31219/stat : 31219 (java) S 31202 31202 14782 0 -1 1077944384 7875 0 0 0 318 1 0 0 20 0 28 0 3929093 14133010432 234990 33554432000 4194304 4196468 140736970970592 140676707985520 140677981358722 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 38559744 140736970978492 140736970978668 140736970978668 140736970981327 0
[pid=31203/tid=31220] ppid=31202 vsize=13801768 CPUtime=2.75 cores=1,3,5,7,9,11,13,15
/proc/31203/task/31220/stat : 31220 (java) S 31202 31202 14782 0 -1 1077944384 10566 0 0 0 273 2 0 0 20 0 28 0 3929093 14133010432 234990 33554432000 4194304 4196468 140736970970592 140676706932976 140677981358722 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 38559744 140736970978492 140736970978668 140736970978668 140736970981327 0
[pid=31203/tid=31221] ppid=31202 vsize=13801768 CPUtime=0.83 cores=1,3,5,7,9,11,13,15
/proc/31203/task/31221/stat : 31221 (java) S 31202 31202 14782 0 -1 1077944384 7723 0 0 0 82 1 0 0 20 0 28 0 3929093 14133010432 234990 33554432000 4194304 4196468 140736970970592 140676705880432 140677981358722 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38559744 140736970978492 140736970978668 140736970978668 140736970981327 0
[pid=31203/tid=31222] ppid=31202 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31203/task/31222/stat : 31222 (java) S 31202 31202 14782 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3929093 14133010432 234990 33554432000 4194304 4196468 140736970970592 140676704828128 140677981357781 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 38559744 140736970978492 140736970978668 140736970978668 140736970981327 0
[pid=31203/tid=31223] ppid=31202 vsize=13801768 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/31203/task/31223/stat : 31223 (java) S 31202 31202 14782 0 -1 1077944384 242 0 0 0 1 0 0 0 20 0 28 0 3929093 14133010432 234990 33554432000 4194304 4196468 140736970970592 140676703775664 140677981358722 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 8 0 0 6293624 6294260 38559744 140736970978492 140736970978668 140736970978668 140736970981327 0
[pid=31203/tid=31224] ppid=31202 vsize=13801768 CPUtime=23.66 cores=1,3,5,7,9,11,13,15
/proc/31203/task/31224/stat : 31224 (java) S 31202 31202 14782 0 -1 1077944384 643 0 0 0 2366 0 0 0 20 0 28 0 3929470 14133010432 234990 33554432000 4194304 4196468 140736970970592 140676695765072 140677981357781 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 38559744 140736970978492 140736970978668 140736970978668 140736970981327 0
[pid=31203/tid=31225] ppid=31202 vsize=13801768 CPUtime=23.56 cores=1,3,5,7,9,11,13,15
/proc/31203/task/31225/stat : 31225 (java) S 31202 31202 14782 0 -1 1077944384 299 0 0 0 2356 0 0 0 20 0 28 0 3929470 14133010432 234990 33554432000 4194304 4196468 140736970970592 140676694713936 140677981357781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38559744 140736970978492 140736970978668 140736970978668 140736970981327 0
[pid=31203/tid=31226] ppid=31202 vsize=13801768 CPUtime=23.3 cores=1,3,5,7,9,11,13,15
/proc/31203/task/31226/stat : 31226 (java) S 31202 31202 14782 0 -1 1077944384 828 0 0 0 2330 0 0 0 20 0 28 0 3929470 14133010432 234990 33554432000 4194304 4196468 140736970970592 140676693660368 140677981357781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38559744 140736970978492 140736970978668 140736970978668 140736970981327 0
[pid=31203/tid=31227] ppid=31202 vsize=13801768 CPUtime=23.54 cores=1,3,5,7,9,11,13,15
/proc/31203/task/31227/stat : 31227 (java) S 31202 31202 14782 0 -1 1077944384 1616 0 0 0 2354 0 0 0 20 0 28 0 3929470 14133010432 234990 33554432000 4194304 4196468 140736970970592 140676692607824 140677981357781 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38559744 140736970978492 140736970978668 140736970978668 140736970981327 0
[pid=31203/tid=31228] ppid=31202 vsize=13801768 CPUtime=23.37 cores=1,3,5,7,9,11,13,15
/proc/31203/task/31228/stat : 31228 (java) S 31202 31202 14782 0 -1 1077944384 1003 0 0 0 2337 0 0 0 20 0 28 0 3929470 14133010432 234990 33554432000 4194304 4196468 140736970970592 140676691555280 140677981357781 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 38559744 140736970978492 140736970978668 140736970978668 140736970981327 0
[pid=31203/tid=31229] ppid=31202 vsize=13801768 CPUtime=23.46 cores=1,3,5,7,9,11,13,15
/proc/31203/task/31229/stat : 31229 (java) S 31202 31202 14782 0 -1 1077944384 649 0 0 0 2346 0 0 0 20 0 28 0 3929470 14133010432 234990 33554432000 4194304 4196468 140736970970592 140676690502736 140677981357781 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 38559744 140736970978492 140736970978668 140736970978668 140736970981327 0
[pid=31203/tid=31230] ppid=31202 vsize=13801768 CPUtime=23.76 cores=1,3,5,7,9,11,13,15
/proc/31203/task/31230/stat : 31230 (java) R 31202 31202 14782 0 -1 4202560 461 0 0 0 2376 0 0 0 20 0 28 0 3929470 14133010432 234990 33554432000 4194304 4196468 140736970970592 140676689444568 140677583953454 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38559744 140736970978492 140736970978668 140736970978668 140736970981327 0
[pid=31203/tid=31231] ppid=31202 vsize=13801768 CPUtime=23.68 cores=1,3,5,7,9,11,13,15
/proc/31203/task/31231/stat : 31231 (java) S 31202 31202 14782 0 -1 1077944384 598 0 0 0 2368 0 0 0 20 0 28 0 3929470 14133010432 234990 33554432000 4194304 4196468 140736970970592 140675412649296 140677981357781 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 38559744 140736970978492 140736970978668 140736970978668 140736970981327 0
Current children cumulated CPU time (s) 206.98
Current children cumulated vsize (KiB) 13811280

Child status: 0
Real time (s): 28.7655
CPU time (s): 207.045
CPU user time (s): 204.788
CPU system time (s): 2.25775
CPU usage (%): 719.769
Max. virtual memory (cumulated for all children) (KiB): 13811280

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 204.788
system time used= 2.25775
maximum resident set size= 948208
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 54518
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6016
involuntary context switches= 15203

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.374702 second user time and 0.45318 second system time

The end

Begin job on node143 at 2017-07-22 03:23:48
IDJOB=4245833
IDBENCH=123239
IDSOLVER=2626
FILE ID=node143/4245833-1500686628
RUNJOBID= node143-1500683785-15436
PBS_JOBID= 20623040
Free space on /tmp= 61984 MiB

SOLVER NAME= choco-solver 5a
BENCH NAME= XCSP17/MagicSequence/MagicSequence-count-s1/MagicSequence-1000-co.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-4245833-1500686628/watcher-4245833-1500686628 -o /tmp/evaluation-result-4245833-1500686628/solver-4245833-1500686628 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node143-1500683785-15436 --watchdog 2560  ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 345827411 HOME/instance-4245833-1500686628.xml

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

MD5SUM BENCH= 747b40881cd41efe91eebad5da45ed52
RANDOM SEED=345827411

node143.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		: 2668.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.69
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		: 1600.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		: 2668.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.69
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		: 1600.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		: 2668.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.69
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		: 1867.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		: 2668.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.69
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		: 1600.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		: 2668.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.69
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		: 1733.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		: 2668.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.69
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		: 2533.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		: 2668.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.69
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		: 2533.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		: 2668.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.69
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		: 1600.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:        31450148 kB
MemAvailable:   31550824 kB
Buffers:           82116 kB
Cached:           317236 kB
SwapCached:            0 kB
Active:           690924 kB
Inactive:         234324 kB
Active(anon):     528720 kB
Inactive(anon):     8748 kB
Active(file):     162204 kB
Inactive(file):   225576 kB
Unevictable:        5804 kB
Mlocked:            5804 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              8460 kB
Writeback:             0 kB
AnonPages:        530976 kB
Mapped:            43020 kB
Shmem:              8884 kB
Slab:              91472 kB
SReclaimable:      57464 kB
SUnreclaim:        34008 kB
KernelStack:        4976 kB
PageTables:         6376 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1650964 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    409600 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      155008 kB
DirectMap2M:    33390592 kB

Free space on /tmp at the end= 61976 MiB
End job on node143 at 2017-07-22 03:24:17

Name	MagicSequence/MagicSequence-count-s1/ MagicSequence-1000-co.xml
MD5SUM	747b40881cd41efe91eebad5da45ed52
Bench Category	CSP (decision problem)
Best result obtained on this benchmark	SAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark	14.8096
Satisfiable
(Un)Satisfiability was proved
Number of variables	1000
Number of constraints	1002
Number of domains	1
Minimum domain size	1000
Maximum domain size	1000
Distribution of domain sizes	[{"size":1000,"count":1000}]
Minimum variable degree	1002
Maximum variable degree	1002
Distribution of variable degrees	[{"degree":1002,"count":1000}]
Minimum constraint arity	1000
Maximum constraint arity	1000
Distribution of constraint arities	[{"arity":1000,"count":1002}]
Number of extensional constraints	0
Number of intensional constraints	0
Distribution of constraint types	[{"type":"sum","count":2},{"type":"count","count":1000}]
Optimization problem	NO
Type of objective

Trace number 4245833

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data