runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
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.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (15321 MiB free)
memory of node 1: 16384 MiB (15668 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4283954-1503190115/watcher-4283954-1503190115 -o /tmp/evaluation-result-4283954-1503190115/solver-4283954-1503190115 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node129-1503171914-32555 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 532649518 HOME/instance-4283954-1503190115.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=2532, runsolver pid=2529
[startup+0.100167 s]*
/proc/loadavg: 1.72 1.62 1.53 1/179 2536
/proc/meminfo: memFree=31733472/32770624 swapFree=67108860/67108860
[pid=2532] ppid=2529 vsize=33976 memory=452 CPUtime=0 cores=0,2,4,6
/proc/2532/stat : 2532 (runsolver) D 2529 2532 17292 0 -1 4202560 111 0 0 0 0 0 0 0 20 0 1 0 17420619 34791424 113 18446744073709551615 4194304 4346622 140730728806944 140730728803576 140548610949847 0 0 1 24578 18446744071580418449 0 0 17 4 0 0 0 0 0 6446216 6449568 23941120 140730728808504 140730728808997 140730728808997 140730728812490 0
/proc/2532/statm: 8494 113 52 38 0 4205 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 33976 KiB
Current children cumulated memory: 452 KiB
[startup+0.209229 s]*
/proc/loadavg: 1.72 1.62 1.53 1/179 2536
/proc/meminfo: memFree=31733472/32770624 swapFree=67108860/67108860
[pid=2532] ppid=2529 vsize=33976 memory=452 CPUtime=0 cores=0,2,4,6
/proc/2532/stat : 2532 (runsolver) D 2529 2532 17292 0 -1 4202560 111 0 0 0 0 0 0 0 20 0 1 0 17420619 34791424 113 18446744073709551615 4194304 4346622 140730728806944 140730728803576 140548610949847 0 0 1 24578 18446744071580418449 0 0 17 4 0 0 0 0 0 6446216 6449568 23941120 140730728808504 140730728808997 140730728808997 140730728812490 0
/proc/2532/statm: 8494 113 52 38 0 4205 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 33976 KiB
Current children cumulated memory: 452 KiB
[startup+0.308893 s]*
/proc/loadavg: 1.72 1.62 1.53 1/179 2536
/proc/meminfo: memFree=31733472/32770624 swapFree=67108860/67108860
[pid=2532] ppid=2529 vsize=33976 memory=452 CPUtime=0 cores=0,2,4,6
/proc/2532/stat : 2532 (runsolver) D 2529 2532 17292 0 -1 4202560 111 0 0 0 0 0 0 0 20 0 1 0 17420619 34791424 113 18446744073709551615 4194304 4346622 140730728806944 140730728803576 140548610949847 0 0 1 24578 18446744071580418449 0 0 17 4 0 0 0 0 0 6446216 6449568 23941120 140730728808504 140730728808997 140730728808997 140730728812490 0
/proc/2532/statm: 8494 113 52 38 0 4205 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 33976 KiB
Current children cumulated memory: 452 KiB
[startup+0.700387 s]
/proc/loadavg: 1.72 1.62 1.53 1/179 2536
/proc/meminfo: memFree=31733708/32770624 swapFree=67108860/67108860
[pid=2532] ppid=2529 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/2532/stat : 2532 (xcsp3-exec) S 2529 2532 17292 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 17420619 9740288 345 18446744073709551615 4194304 5098028 140737119246800 140737119244904 140574950630012 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 51 0 0 7196144 7232144 18124800 140737119248762 140737119248966 140737119248966 140737119252459 0
/proc/2532/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 9512 KiB
Current children cumulated memory: 1380 KiB
[startup+1.50076 s]
/proc/loadavg: 1.72 1.62 1.53 1/193 2550
/proc/meminfo: memFree=31724040/32770624 swapFree=67108860/67108860
[pid=2532] ppid=2529 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/2532/stat : 2532 (xcsp3-exec) S 2529 2532 17292 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 17420619 9740288 345 18446744073709551615 4194304 5098028 140737119246800 140737119244904 140574950630012 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 51 0 0 7196144 7232144 18124800 140737119248762 140737119248966 140737119248966 140737119252459 0
/proc/2532/statm: 2378 345 289 221 0 87 0
[pid=2537] ppid=2532 vsize=13907304 memory=20660 CPUtime=0.05 cores=0,2,4,6
/proc/2537/stat : 2537 (java) S 2532 2532 17292 0 -1 1077944320 4544 0 0 0 4 1 0 0 20 0 14 0 17420671 14241079296 5165 18446744073709551615 4194304 4196468 140732340207904 140732340190448 139885295390455 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 27439104 140732340216242 140732340216418 140732340216418 140732340219855 0
/proc/2537/statm: 3476826 5165 2579 1 0 3466323 0
[pid=2537/tid=2538] ppid=2532 vsize=13907304 memory=13036 CPUtime=0.04 cores=0,2,4,6
/proc/2537/task/2538/stat : 2538 (java) D 2532 2532 17292 0 -1 4202560 2729 0 0 0 4 0 0 0 20 0 14 0 17420672 14241079296 5165 18446744073709551615 4194304 4196468 140732340207904 139885299627936 139885295412477 0 4 1 16800974 18446744071580418449 0 0 -1 0 0 0 0 0 0 6293624 6294260 27439104 140732340216242 140732340216418 140732340216418 140732340219855 0
[pid=2537/tid=2539] ppid=2532 vsize=13907304 memory=1292 CPUtime=0 cores=0,2,4,6
/proc/2537/task/2539/stat : 2539 (java) S 2532 2532 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 17420673 14241079296 5165 18446744073709551615 4194304 4196468 140732340207904 139885214805008 139885295400661 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27439104 140732340216242 140732340216418 140732340216418 140732340219855 0
[pid=2537/tid=2540] ppid=2532 vsize=13907304 memory=2432 CPUtime=0 cores=0,2,4,6
/proc/2537/task/2540/stat : 2540 (java) S 2532 2532 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 17420673 14241079296 5165 18446744073709551615 4194304 4196468 140732340207904 139885213752464 139885295400661 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27439104 140732340216242 140732340216418 140732340216418 140732340219855 0
[pid=2537/tid=2541] ppid=2532 vsize=13907304 memory=1728 CPUtime=0 cores=0,2,4,6
/proc/2537/task/2541/stat : 2541 (java) S 2532 2532 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 17420673 14241079296 5165 18446744073709551615 4194304 4196468 140732340207904 139885212699408 139885295400661 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27439104 140732340216242 140732340216418 140732340216418 140732340219855 0
[pid=2537/tid=2542] ppid=2532 vsize=13907304 memory=1228 CPUtime=0 cores=0,2,4,6
/proc/2537/task/2542/stat : 2542 (java) S 2532 2532 17292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 17420673 14241079296 5165 18446744073709551615 4194304 4196468 140732340207904 139885211646864 139885295400661 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27439104 140732340216242 140732340216418 140732340216418 140732340219855 0
[pid=2537/tid=2543] ppid=2532 vsize=13907304 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2537/task/2543/stat : 2543 (java) S 2532 2532 17292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 17420674 14241079296 5165 18446744073709551615 4194304 4196468 140732340207904 139884211452144 139885295401602 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27439104 140732340216242 140732340216418 140732340216418 140732340219855 0
[pid=2537/tid=2544] ppid=2532 vsize=13907304 memory=10834 CPUtime=0 cores=0,2,4,6
/proc/2537/task/2544/stat : 2544 (java) S 2532 2532 17292 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 14 0 17420675 14241079296 5165 18446744073709551615 4194304 4196468 140732340207904 139884210398368 139885295400661 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27439104 140732340216242 140732340216418 140732340216418 140732340219855 0
[pid=2537/tid=2545] ppid=2532 vsize=13907304 memory=26136 CPUtime=0 cores=0,2,4,6
/proc/2537/task/2545/stat : 2545 (java) S 2532 2532 17292 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 14 0 17420675 14241079296 5165 18446744073709551615 4194304 4196468 140732340207904 139884209345264 139885295400661 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27439104 140732340216242 140732340216418 140732340216418 140732340219855 0
[pid=2537/tid=2546] ppid=2532 vsize=13907304 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2537/task/2546/stat : 2546 (java) S 2532 2532 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 17420677 14241079296 5165 18446744073709551615 4194304 4196468 140732340207904 139884208293840 139885295409051 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27439104 140732340216242 140732340216418 140732340216418 140732340219855 0
[pid=2537/tid=2547] ppid=2532 vsize=13907304 memory=5 CPUtime=0 cores=0,2,4,6
/proc/2537/task/2547/stat : 2547 (java) S 2532 2532 17292 0 -1 1077944384 300 0 0 0 0 0 0 0 20 0 14 0 17420677 14241079296 5165 18446744073709551615 4194304 4196468 140732340207904 139884207241968 139885295401602 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27439104 140732340216242 140732340216418 140732340216418 140732340219855 0
[pid=2537/tid=2548] ppid=2532 vsize=13907304 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2537/task/2548/stat : 2548 (java) S 2532 2532 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 17420677 14241079296 5165 18446744073709551615 4194304 4196468 140732340207904 139884206189424 139885295401602 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27439104 140732340216242 140732340216418 140732340216418 140732340219855 0
[pid=2537/tid=2549] ppid=2532 vsize=13907304 memory=140548509843137 CPUtime=0 cores=0,2,4,6
/proc/2537/task/2549/stat : 2549 (java) S 2532 2532 17292 0 -1 1077944384 207 0 0 0 0 0 0 0 20 0 14 0 17420677 14241079296 5165 18446744073709551615 4194304 4196468 140732340207904 139884205136368 139885295401602 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27439104 140732340216242 140732340216418 140732340216418 140732340219855 0
[pid=2537/tid=2550] ppid=2532 vsize=13907304 memory=281097020020944 CPUtime=0 cores=0,2,4,6
/proc/2537/task/2550/stat : 2550 (java) S 2532 2532 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 17420677 14241079296 5165 18446744073709551615 4194304 4196468 140732340207904 139884204084064 139885295400661 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27439104 140732340216242 140732340216418 140732340216418 140732340219855 0
Current children cumulated CPU time: 0.05 s
Current children cumulated vsize: 13916816 KiB
Current children cumulated memory: 22040 KiB
[startup+3.10929 s]
/proc/loadavg: 1.72 1.62 1.53 1/193 2550
/proc/meminfo: memFree=31723840/32770624 swapFree=67108860/67108860
[pid=2532] ppid=2529 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/2532/stat : 2532 (xcsp3-exec) S 2529 2532 17292 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 17420619 9740288 345 18446744073709551615 4194304 5098028 140737119246800 140737119244904 140574950630012 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 51 0 0 7196144 7232144 18124800 140737119248762 140737119248966 140737119248966 140737119252459 0
/proc/2532/statm: 2378 345 289 221 0 87 0
[pid=2537] ppid=2532 vsize=13907304 memory=20660 CPUtime=0.05 cores=0,2,4,6
/proc/2537/stat : 2537 (java) S 2532 2532 17292 0 -1 1077944320 4544 0 0 0 4 1 0 0 20 0 14 0 17420671 14241079296 5165 18446744073709551615 4194304 4196468 140732340207904 140732340190448 139885295390455 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 27439104 140732340216242 140732340216418 140732340216418 140732340219855 0
/proc/2537/statm: 3476826 5165 2579 1 0 3466323 0
[pid=2537/tid=2538] ppid=2532 vsize=13907304 memory=288230377041176916 CPUtime=0.04 cores=0,2,4,6
/proc/2537/task/2538/stat : 2538 (java) D 2532 2532 17292 0 -1 4202560 2729 0 0 0 4 0 0 0 20 0 14 0 17420672 14241079296 5165 18446744073709551615 4194304 4196468 140732340207904 139885299627936 139885295412477 0 4 1 16800974 18446744071580418449 0 0 -1 0 0 0 0 0 0 6293624 6294260 27439104 140732340216242 140732340216418 140732340216418 140732340219855 0
[pid=2537/tid=2539] ppid=2532 vsize=13907304 memory=288293294017103016 CPUtime=0 cores=0,2,4,6
/proc/2537/task/2539/stat : 2539 (java) S 2532 2532 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 17420673 14241079296 5165 18446744073709551615 4194304 4196468 140732340207904 139885214805008 139885295400661 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27439104 140732340216242 140732340216418 140732340216418 140732340219855 0
[pid=2537/tid=2540] ppid=2532 vsize=13907304 memory=20660 CPUtime=0 cores=0,2,4,6
/proc/2537/task/2540/stat : 2540 (java) S 2532 2532 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 17420673 14241079296 5165 18446744073709551615 4194304 4196468 140732340207904 139885213752464 139885295400661 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27439104 140732340216242 140732340216418 140732340216418 140732340219855 0
[pid=2537/tid=2541] ppid=2532 vsize=13907304 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2537/task/2541/stat : 2541 (java) S 2532 2532 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 17420673 14241079296 5165 18446744073709551615 4194304 4196468 140732340207904 139885212699408 139885295400661 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27439104 140732340216242 140732340216418 140732340216418 140732340219855 0
[pid=2537/tid=2542] ppid=2532 vsize=13907304 memory=667913 CPUtime=0 cores=0,2,4,6
/proc/2537/task/2542/stat : 2542 (java) S 2532 2532 17292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 17420673 14241079296 5165 18446744073709551615 4194304 4196468 140732340207904 139885211646864 139885295400661 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27439104 140732340216242 140732340216418 140732340216418 140732340219855 0
[pid=2537/tid=2543] ppid=2532 vsize=13907304 memory=6655300316396806240 CPUtime=0 cores=0,2,4,6
/proc/2537/task/2543/stat : 2543 (java) S 2532 2532 17292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 17420674 14241079296 5165 18446744073709551615 4194304 4196468 140732340207904 139884211452144 139885295401602 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27439104 140732340216242 140732340216418 140732340216418 140732340219855 0
[pid=2537/tid=2544] ppid=2532 vsize=13907304 memory=6944656592455097440 CPUtime=0 cores=0,2,4,6
/proc/2537/task/2544/stat : 2544 (java) S 2532 2532 17292 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 14 0 17420675 14241079296 5165 18446744073709551615 4194304 4196468 140732340207904 139884210398368 139885295400661 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27439104 140732340216242 140732340216418 140732340216418 140732340219855 0
[pid=2537/tid=2545] ppid=2532 vsize=13907304 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2537/task/2545/stat : 2545 (java) S 2532 2532 17292 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 14 0 17420675 14241079296 5165 18446744073709551615 4194304 4196468 140732340207904 139884209345264 139885295400661 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27439104 140732340216242 140732340216418 140732340216418 140732340219855 0
[pid=2537/tid=2546] ppid=2532 vsize=13907304 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2537/task/2546/stat : 2546 (java) S 2532 2532 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 17420677 14241079296 5165 18446744073709551615 4194304 4196468 140732340207904 139884208293840 139885295409051 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27439104 140732340216242 140732340216418 140732340216418 140732340219855 0
[pid=2537/tid=2547] ppid=2532 vsize=13907304 memory=-7604262568725289114 CPUtime=0 cores=0,2,4,6
/proc/2537/task/2547/stat : 2547 (java) S 2532 2532 17292 0 -1 1077944384 300 0 0 0 0 0 0 0 20 0 14 0 17420677 14241079296 5165 18446744073709551615 4194304 4196468 140732340207904 139884207241968 139885295401602 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27439104 140732340216242 140732340216418 140732340216418 140732340219855 0
[pid=2537/tid=2548] ppid=2532 vsize=13907304 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2537/task/2548/stat : 2548 (java) S 2532 2532 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 17420677 14241079296 5165 18446744073709551615 4194304 4196468 140732340207904 139884206189424 139885295401602 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27439104 140732340216242 140732340216418 140732340216418 140732340219855 0
[pid=2537/tid=2549] ppid=2532 vsize=13907304 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2537/task/2549/stat : 2549 (java) S 2532 2532 17292 0 -1 1077944384 207 0 0 0 0 0 0 0 20 0 14 0 17420677 14241079296 5165 18446744073709551615 4194304 4196468 140732340207904 139884205136368 139885295401602 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27439104 140732340216242 140732340216418 140732340216418 140732340219855 0
[pid=2537/tid=2550] ppid=2532 vsize=13907304 memory=8004 CPUtime=0 cores=0,2,4,6
/proc/2537/task/2550/stat : 2550 (java) S 2532 2532 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 17420677 14241079296 5165 18446744073709551615 4194304 4196468 140732340207904 139884204084064 139885295400661 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27439104 140732340216242 140732340216418 140732340216418 140732340219855 0
Current children cumulated CPU time: 0.05 s
Current children cumulated vsize: 13916816 KiB
Current children cumulated memory: 22040 KiB
heavy processes:
[startup+6.30076 s]
/proc/loadavg: 1.74 1.63 1.53 1/193 2550
/proc/meminfo: memFree=31723484/32770624 swapFree=67108860/67108860
[pid=2532] ppid=2529 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/2532/stat : 2532 (xcsp3-exec) S 2529 2532 17292 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 17420619 9740288 345 18446744073709551615 4194304 5098028 140737119246800 140737119244904 140574950630012 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 51 0 0 7196144 7232144 18124800 140737119248762 140737119248966 140737119248966 140737119252459 0
/proc/2532/statm: 2378 345 289 221 0 87 0
[pid=2537] ppid=2532 vsize=13907304 memory=20660 CPUtime=0.05 cores=0,2,4,6
/proc/2537/stat : 2537 (java) S 2532 2532 17292 0 -1 1077944320 4544 0 0 0 4 1 0 0 20 0 14 0 17420671 14241079296 5165 18446744073709551615 4194304 4196468 140732340207904 140732340190448 139885295390455 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 27439104 140732340216242 140732340216418 140732340216418 140732340219855 0
/proc/2537/statm: 3476826 5165 2579 1 0 3466323 0
[pid=2537/tid=2538] ppid=2532 vsize=13907304 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/2537/task/2538/stat : 2538 (java) D 2532 2532 17292 0 -1 4202560 2729 0 0 0 4 0 0 0 20 0 14 0 17420672 14241079296 5165 18446744073709551615 4194304 4196468 140732340207904 139885299627936 139885295412477 0 4 1 16800974 18446744071580418449 0 0 -1 0 0 0 0 0 0 6293624 6294260 27439104 140732340216242 140732340216418 140732340216418 140732340219855 0
[pid=2537/tid=2539] ppid=2532 vsize=13907304 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2537/task/2539/stat : 2539 (java) S 2532 2532 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 17420673 14241079296 5165 18446744073709551615 4194304 4196468 140732340207904 139885214805008 139885295400661 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27439104 140732340216242 140732340216418 140732340216418 140732340219855 0
[pid=2537/tid=2540] ppid=2532 vsize=13907304 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2537/task/2540/stat : 2540 (java) S 2532 2532 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 17420673 14241079296 5165 18446744073709551615 4194304 4196468 140732340207904 139885213752464 139885295400661 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27439104 140732340216242 140732340216418 140732340216418 140732340219855 0
[pid=2537/tid=2541] ppid=2532 vsize=13907304 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2537/task/2541/stat : 2541 (java) S 2532 2532 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 17420673 14241079296 5165 18446744073709551615 4194304 4196468 140732340207904 139885212699408 139885295400661 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27439104 140732340216242 140732340216418 140732340216418 140732340219855 0
[pid=2537/tid=2542] ppid=2532 vsize=13907304 memory=-6520471753822164382 CPUtime=0 cores=0,2,4,6
/proc/2537/task/2542/stat : 2542 (java) S 2532 2532 17292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 17420673 14241079296 5165 18446744073709551615 4194304 4196468 140732340207904 139885211646864 139885295400661 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27439104 140732340216242 140732340216418 140732340216418 140732340219855 0
[pid=2537/tid=2543] ppid=2532 vsize=13907304 memory=-8341965534556230502 CPUtime=0 cores=0,2,4,6
/proc/2537/task/2543/stat : 2543 (java) S 2532 2532 17292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 17420674 14241079296 5165 18446744073709551615 4194304 4196468 140732340207904 139884211452144 139885295401602 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27439104 140732340216242 140732340216418 140732340216418 140732340219855 0
[pid=2537/tid=2544] ppid=2532 vsize=13907304 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/2537/task/2544/stat : 2544 (java) S 2532 2532 17292 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 14 0 17420675 14241079296 5165 18446744073709551615 4194304 4196468 140732340207904 139884210398368 139885295400661 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27439104 140732340216242 140732340216418 140732340216418 140732340219855 0
[pid=2537/tid=2545] ppid=2532 vsize=13907304 memory=281097020192896 CPUtime=0 cores=0,2,4,6
/proc/2537/task/2545/stat : 2545 (java) S 2532 2532 17292 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 14 0 17420675 14241079296 5165 18446744073709551615 4194304 4196468 140732340207904 139884209345264 139885295400661 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27439104 140732340216242 140732340216418 140732340216418 140732340219855 0
[pid=2537/tid=2546] ppid=2532 vsize=13907304 memory=15238543968500 CPUtime=0 cores=0,2,4,6
/proc/2537/task/2546/stat : 2546 (java) S 2532 2532 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 17420677 14241079296 5165 18446744073709551615 4194304 4196468 140732340207904 139884208293840 139885295409051 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27439104 140732340216242 140732340216418 140732340216418 140732340219855 0
[pid=2537/tid=2547] ppid=2532 vsize=13907304 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/2537/task/2547/stat : 2547 (java) S 2532 2532 17292 0 -1 1077944384 300 0 0 0 0 0 0 0 20 0 14 0 17420677 14241079296 5165 18446744073709551615 4194304 4196468 140732340207904 139884207241968 139885295401602 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27439104 140732340216242 140732340216418 140732340216418 140732340219855 0
[pid=2537/tid=2548] ppid=2532 vsize=13907304 memory=20660 CPUtime=0 cores=0,2,4,6
/proc/2537/task/2548/stat : 2548 (java) S 2532 2532 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 17420677 14241079296 5165 18446744073709551615 4194304 4196468 140732340207904 139884206189424 139885295401602 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27439104 140732340216242 140732340216418 140732340216418 140732340219855 0
[pid=2537/tid=2549] ppid=2532 vsize=13907304 memory=2432 CPUtime=0 cores=0,2,4,6
/proc/2537/task/2549/stat : 2549 (java) S 2532 2532 17292 0 -1 1077944384 207 0 0 0 0 0 0 0 20 0 14 0 17420677 14241079296 5165 18446744073709551615 4194304 4196468 140732340207904 139884205136368 139885295401602 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27439104 140732340216242 140732340216418 140732340216418 140732340219855 0
[pid=2537/tid=2550] ppid=2532 vsize=13907304 memory=13036 CPUtime=0 cores=0,2,4,6
/proc/2537/task/2550/stat : 2550 (java) S 2532 2532 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 17420677 14241079296 5165 18446744073709551615 4194304 4196468 140732340207904 139884204084064 139885295400661 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27439104 140732340216242 140732340216418 140732340216418 140732340219855 0
Current children cumulated CPU time: 0.05 s
Current children cumulated vsize: 13916816 KiB
Current children cumulated memory: 22040 KiB
heavy processes:
[startup+12.7008 s]
/proc/loadavg: 1.77 1.64 1.53 1/193 2550
/proc/meminfo: memFree=31723236/32770624 swapFree=67108860/67108860
[pid=2532] ppid=2529 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/2532/stat : 2532 (xcsp3-exec) S 2529 2532 17292 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 17420619 9740288 345 18446744073709551615 4194304 5098028 140737119246800 140737119244904 140574950630012 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 51 0 0 7196144 7232144 18124800 140737119248762 140737119248966 140737119248966 140737119252459 0
/proc/2532/statm: 2378 345 289 221 0 87 0
[pid=2537] ppid=2532 vsize=13907304 memory=20660 CPUtime=0.05 cores=0,2,4,6
/proc/2537/stat : 2537 (java) S 2532 2532 17292 0 -1 1077944320 4544 0 0 0 4 1 0 0 20 0 14 0 17420671 14241079296 5165 18446744073709551615 4194304 4196468 140732340207904 140732340190448 139885295390455 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 27439104 140732340216242 140732340216418 140732340216418 140732340219855 0
/proc/2537/statm: 3476826 5165 2579 1 0 3466323 0
[pid=2537/tid=2538] ppid=2532 vsize=13907304 memory=20660 CPUtime=0.04 cores=0,2,4,6
/proc/2537/task/2538/stat : 2538 (java) D 2532 2532 17292 0 -1 4202560 2729 0 0 0 4 0 0 0 20 0 14 0 17420672 14241079296 5165 18446744073709551615 4194304 4196468 140732340207904 139885299627936 139885295412477 0 4 1 16800974 18446744071580418449 0 0 -1 0 0 0 0 0 0 6293624 6294260 27439104 140732340216242 140732340216418 140732340216418 140732340219855 0
################
# More data... #
################
Current children cumulated memory: 22040 KiB
[startup+16.0007 s]*
/proc/loadavg: 1.78 1.64 1.53 1/193 2550
/proc/meminfo: memFree=31723236/32770624 swapFree=67108860/67108860
[pid=2532] ppid=2529 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/2532/stat : 2532 (xcsp3-exec) S 2529 2532 17292 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 17420619 9740288 345 18446744073709551615 4194304 5098028 140737119246800 140737119244904 140574950630012 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 51 0 0 7196144 7232144 18124800 140737119248762 140737119248966 140737119248966 140737119252459 0
/proc/2532/statm: 2378 345 289 221 0 87 0
[pid=2537] ppid=2532 vsize=13907304 memory=20660 CPUtime=0.05 cores=0,2,4,6
/proc/2537/stat : 2537 (java) S 2532 2532 17292 0 -1 1077944320 4544 0 0 0 4 1 0 0 20 0 14 0 17420671 14241079296 5165 18446744073709551615 4194304 4196468 140732340207904 140732340190448 139885295390455 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 27439104 140732340216242 140732340216418 140732340216418 140732340219855 0
/proc/2537/statm: 3476826 5165 2579 1 0 3466323 0
[pid=2537/tid=2538] ppid=2532 vsize=13907304 memory=6933928925625698159 CPUtime=0.04 cores=0,2,4,6
/proc/2537/task/2538/stat : 2538 (java) D 2532 2532 17292 0 -1 4202560 2729 0 0 0 4 0 0 0 20 0 14 0 17420672 14241079296 5165 18446744073709551615 4194304 4196468 140732340207904 139885299627936 139885295412477 0 4 1 16800974 18446744071580418449 0 0 -1 0 0 0 0 0 0 6293624 6294260 27439104 140732340216242 140732340216418 140732340216418 140732340219855 0
[pid=2537/tid=2539] ppid=2532 vsize=13907304 memory=4126316290023845779 CPUtime=0 cores=0,2,4,6
/proc/2537/task/2539/stat : 2539 (java) S 2532 2532 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 17420673 14241079296 5165 18446744073709551615 4194304 4196468 140732340207904 139885214805008 139885295400661 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27439104 140732340216242 140732340216418 140732340216418 140732340219855 0
[pid=2537/tid=2540] ppid=2532 vsize=13907304 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/2537/task/2540/stat : 2540 (java) S 2532 2532 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 17420673 14241079296 5165 18446744073709551615 4194304 4196468 140732340207904 139885213752464 139885295400661 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27439104 140732340216242 140732340216418 140732340216418 140732340219855 0
[pid=2537/tid=2541] ppid=2532 vsize=13907304 memory=12980 CPUtime=0 cores=0,2,4,6
/proc/2537/task/2541/stat : 2541 (java) S 2532 2532 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 17420673 14241079296 5165 18446744073709551615 4194304 4196468 140732340207904 139885212699408 139885295400661 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27439104 140732340216242 140732340216418 140732340216418 140732340219855 0
[pid=2537/tid=2542] ppid=2532 vsize=13907304 memory=1440 CPUtime=0 cores=0,2,4,6
/proc/2537/task/2542/stat : 2542 (java) S 2532 2532 17292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 17420673 14241079296 5165 18446744073709551615 4194304 4196468 140732340207904 139885211646864 139885295400661 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27439104 140732340216242 140732340216418 140732340216418 140732340219855 0
[pid=2537/tid=2543] ppid=2532 vsize=13907304 memory=2008 CPUtime=0 cores=0,2,4,6
/proc/2537/task/2543/stat : 2543 (java) S 2532 2532 17292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 17420674 14241079296 5165 18446744073709551615 4194304 4196468 140732340207904 139884211452144 139885295401602 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27439104 140732340216242 140732340216418 140732340216418 140732340219855 0
[pid=2537/tid=2544] ppid=2532 vsize=13907304 memory=5404 CPUtime=0 cores=0,2,4,6
/proc/2537/task/2544/stat : 2544 (java) S 2532 2532 17292 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 14 0 17420675 14241079296 5165 18446744073709551615 4194304 4196468 140732340207904 139884210398368 139885295400661 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27439104 140732340216242 140732340216418 140732340216418 140732340219855 0
[pid=2537/tid=2545] ppid=2532 vsize=13907304 memory=1704 CPUtime=0 cores=0,2,4,6
/proc/2537/task/2545/stat : 2545 (java) S 2532 2532 17292 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 14 0 17420675 14241079296 5165 18446744073709551615 4194304 4196468 140732340207904 139884209345264 139885295400661 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27439104 140732340216242 140732340216418 140732340216418 140732340219855 0
[pid=2537/tid=2546] ppid=2532 vsize=13907304 memory=4616 CPUtime=0 cores=0,2,4,6
/proc/2537/task/2546/stat : 2546 (java) S 2532 2532 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 17420677 14241079296 5165 18446744073709551615 4194304 4196468 140732340207904 139884208293840 139885295409051 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27439104 140732340216242 140732340216418 140732340216418 140732340219855 0
[pid=2537/tid=2547] ppid=2532 vsize=13907304 memory=7680170660397595203 CPUtime=0 cores=0,2,4,6
/proc/2537/task/2547/stat : 2547 (java) S 2532 2532 17292 0 -1 1077944384 300 0 0 0 0 0 0 0 20 0 14 0 17420677 14241079296 5165 18446744073709551615 4194304 4196468 140732340207904 139884207241968 139885295401602 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27439104 140732340216242 140732340216418 140732340216418 140732340219855 0
[pid=2537/tid=2548] ppid=2532 vsize=13907304 memory=-7028383565733675155 CPUtime=0 cores=0,2,4,6
/proc/2537/task/2548/stat : 2548 (java) S 2532 2532 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 17420677 14241079296 5165 18446744073709551615 4194304 4196468 140732340207904 139884206189424 139885295401602 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27439104 140732340216242 140732340216418 140732340216418 140732340219855 0
[pid=2537/tid=2549] ppid=2532 vsize=13907304 memory=281097019588848 CPUtime=0 cores=0,2,4,6
/proc/2537/task/2549/stat : 2549 (java) S 2532 2532 17292 0 -1 1077944384 207 0 0 0 0 0 0 0 20 0 14 0 17420677 14241079296 5165 18446744073709551615 4194304 4196468 140732340207904 139884205136368 139885295401602 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27439104 140732340216242 140732340216418 140732340216418 140732340219855 0
[pid=2537/tid=2550] ppid=2532 vsize=13907304 memory=8514726395715218844 CPUtime=0 cores=0,2,4,6
/proc/2537/task/2550/stat : 2550 (java) S 2532 2532 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 17420677 14241079296 5165 18446744073709551615 4194304 4196468 140732340207904 139884204084064 139885295400661 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27439104 140732340216242 140732340216418 140732340216418 140732340219855 0
Current children cumulated CPU time: 0.05 s
Current children cumulated vsize: 13916816 KiB
Current children cumulated memory: 22040 KiB
[startup+16.8007 s]
/proc/loadavg: 1.78 1.64 1.53 1/193 2550
/proc/meminfo: memFree=31723236/32770624 swapFree=67108860/67108860
[pid=2532] ppid=2529 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/2532/stat : 2532 (xcsp3-exec) S 2529 2532 17292 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 17420619 9740288 345 18446744073709551615 4194304 5098028 140737119246800 140737119244904 140574950630012 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 51 0 0 7196144 7232144 18124800 140737119248762 140737119248966 140737119248966 140737119252459 0
/proc/2532/statm: 2378 345 289 221 0 87 0
[pid=2537] ppid=2532 vsize=13907304 memory=20660 CPUtime=0.05 cores=0,2,4,6
/proc/2537/stat : 2537 (java) S 2532 2532 17292 0 -1 1077944320 4544 0 0 0 4 1 0 0 20 0 14 0 17420671 14241079296 5165 18446744073709551615 4194304 4196468 140732340207904 140732340190448 139885295390455 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 27439104 140732340216242 140732340216418 140732340216418 140732340219855 0
/proc/2537/statm: 3476826 5165 2579 1 0 3466323 0
[pid=2537/tid=2538] ppid=2532 vsize=13907304 memory=8029187132708304953 CPUtime=0.04 cores=0,2,4,6
/proc/2537/task/2538/stat : 2538 (java) D 2532 2532 17292 0 -1 4202560 2729 0 0 0 4 0 0 0 20 0 14 0 17420672 14241079296 5165 18446744073709551615 4194304 4196468 140732340207904 139885299627936 139885295412477 0 4 1 16800974 18446744071580418449 0 0 -1 0 0 0 0 0 0 6293624 6294260 27439104 140732340216242 140732340216418 140732340216418 140732340219855 0
[pid=2537/tid=2539] ppid=2532 vsize=13907304 memory=7020452061447063161 CPUtime=0 cores=0,2,4,6
/proc/2537/task/2539/stat : 2539 (java) S 2532 2532 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 17420673 14241079296 5165 18446744073709551615 4194304 4196468 140732340207904 139885214805008 139885295400661 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27439104 140732340216242 140732340216418 140732340216418 140732340219855 0
[pid=2537/tid=2540] ppid=2532 vsize=13907304 memory=7886128541248992049 CPUtime=0 cores=0,2,4,6
/proc/2537/task/2540/stat : 2540 (java) S 2532 2532 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 17420673 14241079296 5165 18446744073709551615 4194304 4196468 140732340207904 139885213752464 139885295400661 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27439104 140732340216242 140732340216418 140732340216418 140732340219855 0
[pid=2537/tid=2541] ppid=2532 vsize=13907304 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/2537/task/2541/stat : 2541 (java) S 2532 2532 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 17420673 14241079296 5165 18446744073709551615 4194304 4196468 140732340207904 139885212699408 139885295400661 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27439104 140732340216242 140732340216418 140732340216418 140732340219855 0
[pid=2537/tid=2542] ppid=2532 vsize=13907304 memory=20660 CPUtime=0 cores=0,2,4,6
/proc/2537/task/2542/stat : 2542 (java) S 2532 2532 17292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 17420673 14241079296 5165 18446744073709551615 4194304 4196468 140732340207904 139885211646864 139885295400661 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27439104 140732340216242 140732340216418 140732340216418 140732340219855 0
[pid=2537/tid=2543] ppid=2532 vsize=13907304 memory=7451034490918949205 CPUtime=0 cores=0,2,4,6
/proc/2537/task/2543/stat : 2543 (java) S 2532 2532 17292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 17420674 14241079296 5165 18446744073709551615 4194304 4196468 140732340207904 139884211452144 139885295401602 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27439104 140732340216242 140732340216418 140732340216418 140732340219855 0
[pid=2537/tid=2544] ppid=2532 vsize=13907304 memory=7955440947652225105 CPUtime=0 cores=0,2,4,6
/proc/2537/task/2544/stat : 2544 (java) S 2532 2532 17292 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 14 0 17420675 14241079296 5165 18446744073709551615 4194304 4196468 140732340207904 139884210398368 139885295400661 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27439104 140732340216242 140732340216418 140732340216418 140732340219855 0
[pid=2537/tid=2545] ppid=2532 vsize=13907304 memory=7450190083167180647 CPUtime=0 cores=0,2,4,6
/proc/2537/task/2545/stat : 2545 (java) S 2532 2532 17292 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 14 0 17420675 14241079296 5165 18446744073709551615 4194304 4196468 140732340207904 139884209345264 139885295400661 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27439104 140732340216242 140732340216418 140732340216418 140732340219855 0
[pid=2537/tid=2546] ppid=2532 vsize=13907304 memory=7955440947652225105 CPUtime=0 cores=0,2,4,6
/proc/2537/task/2546/stat : 2546 (java) S 2532 2532 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 17420677 14241079296 5165 18446744073709551615 4194304 4196468 140732340207904 139884208293840 139885295409051 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27439104 140732340216242 140732340216418 140732340216418 140732340219855 0
[pid=2537/tid=2547] ppid=2532 vsize=13907304 memory=7450190083167180647 CPUtime=0 cores=0,2,4,6
/proc/2537/task/2547/stat : 2547 (java) S 2532 2532 17292 0 -1 1077944384 300 0 0 0 0 0 0 0 20 0 14 0 17420677 14241079296 5165 18446744073709551615 4194304 4196468 140732340207904 139884207241968 139885295401602 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27439104 140732340216242 140732340216418 140732340216418 140732340219855 0
[pid=2537/tid=2548] ppid=2532 vsize=13907304 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/2537/task/2548/stat : 2548 (java) S 2532 2532 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 17420677 14241079296 5165 18446744073709551615 4194304 4196468 140732340207904 139884206189424 139885295401602 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27439104 140732340216242 140732340216418 140732340216418 140732340219855 0
[pid=2537/tid=2549] ppid=2532 vsize=13907304 memory=20660 CPUtime=0 cores=0,2,4,6
/proc/2537/task/2549/stat : 2549 (java) S 2532 2532 17292 0 -1 1077944384 207 0 0 0 0 0 0 0 20 0 14 0 17420677 14241079296 5165 18446744073709551615 4194304 4196468 140732340207904 139884205136368 139885295401602 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27439104 140732340216242 140732340216418 140732340216418 140732340219855 0
[pid=2537/tid=2550] ppid=2532 vsize=13907304 memory=4340182983429854050 CPUtime=0 cores=0,2,4,6
/proc/2537/task/2550/stat : 2550 (java) S 2532 2532 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 17420677 14241079296 5165 18446744073709551615 4194304 4196468 140732340207904 139884204084064 139885295400661 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27439104 140732340216242 140732340216418 140732340216418 140732340219855 0
Current children cumulated CPU time: 0.05 s
Current children cumulated vsize: 13916816 KiB
Current children cumulated memory: 22040 KiB
[startup+17.6006 s]
/proc/loadavg: 1.78 1.64 1.53 1/193 2550
/proc/meminfo: memFree=31723236/32770624 swapFree=67108860/67108860
[pid=2532] ppid=2529 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/2532/stat : 2532 (xcsp3-exec) S 2529 2532 17292 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 17420619 9740288 345 18446744073709551615 4194304 5098028 140737119246800 140737119244904 140574950630012 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 51 0 0 7196144 7232144 18124800 140737119248762 140737119248966 140737119248966 140737119252459 0
/proc/2532/statm: 2378 345 289 221 0 87 0
[pid=2537] ppid=2532 vsize=13974352 memory=28196 CPUtime=0.11 cores=0,2,4,6
/proc/2537/stat : 2537 (java) S 2532 2532 17292 0 -1 1077944320 4952 0 0 0 10 1 0 0 20 0 15 0 17420671 14309736448 7049 18446744073709551615 4194304 4196468 140732340207904 140732340190448 139885295390455 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 27439104 140732340216242 140732340216418 140732340216418 140732340219855 0
/proc/2537/statm: 3493588 7049 2757 1 0 3482964 0
[pid=2537/tid=2538] ppid=2532 vsize=13974352 memory=7680170660397595203 CPUtime=0.08 cores=0,2,4,6
/proc/2537/task/2538/stat : 2538 (java) R 2532 2532 17292 0 -1 4202560 3102 0 0 0 8 0 0 0 20 0 15 0 17420672 14309736448 7049 18446744073709551615 4194304 4196468 140732340207904 139885299619696 139885281083792 0 4 1 16800974 0 0 0 -1 2 0 0 1697 0 0 6293624 6294260 27439104 140732340216242 140732340216418 140732340216418 140732340219855 0
[pid=2537/tid=2539] ppid=2532 vsize=13974352 memory=2432 CPUtime=0 cores=0,2,4,6
/proc/2537/task/2539/stat : 2539 (java) S 2532 2532 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 17420673 14309736448 7049 18446744073709551615 4194304 4196468 140732340207904 139885214805008 139885295400661 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27439104 140732340216242 140732340216418 140732340216418 140732340219855 0
[pid=2537/tid=2540] ppid=2532 vsize=13974352 memory=1728 CPUtime=0 cores=0,2,4,6
/proc/2537/task/2540/stat : 2540 (java) S 2532 2532 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 17420673 14309736448 7049 18446744073709551615 4194304 4196468 140732340207904 139885213752464 139885295400661 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27439104 140732340216242 140732340216418 140732340216418 140732340219855 0
[pid=2537/tid=2541] ppid=2532 vsize=13974352 memory=1228 CPUtime=0 cores=0,2,4,6
/proc/2537/task/2541/stat : 2541 (java) S 2532 2532 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 17420673 14309736448 7049 18446744073709551615 4194304 4196468 140732340207904 139885212699408 139885295400661 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27439104 140732340216242 140732340216418 140732340216418 140732340219855 0
[pid=2537/tid=2542] ppid=2532 vsize=13974352 memory=281097020187616 CPUtime=0 cores=0,2,4,6
/proc/2537/task/2542/stat : 2542 (java) S 2532 2532 17292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 17420673 14309736448 7049 18446744073709551615 4194304 4196468 140732340207904 139885211646864 139885295400661 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27439104 140732340216242 140732340216418 140732340216418 140732340219855 0
[pid=2537/tid=2543] ppid=2532 vsize=13974352 memory=8046186993476931169 CPUtime=0 cores=0,2,4,6
/proc/2537/task/2543/stat : 2543 (java) S 2532 2532 17292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 17420674 14309736448 7049 18446744073709551615 4194304 4196468 140732340207904 139884211452144 139885295401602 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27439104 140732340216242 140732340216418 140732340216418 140732340219855 0
[pid=2537/tid=2544] ppid=2532 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2537/task/2544/stat : 2544 (java) S 2532 2532 17292 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 17420675 14309736448 7049 18446744073709551615 4194304 4196468 140732340207904 139884210398368 139885295400661 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27439104 140732340216242 140732340216418 140732340216418 140732340219855 0
[pid=2537/tid=2545] ppid=2532 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2537/task/2545/stat : 2545 (java) S 2532 2532 17292 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 17420675 14309736448 7049 18446744073709551615 4194304 4196468 140732340207904 139884209345264 139885295400661 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27439104 140732340216242 140732340216418 140732340216418 140732340219855 0
[pid=2537/tid=2546] ppid=2532 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2537/task/2546/stat : 2546 (java) S 2532 2532 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 17420677 14309736448 7049 18446744073709551615 4194304 4196468 140732340207904 139884208293840 139885295409051 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27439104 140732340216242 140732340216418 140732340216418 140732340219855 0
[pid=2537/tid=2547] ppid=2532 vsize=13974352 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/2537/task/2547/stat : 2547 (java) S 2532 2532 17292 0 -1 1077944384 300 0 0 0 0 0 0 0 20 0 15 0 17420677 14309736448 7049 18446744073709551615 4194304 4196468 140732340207904 139884207241968 139885295401602 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27439104 140732340216242 140732340216418 140732340216418 140732340219855 0
[pid=2537/tid=2548] ppid=2532 vsize=13974352 memory=1704 CPUtime=0 cores=0,2,4,6
/proc/2537/task/2548/stat : 2548 (java) S 2532 2532 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 17420677 14309736448 7049 18446744073709551615 4194304 4196468 140732340207904 139884206189424 139885295401602 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27439104 140732340216242 140732340216418 140732340216418 140732340219855 0
[pid=2537/tid=2549] ppid=2532 vsize=13974352 memory=4616 CPUtime=0.01 cores=0,2,4,6
/proc/2537/task/2549/stat : 2549 (java) S 2532 2532 17292 0 -1 1077944384 241 0 0 0 1 0 0 0 20 0 15 0 17420677 14309736448 7049 18446744073709551615 4194304 4196468 140732340207904 139884205136368 139885295401602 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27439104 140732340216242 140732340216418 140732340216418 140732340219855 0
[pid=2537/tid=2550] ppid=2532 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2537/task/2550/stat : 2550 (java) S 2532 2532 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 17420677 14309736448 7049 18446744073709551615 4194304 4196468 140732340207904 139884204084064 139885295400661 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27439104 140732340216242 140732340216418 140732340216418 140732340219855 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 29576 KiB
[startup+18.0068 s]*
/proc/loadavg: 1.78 1.64 1.53 4/193 2563
/proc/meminfo: memFree=31694904/32770624 swapFree=67108860/67108860
[pid=2532] ppid=2529 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/2532/stat : 2532 (xcsp3-exec) S 2529 2532 17292 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 17420619 9740288 345 18446744073709551615 4194304 5098028 140737119246800 140737119244904 140574950630012 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 51 0 0 7196144 7232144 18124800 140737119248762 140737119248966 140737119248966 140737119252459 0
/proc/2532/statm: 2378 345 289 221 0 87 0
[pid=2537] ppid=2532 vsize=13980732 memory=63720 CPUtime=1.05 cores=0,2,4,6
/proc/2537/stat : 2537 (java) S 2532 2532 17292 0 -1 1077944320 12524 0 0 0 100 5 0 0 20 0 15 0 17420671 14316269568 15930 18446744073709551615 4194304 4196468 140732340207904 140732340190448 139885295390455 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 27439104 140732340216242 140732340216418 140732340216418 140732340219855 0
/proc/2537/statm: 3495183 15930 3147 1 0 3483476 0
[pid=2537/tid=2538] ppid=2532 vsize=13980732 memory=6933928925625698159 CPUtime=0.49 cores=0,2,4,6
/proc/2537/task/2538/stat : 2538 (java) R 2532 2532 17292 0 -1 4202560 7917 0 0 0 46 3 0 0 20 0 15 0 17420672 14316269568 15930 18446744073709551615 4194304 4196468 140732340207904 139885299620816 139885279470942 0 4 1 16800974 0 0 0 -1 0 0 0 1697 0 0 6293624 6294260 27439104 140732340216242 140732340216418 140732340216418 140732340219855 0
[pid=2537/tid=2539] ppid=2532 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2537/task/2539/stat : 2539 (java) S 2532 2532 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 17420673 14316269568 15930 18446744073709551615 4194304 4196468 140732340207904 139885214805008 139885295400661 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27439104 140732340216242 140732340216418 140732340216418 140732340219855 0
[pid=2537/tid=2540] ppid=2532 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2537/task/2540/stat : 2540 (java) S 2532 2532 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 17420673 14316269568 15930 18446744073709551615 4194304 4196468 140732340207904 139885213752464 139885295400661 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27439104 140732340216242 140732340216418 140732340216418 140732340219855 0
[pid=2537/tid=2541] ppid=2532 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2537/task/2541/stat : 2541 (java) S 2532 2532 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 17420673 14316269568 15930 18446744073709551615 4194304 4196468 140732340207904 139885212699408 139885295400661 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27439104 140732340216242 140732340216418 140732340216418 140732340219855 0
[pid=2537/tid=2542] ppid=2532 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2537/task/2542/stat : 2542 (java) S 2532 2532 17292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 17420673 14316269568 15930 18446744073709551615 4194304 4196468 140732340207904 139885211646864 139885295400661 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27439104 140732340216242 140732340216418 140732340216418 140732340219855 0
[pid=2537/tid=2543] ppid=2532 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2537/task/2543/stat : 2543 (java) S 2532 2532 17292 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 17420674 14316269568 15930 18446744073709551615 4194304 4196468 140732340207904 139884211452144 139885295401602 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27439104 140732340216242 140732340216418 140732340216418 140732340219855 0
[pid=2537/tid=2544] ppid=2532 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2537/task/2544/stat : 2544 (java) S 2532 2532 17292 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 17420675 14316269568 15930 18446744073709551615 4194304 4196468 140732340207904 139884210398368 139885295400661 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27439104 140732340216242 140732340216418 140732340216418 140732340219855 0
[pid=2537/tid=2545] ppid=2532 vsize=13980732 memory=7519149158546035024 CPUtime=0 cores=0,2,4,6
/proc/2537/task/2545/stat : 2545 (java) S 2532 2532 17292 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 17420675 14316269568 15930 18446744073709551615 4194304 4196468 140732340207904 139884209345264 139885295400661 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27439104 140732340216242 140732340216418 140732340216418 140732340219855 0
[pid=2537/tid=2546] ppid=2532 vsize=13980732 memory=5787213844311467857 CPUtime=0 cores=0,2,4,6
/proc/2537/task/2546/stat : 2546 (java) S 2532 2532 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 17420677 14316269568 15930 18446744073709551615 4194304 4196468 140732340207904 139884208293840 139885295409051 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27439104 140732340216242 140732340216418 140732340216418 140732340219855 0
[pid=2537/tid=2547] ppid=2532 vsize=13980732 memory=0 CPUtime=0.14 cores=0,2,4,6
/proc/2537/task/2547/stat : 2547 (java) S 2532 2532 17292 0 -1 1077944384 1246 0 0 0 14 0 0 0 20 0 15 0 17420677 14316269568 15930 18446744073709551615 4194304 4196468 140732340207904 139884207241968 139885295401602 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27439104 140732340216242 140732340216418 140732340216418 140732340219855 0
[pid=2537/tid=2548] ppid=2532 vsize=13980732 memory=734139722786418735 CPUtime=0.12 cores=0,2,4,6
/proc/2537/task/2548/stat : 2548 (java) S 2532 2532 17292 0 -1 1077944384 662 0 0 0 12 0 0 0 20 0 15 0 17420677 14316269568 15930 18446744073709551615 4194304 4196468 140732340207904 139884206189424 139885295401602 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27439104 140732340216242 140732340216418 140732340216418 140732340219855 0
[pid=2537/tid=2549] ppid=2532 vsize=13980732 memory=3472468844841580208 CPUtime=0.26 cores=0,2,4,6
/proc/2537/task/2549/stat : 2549 (java) R 2532 2532 17292 0 -1 4202560 1397 0 0 0 26 0 0 0 20 0 15 0 17420677 14316269568 15930 18446744073709551615 4194304 4196468 140732340207904 139884205134160 139885273880134 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27439104 140732340216242 140732340216418 140732340216418 140732340219855 0
[pid=2537/tid=2550] ppid=2532 vsize=13980732 memory=3472328295574037100 CPUtime=0 cores=0,2,4,6
/proc/2537/task/2550/stat : 2550 (java) S 2532 2532 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 17420677 14316269568 15930 18446744073709551615 4194304 4196468 140732340207904 139884204084064 139885295400661 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27439104 140732340216242 140732340216418 140732340216418 140732340219855 0
[pid=2537/tid=2551] ppid=2532 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/2537/task/2551/stat : 2551 (java) S 2532 2532 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 17422375 14316269568 15930 18446744073709551615 4194304 4196468 140732340207904 139884203031088 139885295401602 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27439104 140732340216242 140732340216418 140732340216418 140732340219855 0
Current children cumulated CPU time: 1.05 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 65100 KiB
Child status: 0
Real time (s): 18.0828
CPU time (s): 1.23224
CPU user time (s): 1.16912
CPU system time (s): 0.063114
CPU usage (%): 6.81443
Max. virtual memory (cumulated for all children) (KiB): 13990244
Max. memory (cumulated for all children) (KiB): 65100
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.16912
system time used= 0.063114
maximum resident set size= 69496
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13360
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= 1453
involuntary context switches= 24
# summary of solver processes directly reported to runsolver:
# pid: 2532
# total CPU time (s): 1.23224
# total CPU user time (s): 1.16912
# total CPU system time (s): 0.063114
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.117031 second user time and 0.22886 second system time
The end