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-4248683-1502061048/watcher-4248683-1502061048 -o /tmp/evaluation-result-4248683-1502061048/solver-4248683-1502061048 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node133-1502042263-31898 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 10000 -tdir HOME -seed 689741586 HOME/instance-4248683-1502061048.xml
pid=12285
running on 4 cores: 0,2,4,6
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: 5.21 5.88 7.31 5/203 12288
/proc/meminfo: memFree=30330404/32770624 swapFree=0/330472
[pid=12288] ppid=12285 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/12288/stat : 12288 (runsolver) D 12285 12288 25100 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 53920072 24240128 106 18446744073709551615 4194304 4338465 140730724305040 140730724302680 140219401515735 0 0 1 24578 18446744071580418449 0 0 17 6 0 0 0 0 0 6438912 6441760 39571456 140730724307031 140730724307529 140730724307529 140730724310986 0
/proc/12288/statm: 5918 106 53 36 0 2156 0
[startup+0.101843 s]
/proc/loadavg: 5.21 5.88 7.31 5/203 12288
/proc/meminfo: memFree=30330404/32770624 swapFree=0/330472
[pid=12288] ppid=12285 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/12288/stat : 12288 (xcsp3-exec) S 12285 12288 25100 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 53920072 9740288 345 18446744073709551615 4194304 5098028 140726472937408 140726472935512 140439647015548 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 7 0 0 7196144 7232144 35737600 140726472946073 140726472946282 140726472946282 140726472949739 0
/proc/12288/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.2003 s]
/proc/loadavg: 5.21 5.88 7.31 5/203 12288
/proc/meminfo: memFree=30330404/32770624 swapFree=0/330472
[pid=12288] ppid=12285 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/12288/stat : 12288 (xcsp3-exec) S 12285 12288 25100 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 53920072 9740288 345 18446744073709551615 4194304 5098028 140726472937408 140726472935512 140439647015548 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 7 0 0 7196144 7232144 35737600 140726472946073 140726472946282 140726472946282 140726472949739 0
/proc/12288/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.30028 s]
/proc/loadavg: 5.21 5.88 7.31 5/203 12288
/proc/meminfo: memFree=30330404/32770624 swapFree=0/330472
[pid=12288] ppid=12285 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/12288/stat : 12288 (xcsp3-exec) S 12285 12288 25100 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 53920072 9740288 345 18446744073709551615 4194304 5098028 140726472937408 140726472935512 140439647015548 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 7 0 0 7196144 7232144 35737600 140726472946073 140726472946282 140726472946282 140726472949739 0
/proc/12288/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700812 s]
/proc/loadavg: 5.21 5.88 7.31 5/203 12288
/proc/meminfo: memFree=30330404/32770624 swapFree=0/330472
[pid=12288] ppid=12285 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/12288/stat : 12288 (xcsp3-exec) S 12285 12288 25100 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 53920072 9740288 345 18446744073709551615 4194304 5098028 140726472937408 140726472935512 140439647015548 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 7 0 0 7196144 7232144 35737600 140726472946073 140726472946282 140726472946282 140726472949739 0
/proc/12288/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50385 s]
/proc/loadavg: 5.21 5.88 7.31 8/219 12304
/proc/meminfo: memFree=30186728/32770624 swapFree=0/330460
[pid=12288] ppid=12285 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/12288/stat : 12288 (xcsp3-exec) S 12285 12288 25100 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 53920072 9740288 345 18446744073709551615 4194304 5098028 140726472937408 140726472935512 140439647015548 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 7 0 0 7196144 7232144 35737600 140726472946073 140726472946282 140726472946282 140726472949739 0
/proc/12288/statm: 2378 345 289 221 0 87 0
[pid=12290] ppid=12288 vsize=13185584 CPUtime=4.07 cores=0,2,4,6
/proc/12290/stat : 12290 (java) S 12288 12288 25100 0 -1 1077944320 17242 0 0 0 397 10 0 0 20 0 19 0 53920080 13502038016 50165 18446744073709551615 4194304 4196468 140732162460656 140732162443200 139691251597047 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 28110848 140732162462166 140732162462342 140732162462342 140732162465743 0
/proc/12290/statm: 3296396 50165 3214 1 0 3284688 0
[pid=12290/tid=12291] ppid=12288 vsize=13185584 CPUtime=1.06 cores=0,2,4,6
/proc/12290/task/12291/stat : 12291 (java) S 12288 12288 25100 0 -1 1077944384 9101 0 0 0 100 6 0 0 20 0 19 0 53920081 13502038016 50165 18446744073709551615 4194304 4196468 140732162460656 139691255837824 139691251607253 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 6 0 0 6293624 6294260 28110848 140732162462166 140732162462342 140732162462342 140732162465743 0
[pid=12290/tid=12292] ppid=12288 vsize=13185584 CPUtime=0.01 cores=0,2,4,6
/proc/12290/task/12292/stat : 12292 (java) S 12288 12288 25100 0 -1 1077944384 30 0 0 0 1 0 0 0 20 0 19 0 53920081 13502038016 50165 18446744073709551615 4194304 4196468 140732162460656 139690854800272 139691251607253 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28110848 140732162462166 140732162462342 140732162462342 140732162465743 0
[pid=12290/tid=12293] ppid=12288 vsize=13185584 CPUtime=0 cores=0,2,4,6
/proc/12290/task/12293/stat : 12293 (java) S 12288 12288 25100 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 19 0 53920081 13502038016 50165 18446744073709551615 4194304 4196468 140732162460656 139690853747472 139691251607253 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28110848 140732162462166 140732162462342 140732162462342 140732162465743 0
[pid=12290/tid=12294] ppid=12288 vsize=13185584 CPUtime=0 cores=0,2,4,6
/proc/12290/task/12294/stat : 12294 (java) S 12288 12288 25100 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 53920081 13502038016 50165 18446744073709551615 4194304 4196468 140732162460656 139690852695184 139691251607253 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28110848 140732162462166 140732162462342 140732162462342 140732162465743 0
[pid=12290/tid=12295] ppid=12288 vsize=13185584 CPUtime=0.01 cores=0,2,4,6
/proc/12290/task/12295/stat : 12295 (java) S 12288 12288 25100 0 -1 1077944384 32 0 0 0 1 0 0 0 20 0 19 0 53920081 13502038016 50165 18446744073709551615 4194304 4196468 140732162460656 139690851642384 139691251607253 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28110848 140732162462166 140732162462342 140732162462342 140732162465743 0
[pid=12290/tid=12296] ppid=12288 vsize=13185584 CPUtime=0 cores=0,2,4,6
/proc/12290/task/12296/stat : 12296 (java) S 12288 12288 25100 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 19 0 53920083 13502038016 50165 18446744073709551615 4194304 4196468 140732162460656 139690802780272 139691251608194 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28110848 140732162462166 140732162462342 140732162462342 140732162465743 0
[pid=12290/tid=12297] ppid=12288 vsize=13185584 CPUtime=0 cores=0,2,4,6
/proc/12290/task/12297/stat : 12297 (java) S 12288 12288 25100 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 53920083 13502038016 50165 18446744073709551615 4194304 4196468 140732162460656 139690801726240 139691251607253 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28110848 140732162462166 140732162462342 140732162462342 140732162465743 0
[pid=12290/tid=12298] ppid=12288 vsize=13185584 CPUtime=0 cores=0,2,4,6
/proc/12290/task/12298/stat : 12298 (java) S 12288 12288 25100 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 53920083 13502038016 50165 18446744073709551615 4194304 4196468 140732162460656 139690800673904 139691251607253 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28110848 140732162462166 140732162462342 140732162462342 140732162465743 0
[pid=12290/tid=12299] ppid=12288 vsize=13185584 CPUtime=0 cores=0,2,4,6
/proc/12290/task/12299/stat : 12299 (java) S 12288 12288 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 53920086 13502038016 50165 18446744073709551615 4194304 4196468 140732162460656 139690799622224 139691251615643 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28110848 140732162462166 140732162462342 140732162462342 140732162465743 0
[pid=12290/tid=12300] ppid=12288 vsize=13185584 CPUtime=0.89 cores=0,2,4,6
/proc/12290/task/12300/stat : 12300 (java) R 12288 12288 25100 0 -1 4202560 2251 0 0 0 89 0 0 0 20 0 19 0 53920086 13502038016 50165 18446744073709551615 4194304 4196468 140732162460656 139690798555936 139691236720641 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 28110848 140732162462166 140732162462342 140732162462342 140732162465743 0
[pid=12290/tid=12301] ppid=12288 vsize=13185584 CPUtime=0.79 cores=0,2,4,6
/proc/12290/task/12301/stat : 12301 (java) R 12288 12288 25100 0 -1 4202560 1411 0 0 0 79 0 0 0 20 0 19 0 53920086 13502038016 50165 18446744073709551615 4194304 4196468 140732162460656 139690797503864 139691231285677 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28110848 140732162462166 140732162462342 140732162462342 140732162465743 0
[pid=12290/tid=12302] ppid=12288 vsize=13185584 CPUtime=0.62 cores=0,2,4,6
/proc/12290/task/12302/stat : 12302 (java) R 12288 12288 25100 0 -1 1077944384 2787 0 0 0 61 1 0 0 20 0 19 0 53920086 13502038016 50165 18446744073709551615 4194304 4196468 140732162460656 139690796465008 139691251608194 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28110848 140732162462166 140732162462342 140732162462342 140732162465743 0
[pid=12290/tid=12303] ppid=12288 vsize=13185584 CPUtime=0 cores=0,2,4,6
/proc/12290/task/12303/stat : 12303 (java) S 12288 12288 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 53920086 13502038016 50165 18446744073709551615 4194304 4196468 140732162460656 139690795412448 139691251607253 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28110848 140732162462166 140732162462342 140732162462342 140732162465743 0
[pid=12290/tid=12304] ppid=12288 vsize=13185584 CPUtime=0 cores=0,2,4,6
/proc/12290/task/12304/stat : 12304 (java) S 12288 12288 25100 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 53920093 13502038016 50165 18446744073709551615 4194304 4196468 140732162460656 139690794359216 139691251608194 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28110848 140732162462166 140732162462342 140732162462342 140732162465743 0
Current children cumulated CPU time (s) 4.07
Current children cumulated vsize (KiB) 13195096
[startup+3.10268 s]
/proc/loadavg: 5.60 5.95 7.33 9/223 12324
/proc/meminfo: memFree=30113072/32770624 swapFree=0/330460
[pid=12288] ppid=12285 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/12288/stat : 12288 (xcsp3-exec) S 12285 12288 25100 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 53920072 9740288 345 18446744073709551615 4194304 5098028 140726472937408 140726472935512 140439647015548 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 7 0 0 7196144 7232144 35737600 140726472946073 140726472946282 140726472946282 140726472949739 0
/proc/12288/statm: 2378 345 289 221 0 87 0
[pid=12290] ppid=12288 vsize=13252148 CPUtime=9.24 cores=0,2,4,6
/proc/12290/stat : 12290 (java) S 12288 12288 25100 0 -1 1077944320 18586 0 0 0 909 15 0 0 20 0 19 0 53920080 13570199552 57057 18446744073709551615 4194304 4196468 140732162460656 140732162443200 139691251597047 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 28110848 140732162462166 140732162462342 140732162462342 140732162465743 0
/proc/12290/statm: 3313037 57057 3245 1 0 3301329 0
[pid=12290/tid=12291] ppid=12288 vsize=13252148 CPUtime=1.06 cores=0,2,4,6
/proc/12290/task/12291/stat : 12291 (java) S 12288 12288 25100 0 -1 1077944384 9104 0 0 0 100 6 0 0 20 0 19 0 53920081 13570199552 57057 18446744073709551615 4194304 4196468 140732162460656 139691255837824 139691251607253 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 6 0 0 6293624 6294260 28110848 140732162462166 140732162462342 140732162462342 140732162465743 0
[pid=12290/tid=12292] ppid=12288 vsize=13252148 CPUtime=0.03 cores=0,2,4,6
/proc/12290/task/12292/stat : 12292 (java) S 12288 12288 25100 0 -1 1077944384 45 0 0 0 2 1 0 0 20 0 19 0 53920081 13570199552 57057 18446744073709551615 4194304 4196468 140732162460656 139690854800272 139691251607253 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28110848 140732162462166 140732162462342 140732162462342 140732162465743 0
[pid=12290/tid=12293] ppid=12288 vsize=13252148 CPUtime=0.01 cores=0,2,4,6
/proc/12290/task/12293/stat : 12293 (java) S 12288 12288 25100 0 -1 1077944384 32 0 0 0 1 0 0 0 20 0 19 0 53920081 13570199552 57057 18446744073709551615 4194304 4196468 140732162460656 139690853747472 139691251607253 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28110848 140732162462166 140732162462342 140732162462342 140732162465743 0
[pid=12290/tid=12294] ppid=12288 vsize=13252148 CPUtime=0.02 cores=0,2,4,6
/proc/12290/task/12294/stat : 12294 (java) S 12288 12288 25100 0 -1 1077944384 31 0 0 0 1 1 0 0 20 0 19 0 53920081 13570199552 57057 18446744073709551615 4194304 4196468 140732162460656 139690852695184 139691251607253 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28110848 140732162462166 140732162462342 140732162462342 140732162465743 0
[pid=12290/tid=12295] ppid=12288 vsize=13252148 CPUtime=0.03 cores=0,2,4,6
/proc/12290/task/12295/stat : 12295 (java) S 12288 12288 25100 0 -1 1077944384 56 0 0 0 2 1 0 0 20 0 19 0 53920081 13570199552 57057 18446744073709551615 4194304 4196468 140732162460656 139690851642384 139691251607253 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28110848 140732162462166 140732162462342 140732162462342 140732162465743 0
[pid=12290/tid=12296] ppid=12288 vsize=13252148 CPUtime=0 cores=0,2,4,6
/proc/12290/task/12296/stat : 12296 (java) S 12288 12288 25100 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 19 0 53920083 13570199552 57057 18446744073709551615 4194304 4196468 140732162460656 139690802780272 139691251608194 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28110848 140732162462166 140732162462342 140732162462342 140732162465743 0
[pid=12290/tid=12297] ppid=12288 vsize=13252148 CPUtime=0 cores=0,2,4,6
/proc/12290/task/12297/stat : 12297 (java) S 12288 12288 25100 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 53920083 13570199552 57057 18446744073709551615 4194304 4196468 140732162460656 139690801726304 139691251607253 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28110848 140732162462166 140732162462342 140732162462342 140732162465743 0
[pid=12290/tid=12298] ppid=12288 vsize=13252148 CPUtime=0 cores=0,2,4,6
/proc/12290/task/12298/stat : 12298 (java) S 12288 12288 25100 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 53920083 13570199552 57057 18446744073709551615 4194304 4196468 140732162460656 139690800673920 139691251607253 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28110848 140732162462166 140732162462342 140732162462342 140732162465743 0
[pid=12290/tid=12299] ppid=12288 vsize=13252148 CPUtime=0 cores=0,2,4,6
/proc/12290/task/12299/stat : 12299 (java) S 12288 12288 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 53920086 13570199552 57057 18446744073709551615 4194304 4196468 140732162460656 139690799622224 139691251615643 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28110848 140732162462166 140732162462342 140732162462342 140732162465743 0
[pid=12290/tid=12300] ppid=12288 vsize=13252148 CPUtime=1.65 cores=0,2,4,6
/proc/12290/task/12300/stat : 12300 (java) S 12288 12288 25100 0 -1 1077944384 2390 0 0 0 165 0 0 0 20 0 19 0 53920086 13570199552 57057 18446744073709551615 4194304 4196468 140732162460656 139690798570096 139691251608194 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28110848 140732162462166 140732162462342 140732162462342 140732162465743 0
[pid=12290/tid=12301] ppid=12288 vsize=13252148 CPUtime=1.49 cores=0,2,4,6
/proc/12290/task/12301/stat : 12301 (java) S 12288 12288 25100 0 -1 1077944384 1694 0 0 0 149 0 0 0 20 0 19 0 53920086 13570199552 57057 18446744073709551615 4194304 4196468 140732162460656 139690797517296 139691251608194 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28110848 140732162462166 140732162462342 140732162462342 140732162465743 0
[pid=12290/tid=12302] ppid=12288 vsize=13252148 CPUtime=0.75 cores=0,2,4,6
/proc/12290/task/12302/stat : 12302 (java) S 12288 12288 25100 0 -1 1077944384 3032 0 0 0 74 1 0 0 20 0 19 0 53920086 13570199552 57057 18446744073709551615 4194304 4196468 140732162460656 139690796465008 139691251608194 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28110848 140732162462166 140732162462342 140732162462342 140732162465743 0
[pid=12290/tid=12303] ppid=12288 vsize=13252148 CPUtime=0 cores=0,2,4,6
/proc/12290/task/12303/stat : 12303 (java) S 12288 12288 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 53920086 13570199552 57057 18446744073709551615 4194304 4196468 140732162460656 139690795412448 139691251607253 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28110848 140732162462166 140732162462342 140732162462342 140732162465743 0
[pid=12290/tid=12304] ppid=12288 vsize=13252148 CPUtime=0 cores=0,2,4,6
/proc/12290/task/12304/stat : 12304 (java) S 12288 12288 25100 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 53920093 13570199552 57057 18446744073709551615 4194304 4196468 140732162460656 139690794359216 139691251608194 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28110848 140732162462166 140732162462342 140732162462342 140732162465743 0
Current children cumulated CPU time (s) 9.24
Current children cumulated vsize (KiB) 13261660
[startup+6.30085 s]
/proc/loadavg: 5.60 5.95 7.33 11/223 12348
/proc/meminfo: memFree=30031848/32770624 swapFree=0/330472
[pid=12288] ppid=12285 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/12288/stat : 12288 (xcsp3-exec) S 12285 12288 25100 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 53920072 9740288 345 18446744073709551615 4194304 5098028 140726472937408 140726472935512 140439647015548 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 7 0 0 7196144 7232144 35737600 140726472946073 140726472946282 140726472946282 140726472949739 0
/proc/12288/statm: 2378 345 289 221 0 87 0
[pid=12290] ppid=12288 vsize=13252148 CPUtime=16.8 cores=0,2,4,6
/proc/12290/stat : 12290 (java) S 12288 12288 25100 0 -1 1077944320 28875 0 0 0 1659 21 0 0 20 0 19 0 53920080 13570199552 98470 18446744073709551615 4194304 4196468 140732162460656 140732162443200 139691251597047 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 28110848 140732162462166 140732162462342 140732162462342 140732162465743 0
/proc/12290/statm: 3313037 98470 3261 1 0 3301329 0
[pid=12290/tid=12291] ppid=12288 vsize=13252148 CPUtime=1.06 cores=0,2,4,6
/proc/12290/task/12291/stat : 12291 (java) S 12288 12288 25100 0 -1 1077944384 9273 0 0 0 100 6 0 0 20 0 19 0 53920081 13570199552 98470 18446744073709551615 4194304 4196468 140732162460656 139691255837824 139691251607253 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 6 0 0 6293624 6294260 28110848 140732162462166 140732162462342 140732162462342 140732162465743 0
[pid=12290/tid=12292] ppid=12288 vsize=13252148 CPUtime=0.07 cores=0,2,4,6
/proc/12290/task/12292/stat : 12292 (java) S 12288 12288 25100 0 -1 1077944384 183 0 0 0 5 2 0 0 20 0 19 0 53920081 13570199552 98470 18446744073709551615 4194304 4196468 140732162460656 139690854800272 139691251607253 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28110848 140732162462166 140732162462342 140732162462342 140732162465743 0
[pid=12290/tid=12293] ppid=12288 vsize=13252148 CPUtime=0.05 cores=0,2,4,6
/proc/12290/task/12293/stat : 12293 (java) S 12288 12288 25100 0 -1 1077944384 78 0 0 0 4 1 0 0 20 0 19 0 53920081 13570199552 98470 18446744073709551615 4194304 4196468 140732162460656 139690853747472 139691251607253 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28110848 140732162462166 140732162462342 140732162462342 140732162465743 0
[pid=12290/tid=12294] ppid=12288 vsize=13252148 CPUtime=0.05 cores=0,2,4,6
/proc/12290/task/12294/stat : 12294 (java) S 12288 12288 25100 0 -1 1077944384 93 0 0 0 4 1 0 0 20 0 19 0 53920081 13570199552 98470 18446744073709551615 4194304 4196468 140732162460656 139690852695184 139691251607253 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28110848 140732162462166 140732162462342 140732162462342 140732162465743 0
[pid=12290/tid=12295] ppid=12288 vsize=13252148 CPUtime=0.06 cores=0,2,4,6
/proc/12290/task/12295/stat : 12295 (java) S 12288 12288 25100 0 -1 1077944384 164 0 0 0 4 2 0 0 20 0 19 0 53920081 13570199552 98470 18446744073709551615 4194304 4196468 140732162460656 139690851642384 139691251607253 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28110848 140732162462166 140732162462342 140732162462342 140732162465743 0
[pid=12290/tid=12296] ppid=12288 vsize=13252148 CPUtime=0.01 cores=0,2,4,6
/proc/12290/task/12296/stat : 12296 (java) S 12288 12288 25100 0 -1 1077944384 697 0 0 0 1 0 0 0 20 0 19 0 53920083 13570199552 98470 18446744073709551615 4194304 4196468 140732162460656 139690802780272 139691251608194 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 7 0 0 6293624 6294260 28110848 140732162462166 140732162462342 140732162462342 140732162465743 0
[pid=12290/tid=12297] ppid=12288 vsize=13252148 CPUtime=0 cores=0,2,4,6
/proc/12290/task/12297/stat : 12297 (java) S 12288 12288 25100 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 19 0 53920083 13570199552 98470 18446744073709551615 4194304 4196468 140732162460656 139690801726304 139691251607253 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28110848 140732162462166 140732162462342 140732162462342 140732162465743 0
[pid=12290/tid=12298] ppid=12288 vsize=13252148 CPUtime=0 cores=0,2,4,6
/proc/12290/task/12298/stat : 12298 (java) S 12288 12288 25100 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 53920083 13570199552 98470 18446744073709551615 4194304 4196468 140732162460656 139690800673920 139691251607253 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28110848 140732162462166 140732162462342 140732162462342 140732162465743 0
[pid=12290/tid=12299] ppid=12288 vsize=13252148 CPUtime=0 cores=0,2,4,6
/proc/12290/task/12299/stat : 12299 (java) S 12288 12288 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 53920086 13570199552 98470 18446744073709551615 4194304 4196468 140732162460656 139690799622224 139691251615643 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28110848 140732162462166 140732162462342 140732162462342 140732162465743 0
[pid=12290/tid=12300] ppid=12288 vsize=13252148 CPUtime=2.48 cores=0,2,4,6
/proc/12290/task/12300/stat : 12300 (java) R 12288 12288 25100 0 -1 1077944384 5931 0 0 0 247 1 0 0 20 0 19 0 53920086 13570199552 98470 18446744073709551615 4194304 4196468 140732162460656 139690798570096 139691251608194 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28110848 140732162462166 140732162462342 140732162462342 140732162465743 0
[pid=12290/tid=12301] ppid=12288 vsize=13252148 CPUtime=2.29 cores=0,2,4,6
/proc/12290/task/12301/stat : 12301 (java) S 12288 12288 25100 0 -1 1077944384 4815 0 0 0 228 1 0 0 20 0 19 0 53920086 13570199552 98470 18446744073709551615 4194304 4196468 140732162460656 139690797517296 139691251608194 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28110848 140732162462166 140732162462342 140732162462342 140732162465743 0
[pid=12290/tid=12302] ppid=12288 vsize=13252148 CPUtime=0.82 cores=0,2,4,6
/proc/12290/task/12302/stat : 12302 (java) S 12288 12288 25100 0 -1 1077944384 4163 0 0 0 81 1 0 0 20 0 19 0 53920086 13570199552 98470 18446744073709551615 4194304 4196468 140732162460656 139690796465008 139691251608194 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28110848 140732162462166 140732162462342 140732162462342 140732162465743 0
[pid=12290/tid=12303] ppid=12288 vsize=13252148 CPUtime=0 cores=0,2,4,6
/proc/12290/task/12303/stat : 12303 (java) S 12288 12288 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 53920086 13570199552 98470 18446744073709551615 4194304 4196468 140732162460656 139690795412448 139691251607253 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28110848 140732162462166 140732162462342 140732162462342 140732162465743 0
[pid=12290/tid=12304] ppid=12288 vsize=13252148 CPUtime=0 cores=0,2,4,6
/proc/12290/task/12304/stat : 12304 (java) S 12288 12288 25100 0 -1 1077944384 80 0 0 0 0 0 0 0 20 0 19 0 53920093 13570199552 98470 18446744073709551615 4194304 4196468 140732162460656 139690794359216 139691251608194 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 9 0 0 6293624 6294260 28110848 140732162462166 140732162462342 140732162462342 140732162465743 0
[pid=12290/tid=12345] ppid=12288 vsize=13252148 CPUtime=0.87 cores=0,2,4,6
/proc/12290/task/12345/stat : 12345 (java) R 12288 12288 25100 0 -1 4202560 24 0 0 0 87 0 0 0 20 0 19 0 53920592 13570199552 98470 18446744073709551615 4194304 4196468 140732162460656 139690716772368 139690884892694 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28110848 140732162462166 140732162462342 140732162462342 140732162465743 0
[pid=12290/tid=12346] ppid=12288 vsize=13252148 CPUtime=0.82 cores=0,2,4,6
/proc/12290/task/12346/stat : 12346 (java) R 12288 12288 25100 0 -1 4202560 126 0 0 0 81 1 0 0 20 0 19 0 53920592 13570199552 98470 18446744073709551615 4194304 4196468 140732162460656 139690792802232 139691251608982 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28110848 140732162462166 140732162462342 140732162462342 140732162465743 0
[pid=12290/tid=12347] ppid=12288 vsize=13252148 CPUtime=0.98 cores=0,2,4,6
/proc/12290/task/12347/stat : 12347 (java) R 12288 12288 25100 0 -1 4202560 77 0 0 0 98 0 0 0 20 0 19 0 53920592 13570199552 98470 18446744073709551615 4194304 4196468 140732162460656 139690717826856 139690883744928 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 28110848 140732162462166 140732162462342 140732162462342 140732162465743 0
[pid=12290/tid=12348] ppid=12288 vsize=13252148 CPUtime=0.76 cores=0,2,4,6
/proc/12290/task/12348/stat : 12348 (java) R 12288 12288 25100 0 -1 4202560 61 0 0 0 76 0 0 0 20 0 19 0 53920592 13570199552 98470 18446744073709551615 4194304 4196468 140732162460656 139690714669512 139690881831543 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28110848 140732162462166 140732162462342 140732162462342 140732162465743 0
Current children cumulated CPU time (s) 16.8
Current children cumulated vsize (KiB) 13261660
[startup+12.7008 s]
/proc/loadavg: 5.50 5.92 7.30 9/223 12360
/proc/meminfo: memFree=29641748/32770624 swapFree=0/330480
[pid=12288] ppid=12285 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/12288/stat : 12288 (xcsp3-exec) S 12285 12288 25100 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 53920072 9740288 345 18446744073709551615 4194304 5098028 140726472937408 140726472935512 140439647015548 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 7 0 0 7196144 7232144 35737600 140726472946073 140726472946282 140726472946282 140726472949739 0
/proc/12288/statm: 2378 345 289 221 0 87 0
[pid=12290] ppid=12288 vsize=13252148 CPUtime=38.59 cores=0,2,4,6
################
# More data... #
################
/proc/12288/statm: 2378 345 289 221 0 87 0
[pid=12290] ppid=12288 vsize=13252148 CPUtime=2063.95 cores=0,2,4,6
/proc/12290/stat : 12290 (java) S 12288 12288 25100 0 -1 1077944320 131090 0 0 0 206293 102 0 0 20 0 19 0 53920080 13570199552 440618 18446744073709551615 4194304 4196468 140732162460656 140732162443200 139691251597047 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 28110848 140732162462166 140732162462342 140732162462342 140732162465743 0
/proc/12290/statm: 3313037 440618 3278 1 0 3301329 0
[pid=12290/tid=12291] ppid=12288 vsize=13252148 CPUtime=1.07 cores=0,2,4,6
/proc/12290/task/12291/stat : 12291 (java) S 12288 12288 25100 0 -1 1077944384 9672 0 0 0 101 6 0 0 20 0 19 0 53920081 13570199552 440618 18446744073709551615 4194304 4196468 140732162460656 139691255837824 139691251607253 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 6 0 0 6293624 6294260 28110848 140732162462166 140732162462342 140732162462342 140732162465743 0
[pid=12290/tid=12292] ppid=12288 vsize=13252148 CPUtime=1.07 cores=0,2,4,6
/proc/12290/task/12292/stat : 12292 (java) S 12288 12288 25100 0 -1 1077944384 3875 0 0 0 98 9 0 0 20 0 19 0 53920081 13570199552 440618 18446744073709551615 4194304 4196468 140732162460656 139690854800272 139691251607253 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28110848 140732162462166 140732162462342 140732162462342 140732162465743 0
[pid=12290/tid=12293] ppid=12288 vsize=13252148 CPUtime=1.06 cores=0,2,4,6
/proc/12290/task/12293/stat : 12293 (java) S 12288 12288 25100 0 -1 1077944384 2968 0 0 0 97 9 0 0 20 0 19 0 53920081 13570199552 440618 18446744073709551615 4194304 4196468 140732162460656 139690853747472 139691251607253 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28110848 140732162462166 140732162462342 140732162462342 140732162465743 0
[pid=12290/tid=12294] ppid=12288 vsize=13252148 CPUtime=1.05 cores=0,2,4,6
/proc/12290/task/12294/stat : 12294 (java) S 12288 12288 25100 0 -1 1077944384 2713 0 0 0 98 7 0 0 20 0 19 0 53920081 13570199552 440618 18446744073709551615 4194304 4196468 140732162460656 139690852695184 139691251607253 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28110848 140732162462166 140732162462342 140732162462342 140732162465743 0
[pid=12290/tid=12295] ppid=12288 vsize=13252148 CPUtime=1.06 cores=0,2,4,6
/proc/12290/task/12295/stat : 12295 (java) S 12288 12288 25100 0 -1 1077944384 4123 0 0 0 97 9 0 0 20 0 19 0 53920081 13570199552 440618 18446744073709551615 4194304 4196468 140732162460656 139690851642384 139691251607253 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28110848 140732162462166 140732162462342 140732162462342 140732162465743 0
[pid=12290/tid=12296] ppid=12288 vsize=13252148 CPUtime=0.63 cores=0,2,4,6
/proc/12290/task/12296/stat : 12296 (java) S 12288 12288 25100 0 -1 1077944384 14230 0 0 0 36 27 0 0 20 0 19 0 53920083 13570199552 440618 18446744073709551615 4194304 4196468 140732162460656 139690802780272 139691251608194 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 7 0 0 6293624 6294260 28110848 140732162462166 140732162462342 140732162462342 140732162465743 0
[pid=12290/tid=12297] ppid=12288 vsize=13252148 CPUtime=0 cores=0,2,4,6
/proc/12290/task/12297/stat : 12297 (java) S 12288 12288 25100 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 19 0 53920083 13570199552 440618 18446744073709551615 4194304 4196468 140732162460656 139690801726304 139691251607253 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28110848 140732162462166 140732162462342 140732162462342 140732162465743 0
[pid=12290/tid=12298] ppid=12288 vsize=13252148 CPUtime=0 cores=0,2,4,6
/proc/12290/task/12298/stat : 12298 (java) S 12288 12288 25100 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 53920083 13570199552 440618 18446744073709551615 4194304 4196468 140732162460656 139690800673920 139691251607253 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28110848 140732162462166 140732162462342 140732162462342 140732162465743 0
[pid=12290/tid=12299] ppid=12288 vsize=13252148 CPUtime=0 cores=0,2,4,6
/proc/12290/task/12299/stat : 12299 (java) S 12288 12288 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 53920086 13570199552 440618 18446744073709551615 4194304 4196468 140732162460656 139690799622224 139691251615643 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28110848 140732162462166 140732162462342 140732162462342 140732162465743 0
[pid=12290/tid=12300] ppid=12288 vsize=13252148 CPUtime=3.73 cores=0,2,4,6
/proc/12290/task/12300/stat : 12300 (java) S 12288 12288 25100 0 -1 1077944384 24564 0 0 0 371 2 0 0 20 0 19 0 53920086 13570199552 440618 18446744073709551615 4194304 4196468 140732162460656 139690798570096 139691251608194 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28110848 140732162462166 140732162462342 140732162462342 140732162465743 0
[pid=12290/tid=12301] ppid=12288 vsize=13252148 CPUtime=3.51 cores=0,2,4,6
/proc/12290/task/12301/stat : 12301 (java) S 12288 12288 25100 0 -1 1077944384 21323 0 0 0 349 2 0 0 20 0 19 0 53920086 13570199552 440618 18446744073709551615 4194304 4196468 140732162460656 139690797517296 139691251608194 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28110848 140732162462166 140732162462342 140732162462342 140732162465743 0
[pid=12290/tid=12302] ppid=12288 vsize=13252148 CPUtime=0.91 cores=0,2,4,6
/proc/12290/task/12302/stat : 12302 (java) S 12288 12288 25100 0 -1 1077944384 13169 0 0 0 89 2 0 0 20 0 19 0 53920086 13570199552 440618 18446744073709551615 4194304 4196468 140732162460656 139690796465008 139691251608194 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28110848 140732162462166 140732162462342 140732162462342 140732162465743 0
[pid=12290/tid=12303] ppid=12288 vsize=13252148 CPUtime=0 cores=0,2,4,6
/proc/12290/task/12303/stat : 12303 (java) S 12288 12288 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 53920086 13570199552 440618 18446744073709551615 4194304 4196468 140732162460656 139690795412448 139691251607253 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28110848 140732162462166 140732162462342 140732162462342 140732162465743 0
[pid=12290/tid=12304] ppid=12288 vsize=13252148 CPUtime=0.15 cores=0,2,4,6
/proc/12290/task/12304/stat : 12304 (java) S 12288 12288 25100 0 -1 1077944384 1146 0 0 0 0 15 0 0 20 0 19 0 53920093 13570199552 440618 18446744073709551615 4194304 4196468 140732162460656 139690794359216 139691251608194 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 9 0 0 6293624 6294260 28110848 140732162462166 140732162462342 140732162462342 140732162465743 0
[pid=12290/tid=12361] ppid=12288 vsize=13252148 CPUtime=501.43 cores=0,2,4,6
/proc/12290/task/12361/stat : 12361 (java) R 12288 12288 25100 0 -1 4202560 8845 0 0 0 50139 4 0 0 20 0 19 0 53921768 13570199552 440618 18446744073709551615 4194304 4196468 140732162460656 139690717826264 139690882761420 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28110848 140732162462166 140732162462342 140732162462342 140732162465743 0
[pid=12290/tid=12362] ppid=12288 vsize=13252148 CPUtime=501.29 cores=0,2,4,6
/proc/12290/task/12362/stat : 12362 (java) R 12288 12288 25100 0 -1 4202560 5825 0 0 0 50118 11 0 0 20 0 19 0 53921768 13570199552 440618 18446744073709551615 4194304 4196468 140732162460656 139690714669320 139690884892420 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28110848 140732162462166 140732162462342 140732162462342 140732162465743 0
[pid=12290/tid=12363] ppid=12288 vsize=13252148 CPUtime=501.53 cores=0,2,4,6
/proc/12290/task/12363/stat : 12363 (java) R 12288 12288 25100 0 -1 4202560 6242 0 0 0 50150 3 0 0 20 0 19 0 53921768 13570199552 440618 18446744073709551615 4194304 4196468 140732162460656 139690716774096 139690876428144 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 28110848 140732162462166 140732162462342 140732162462342 140732162465743 0
[pid=12290/tid=12364] ppid=12288 vsize=13252148 CPUtime=501.19 cores=0,2,4,6
/proc/12290/task/12364/stat : 12364 (java) R 12288 12288 25100 0 -1 4202560 4745 0 0 0 50118 1 0 0 20 0 19 0 53921768 13570199552 440618 18446744073709551615 4194304 4196468 140732162460656 139690792803232 139690884892698 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28110848 140732162462166 140732162462342 140732162462342 140732162465743 0
Current children cumulated CPU time (s) 2063.95
Current children cumulated vsize (KiB) 13261660
[startup+582.301 s]
/proc/loadavg: 8.40 8.20 7.91 9/224 12430
/proc/meminfo: memFree=28370888/32770624 swapFree=0/330808
[pid=12288] ppid=12285 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/12288/stat : 12288 (xcsp3-exec) S 12285 12288 25100 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 53920072 9740288 345 18446744073709551615 4194304 5098028 140726472937408 140726472935512 140439647015548 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 7 0 0 7196144 7232144 35737600 140726472946073 140726472946282 140726472946282 140726472949739 0
/proc/12288/statm: 2378 345 289 221 0 87 0
[pid=12290] ppid=12288 vsize=13252148 CPUtime=2303.15 cores=0,2,4,6
/proc/12290/stat : 12290 (java) S 12288 12288 25100 0 -1 1077944320 140375 0 0 0 230211 104 0 0 20 0 19 0 53920080 13570199552 436177 18446744073709551615 4194304 4196468 140732162460656 140732162443200 139691251597047 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 28110848 140732162462166 140732162462342 140732162462342 140732162465743 0
/proc/12290/statm: 3313037 436177 3278 1 0 3301329 0
[pid=12290/tid=12291] ppid=12288 vsize=13252148 CPUtime=1.07 cores=0,2,4,6
/proc/12290/task/12291/stat : 12291 (java) S 12288 12288 25100 0 -1 1077944384 9672 0 0 0 101 6 0 0 20 0 19 0 53920081 13570199552 436177 18446744073709551615 4194304 4196468 140732162460656 139691255837824 139691251607253 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 6 0 0 6293624 6294260 28110848 140732162462166 140732162462342 140732162462342 140732162465743 0
[pid=12290/tid=12292] ppid=12288 vsize=13252148 CPUtime=1.12 cores=0,2,4,6
/proc/12290/task/12292/stat : 12292 (java) S 12288 12288 25100 0 -1 1077944384 4533 0 0 0 103 9 0 0 20 0 19 0 53920081 13570199552 436177 18446744073709551615 4194304 4196468 140732162460656 139690854800272 139691251607253 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28110848 140732162462166 140732162462342 140732162462342 140732162465743 0
[pid=12290/tid=12293] ppid=12288 vsize=13252148 CPUtime=1.11 cores=0,2,4,6
/proc/12290/task/12293/stat : 12293 (java) S 12288 12288 25100 0 -1 1077944384 3180 0 0 0 102 9 0 0 20 0 19 0 53920081 13570199552 436177 18446744073709551615 4194304 4196468 140732162460656 139690853747472 139691251607253 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28110848 140732162462166 140732162462342 140732162462342 140732162465743 0
[pid=12290/tid=12294] ppid=12288 vsize=13252148 CPUtime=1.11 cores=0,2,4,6
/proc/12290/task/12294/stat : 12294 (java) S 12288 12288 25100 0 -1 1077944384 2876 0 0 0 104 7 0 0 20 0 19 0 53920081 13570199552 436177 18446744073709551615 4194304 4196468 140732162460656 139690852695184 139691251607253 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28110848 140732162462166 140732162462342 140732162462342 140732162465743 0
[pid=12290/tid=12295] ppid=12288 vsize=13252148 CPUtime=1.11 cores=0,2,4,6
/proc/12290/task/12295/stat : 12295 (java) S 12288 12288 25100 0 -1 1077944384 4477 0 0 0 102 9 0 0 20 0 19 0 53920081 13570199552 436177 18446744073709551615 4194304 4196468 140732162460656 139690851642384 139691251607253 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28110848 140732162462166 140732162462342 140732162462342 140732162465743 0
[pid=12290/tid=12296] ppid=12288 vsize=13252148 CPUtime=0.65 cores=0,2,4,6
/proc/12290/task/12296/stat : 12296 (java) S 12288 12288 25100 0 -1 1077944384 18032 0 0 0 37 28 0 0 20 0 19 0 53920083 13570199552 436177 18446744073709551615 4194304 4196468 140732162460656 139690802780272 139691251608194 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 7 0 0 6293624 6294260 28110848 140732162462166 140732162462342 140732162462342 140732162465743 0
[pid=12290/tid=12297] ppid=12288 vsize=13252148 CPUtime=0 cores=0,2,4,6
/proc/12290/task/12297/stat : 12297 (java) S 12288 12288 25100 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 19 0 53920083 13570199552 436177 18446744073709551615 4194304 4196468 140732162460656 139690801726304 139691251607253 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28110848 140732162462166 140732162462342 140732162462342 140732162465743 0
[pid=12290/tid=12298] ppid=12288 vsize=13252148 CPUtime=0 cores=0,2,4,6
/proc/12290/task/12298/stat : 12298 (java) S 12288 12288 25100 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 53920083 13570199552 436177 18446744073709551615 4194304 4196468 140732162460656 139690800673920 139691251607253 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28110848 140732162462166 140732162462342 140732162462342 140732162465743 0
[pid=12290/tid=12299] ppid=12288 vsize=13252148 CPUtime=0 cores=0,2,4,6
/proc/12290/task/12299/stat : 12299 (java) S 12288 12288 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 53920086 13570199552 436177 18446744073709551615 4194304 4196468 140732162460656 139690799622224 139691251615643 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28110848 140732162462166 140732162462342 140732162462342 140732162465743 0
[pid=12290/tid=12300] ppid=12288 vsize=13252148 CPUtime=3.8 cores=0,2,4,6
/proc/12290/task/12300/stat : 12300 (java) S 12288 12288 25100 0 -1 1077944384 26374 0 0 0 378 2 0 0 20 0 19 0 53920086 13570199552 436177 18446744073709551615 4194304 4196468 140732162460656 139690798570096 139691251608194 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28110848 140732162462166 140732162462342 140732162462342 140732162465743 0
[pid=12290/tid=12301] ppid=12288 vsize=13252148 CPUtime=3.51 cores=0,2,4,6
/proc/12290/task/12301/stat : 12301 (java) S 12288 12288 25100 0 -1 1077944384 21331 0 0 0 349 2 0 0 20 0 19 0 53920086 13570199552 436177 18446744073709551615 4194304 4196468 140732162460656 139690797517296 139691251608194 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28110848 140732162462166 140732162462342 140732162462342 140732162465743 0
[pid=12290/tid=12302] ppid=12288 vsize=13252148 CPUtime=0.91 cores=0,2,4,6
/proc/12290/task/12302/stat : 12302 (java) S 12288 12288 25100 0 -1 1077944384 13703 0 0 0 89 2 0 0 20 0 19 0 53920086 13570199552 436177 18446744073709551615 4194304 4196468 140732162460656 139690796465008 139691251608194 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28110848 140732162462166 140732162462342 140732162462342 140732162465743 0
[pid=12290/tid=12303] ppid=12288 vsize=13252148 CPUtime=0 cores=0,2,4,6
/proc/12290/task/12303/stat : 12303 (java) S 12288 12288 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 53920086 13570199552 436177 18446744073709551615 4194304 4196468 140732162460656 139690795412448 139691251607253 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28110848 140732162462166 140732162462342 140732162462342 140732162465743 0
[pid=12290/tid=12304] ppid=12288 vsize=13252148 CPUtime=0.17 cores=0,2,4,6
/proc/12290/task/12304/stat : 12304 (java) S 12288 12288 25100 0 -1 1077944384 1220 0 0 0 0 17 0 0 20 0 19 0 53920093 13570199552 436177 18446744073709551615 4194304 4196468 140732162460656 139690794359216 139691251608194 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 9 0 0 6293624 6294260 28110848 140732162462166 140732162462342 140732162462342 140732162465743 0
[pid=12290/tid=12361] ppid=12288 vsize=13252148 CPUtime=561.23 cores=0,2,4,6
/proc/12290/task/12361/stat : 12361 (java) R 12288 12288 25100 0 -1 4202560 9240 0 0 0 56119 4 0 0 20 0 19 0 53921768 13570199552 436177 18446744073709551615 4194304 4196468 140732162460656 139690717828528 139690882346160 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28110848 140732162462166 140732162462342 140732162462342 140732162465743 0
[pid=12290/tid=12362] ppid=12288 vsize=13252148 CPUtime=561.03 cores=0,2,4,6
/proc/12290/task/12362/stat : 12362 (java) R 12288 12288 25100 0 -1 4202560 6322 0 0 0 56092 11 0 0 20 0 19 0 53921768 13570199552 436177 18446744073709551615 4194304 4196468 140732162460656 139690714669320 139690882651400 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28110848 140732162462166 140732162462342 140732162462342 140732162465743 0
[pid=12290/tid=12363] ppid=12288 vsize=13252148 CPUtime=561.28 cores=0,2,4,6
/proc/12290/task/12363/stat : 12363 (java) R 12288 12288 25100 0 -1 4202560 6769 0 0 0 56125 3 0 0 20 0 19 0 53921768 13570199552 436177 18446744073709551615 4194304 4196468 140732162460656 139690716774096 139690883744928 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28110848 140732162462166 140732162462342 140732162462342 140732162465743 0
[pid=12290/tid=12364] ppid=12288 vsize=13252148 CPUtime=560.75 cores=0,2,4,6
/proc/12290/task/12364/stat : 12364 (java) R 12288 12288 25100 0 -1 4202560 4996 0 0 0 56074 1 0 0 20 0 19 0 53921768 13570199552 436177 18446744073709551615 4194304 4196468 140732162460656 139690792800760 139690877491708 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 28110848 140732162462166 140732162462342 140732162462342 140732162465743 0
Current children cumulated CPU time (s) 2303.15
Current children cumulated vsize (KiB) 13261660
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+606.608 s]
/proc/loadavg: 8.74 8.30 7.95 10/224 12549
/proc/meminfo: memFree=27844528/32770624 swapFree=0/330824
[pid=12288] ppid=12285 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/12288/stat : 12288 (xcsp3-exec) S 12285 12288 25100 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 53920072 9740288 345 18446744073709551615 4194304 5098028 140726472937408 140726472935512 140439647015548 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 7 0 0 7196144 7232144 35737600 140726472946073 140726472946282 140726472946282 140726472949739 0
/proc/12288/statm: 2378 345 289 221 0 87 0
[pid=12290] ppid=12288 vsize=13252148 CPUtime=2400.05 cores=0,2,4,6
/proc/12290/stat : 12290 (java) S 12288 12288 25100 0 -1 1077944320 143780 0 0 0 239900 105 0 0 20 0 19 0 53920080 13570199552 434675 18446744073709551615 4194304 4196468 140732162460656 140732162443200 139691251597047 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 28110848 140732162462166 140732162462342 140732162462342 140732162465743 0
/proc/12290/statm: 3313037 434675 3278 1 0 3301329 0
[pid=12290/tid=12291] ppid=12288 vsize=13252148 CPUtime=1.07 cores=0,2,4,6
/proc/12290/task/12291/stat : 12291 (java) S 12288 12288 25100 0 -1 1077944384 9672 0 0 0 101 6 0 0 20 0 19 0 53920081 13570199552 434675 18446744073709551615 4194304 4196468 140732162460656 139691255837824 139691251607253 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 6 0 0 6293624 6294260 28110848 140732162462166 140732162462342 140732162462342 140732162465743 0
[pid=12290/tid=12292] ppid=12288 vsize=13252148 CPUtime=1.13 cores=0,2,4,6
/proc/12290/task/12292/stat : 12292 (java) S 12288 12288 25100 0 -1 1077944384 4960 0 0 0 104 9 0 0 20 0 19 0 53920081 13570199552 434675 18446744073709551615 4194304 4196468 140732162460656 139690854800272 139691251607253 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28110848 140732162462166 140732162462342 140732162462342 140732162465743 0
[pid=12290/tid=12293] ppid=12288 vsize=13252148 CPUtime=1.12 cores=0,2,4,6
/proc/12290/task/12293/stat : 12293 (java) S 12288 12288 25100 0 -1 1077944384 3407 0 0 0 103 9 0 0 20 0 19 0 53920081 13570199552 434675 18446744073709551615 4194304 4196468 140732162460656 139690853747472 139691251607253 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28110848 140732162462166 140732162462342 140732162462342 140732162465743 0
[pid=12290/tid=12294] ppid=12288 vsize=13252148 CPUtime=1.12 cores=0,2,4,6
/proc/12290/task/12294/stat : 12294 (java) S 12288 12288 25100 0 -1 1077944384 3034 0 0 0 105 7 0 0 20 0 19 0 53920081 13570199552 434675 18446744073709551615 4194304 4196468 140732162460656 139690852695184 139691251607253 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28110848 140732162462166 140732162462342 140732162462342 140732162465743 0
[pid=12290/tid=12295] ppid=12288 vsize=13252148 CPUtime=1.12 cores=0,2,4,6
/proc/12290/task/12295/stat : 12295 (java) S 12288 12288 25100 0 -1 1077944384 4896 0 0 0 103 9 0 0 20 0 19 0 53920081 13570199552 434675 18446744073709551615 4194304 4196468 140732162460656 139690851642384 139691251607253 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28110848 140732162462166 140732162462342 140732162462342 140732162465743 0
[pid=12290/tid=12296] ppid=12288 vsize=13252148 CPUtime=0.65 cores=0,2,4,6
/proc/12290/task/12296/stat : 12296 (java) S 12288 12288 25100 0 -1 1077944384 18505 0 0 0 37 28 0 0 20 0 19 0 53920083 13570199552 434675 18446744073709551615 4194304 4196468 140732162460656 139690802780272 139691251608194 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 7 0 0 6293624 6294260 28110848 140732162462166 140732162462342 140732162462342 140732162465743 0
[pid=12290/tid=12297] ppid=12288 vsize=13252148 CPUtime=0 cores=0,2,4,6
/proc/12290/task/12297/stat : 12297 (java) S 12288 12288 25100 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 19 0 53920083 13570199552 434675 18446744073709551615 4194304 4196468 140732162460656 139690801726304 139691251607253 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28110848 140732162462166 140732162462342 140732162462342 140732162465743 0
[pid=12290/tid=12298] ppid=12288 vsize=13252148 CPUtime=0 cores=0,2,4,6
/proc/12290/task/12298/stat : 12298 (java) S 12288 12288 25100 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 53920083 13570199552 434675 18446744073709551615 4194304 4196468 140732162460656 139690800673920 139691251607253 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28110848 140732162462166 140732162462342 140732162462342 140732162465743 0
[pid=12290/tid=12299] ppid=12288 vsize=13252148 CPUtime=0 cores=0,2,4,6
/proc/12290/task/12299/stat : 12299 (java) S 12288 12288 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 53920086 13570199552 434675 18446744073709551615 4194304 4196468 140732162460656 139690799622224 139691251615643 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28110848 140732162462166 140732162462342 140732162462342 140732162465743 0
[pid=12290/tid=12300] ppid=12288 vsize=13252148 CPUtime=3.8 cores=0,2,4,6
/proc/12290/task/12300/stat : 12300 (java) S 12288 12288 25100 0 -1 1077944384 26377 0 0 0 378 2 0 0 20 0 19 0 53920086 13570199552 434675 18446744073709551615 4194304 4196468 140732162460656 139690798570096 139691251608194 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28110848 140732162462166 140732162462342 140732162462342 140732162465743 0
[pid=12290/tid=12301] ppid=12288 vsize=13252148 CPUtime=3.51 cores=0,2,4,6
/proc/12290/task/12301/stat : 12301 (java) S 12288 12288 25100 0 -1 1077944384 22040 0 0 0 349 2 0 0 20 0 19 0 53920086 13570199552 434675 18446744073709551615 4194304 4196468 140732162460656 139690797517296 139691251608194 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28110848 140732162462166 140732162462342 140732162462342 140732162465743 0
[pid=12290/tid=12302] ppid=12288 vsize=13252148 CPUtime=0.91 cores=0,2,4,6
/proc/12290/task/12302/stat : 12302 (java) S 12288 12288 25100 0 -1 1077944384 13707 0 0 0 89 2 0 0 20 0 19 0 53920086 13570199552 434675 18446744073709551615 4194304 4196468 140732162460656 139690796465008 139691251608194 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28110848 140732162462166 140732162462342 140732162462342 140732162465743 0
[pid=12290/tid=12303] ppid=12288 vsize=13252148 CPUtime=0 cores=0,2,4,6
/proc/12290/task/12303/stat : 12303 (java) S 12288 12288 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 53920086 13570199552 434675 18446744073709551615 4194304 4196468 140732162460656 139690795412448 139691251607253 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28110848 140732162462166 140732162462342 140732162462342 140732162465743 0
[pid=12290/tid=12304] ppid=12288 vsize=13252148 CPUtime=0.18 cores=0,2,4,6
/proc/12290/task/12304/stat : 12304 (java) S 12288 12288 25100 0 -1 1077944384 1244 0 0 0 0 18 0 0 20 0 19 0 53920093 13570199552 434675 18446744073709551615 4194304 4196468 140732162460656 139690794359216 139691251608194 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 9 0 0 6293624 6294260 28110848 140732162462166 140732162462342 140732162462342 140732162465743 0
[pid=12290/tid=12361] ppid=12288 vsize=13252148 CPUtime=585.52 cores=0,2,4,6
/proc/12290/task/12361/stat : 12361 (java) R 12288 12288 25100 0 -1 4202560 9408 0 0 0 58547 5 0 0 20 0 19 0 53921768 13570199552 434675 18446744073709551615 4194304 4196468 140732162460656 139690717828528 139690882939835 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28110848 140732162462166 140732162462342 140732162462342 140732162465743 0
[pid=12290/tid=12362] ppid=12288 vsize=13252148 CPUtime=585.24 cores=0,2,4,6
/proc/12290/task/12362/stat : 12362 (java) R 12288 12288 25100 0 -1 4202560 6695 0 0 0 58513 11 0 0 20 0 19 0 53921768 13570199552 434675 18446744073709551615 4194304 4196468 140732162460656 139690714669040 139690882651650 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28110848 140732162462166 140732162462342 140732162462342 140732162465743 0
[pid=12290/tid=12363] ppid=12288 vsize=13252148 CPUtime=585.44 cores=0,2,4,6
/proc/12290/task/12363/stat : 12363 (java) R 12288 12288 25100 0 -1 4202560 7031 0 0 0 58541 3 0 0 20 0 19 0 53921768 13570199552 434675 18446744073709551615 4194304 4196468 140732162460656 139690716774040 139690876428088 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 28110848 140732162462166 140732162462342 140732162462342 140732162465743 0
[pid=12290/tid=12364] ppid=12288 vsize=13252148 CPUtime=584.94 cores=0,2,4,6
/proc/12290/task/12364/stat : 12364 (java) R 12288 12288 25100 0 -1 4202560 5154 0 0 0 58493 1 0 0 20 0 19 0 53921768 13570199552 434675 18446744073709551615 4194304 4196468 140732162460656 139690792800840 139690881831534 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28110848 140732162462166 140732162462342 140732162462342 140732162465743 0
Current children cumulated CPU time (s) 2400.05
Current children cumulated vsize (KiB) 13261660
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 12290 sig 9
??? kill 12288 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 12288 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=1788
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=124
# CPU time returned by wait4() is 0.001912
# while last known CPU time is 2400.05
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 606.631
CPU time (s): 2400.05
CPU user time (s): 2399
CPU system time (s): 1.05
CPU usage (%): 395.636
Max. virtual memory (cumulated for all children) (KiB): 13261660
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.001788
system time used= 0.000124
maximum resident set size= 1384
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 509
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.05335 second user time and 4.40545 second system time
The end