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-4254973-1501619964/watcher-4254973-1501619964 -o /tmp/evaluation-result-4254973-1501619964/solver-4254973-1501619964 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node131-1501617193-9963 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 561800793 HOME/instance-4254973-1501619964.xml
pid=11542
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 1.66 1.73 1.76 2/195 11545
/proc/meminfo: memFree=26867716/32770624 swapFree=0/191484
[pid=11545] ppid=11542 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/11545/stat : 11545 (runsolver) D 11542 11545 5131 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 10616671 24240128 106 18446744073709551615 4194304 4338465 140735805384544 140735805382184 139982568559319 0 0 1 24578 18446744071580418449 0 0 17 7 0 0 0 0 0 6438912 6441760 30650368 140735805386846 140735805387334 140735805387334 140735805390794 0
/proc/11545/statm: 5918 106 53 36 0 2156 0
[startup+0.100106 s]
/proc/loadavg: 1.66 1.73 1.76 2/195 11545
/proc/meminfo: memFree=26867716/32770624 swapFree=0/191484
[pid=11545] ppid=11542 vsize=1084 CPUtime=0 cores=1,3,5,7
/proc/11545/stat : 11545 (xcsp3-exec) R 11542 11545 5131 0 -1 4194304 114 0 0 0 0 0 0 0 20 0 1 0 10616671 1110016 1 18446744073709551615 0 0 140729166680476 140735805382040 139982568385015 0 0 1 0 0 0 0 17 1 0 0 9 0 0 0 0 7258112 140729166680476 0 0 0 0
/proc/11545/statm: 308 1 0 221 0 43 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 1084
[startup+0.200222 s]
/proc/loadavg: 1.66 1.73 1.76 2/195 11545
/proc/meminfo: memFree=26867716/32770624 swapFree=0/191484
[pid=11545] ppid=11542 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/11545/stat : 11545 (xcsp3-exec) S 11542 11545 5131 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10616671 9740288 345 18446744073709551615 4194304 5098028 140729166673136 140729166671240 140560642675324 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 9 0 0 7196144 7232144 17473536 140729166680476 140729166680679 140729166680679 140729166684139 0
/proc/11545/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300241 s]
/proc/loadavg: 1.66 1.73 1.76 2/195 11545
/proc/meminfo: memFree=26867716/32770624 swapFree=0/191484
[pid=11545] ppid=11542 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/11545/stat : 11545 (xcsp3-exec) S 11542 11545 5131 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10616671 9740288 345 18446744073709551615 4194304 5098028 140729166673136 140729166671240 140560642675324 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 9 0 0 7196144 7232144 17473536 140729166680476 140729166680679 140729166680679 140729166684139 0
/proc/11545/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.702242 s]
/proc/loadavg: 1.66 1.73 1.76 2/195 11545
/proc/meminfo: memFree=26867716/32770624 swapFree=0/191484
[pid=11545] ppid=11542 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/11545/stat : 11545 (xcsp3-exec) S 11542 11545 5131 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10616671 9740288 345 18446744073709551615 4194304 5098028 140729166673136 140729166671240 140560642675324 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 9 0 0 7196144 7232144 17473536 140729166680476 140729166680679 140729166680679 140729166684139 0
/proc/11545/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50071 s]
/proc/loadavg: 1.66 1.73 1.76 5/211 11561
/proc/meminfo: memFree=26785220/32770624 swapFree=0/191480
[pid=11545] ppid=11542 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/11545/stat : 11545 (xcsp3-exec) S 11542 11545 5131 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10616671 9740288 345 18446744073709551615 4194304 5098028 140729166673136 140729166671240 140560642675324 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 9 0 0 7196144 7232144 17473536 140729166680476 140729166680679 140729166680679 140729166684139 0
/proc/11545/statm: 2378 345 289 221 0 87 0
[pid=11547] ppid=11545 vsize=13980732 CPUtime=3.44 cores=1,3,5,7
/proc/11547/stat : 11547 (java) S 11545 11545 5131 0 -1 1077944320 27401 0 0 0 338 6 0 0 20 0 15 0 10616681 14316269568 27893 18446744073709551615 4194304 4196468 140725267251616 140725267234160 140509591232247 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 26468352 140725267259860 140725267260035 140725267260035 140725267263439 0
/proc/11547/statm: 3495183 27893 3184 1 0 3483484 0
[pid=11547/tid=11548] ppid=11545 vsize=13980732 CPUtime=1.33 cores=1,3,5,7
/proc/11547/task/11548/stat : 11548 (java) R 11545 11545 5131 0 -1 4202560 8849 0 0 0 130 3 0 0 20 0 15 0 10616681 14316269568 27893 18446744073709551615 4194304 4196468 140725267251616 140509595470024 140509205335228 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 26468352 140725267259860 140725267260035 140725267260035 140725267263439 0
[pid=11547/tid=11549] ppid=11545 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/11547/task/11549/stat : 11549 (java) S 11545 11545 5131 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10616682 14316269568 27893 18446744073709551615 4194304 4196468 140725267251616 140509525666576 140509591242453 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26468352 140725267259860 140725267260035 140725267260035 140725267263439 0
[pid=11547/tid=11550] ppid=11545 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/11547/task/11550/stat : 11550 (java) S 11545 11545 5131 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10616682 14316269568 27893 18446744073709551615 4194304 4196468 140725267251616 140509524614032 140509591242453 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26468352 140725267259860 140725267260035 140725267260035 140725267263439 0
[pid=11547/tid=11551] ppid=11545 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/11547/task/11551/stat : 11551 (java) S 11545 11545 5131 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10616682 14316269568 27893 18446744073709551615 4194304 4196468 140725267251616 140509523561488 140509591242453 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26468352 140725267259860 140725267260035 140725267260035 140725267263439 0
[pid=11547/tid=11552] ppid=11545 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/11547/task/11552/stat : 11552 (java) S 11545 11545 5131 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10616682 14316269568 27893 18446744073709551615 4194304 4196468 140725267251616 140509522508944 140509591242453 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26468352 140725267259860 140725267260035 140725267260035 140725267263439 0
[pid=11547/tid=11553] ppid=11545 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/11547/task/11553/stat : 11553 (java) S 11545 11545 5131 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 10616683 14316269568 27893 18446744073709551615 4194304 4196468 140725267251616 140508708968432 140509591243394 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26468352 140725267259860 140725267260035 140725267260035 140725267263439 0
[pid=11547/tid=11554] ppid=11545 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/11547/task/11554/stat : 11554 (java) S 11545 11545 5131 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 10616684 14316269568 27893 18446744073709551615 4194304 4196468 140725267251616 140508707914656 140509591242453 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26468352 140725267259860 140725267260035 140725267260035 140725267263439 0
[pid=11547/tid=11555] ppid=11545 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/11547/task/11555/stat : 11555 (java) S 11545 11545 5131 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 10616684 14316269568 27893 18446744073709551615 4194304 4196468 140725267251616 140508706862064 140509591242453 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26468352 140725267259860 140725267260035 140725267260035 140725267263439 0
[pid=11547/tid=11556] ppid=11545 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/11547/task/11556/stat : 11556 (java) S 11545 11545 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10616686 14316269568 27893 18446744073709551615 4194304 4196468 140725267251616 140508705810640 140509591250843 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26468352 140725267259860 140725267260035 140725267260035 140725267263439 0
[pid=11547/tid=11557] ppid=11545 vsize=13980732 CPUtime=0.85 cores=1,3,5,7
/proc/11547/task/11557/stat : 11557 (java) S 11545 11545 5131 0 -1 1077944384 8569 0 0 0 84 1 0 0 20 0 15 0 10616686 14316269568 27893 18446744073709551615 4194304 4196468 140725267251616 140508704758256 140509591243394 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26468352 140725267259860 140725267260035 140725267260035 140725267263439 0
[pid=11547/tid=11558] ppid=11545 vsize=13980732 CPUtime=0.8 cores=1,3,5,7
/proc/11547/task/11558/stat : 11558 (java) R 11545 11545 5131 0 -1 4202560 6814 0 0 0 80 0 0 0 20 0 15 0 10616686 14316269568 27893 18446744073709551615 4194304 4196468 140725267251616 140508703705632 140509572775970 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26468352 140725267259860 140725267260035 140725267260035 140725267263439 0
[pid=11547/tid=11559] ppid=11545 vsize=13980732 CPUtime=0.41 cores=1,3,5,7
/proc/11547/task/11559/stat : 11559 (java) S 11545 11545 5131 0 -1 1077944384 1858 0 0 0 41 0 0 0 20 0 15 0 10616686 14316269568 27893 18446744073709551615 4194304 4196468 140725267251616 140508702653168 140509591243394 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26468352 140725267259860 140725267260035 140725267260035 140725267263439 0
[pid=11547/tid=11560] ppid=11545 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/11547/task/11560/stat : 11560 (java) S 11545 11545 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10616686 14316269568 27893 18446744073709551615 4194304 4196468 140725267251616 140508701600864 140509591242453 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26468352 140725267259860 140725267260035 140725267260035 140725267263439 0
[pid=11547/tid=11561] ppid=11545 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/11547/task/11561/stat : 11561 (java) S 11545 11545 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10616691 14316269568 27893 18446744073709551615 4194304 4196468 140725267251616 140508700547376 140509591243394 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26468352 140725267259860 140725267260035 140725267260035 140725267263439 0
Current children cumulated CPU time (s) 3.44
Current children cumulated vsize (KiB) 13990244
[startup+3.10066 s]
/proc/loadavg: 1.66 1.73 1.76 3/211 11561
/proc/meminfo: memFree=26742600/32770624 swapFree=0/191484
[pid=11545] ppid=11542 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/11545/stat : 11545 (xcsp3-exec) S 11542 11545 5131 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10616671 9740288 345 18446744073709551615 4194304 5098028 140729166673136 140729166671240 140560642675324 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 9 0 0 7196144 7232144 17473536 140729166680476 140729166680679 140729166680679 140729166684139 0
/proc/11545/statm: 2378 345 289 221 0 87 0
[pid=11547] ppid=11545 vsize=13980732 CPUtime=6.87 cores=1,3,5,7
/proc/11547/stat : 11547 (java) S 11545 11545 5131 0 -1 1077944320 30132 0 0 0 678 9 0 0 20 0 15 0 10616681 14316269568 43268 18446744073709551615 4194304 4196468 140725267251616 140725267234160 140509591232247 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 26468352 140725267259860 140725267260035 140725267260035 140725267263439 0
/proc/11547/statm: 3495183 43268 3187 1 0 3483484 0
[pid=11547/tid=11548] ppid=11545 vsize=13980732 CPUtime=2.93 cores=1,3,5,7
/proc/11547/task/11548/stat : 11548 (java) R 11545 11545 5131 0 -1 4202560 9872 0 0 0 288 5 0 0 20 0 15 0 10616681 14316269568 43268 18446744073709551615 4194304 4196468 140725267251616 140509595468584 140509206821725 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 26468352 140725267259860 140725267260035 140725267260035 140725267263439 0
[pid=11547/tid=11549] ppid=11545 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/11547/task/11549/stat : 11549 (java) S 11545 11545 5131 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10616682 14316269568 43268 18446744073709551615 4194304 4196468 140725267251616 140509525666576 140509591242453 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26468352 140725267259860 140725267260035 140725267260035 140725267263439 0
[pid=11547/tid=11550] ppid=11545 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/11547/task/11550/stat : 11550 (java) S 11545 11545 5131 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10616682 14316269568 43268 18446744073709551615 4194304 4196468 140725267251616 140509524614032 140509591242453 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26468352 140725267259860 140725267260035 140725267260035 140725267263439 0
[pid=11547/tid=11551] ppid=11545 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/11547/task/11551/stat : 11551 (java) S 11545 11545 5131 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10616682 14316269568 43268 18446744073709551615 4194304 4196468 140725267251616 140509523561488 140509591242453 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26468352 140725267259860 140725267260035 140725267260035 140725267263439 0
[pid=11547/tid=11552] ppid=11545 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/11547/task/11552/stat : 11552 (java) S 11545 11545 5131 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10616682 14316269568 43268 18446744073709551615 4194304 4196468 140725267251616 140509522508944 140509591242453 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26468352 140725267259860 140725267260035 140725267260035 140725267263439 0
[pid=11547/tid=11553] ppid=11545 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/11547/task/11553/stat : 11553 (java) S 11545 11545 5131 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 15 0 10616683 14316269568 43268 18446744073709551615 4194304 4196468 140725267251616 140508708968432 140509591243394 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26468352 140725267259860 140725267260035 140725267260035 140725267263439 0
[pid=11547/tid=11554] ppid=11545 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/11547/task/11554/stat : 11554 (java) S 11545 11545 5131 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 10616684 14316269568 43268 18446744073709551615 4194304 4196468 140725267251616 140508707914656 140509591242453 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26468352 140725267259860 140725267260035 140725267260035 140725267263439 0
[pid=11547/tid=11555] ppid=11545 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/11547/task/11555/stat : 11555 (java) S 11545 11545 5131 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 10616684 14316269568 43268 18446744073709551615 4194304 4196468 140725267251616 140508706862064 140509591242453 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26468352 140725267259860 140725267260035 140725267260035 140725267263439 0
[pid=11547/tid=11556] ppid=11545 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/11547/task/11556/stat : 11556 (java) S 11545 11545 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10616686 14316269568 43268 18446744073709551615 4194304 4196468 140725267251616 140508705810640 140509591250843 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26468352 140725267259860 140725267260035 140725267260035 140725267263439 0
[pid=11547/tid=11557] ppid=11545 vsize=13980732 CPUtime=1.72 cores=1,3,5,7
/proc/11547/task/11557/stat : 11557 (java) S 11545 11545 5131 0 -1 1077944384 9190 0 0 0 171 1 0 0 20 0 15 0 10616686 14316269568 43268 18446744073709551615 4194304 4196468 140725267251616 140508704758256 140509591243394 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26468352 140725267259860 140725267260035 140725267260035 140725267263439 0
[pid=11547/tid=11558] ppid=11545 vsize=13980732 CPUtime=1.62 cores=1,3,5,7
/proc/11547/task/11558/stat : 11558 (java) S 11545 11545 5131 0 -1 1077944384 7319 0 0 0 161 1 0 0 20 0 15 0 10616686 14316269568 43268 18446744073709551615 4194304 4196468 140725267251616 140508703705712 140509591243394 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26468352 140725267259860 140725267260035 140725267260035 140725267263439 0
[pid=11547/tid=11559] ppid=11545 vsize=13980732 CPUtime=0.55 cores=1,3,5,7
/proc/11547/task/11559/stat : 11559 (java) S 11545 11545 5131 0 -1 1077944384 2387 0 0 0 55 0 0 0 20 0 15 0 10616686 14316269568 43268 18446744073709551615 4194304 4196468 140725267251616 140508702653168 140509591243394 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26468352 140725267259860 140725267260035 140725267260035 140725267263439 0
[pid=11547/tid=11560] ppid=11545 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/11547/task/11560/stat : 11560 (java) S 11545 11545 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10616686 14316269568 43268 18446744073709551615 4194304 4196468 140725267251616 140508701600864 140509591242453 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26468352 140725267259860 140725267260035 140725267260035 140725267263439 0
[pid=11547/tid=11561] ppid=11545 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/11547/task/11561/stat : 11561 (java) S 11545 11545 5131 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 15 0 10616691 14316269568 43268 18446744073709551615 4194304 4196468 140725267251616 140508700547376 140509591243394 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26468352 140725267259860 140725267260035 140725267260035 140725267263439 0
Current children cumulated CPU time (s) 6.87
Current children cumulated vsize (KiB) 13990244
[startup+6.30111 s]
/proc/loadavg: 1.68 1.74 1.77 3/211 11561
/proc/meminfo: memFree=26650056/32770624 swapFree=0/191484
[pid=11545] ppid=11542 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/11545/stat : 11545 (xcsp3-exec) S 11542 11545 5131 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10616671 9740288 345 18446744073709551615 4194304 5098028 140729166673136 140729166671240 140560642675324 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 9 0 0 7196144 7232144 17473536 140729166680476 140729166680679 140729166680679 140729166684139 0
/proc/11545/statm: 2378 345 289 221 0 87 0
[pid=11547] ppid=11545 vsize=13980732 CPUtime=10.86 cores=1,3,5,7
/proc/11547/stat : 11547 (java) S 11545 11545 5131 0 -1 1077944320 38971 0 0 0 1074 12 0 0 20 0 15 0 10616681 14316269568 57289 18446744073709551615 4194304 4196468 140725267251616 140725267234160 140509591232247 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 26468352 140725267259860 140725267260035 140725267260035 140725267263439 0
/proc/11547/statm: 3495183 57289 3211 1 0 3483484 0
[pid=11547/tid=11548] ppid=11545 vsize=13980732 CPUtime=6.11 cores=1,3,5,7
/proc/11547/task/11548/stat : 11548 (java) R 11545 11545 5131 0 -1 4202560 10935 0 0 0 606 5 0 0 20 0 15 0 10616681 14316269568 57289 18446744073709551615 4194304 4196468 140725267251616 140509595467920 140509570957288 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 26468352 140725267259860 140725267260035 140725267260035 140725267263439 0
[pid=11547/tid=11549] ppid=11545 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/11547/task/11549/stat : 11549 (java) S 11545 11545 5131 0 -1 1077944384 205 0 0 0 1 0 0 0 20 0 15 0 10616682 14316269568 57289 18446744073709551615 4194304 4196468 140725267251616 140509525666576 140509591242453 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26468352 140725267259860 140725267260035 140725267260035 140725267263439 0
[pid=11547/tid=11550] ppid=11545 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/11547/task/11550/stat : 11550 (java) S 11545 11545 5131 0 -1 1077944384 70 0 0 0 1 0 0 0 20 0 15 0 10616682 14316269568 57289 18446744073709551615 4194304 4196468 140725267251616 140509524614032 140509591242453 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26468352 140725267259860 140725267260035 140725267260035 140725267263439 0
[pid=11547/tid=11551] ppid=11545 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/11547/task/11551/stat : 11551 (java) S 11545 11545 5131 0 -1 1077944384 57 0 0 0 1 0 0 0 20 0 15 0 10616682 14316269568 57289 18446744073709551615 4194304 4196468 140725267251616 140509523561488 140509591242453 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26468352 140725267259860 140725267260035 140725267260035 140725267263439 0
[pid=11547/tid=11552] ppid=11545 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/11547/task/11552/stat : 11552 (java) S 11545 11545 5131 0 -1 1077944384 672 0 0 0 1 0 0 0 20 0 15 0 10616682 14316269568 57289 18446744073709551615 4194304 4196468 140725267251616 140509522508944 140509591242453 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26468352 140725267259860 140725267260035 140725267260035 140725267263439 0
[pid=11547/tid=11553] ppid=11545 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/11547/task/11553/stat : 11553 (java) S 11545 11545 5131 0 -1 1077944384 454 0 0 0 0 0 0 0 20 0 15 0 10616683 14316269568 57289 18446744073709551615 4194304 4196468 140725267251616 140508708968432 140509591243394 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26468352 140725267259860 140725267260035 140725267260035 140725267263439 0
[pid=11547/tid=11554] ppid=11545 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/11547/task/11554/stat : 11554 (java) S 11545 11545 5131 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 10616684 14316269568 57289 18446744073709551615 4194304 4196468 140725267251616 140508707914656 140509591242453 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26468352 140725267259860 140725267260035 140725267260035 140725267263439 0
[pid=11547/tid=11555] ppid=11545 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/11547/task/11555/stat : 11555 (java) S 11545 11545 5131 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 10616684 14316269568 57289 18446744073709551615 4194304 4196468 140725267251616 140508706862064 140509591242453 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26468352 140725267259860 140725267260035 140725267260035 140725267263439 0
[pid=11547/tid=11556] ppid=11545 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/11547/task/11556/stat : 11556 (java) S 11545 11545 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10616686 14316269568 57289 18446744073709551615 4194304 4196468 140725267251616 140508705810640 140509591250843 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26468352 140725267259860 140725267260035 140725267260035 140725267263439 0
[pid=11547/tid=11557] ppid=11545 vsize=13980732 CPUtime=2.09 cores=1,3,5,7
/proc/11547/task/11557/stat : 11557 (java) S 11545 11545 5131 0 -1 1077944384 11886 0 0 0 208 1 0 0 20 0 15 0 10616686 14316269568 57289 18446744073709551615 4194304 4196468 140725267251616 140508704758256 140509591243394 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26468352 140725267259860 140725267260035 140725267260035 140725267263439 0
[pid=11547/tid=11558] ppid=11545 vsize=13980732 CPUtime=1.95 cores=1,3,5,7
/proc/11547/task/11558/stat : 11558 (java) S 11545 11545 5131 0 -1 1077944384 9703 0 0 0 194 1 0 0 20 0 15 0 10616686 14316269568 57289 18446744073709551615 4194304 4196468 140725267251616 140508703705712 140509591243394 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26468352 140725267259860 140725267260035 140725267260035 140725267263439 0
[pid=11547/tid=11559] ppid=11545 vsize=13980732 CPUtime=0.59 cores=1,3,5,7
/proc/11547/task/11559/stat : 11559 (java) S 11545 11545 5131 0 -1 1077944384 3201 0 0 0 59 0 0 0 20 0 15 0 10616686 14316269568 57289 18446744073709551615 4194304 4196468 140725267251616 140508702653168 140509591243394 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26468352 140725267259860 140725267260035 140725267260035 140725267263439 0
[pid=11547/tid=11560] ppid=11545 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/11547/task/11560/stat : 11560 (java) S 11545 11545 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10616686 14316269568 57289 18446744073709551615 4194304 4196468 140725267251616 140508701600864 140509591242453 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26468352 140725267259860 140725267260035 140725267260035 140725267263439 0
[pid=11547/tid=11561] ppid=11545 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/11547/task/11561/stat : 11561 (java) S 11545 11545 5131 0 -1 1077944384 422 0 0 0 0 0 0 0 20 0 15 0 10616691 14316269568 57289 18446744073709551615 4194304 4196468 140725267251616 140508700547376 140509591243394 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26468352 140725267259860 140725267260035 140725267260035 140725267263439 0
Current children cumulated CPU time (s) 10.86
Current children cumulated vsize (KiB) 13990244
[startup+12.7007 s]
/proc/loadavg: 1.71 1.74 1.77 2/192 11598
/proc/meminfo: memFree=31708688/32770624 swapFree=0/191504
[pid=11545] ppid=11542 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/11545/stat : 11545 (xcsp3-exec) S 11542 11545 5131 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10616671 9740288 345 18446744073709551615 4194304 5098028 140729166673136 140729166671240 140560642675324 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 9 0 0 7196144 7232144 17473536 140729166680476 140729166680679 140729166680679 140729166684139 0
/proc/11545/statm: 2378 345 289 221 0 87 0
[pid=11547] ppid=11545 vsize=13980732 CPUtime=17.98 cores=1,3,5,7
/proc/11547/stat : 11547 (java) S 11545 11545 5131 0 -1 1077944320 47167 0 0 0 1780 18 0 0 20 0 15 0 10616681 14316269568 66350 18446744073709551615 4194304 4196468 140725267251616 140725267234160 140509591232247 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 26468352 140725267259860 140725267260035 140725267260035 140725267263439 0
/proc/11547/statm: 3495183 66350 3223 1 0 3483484 0
[pid=11547/tid=11548] ppid=11545 vsize=13980732 CPUtime=12.47 cores=1,3,5,7
/proc/11547/task/11548/stat : 11548 (java) R 11545 11545 5131 0 -1 4202560 12421 0 0 0 1241 6 0 0 20 0 15 0 10616681 14316269568 66350 18446744073709551615 4194304 4196468 140725267251616 140509595468080 140509207167748 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 26468352 140725267259860 140725267260035 140725267260035 140725267263439 0
[pid=11547/tid=11549] ppid=11545 vsize=13980732 CPUtime=0.05 cores=1,3,5,7
/proc/11547/task/11549/stat : 11549 (java) S 11545 11545 5131 0 -1 1077944384 492 0 0 0 4 1 0 0 20 0 15 0 10616682 14316269568 66350 18446744073709551615 4194304 4196468 140725267251616 140509525666576 140509591242453 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26468352 140725267259860 140725267260035 140725267260035 140725267263439 0
[pid=11547/tid=11550] ppid=11545 vsize=13980732 CPUtime=0.05 cores=1,3,5,7
/proc/11547/task/11550/stat : 11550 (java) S 11545 11545 5131 0 -1 1077944384 232 0 0 0 4 1 0 0 20 0 15 0 10616682 14316269568 66350 18446744073709551615 4194304 4196468 140725267251616 140509524614032 140509591242453 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26468352 140725267259860 140725267260035 140725267260035 140725267263439 0
################
# More data... #
################
[pid=11547/tid=11554] ppid=11545 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/11547/task/11554/stat : 11554 (java) S 11545 11545 5131 0 -1 1077944384 76 0 0 0 0 0 0 0 20 0 15 0 10616684 14316269568 114951 18446744073709551615 4194304 4196468 140725267251616 140508707914720 140509591242453 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26468352 140725267259860 140725267260035 140725267260035 140725267263439 0
[pid=11547/tid=11555] ppid=11545 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/11547/task/11555/stat : 11555 (java) S 11545 11545 5131 0 -1 1077944384 86 0 0 0 0 0 0 0 20 0 15 0 10616684 14316269568 114951 18446744073709551615 4194304 4196468 140725267251616 140508706862080 140509591242453 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26468352 140725267259860 140725267260035 140725267260035 140725267263439 0
[pid=11547/tid=11556] ppid=11545 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/11547/task/11556/stat : 11556 (java) S 11545 11545 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10616686 14316269568 114951 18446744073709551615 4194304 4196468 140725267251616 140508705810640 140509591250843 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26468352 140725267259860 140725267260035 140725267260035 140725267263439 0
[pid=11547/tid=11557] ppid=11545 vsize=13980732 CPUtime=2.76 cores=1,3,5,7
/proc/11547/task/11557/stat : 11557 (java) S 11545 11545 5131 0 -1 1077944384 17360 0 0 0 274 2 0 0 20 0 15 0 10616686 14316269568 114951 18446744073709551615 4194304 4196468 140725267251616 140508704758256 140509591243394 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26468352 140725267259860 140725267260035 140725267260035 140725267263439 0
[pid=11547/tid=11558] ppid=11545 vsize=13980732 CPUtime=2.63 cores=1,3,5,7
/proc/11547/task/11558/stat : 11558 (java) S 11545 11545 5131 0 -1 1077944384 20420 0 0 0 261 2 0 0 20 0 15 0 10616686 14316269568 114951 18446744073709551615 4194304 4196468 140725267251616 140508703705712 140509591243394 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26468352 140725267259860 140725267260035 140725267260035 140725267263439 0
[pid=11547/tid=11559] ppid=11545 vsize=13980732 CPUtime=0.74 cores=1,3,5,7
/proc/11547/task/11559/stat : 11559 (java) S 11545 11545 5131 0 -1 1077944384 6827 0 0 0 73 1 0 0 20 0 15 0 10616686 14316269568 114951 18446744073709551615 4194304 4196468 140725267251616 140508702653168 140509591243394 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26468352 140725267259860 140725267260035 140725267260035 140725267263439 0
[pid=11547/tid=11560] ppid=11545 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/11547/task/11560/stat : 11560 (java) S 11545 11545 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10616686 14316269568 114951 18446744073709551615 4194304 4196468 140725267251616 140508701600864 140509591242453 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26468352 140725267259860 140725267260035 140725267260035 140725267263439 0
[pid=11547/tid=11561] ppid=11545 vsize=13980732 CPUtime=0.02 cores=1,3,5,7
/proc/11547/task/11561/stat : 11561 (java) S 11545 11545 5131 0 -1 1077944384 786 0 0 0 1 1 0 0 20 0 15 0 10616691 14316269568 114951 18446744073709551615 4194304 4196468 140725267251616 140508700547376 140509591243394 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26468352 140725267259860 140725267260035 140725267260035 140725267263439 0
Current children cumulated CPU time (s) 109.84
Current children cumulated vsize (KiB) 13990244
[startup+162.301 s]
/proc/loadavg: 1.96 1.84 1.80 3/211 11649
/proc/meminfo: memFree=30281944/32770624 swapFree=0/191636
[pid=11545] ppid=11542 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/11545/stat : 11545 (xcsp3-exec) S 11542 11545 5131 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10616671 9740288 345 18446744073709551615 4194304 5098028 140729166673136 140729166671240 140560642675324 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 9 0 0 7196144 7232144 17473536 140729166680476 140729166680679 140729166680679 140729166684139 0
/proc/11545/statm: 2378 345 289 221 0 87 0
[pid=11547] ppid=11545 vsize=13980732 CPUtime=173.67 cores=1,3,5,7
/proc/11547/stat : 11547 (java) S 11545 11545 5131 0 -1 1077944320 86826 0 0 0 17301 66 0 0 20 0 15 0 10616681 14316269568 143178 18446744073709551615 4194304 4196468 140725267251616 140725267234160 140509591232247 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 26468352 140725267259860 140725267260035 140725267260035 140725267263439 0
/proc/11547/statm: 3495183 143178 3247 1 0 3483484 0
[pid=11547/tid=11548] ppid=11545 vsize=13980732 CPUtime=160.15 cores=1,3,5,7
/proc/11547/task/11548/stat : 11548 (java) R 11545 11545 5131 0 -1 4202560 17006 0 0 0 16008 7 0 0 20 0 15 0 10616681 14316269568 143178 18446744073709551615 4194304 4196468 140725267251616 140509595471456 140509206480431 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 26468352 140725267259860 140725267260035 140725267260035 140725267263439 0
[pid=11547/tid=11549] ppid=11545 vsize=13980732 CPUtime=1.51 cores=1,3,5,7
/proc/11547/task/11549/stat : 11549 (java) S 11545 11545 5131 0 -1 1077944384 2416 0 0 0 140 11 0 0 20 0 15 0 10616682 14316269568 143178 18446744073709551615 4194304 4196468 140725267251616 140509525666576 140509591242453 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26468352 140725267259860 140725267260035 140725267260035 140725267263439 0
[pid=11547/tid=11550] ppid=11545 vsize=13980732 CPUtime=1.53 cores=1,3,5,7
/proc/11547/task/11550/stat : 11550 (java) S 11545 11545 5131 0 -1 1077944384 2695 0 0 0 141 12 0 0 20 0 15 0 10616682 14316269568 143178 18446744073709551615 4194304 4196468 140725267251616 140509524614032 140509591242453 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26468352 140725267259860 140725267260035 140725267260035 140725267263439 0
[pid=11547/tid=11551] ppid=11545 vsize=13980732 CPUtime=1.51 cores=1,3,5,7
/proc/11547/task/11551/stat : 11551 (java) S 11545 11545 5131 0 -1 1077944384 1716 0 0 0 139 12 0 0 20 0 15 0 10616682 14316269568 143178 18446744073709551615 4194304 4196468 140725267251616 140509523561488 140509591242453 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26468352 140725267259860 140725267260035 140725267260035 140725267263439 0
[pid=11547/tid=11552] ppid=11545 vsize=13980732 CPUtime=1.53 cores=1,3,5,7
/proc/11547/task/11552/stat : 11552 (java) S 11545 11545 5131 0 -1 1077944384 2930 0 0 0 141 12 0 0 20 0 15 0 10616682 14316269568 143178 18446744073709551615 4194304 4196468 140725267251616 140509522508944 140509591242453 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26468352 140725267259860 140725267260035 140725267260035 140725267263439 0
[pid=11547/tid=11553] ppid=11545 vsize=13980732 CPUtime=0.41 cores=1,3,5,7
/proc/11547/task/11553/stat : 11553 (java) S 11545 11545 5131 0 -1 1077944384 4025 0 0 0 40 1 0 0 20 0 15 0 10616683 14316269568 143178 18446744073709551615 4194304 4196468 140725267251616 140508708968432 140509591243394 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26468352 140725267259860 140725267260035 140725267260035 140725267263439 0
[pid=11547/tid=11554] ppid=11545 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/11547/task/11554/stat : 11554 (java) S 11545 11545 5131 0 -1 1077944384 76 0 0 0 0 0 0 0 20 0 15 0 10616684 14316269568 143178 18446744073709551615 4194304 4196468 140725267251616 140508707914720 140509591242453 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26468352 140725267259860 140725267260035 140725267260035 140725267263439 0
[pid=11547/tid=11555] ppid=11545 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/11547/task/11555/stat : 11555 (java) S 11545 11545 5131 0 -1 1077944384 86 0 0 0 0 0 0 0 20 0 15 0 10616684 14316269568 143178 18446744073709551615 4194304 4196468 140725267251616 140508706862080 140509591242453 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26468352 140725267259860 140725267260035 140725267260035 140725267263439 0
[pid=11547/tid=11556] ppid=11545 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/11547/task/11556/stat : 11556 (java) S 11545 11545 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10616686 14316269568 143178 18446744073709551615 4194304 4196468 140725267251616 140508705810640 140509591250843 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26468352 140725267259860 140725267260035 140725267260035 140725267263439 0
[pid=11547/tid=11557] ppid=11545 vsize=13980732 CPUtime=3.14 cores=1,3,5,7
/proc/11547/task/11557/stat : 11557 (java) S 11545 11545 5131 0 -1 1077944384 22515 0 0 0 312 2 0 0 20 0 15 0 10616686 14316269568 143178 18446744073709551615 4194304 4196468 140725267251616 140508704758256 140509591243394 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26468352 140725267259860 140725267260035 140725267260035 140725267263439 0
[pid=11547/tid=11558] ppid=11545 vsize=13980732 CPUtime=2.98 cores=1,3,5,7
/proc/11547/task/11558/stat : 11558 (java) S 11545 11545 5131 0 -1 1077944384 23972 0 0 0 296 2 0 0 20 0 15 0 10616686 14316269568 143178 18446744073709551615 4194304 4196468 140725267251616 140508703705712 140509591243394 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26468352 140725267259860 140725267260035 140725267260035 140725267263439 0
[pid=11547/tid=11559] ppid=11545 vsize=13980732 CPUtime=0.77 cores=1,3,5,7
/proc/11547/task/11559/stat : 11559 (java) S 11545 11545 5131 0 -1 1077944384 7321 0 0 0 76 1 0 0 20 0 15 0 10616686 14316269568 143178 18446744073709551615 4194304 4196468 140725267251616 140508702653168 140509591243394 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26468352 140725267259860 140725267260035 140725267260035 140725267263439 0
[pid=11547/tid=11560] ppid=11545 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/11547/task/11560/stat : 11560 (java) S 11545 11545 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10616686 14316269568 143178 18446744073709551615 4194304 4196468 140725267251616 140508701600864 140509591242453 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26468352 140725267259860 140725267260035 140725267260035 140725267263439 0
[pid=11547/tid=11561] ppid=11545 vsize=13980732 CPUtime=0.04 cores=1,3,5,7
/proc/11547/task/11561/stat : 11561 (java) S 11545 11545 5131 0 -1 1077944384 827 0 0 0 2 2 0 0 20 0 15 0 10616691 14316269568 143178 18446744073709551615 4194304 4196468 140725267251616 140508700547376 140509591243394 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26468352 140725267259860 140725267260035 140725267260035 140725267263439 0
Current children cumulated CPU time (s) 173.67
Current children cumulated vsize (KiB) 13990244
[startup+222.307 s]
/proc/loadavg: 1.82 1.81 1.79 3/211 11651
/proc/meminfo: memFree=30164264/32770624 swapFree=0/191668
[pid=11545] ppid=11542 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/11545/stat : 11545 (xcsp3-exec) S 11542 11545 5131 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10616671 9740288 345 18446744073709551615 4194304 5098028 140729166673136 140729166671240 140560642675324 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 9 0 0 7196144 7232144 17473536 140729166680476 140729166680679 140729166680679 140729166684139 0
/proc/11545/statm: 2378 345 289 221 0 87 0
[pid=11547] ppid=11545 vsize=13980732 CPUtime=234.98 cores=1,3,5,7
/proc/11547/stat : 11547 (java) S 11545 11545 5131 0 -1 1077944320 97700 0 0 0 23413 85 0 0 20 0 15 0 10616681 14316269568 185833 18446744073709551615 4194304 4196468 140725267251616 140725267234160 140509591232247 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 26468352 140725267259860 140725267260035 140725267260035 140725267263439 0
/proc/11547/statm: 3495183 185833 3247 1 0 3483484 0
[pid=11547/tid=11548] ppid=11545 vsize=13980732 CPUtime=219.75 cores=1,3,5,7
/proc/11547/task/11548/stat : 11548 (java) R 11545 11545 5131 0 -1 4202560 21016 0 0 0 21968 7 0 0 20 0 15 0 10616681 14316269568 185833 18446744073709551615 4194304 4196468 140725267251616 140509595471328 140509208616228 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 26468352 140725267259860 140725267260035 140725267260035 140725267263439 0
[pid=11547/tid=11549] ppid=11545 vsize=13980732 CPUtime=1.9 cores=1,3,5,7
/proc/11547/task/11549/stat : 11549 (java) S 11545 11545 5131 0 -1 1077944384 3866 0 0 0 174 16 0 0 20 0 15 0 10616682 14316269568 185833 18446744073709551615 4194304 4196468 140725267251616 140509525666576 140509591242453 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26468352 140725267259860 140725267260035 140725267260035 140725267263439 0
[pid=11547/tid=11550] ppid=11545 vsize=13980732 CPUtime=1.91 cores=1,3,5,7
/proc/11547/task/11550/stat : 11550 (java) S 11545 11545 5131 0 -1 1077944384 3990 0 0 0 175 16 0 0 20 0 15 0 10616682 14316269568 185833 18446744073709551615 4194304 4196468 140725267251616 140509524614032 140509591242453 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26468352 140725267259860 140725267260035 140725267260035 140725267263439 0
[pid=11547/tid=11551] ppid=11545 vsize=13980732 CPUtime=1.89 cores=1,3,5,7
/proc/11547/task/11551/stat : 11551 (java) S 11545 11545 5131 0 -1 1077944384 2956 0 0 0 173 16 0 0 20 0 15 0 10616682 14316269568 185833 18446744073709551615 4194304 4196468 140725267251616 140509523561488 140509591242453 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26468352 140725267259860 140725267260035 140725267260035 140725267263439 0
[pid=11547/tid=11552] ppid=11545 vsize=13980732 CPUtime=1.9 cores=1,3,5,7
/proc/11547/task/11552/stat : 11552 (java) S 11545 11545 5131 0 -1 1077944384 4268 0 0 0 174 16 0 0 20 0 15 0 10616682 14316269568 185833 18446744073709551615 4194304 4196468 140725267251616 140509522508944 140509591242453 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26468352 140725267259860 140725267260035 140725267260035 140725267263439 0
[pid=11547/tid=11553] ppid=11545 vsize=13980732 CPUtime=0.42 cores=1,3,5,7
/proc/11547/task/11553/stat : 11553 (java) S 11545 11545 5131 0 -1 1077944384 4122 0 0 0 41 1 0 0 20 0 15 0 10616683 14316269568 185833 18446744073709551615 4194304 4196468 140725267251616 140508708968432 140509591243394 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26468352 140725267259860 140725267260035 140725267260035 140725267263439 0
[pid=11547/tid=11554] ppid=11545 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/11547/task/11554/stat : 11554 (java) S 11545 11545 5131 0 -1 1077944384 76 0 0 0 0 0 0 0 20 0 15 0 10616684 14316269568 185833 18446744073709551615 4194304 4196468 140725267251616 140508707914720 140509591242453 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26468352 140725267259860 140725267260035 140725267260035 140725267263439 0
[pid=11547/tid=11555] ppid=11545 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/11547/task/11555/stat : 11555 (java) S 11545 11545 5131 0 -1 1077944384 86 0 0 0 0 0 0 0 20 0 15 0 10616684 14316269568 185833 18446744073709551615 4194304 4196468 140725267251616 140508706862080 140509591242453 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26468352 140725267259860 140725267260035 140725267260035 140725267263439 0
[pid=11547/tid=11556] ppid=11545 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/11547/task/11556/stat : 11556 (java) S 11545 11545 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10616686 14316269568 185833 18446744073709551615 4194304 4196468 140725267251616 140508705810640 140509591250843 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26468352 140725267259860 140725267260035 140725267260035 140725267263439 0
[pid=11547/tid=11557] ppid=11545 vsize=13980732 CPUtime=3.23 cores=1,3,5,7
/proc/11547/task/11557/stat : 11557 (java) S 11545 11545 5131 0 -1 1077944384 23312 0 0 0 321 2 0 0 20 0 15 0 10616686 14316269568 185833 18446744073709551615 4194304 4196468 140725267251616 140508704758256 140509591243394 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26468352 140725267259860 140725267260035 140725267260035 140725267263439 0
[pid=11547/tid=11558] ppid=11545 vsize=13980732 CPUtime=3.03 cores=1,3,5,7
/proc/11547/task/11558/stat : 11558 (java) S 11545 11545 5131 0 -1 1077944384 24324 0 0 0 301 2 0 0 20 0 15 0 10616686 14316269568 185833 18446744073709551615 4194304 4196468 140725267251616 140508703705712 140509591243394 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26468352 140725267259860 140725267260035 140725267260035 140725267263439 0
[pid=11547/tid=11559] ppid=11545 vsize=13980732 CPUtime=0.78 cores=1,3,5,7
/proc/11547/task/11559/stat : 11559 (java) S 11545 11545 5131 0 -1 1077944384 7611 0 0 0 77 1 0 0 20 0 15 0 10616686 14316269568 185833 18446744073709551615 4194304 4196468 140725267251616 140508702653168 140509591243394 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26468352 140725267259860 140725267260035 140725267260035 140725267263439 0
[pid=11547/tid=11560] ppid=11545 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/11547/task/11560/stat : 11560 (java) S 11545 11545 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10616686 14316269568 185833 18446744073709551615 4194304 4196468 140725267251616 140508701600864 140509591242453 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26468352 140725267259860 140725267260035 140725267260035 140725267263439 0
[pid=11547/tid=11561] ppid=11545 vsize=13980732 CPUtime=0.07 cores=1,3,5,7
/proc/11547/task/11561/stat : 11561 (java) S 11545 11545 5131 0 -1 1077944384 832 0 0 0 3 4 0 0 20 0 15 0 10616691 14316269568 185833 18446744073709551615 4194304 4196468 140725267251616 140508700547376 140509591243394 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26468352 140725267259860 140725267260035 140725267260035 140725267263439 0
Current children cumulated CPU time (s) 234.98
Current children cumulated vsize (KiB) 13990244
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+240.001 s]
/proc/loadavg: 1.81 1.81 1.79 3/211 11651
/proc/meminfo: memFree=30124048/32770624 swapFree=0/191672
[pid=11545] ppid=11542 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/11545/stat : 11545 (xcsp3-exec) S 11542 11545 5131 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10616671 9740288 345 18446744073709551615 4194304 5098028 140729166673136 140729166671240 140560642675324 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 9 0 0 7196144 7232144 17473536 140729166680476 140729166680679 140729166680679 140729166684139 0
/proc/11545/statm: 2378 345 289 221 0 87 0
[pid=11547] ppid=11545 vsize=13980732 CPUtime=253.26 cores=1,3,5,7
/proc/11547/stat : 11547 (java) S 11545 11545 5131 0 -1 1077944320 98117 0 0 0 25229 97 0 0 20 0 15 0 10616681 14316269568 209122 18446744073709551615 4194304 4196468 140725267251616 140725267234160 140509591232247 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 26468352 140725267259860 140725267260035 140725267260035 140725267263439 0
/proc/11547/statm: 3495183 209122 3247 1 0 3483484 0
[pid=11547/tid=11548] ppid=11545 vsize=13980732 CPUtime=237.24 cores=1,3,5,7
/proc/11547/task/11548/stat : 11548 (java) R 11545 11545 5131 0 -1 4202560 21022 0 0 0 23717 7 0 0 20 0 15 0 10616681 14316269568 209122 18446744073709551615 4194304 4196468 140725267251616 140509595471568 140509208065853 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 26468352 140725267259860 140725267260035 140725267260035 140725267263439 0
[pid=11547/tid=11549] ppid=11545 vsize=13980732 CPUtime=2.1 cores=1,3,5,7
/proc/11547/task/11549/stat : 11549 (java) S 11545 11545 5131 0 -1 1077944384 3914 0 0 0 191 19 0 0 20 0 15 0 10616682 14316269568 209122 18446744073709551615 4194304 4196468 140725267251616 140509525666576 140509591242453 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26468352 140725267259860 140725267260035 140725267260035 140725267263439 0
[pid=11547/tid=11550] ppid=11545 vsize=13980732 CPUtime=2.1 cores=1,3,5,7
/proc/11547/task/11550/stat : 11550 (java) S 11545 11545 5131 0 -1 1077944384 4158 0 0 0 191 19 0 0 20 0 15 0 10616682 14316269568 209122 18446744073709551615 4194304 4196468 140725267251616 140509524614032 140509591242453 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26468352 140725267259860 140725267260035 140725267260035 140725267263439 0
[pid=11547/tid=11551] ppid=11545 vsize=13980732 CPUtime=2.09 cores=1,3,5,7
/proc/11547/task/11551/stat : 11551 (java) S 11545 11545 5131 0 -1 1077944384 3017 0 0 0 190 19 0 0 20 0 15 0 10616682 14316269568 209122 18446744073709551615 4194304 4196468 140725267251616 140509523561488 140509591242453 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26468352 140725267259860 140725267260035 140725267260035 140725267263439 0
[pid=11547/tid=11552] ppid=11545 vsize=13980732 CPUtime=2.11 cores=1,3,5,7
/proc/11547/task/11552/stat : 11552 (java) S 11545 11545 5131 0 -1 1077944384 4335 0 0 0 191 20 0 0 20 0 15 0 10616682 14316269568 209122 18446744073709551615 4194304 4196468 140725267251616 140509522508944 140509591242453 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26468352 140725267259860 140725267260035 140725267260035 140725267263439 0
[pid=11547/tid=11553] ppid=11545 vsize=13980732 CPUtime=0.42 cores=1,3,5,7
/proc/11547/task/11553/stat : 11553 (java) S 11545 11545 5131 0 -1 1077944384 4152 0 0 0 41 1 0 0 20 0 15 0 10616683 14316269568 209122 18446744073709551615 4194304 4196468 140725267251616 140508708968432 140509591243394 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26468352 140725267259860 140725267260035 140725267260035 140725267263439 0
[pid=11547/tid=11554] ppid=11545 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/11547/task/11554/stat : 11554 (java) S 11545 11545 5131 0 -1 1077944384 76 0 0 0 0 0 0 0 20 0 15 0 10616684 14316269568 209122 18446744073709551615 4194304 4196468 140725267251616 140508707914720 140509591242453 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26468352 140725267259860 140725267260035 140725267260035 140725267263439 0
[pid=11547/tid=11555] ppid=11545 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/11547/task/11555/stat : 11555 (java) S 11545 11545 5131 0 -1 1077944384 86 0 0 0 0 0 0 0 20 0 15 0 10616684 14316269568 209122 18446744073709551615 4194304 4196468 140725267251616 140508706862080 140509591242453 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26468352 140725267259860 140725267260035 140725267260035 140725267263439 0
[pid=11547/tid=11556] ppid=11545 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/11547/task/11556/stat : 11556 (java) S 11545 11545 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10616686 14316269568 209122 18446744073709551615 4194304 4196468 140725267251616 140508705810640 140509591250843 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26468352 140725267259860 140725267260035 140725267260035 140725267263439 0
[pid=11547/tid=11557] ppid=11545 vsize=13980732 CPUtime=3.23 cores=1,3,5,7
/proc/11547/task/11557/stat : 11557 (java) S 11545 11545 5131 0 -1 1077944384 23322 0 0 0 321 2 0 0 20 0 15 0 10616686 14316269568 209122 18446744073709551615 4194304 4196468 140725267251616 140508704758256 140509591243394 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26468352 140725267259860 140725267260035 140725267260035 140725267263439 0
[pid=11547/tid=11558] ppid=11545 vsize=13980732 CPUtime=3.03 cores=1,3,5,7
/proc/11547/task/11558/stat : 11558 (java) S 11545 11545 5131 0 -1 1077944384 24324 0 0 0 301 2 0 0 20 0 15 0 10616686 14316269568 209122 18446744073709551615 4194304 4196468 140725267251616 140508703705712 140509591243394 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26468352 140725267259860 140725267260035 140725267260035 140725267263439 0
[pid=11547/tid=11559] ppid=11545 vsize=13980732 CPUtime=0.78 cores=1,3,5,7
/proc/11547/task/11559/stat : 11559 (java) S 11545 11545 5131 0 -1 1077944384 7638 0 0 0 77 1 0 0 20 0 15 0 10616686 14316269568 209122 18446744073709551615 4194304 4196468 140725267251616 140508702653168 140509591243394 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26468352 140725267259860 140725267260035 140725267260035 140725267263439 0
[pid=11547/tid=11560] ppid=11545 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/11547/task/11560/stat : 11560 (java) S 11545 11545 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10616686 14316269568 209122 18446744073709551615 4194304 4196468 140725267251616 140508701600864 140509591242453 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26468352 140725267259860 140725267260035 140725267260035 140725267263439 0
[pid=11547/tid=11561] ppid=11545 vsize=13980732 CPUtime=0.07 cores=1,3,5,7
/proc/11547/task/11561/stat : 11561 (java) S 11545 11545 5131 0 -1 1077944384 832 0 0 0 3 4 0 0 20 0 15 0 10616691 14316269568 209122 18446744073709551615 4194304 4196468 140725267251616 140508700547376 140509591243394 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26468352 140725267259860 140725267260035 140725267260035 140725267263439 0
Current children cumulated CPU time (s) 253.26
Current children cumulated vsize (KiB) 13990244
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 11547 sig 9
??? kill 11545 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 11545 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=849
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=1250
# CPU time returned by wait4() is 0.002099
# while last known CPU time is 253.26
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 240.01
CPU time (s): 253.26
CPU user time (s): 252.29
CPU system time (s): 0.97
CPU usage (%): 105.52
Max. virtual memory (cumulated for all children) (KiB): 13992140
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.000849
system time used= 0.00125
maximum resident set size= 1384
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 510
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 1.20034 second user time and 1.34838 second system time
The end