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-4247515-1502089028/watcher-4247515-1502089028 -o /tmp/evaluation-result-4247515-1502089028/solver-4247515-1502089028 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node132-1502078046-15622 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 10000 -tdir HOME -seed 914609614 HOME/instance-4247515-1502089028.xml
pid=18342
running on 4 cores: 1,3,5,7
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: 4.51 2.87 2.49 3/203 18345
/proc/meminfo: memFree=24296508/32770624 swapFree=0/370960
[pid=18345] ppid=18342 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/18345/stat : 18345 (runsolver) D 18342 18345 2911 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 108555969 24240128 106 18446744073709551615 4194304 4338465 140726910520048 140726910517688 140337702101719 0 0 1 24578 18446744071580418449 0 0 17 5 0 0 0 0 0 6438912 6441760 10113024 140726910525527 140726910526025 140726910526025 140726910529482 0
/proc/18345/statm: 5918 106 53 36 0 2156 0
[startup+0.109223 s]
/proc/loadavg: 4.51 2.87 2.49 3/203 18345
/proc/meminfo: memFree=24296508/32770624 swapFree=0/370960
[pid=18345] ppid=18342 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/18345/stat : 18345 (xcsp3-exec) S 18342 18345 2911 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 108555969 9740288 344 18446744073709551615 4194304 5098028 140724598439120 140724598437224 140479549489788 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 8 0 0 7196144 7232144 22994944 140724598444441 140724598444650 140724598444650 140724598448107 0
/proc/18345/statm: 2378 344 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200329 s]
/proc/loadavg: 4.51 2.87 2.49 3/203 18345
/proc/meminfo: memFree=24296508/32770624 swapFree=0/370960
[pid=18345] ppid=18342 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/18345/stat : 18345 (xcsp3-exec) S 18342 18345 2911 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 108555969 9740288 344 18446744073709551615 4194304 5098028 140724598439120 140724598437224 140479549489788 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 8 0 0 7196144 7232144 22994944 140724598444441 140724598444650 140724598444650 140724598448107 0
/proc/18345/statm: 2378 344 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.302532 s]
/proc/loadavg: 4.51 2.87 2.49 3/203 18345
/proc/meminfo: memFree=24296508/32770624 swapFree=0/370960
[pid=18345] ppid=18342 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/18345/stat : 18345 (xcsp3-exec) S 18342 18345 2911 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 108555969 9740288 344 18446744073709551615 4194304 5098028 140724598439120 140724598437224 140479549489788 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 8 0 0 7196144 7232144 22994944 140724598444441 140724598444650 140724598444650 140724598448107 0
/proc/18345/statm: 2378 344 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700239 s]
/proc/loadavg: 4.51 2.87 2.49 3/203 18345
/proc/meminfo: memFree=24296508/32770624 swapFree=0/370960
[pid=18345] ppid=18342 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/18345/stat : 18345 (xcsp3-exec) S 18342 18345 2911 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 108555969 9740288 344 18446744073709551615 4194304 5098028 140724598439120 140724598437224 140479549489788 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 8 0 0 7196144 7232144 22994944 140724598444441 140724598444650 140724598444650 140724598448107 0
/proc/18345/statm: 2378 344 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.5082 s]
/proc/loadavg: 4.51 2.87 2.49 4/219 18361
/proc/meminfo: memFree=24164492/32770624 swapFree=0/371064
[pid=18345] ppid=18342 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/18345/stat : 18345 (xcsp3-exec) S 18342 18345 2911 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 108555969 9740288 344 18446744073709551615 4194304 5098028 140724598439120 140724598437224 140479549489788 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 8 0 0 7196144 7232144 22994944 140724598444441 140724598444650 140724598444650 140724598448107 0
/proc/18345/statm: 2378 344 289 221 0 87 0
[pid=18347] ppid=18345 vsize=13185584 CPUtime=2.89 cores=1,3,5,7
/proc/18347/stat : 18347 (java) S 18345 18345 2911 0 -1 1077944320 20029 0 0 0 279 10 0 0 20 0 19 0 108555978 13502038016 49361 18446744073709551615 4194304 4196468 140723922629296 140723922611840 140711731588855 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 10211328 140723922637270 140723922637446 140723922637446 140723922640847 0
/proc/18347/statm: 3296396 49361 3207 1 0 3284688 0
[pid=18347/tid=18348] ppid=18345 vsize=13185584 CPUtime=1.32 cores=1,3,5,7
/proc/18347/task/18348/stat : 18348 (java) S 18345 18345 2911 0 -1 1077944384 10435 0 0 0 128 4 0 0 20 0 19 0 108555978 13502038016 49361 18446744073709551615 4194304 4196468 140723922629296 140711735829632 140711731599061 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 3 0 0 6293624 6294260 10211328 140723922637270 140723922637446 140723922637446 140723922640847 0
[pid=18347/tid=18349] ppid=18345 vsize=13185584 CPUtime=0.01 cores=1,3,5,7
/proc/18347/task/18349/stat : 18349 (java) S 18345 18345 2911 0 -1 1077944384 212 0 0 0 1 0 0 0 20 0 19 0 108555979 13502038016 49361 18446744073709551615 4194304 4196468 140723922629296 140711654415120 140711731599061 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10211328 140723922637270 140723922637446 140723922637446 140723922640847 0
[pid=18347/tid=18350] ppid=18345 vsize=13185584 CPUtime=0.01 cores=1,3,5,7
/proc/18347/task/18350/stat : 18350 (java) S 18345 18345 2911 0 -1 1077944384 50 0 0 0 1 0 0 0 20 0 19 0 108555979 13502038016 49361 18446744073709551615 4194304 4196468 140723922629296 140711653362576 140711731599061 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10211328 140723922637270 140723922637446 140723922637446 140723922640847 0
[pid=18347/tid=18351] ppid=18345 vsize=13185584 CPUtime=0.01 cores=1,3,5,7
/proc/18347/task/18351/stat : 18351 (java) S 18345 18345 2911 0 -1 1077944384 105 0 0 0 1 0 0 0 20 0 19 0 108555979 13502038016 49361 18446744073709551615 4194304 4196468 140723922629296 140711332670480 140711731599061 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10211328 140723922637270 140723922637446 140723922637446 140723922640847 0
[pid=18347/tid=18352] ppid=18345 vsize=13185584 CPUtime=0.01 cores=1,3,5,7
/proc/18347/task/18352/stat : 18352 (java) S 18345 18345 2911 0 -1 1077944384 232 0 0 0 1 0 0 0 20 0 19 0 108555979 13502038016 49361 18446744073709551615 4194304 4196468 140723922629296 140711331617936 140711731599061 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10211328 140723922637270 140723922637446 140723922637446 140723922640847 0
[pid=18347/tid=18353] ppid=18345 vsize=13185584 CPUtime=0 cores=1,3,5,7
/proc/18347/task/18353/stat : 18353 (java) S 18345 18345 2911 0 -1 1077944384 249 0 0 0 0 0 0 0 20 0 19 0 108555980 13502038016 49361 18446744073709551615 4194304 4196468 140723922629296 140711215671280 140711731600002 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10211328 140723922637270 140723922637446 140723922637446 140723922640847 0
[pid=18347/tid=18354] ppid=18345 vsize=13185584 CPUtime=0 cores=1,3,5,7
/proc/18347/task/18354/stat : 18354 (java) S 18345 18345 2911 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 19 0 108555981 13502038016 49361 18446744073709551615 4194304 4196468 140723922629296 140711214617504 140711731599061 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10211328 140723922637270 140723922637446 140723922637446 140723922640847 0
[pid=18347/tid=18355] ppid=18345 vsize=13185584 CPUtime=0 cores=1,3,5,7
/proc/18347/task/18355/stat : 18355 (java) S 18345 18345 2911 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 19 0 108555981 13502038016 49361 18446744073709551615 4194304 4196468 140723922629296 140711213564912 140711731599061 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10211328 140723922637270 140723922637446 140723922637446 140723922640847 0
[pid=18347/tid=18356] ppid=18345 vsize=13185584 CPUtime=0 cores=1,3,5,7
/proc/18347/task/18356/stat : 18356 (java) S 18345 18345 2911 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 108555983 13502038016 49361 18446744073709551615 4194304 4196468 140723922629296 140711212513488 140711731607451 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10211328 140723922637270 140723922637446 140723922637446 140723922640847 0
[pid=18347/tid=18357] ppid=18345 vsize=13185584 CPUtime=0.52 cores=1,3,5,7
/proc/18347/task/18357/stat : 18357 (java) R 18345 18345 2911 0 -1 4202560 2524 0 0 0 52 0 0 0 20 0 19 0 108555983 13502038016 49361 18446744073709551615 4194304 4196468 140723922629296 140711211461232 140711715548364 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10211328 140723922637270 140723922637446 140723922637446 140723922640847 0
[pid=18347/tid=18358] ppid=18345 vsize=13185584 CPUtime=0.47 cores=1,3,5,7
/proc/18347/task/18358/stat : 18358 (java) R 18345 18345 2911 0 -1 4202560 1736 0 0 0 47 0 0 0 20 0 19 0 108555983 13502038016 49361 18446744073709551615 4194304 4196468 140723922629296 140711210389952 140711715089353 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 10211328 140723922637270 140723922637446 140723922637446 140723922640847 0
[pid=18347/tid=18359] ppid=18345 vsize=13185584 CPUtime=0.42 cores=1,3,5,7
/proc/18347/task/18359/stat : 18359 (java) R 18345 18345 2911 0 -1 4202560 2955 0 0 0 41 1 0 0 20 0 19 0 108555983 13502038016 49361 18446744073709551615 4194304 4196468 140723922629296 140711209356016 140711715669342 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10211328 140723922637270 140723922637446 140723922637446 140723922640847 0
[pid=18347/tid=18360] ppid=18345 vsize=13185584 CPUtime=0 cores=1,3,5,7
/proc/18347/task/18360/stat : 18360 (java) S 18345 18345 2911 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 108555983 13502038016 49361 18446744073709551615 4194304 4196468 140723922629296 140711208303712 140711731599061 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10211328 140723922637270 140723922637446 140723922637446 140723922640847 0
[pid=18347/tid=18361] ppid=18345 vsize=13185584 CPUtime=0 cores=1,3,5,7
/proc/18347/task/18361/stat : 18361 (java) S 18345 18345 2911 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 19 0 108555987 13502038016 49361 18446744073709551615 4194304 4196468 140723922629296 140711207250224 140711731600002 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10211328 140723922637270 140723922637446 140723922637446 140723922640847 0
Current children cumulated CPU time (s) 2.89
Current children cumulated vsize (KiB) 13195096
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 18347 sig 9
??? kill 18345 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1.6992 s]
/proc/loadavg: 4.51 2.87 2.49 4/219 18361
/proc/meminfo: memFree=24164492/32770624 swapFree=0/371064
[pid=18345] ppid=18342 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/18345/stat : 18345 (xcsp3-exec) S 18342 18345 2911 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 108555969 9740288 344 18446744073709551615 4194304 5098028 140724598439120 140724598437224 140479549489788 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 8 0 0 7196144 7232144 22994944 140724598444441 140724598444650 140724598444650 140724598448107 0
/proc/18345/statm: 2378 344 289 221 0 87 0
[pid=18347] ppid=18345 vsize=13185584 CPUtime=3.63 cores=1,3,5,7
/proc/18347/stat : 18347 (java) S 18345 18345 2911 0 -1 1077944320 20869 0 0 0 353 10 0 0 20 0 19 0 108555978 13502038016 49672 18446744073709551615 4194304 4196468 140723922629296 140723922611840 140711731588855 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 10211328 140723922637270 140723922637446 140723922637446 140723922640847 0
/proc/18347/statm: 3296396 49672 3234 1 0 3284688 0
[pid=18347/tid=18348] ppid=18345 vsize=13185584 CPUtime=1.32 cores=1,3,5,7
/proc/18347/task/18348/stat : 18348 (java) S 18345 18345 2911 0 -1 1077944384 10435 0 0 0 128 4 0 0 20 0 19 0 108555978 13502038016 49672 18446744073709551615 4194304 4196468 140723922629296 140711735829632 140711731599061 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 3 0 0 6293624 6294260 10211328 140723922637270 140723922637446 140723922637446 140723922640847 0
[pid=18347/tid=18349] ppid=18345 vsize=13185584 CPUtime=0.01 cores=1,3,5,7
/proc/18347/task/18349/stat : 18349 (java) S 18345 18345 2911 0 -1 1077944384 212 0 0 0 1 0 0 0 20 0 19 0 108555979 13502038016 49672 18446744073709551615 4194304 4196468 140723922629296 140711654415120 140711731599061 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10211328 140723922637270 140723922637446 140723922637446 140723922640847 0
[pid=18347/tid=18350] ppid=18345 vsize=13185584 CPUtime=0.01 cores=1,3,5,7
/proc/18347/task/18350/stat : 18350 (java) S 18345 18345 2911 0 -1 1077944384 50 0 0 0 1 0 0 0 20 0 19 0 108555979 13502038016 49672 18446744073709551615 4194304 4196468 140723922629296 140711653362576 140711731599061 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10211328 140723922637270 140723922637446 140723922637446 140723922640847 0
[pid=18347/tid=18351] ppid=18345 vsize=13185584 CPUtime=0.01 cores=1,3,5,7
/proc/18347/task/18351/stat : 18351 (java) S 18345 18345 2911 0 -1 1077944384 105 0 0 0 1 0 0 0 20 0 19 0 108555979 13502038016 49672 18446744073709551615 4194304 4196468 140723922629296 140711332670480 140711731599061 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10211328 140723922637270 140723922637446 140723922637446 140723922640847 0
[pid=18347/tid=18352] ppid=18345 vsize=13185584 CPUtime=0.01 cores=1,3,5,7
/proc/18347/task/18352/stat : 18352 (java) S 18345 18345 2911 0 -1 1077944384 232 0 0 0 1 0 0 0 20 0 19 0 108555979 13502038016 49672 18446744073709551615 4194304 4196468 140723922629296 140711331617936 140711731599061 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10211328 140723922637270 140723922637446 140723922637446 140723922640847 0
[pid=18347/tid=18353] ppid=18345 vsize=13185584 CPUtime=0 cores=1,3,5,7
/proc/18347/task/18353/stat : 18353 (java) S 18345 18345 2911 0 -1 1077944384 250 0 0 0 0 0 0 0 20 0 19 0 108555980 13502038016 49672 18446744073709551615 4194304 4196468 140723922629296 140711215671280 140711731600002 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10211328 140723922637270 140723922637446 140723922637446 140723922640847 0
[pid=18347/tid=18354] ppid=18345 vsize=13185584 CPUtime=0 cores=1,3,5,7
/proc/18347/task/18354/stat : 18354 (java) S 18345 18345 2911 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 19 0 108555981 13502038016 49672 18446744073709551615 4194304 4196468 140723922629296 140711214617504 140711731599061 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10211328 140723922637270 140723922637446 140723922637446 140723922640847 0
[pid=18347/tid=18355] ppid=18345 vsize=13185584 CPUtime=0 cores=1,3,5,7
/proc/18347/task/18355/stat : 18355 (java) S 18345 18345 2911 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 19 0 108555981 13502038016 49672 18446744073709551615 4194304 4196468 140723922629296 140711213564912 140711731599061 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10211328 140723922637270 140723922637446 140723922637446 140723922640847 0
[pid=18347/tid=18356] ppid=18345 vsize=13185584 CPUtime=0 cores=1,3,5,7
/proc/18347/task/18356/stat : 18356 (java) S 18345 18345 2911 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 108555983 13502038016 49672 18446744073709551615 4194304 4196468 140723922629296 140711212513488 140711731607451 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10211328 140723922637270 140723922637446 140723922637446 140723922640847 0
[pid=18347/tid=18357] ppid=18345 vsize=13185584 CPUtime=0.71 cores=1,3,5,7
/proc/18347/task/18357/stat : 18357 (java) S 18345 18345 2911 0 -1 1077944384 2859 0 0 0 71 0 0 0 20 0 19 0 108555983 13502038016 49672 18446744073709551615 4194304 4196468 140723922629296 140711211461104 140711731600002 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10211328 140723922637270 140723922637446 140723922637446 140723922640847 0
[pid=18347/tid=18358] ppid=18345 vsize=13185584 CPUtime=0.55 cores=1,3,5,7
/proc/18347/task/18358/stat : 18358 (java) R 18345 18345 2911 0 -1 4202560 1903 0 0 0 55 0 0 0 20 0 19 0 108555983 13502038016 49672 18446744073709551615 4194304 4196468 140723922629296 140711210395128 140711716494001 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10211328 140723922637270 140723922637446 140723922637446 140723922640847 0
[pid=18347/tid=18359] ppid=18345 vsize=13185584 CPUtime=0.49 cores=1,3,5,7
/proc/18347/task/18359/stat : 18359 (java) R 18345 18345 2911 0 -1 4202560 3232 0 0 0 48 1 0 0 20 0 19 0 108555983 13502038016 49672 18446744073709551615 4194304 4196468 140723922629296 140711209352952 140711723619574 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 10211328 140723922637270 140723922637446 140723922637446 140723922640847 0
[pid=18347/tid=18360] ppid=18345 vsize=13185584 CPUtime=0 cores=1,3,5,7
/proc/18347/task/18360/stat : 18360 (java) S 18345 18345 2911 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 108555983 13502038016 49672 18446744073709551615 4194304 4196468 140723922629296 140711208303712 140711731599061 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10211328 140723922637270 140723922637446 140723922637446 140723922640847 0
[pid=18347/tid=18361] ppid=18345 vsize=13185584 CPUtime=0 cores=1,3,5,7
/proc/18347/task/18361/stat : 18361 (java) S 18345 18345 2911 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 19 0 108555987 13502038016 49672 18446744073709551615 4194304 4196468 140723922629296 140711207250224 140711731600002 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10211328 140723922637270 140723922637446 140723922637446 140723922640847 0
Current children cumulated CPU time (s) 3.63
Current children cumulated vsize (KiB) 13195096
[startup+1.7082 s]
/proc/loadavg: 4.51 2.87 2.49 4/219 18361
/proc/meminfo: memFree=24164492/32770624 swapFree=0/371064
[pid=18345] ppid=18342 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/18345/stat : 18345 (xcsp3-exec) S 18342 18345 2911 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 108555969 9740288 344 18446744073709551615 4194304 5098028 140724598439120 140724598437224 140479549489788 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 8 0 0 7196144 7232144 22994944 140724598444441 140724598444650 140724598444650 140724598448107 0
/proc/18345/statm: 2378 344 289 221 0 87 0
[pid=18347] ppid=18345 vsize=13185584 CPUtime=3.66 cores=1,3,5,7
/proc/18347/stat : 18347 (java) S 18345 18345 2911 0 -1 1077944320 20876 0 0 0 356 10 0 0 20 0 19 0 108555978 13502038016 49672 18446744073709551615 4194304 4196468 140723922629296 140723922611840 140711731588855 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 10211328 140723922637270 140723922637446 140723922637446 140723922640847 0
/proc/18347/statm: 3296396 49672 3234 1 0 3284688 0
[pid=18347/tid=18348] ppid=18345 vsize=13185584 CPUtime=1.32 cores=1,3,5,7
/proc/18347/task/18348/stat : 18348 (java) S 18345 18345 2911 0 -1 1077944384 10435 0 0 0 128 4 0 0 20 0 19 0 108555978 13502038016 49672 18446744073709551615 4194304 4196468 140723922629296 140711735829632 140711731599061 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 3 0 0 6293624 6294260 10211328 140723922637270 140723922637446 140723922637446 140723922640847 0
[pid=18347/tid=18349] ppid=18345 vsize=13185584 CPUtime=0.01 cores=1,3,5,7
/proc/18347/task/18349/stat : 18349 (java) S 18345 18345 2911 0 -1 1077944384 212 0 0 0 1 0 0 0 20 0 19 0 108555979 13502038016 49672 18446744073709551615 4194304 4196468 140723922629296 140711654415120 140711731599061 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10211328 140723922637270 140723922637446 140723922637446 140723922640847 0
[pid=18347/tid=18350] ppid=18345 vsize=13185584 CPUtime=0.01 cores=1,3,5,7
/proc/18347/task/18350/stat : 18350 (java) S 18345 18345 2911 0 -1 1077944384 50 0 0 0 1 0 0 0 20 0 19 0 108555979 13502038016 49672 18446744073709551615 4194304 4196468 140723922629296 140711653362576 140711731599061 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10211328 140723922637270 140723922637446 140723922637446 140723922640847 0
[pid=18347/tid=18351] ppid=18345 vsize=13185584 CPUtime=0.01 cores=1,3,5,7
/proc/18347/task/18351/stat : 18351 (java) S 18345 18345 2911 0 -1 1077944384 105 0 0 0 1 0 0 0 20 0 19 0 108555979 13502038016 49672 18446744073709551615 4194304 4196468 140723922629296 140711332670480 140711731599061 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10211328 140723922637270 140723922637446 140723922637446 140723922640847 0
[pid=18347/tid=18352] ppid=18345 vsize=13185584 CPUtime=0.01 cores=1,3,5,7
/proc/18347/task/18352/stat : 18352 (java) S 18345 18345 2911 0 -1 1077944384 232 0 0 0 1 0 0 0 20 0 19 0 108555979 13502038016 49672 18446744073709551615 4194304 4196468 140723922629296 140711331617936 140711731599061 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10211328 140723922637270 140723922637446 140723922637446 140723922640847 0
[pid=18347/tid=18353] ppid=18345 vsize=13185584 CPUtime=0 cores=1,3,5,7
/proc/18347/task/18353/stat : 18353 (java) S 18345 18345 2911 0 -1 1077944384 250 0 0 0 0 0 0 0 20 0 19 0 108555980 13502038016 49672 18446744073709551615 4194304 4196468 140723922629296 140711215671280 140711731600002 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10211328 140723922637270 140723922637446 140723922637446 140723922640847 0
[pid=18347/tid=18354] ppid=18345 vsize=13185584 CPUtime=0 cores=1,3,5,7
/proc/18347/task/18354/stat : 18354 (java) S 18345 18345 2911 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 19 0 108555981 13502038016 49672 18446744073709551615 4194304 4196468 140723922629296 140711214617504 140711731599061 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10211328 140723922637270 140723922637446 140723922637446 140723922640847 0
[pid=18347/tid=18355] ppid=18345 vsize=13185584 CPUtime=0 cores=1,3,5,7
/proc/18347/task/18355/stat : 18355 (java) S 18345 18345 2911 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 19 0 108555981 13502038016 49672 18446744073709551615 4194304 4196468 140723922629296 140711213564912 140711731599061 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10211328 140723922637270 140723922637446 140723922637446 140723922640847 0
[pid=18347/tid=18356] ppid=18345 vsize=13185584 CPUtime=0 cores=1,3,5,7
/proc/18347/task/18356/stat : 18356 (java) S 18345 18345 2911 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 108555983 13502038016 49672 18446744073709551615 4194304 4196468 140723922629296 140711212513488 140711731607451 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10211328 140723922637270 140723922637446 140723922637446 140723922640847 0
[pid=18347/tid=18357] ppid=18345 vsize=13185584 CPUtime=0.71 cores=1,3,5,7
/proc/18347/task/18357/stat : 18357 (java) S 18345 18345 2911 0 -1 1077944384 2865 0 0 0 71 0 0 0 20 0 19 0 108555983 13502038016 49672 18446744073709551615 4194304 4196468 140723922629296 140711211461104 140711731600002 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10211328 140723922637270 140723922637446 140723922637446 140723922640847 0
[pid=18347/tid=18358] ppid=18345 vsize=13185584 CPUtime=0.55 cores=1,3,5,7
/proc/18347/task/18358/stat : 18358 (java) R 18345 18345 2911 0 -1 4202560 1903 0 0 0 55 0 0 0 20 0 19 0 108555983 13502038016 49672 18446744073709551615 4194304 4196468 140723922629296 140711210395128 140711716494001 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10211328 140723922637270 140723922637446 140723922637446 140723922640847 0
[pid=18347/tid=18359] ppid=18345 vsize=13185584 CPUtime=0.49 cores=1,3,5,7
/proc/18347/task/18359/stat : 18359 (java) R 18345 18345 2911 0 -1 1077944384 3233 0 0 0 48 1 0 0 20 0 19 0 108555983 13502038016 49672 18446744073709551615 4194304 4196468 140723922629296 140711209356016 140711731600002 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 10211328 140723922637270 140723922637446 140723922637446 140723922640847 0
[pid=18347/tid=18360] ppid=18345 vsize=13185584 CPUtime=0 cores=1,3,5,7
/proc/18347/task/18360/stat : 18360 (java) S 18345 18345 2911 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 108555983 13502038016 49672 18446744073709551615 4194304 4196468 140723922629296 140711208303712 140711731599061 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10211328 140723922637270 140723922637446 140723922637446 140723922640847 0
[pid=18347/tid=18361] ppid=18345 vsize=13185584 CPUtime=0 cores=1,3,5,7
/proc/18347/task/18361/stat : 18361 (java) S 18345 18345 2911 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 19 0 108555987 13502038016 49672 18446744073709551615 4194304 4196468 140723922629296 140711207250224 140711731600002 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10211328 140723922637270 140723922637446 140723922637446 140723922640847 0
Current children cumulated CPU time (s) 3.66
Current children cumulated vsize (KiB) 13195096
Child status: 0
Real time (s): 1.75805
CPU time (s): 3.81369
CPU user time (s): 3.70573
CPU system time (s): 0.107956
CPU usage (%): 216.927
Max. virtual memory (cumulated for all children) (KiB): 13195096
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.70573
system time used= 0.107956
maximum resident set size= 200124
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 21835
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= 1953
involuntary context switches= 54
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.007973 second user time and 0.013668 second system time
The end